step 0							      |	kb input done.
							      >	query loaded.
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
(?z eq z)							(?z eq z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
(?z eq z)							(?z eq z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
							      >	((?x . (o . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
							      >	((?x . (o . .)) mul ?z)
((z . (z . .)) mul z)						((z . (z . .)) mul z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
							      >	(?z eq z)
							      >	(?z eq ?x)
							      >	(?z eq ?x)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
(?z eq z)							(?z eq z)
(?z eq ?x)							(?z eq ?x)
(?z eq ?x)							(?z eq ?x)
							      >	(?z eq z)
							      >	(?z eq ?x)
							      >	(?z eq ?x)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
							      >	(?z eq ?x)
							      >	((?x . (o . .)) mul ?z)
							      >	((?y . (?x . .)) mul ?z)
							      >	(?z eq z)
							      >	((?x . (z . .)) mul ?z)
							      >	((?y . (?x . .)) mul ?z)
							      >	(?z eq ?x)
							      >	((?x . (z . .)) add ?z)
							      >	((?y . (?x . .)) add ?z)
							      >	((?x . (z . .)) add ?z)
							      >	((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
							      >	(?z eq ?x)
							      >	((?x . (o . .)) mul ?z)
							      >	((?y . (?x . .)) mul ?z)
							      >	(?z eq z)
							      >	((?x . (z . .)) mul ?z)
							      >	((?y . (?x . .)) mul ?z)
							      >	(?z eq ?x)
							      >	((?x . (z . .)) add ?z)
							      >	((?y . (?x . .)) add ?z)
							      >	((?y . (?x . .)) add ?z)
							      >	((?x . (z . .)) add ?z)
							      >	((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (o . .)) mul ?z)						((?x . (o . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
((z . (z . .)) add z)						((z . (z . .)) add z)
((?y . (?x . .)) add ?z)					((?y . (?x . .)) add ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq z)							(?z eq z)
((?x . (z . .)) mul ?z)						((?x . (z . .)) mul ?z)
((?y . (?x . .)) mul ?z)					((?y . (?x . .)) mul ?z)
(?z eq ?x)							(?z eq ?x)
((?x . (z . .)) add ?z)						((?x . (z . .)) add ?z)
FAIL							      |	((?y . (?x . .)) add ?z)
							      >	((?x . (z . .)) add ?z)
							      >	((z . (z . .)) add z)
							      >	((?y . (?x . .)) add ?z)
							      >	(?z eq ?x)
							      >	((?x . (o . .)) mul ?z)
							      >	((?y . (?x . .)) mul ?z)
							      >	(?z eq z)
							      >	((?x . (z . .)) mul ?z)
							      >	((?y . (?x . .)) mul ?z)
							      >	(?z eq ?x)
							      >	((?x . (z . .)) add ?z)
							      >	elapsed: 97.429ms steps: 836
							      >	Ready.