preprocess171.0ms (12.1%)

Algorithm

1×	egg-herbie

Rules

455×	associate-/l*
447×	+-commutative
401×	*-commutative
383×	associate-/r*
345×	distribute-lft-in

Problems

239×	No Errors
16×	(/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (*.f64 2 1)))
1×	(/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 alpha beta) (*.f64 2 1)))

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	51	819
1	145	759
2	457	722
3	2170	687
4	4548	679

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 1)) 1))
(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 1)) 1))
(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 beta (neg.f64 alpha))) 1) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 1))) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 1)) 1))
(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 (neg.f64 beta) alpha)) 1) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 1))) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 1)) 1))
(neg.f64 (/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 beta (neg.f64 alpha))) 1) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 1))) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 1)) 1)))
(neg.f64 (/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 (neg.f64 beta) alpha)) 1) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 1))) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 1)) 1)))
(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 beta alpha) (*.f64 alpha beta)) 1) (+.f64 (+.f64 beta alpha) (*.f64 2 1))) (+.f64 (+.f64 beta alpha) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 beta alpha) (*.f64 2 1)) 1))

Outputs
(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 1)) 1))
(/.f64 (/.f64 (+.f64 1 (+.f64 alpha (+.f64 beta (*.f64 alpha beta)))) (+.f64 beta (+.f64 alpha 2))) (*.f64 (+.f64 (+.f64 alpha beta) 3) (+.f64 beta (+.f64 alpha 2))))
(/.f64 (+.f64 alpha (+.f64 beta (fma.f64 alpha beta 1))) (*.f64 (+.f64 beta (+.f64 alpha 3)) (*.f64 (+.f64 beta (+.f64 alpha 2)) (+.f64 beta (+.f64 alpha 2)))))
(/.f64 (+.f64 alpha (fma.f64 (+.f64 alpha 1) beta 1)) (*.f64 (+.f64 alpha (+.f64 beta 2)) (*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 3)))))
(/.f64 (*.f64 (+.f64 alpha 1) (+.f64 beta 1)) (*.f64 (+.f64 alpha (+.f64 beta 2)) (*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 3)))))
(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 1)) 1))
(/.f64 (/.f64 (+.f64 1 (+.f64 alpha (+.f64 beta (*.f64 alpha beta)))) (+.f64 beta (+.f64 alpha 2))) (*.f64 (+.f64 (+.f64 alpha beta) 3) (+.f64 beta (+.f64 alpha 2))))
(/.f64 (+.f64 alpha (+.f64 beta (fma.f64 alpha beta 1))) (*.f64 (+.f64 beta (+.f64 alpha 3)) (*.f64 (+.f64 beta (+.f64 alpha 2)) (+.f64 beta (+.f64 alpha 2)))))
(/.f64 (+.f64 alpha (fma.f64 (+.f64 alpha 1) beta 1)) (*.f64 (+.f64 alpha (+.f64 beta 2)) (*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 3)))))
(/.f64 (*.f64 (+.f64 alpha 1) (+.f64 beta 1)) (*.f64 (+.f64 alpha (+.f64 beta 2)) (*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 3)))))
(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 beta (neg.f64 alpha))) 1) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 1))) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 1)) 1))
(/.f64 (/.f64 (+.f64 1 (+.f64 (+.f64 beta (neg.f64 alpha)) (*.f64 beta (neg.f64 alpha)))) (+.f64 2 (+.f64 beta (neg.f64 alpha)))) (*.f64 (+.f64 (+.f64 beta (neg.f64 alpha)) 3) (+.f64 2 (+.f64 beta (neg.f64 alpha)))))
(/.f64 (+.f64 1 (-.f64 (-.f64 beta alpha) (*.f64 alpha beta))) (*.f64 (*.f64 (+.f64 2 (-.f64 beta alpha)) (+.f64 (-.f64 beta alpha) 3)) (+.f64 2 (-.f64 beta alpha))))
(/.f64 (-.f64 (fma.f64 (-.f64 1 alpha) beta 1) alpha) (*.f64 (+.f64 beta (-.f64 2 alpha)) (*.f64 (+.f64 beta (-.f64 2 alpha)) (-.f64 3 (-.f64 alpha beta)))))
(/.f64 (*.f64 (+.f64 beta 1) (-.f64 1 alpha)) (*.f64 (+.f64 beta (-.f64 2 alpha)) (*.f64 (+.f64 beta (-.f64 2 alpha)) (+.f64 (-.f64 beta alpha) 3))))
(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 (neg.f64 beta) alpha)) 1) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 1))) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 1)) 1))
(/.f64 (/.f64 (+.f64 1 (+.f64 (*.f64 beta (neg.f64 alpha)) (-.f64 alpha beta))) (+.f64 2 (-.f64 alpha beta))) (*.f64 (+.f64 (-.f64 alpha beta) 3) (+.f64 2 (-.f64 alpha beta))))
(/.f64 (+.f64 1 (-.f64 (-.f64 alpha beta) (*.f64 alpha beta))) (*.f64 (*.f64 (+.f64 2 (-.f64 alpha beta)) (+.f64 (-.f64 alpha beta) 3)) (+.f64 2 (-.f64 alpha beta))))
(/.f64 (+.f64 alpha (fma.f64 beta (-.f64 -1 alpha) 1)) (*.f64 (+.f64 (-.f64 alpha beta) 3) (*.f64 (+.f64 alpha (-.f64 2 beta)) (+.f64 alpha (-.f64 2 beta)))))
(/.f64 (*.f64 (-.f64 1 beta) (+.f64 alpha 1)) (*.f64 (+.f64 alpha (-.f64 3 beta)) (*.f64 (-.f64 alpha (+.f64 beta -2)) (-.f64 alpha (+.f64 beta -2)))))
(/.f64 (*.f64 (+.f64 alpha 1) (-.f64 1 beta)) (*.f64 (+.f64 alpha (-.f64 3 beta)) (*.f64 (-.f64 alpha (+.f64 beta -2)) (-.f64 alpha (+.f64 beta -2)))))
(neg.f64 (/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 beta (neg.f64 alpha))) 1) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 1))) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 1)) 1)))
(/.f64 (neg.f64 (/.f64 (/.f64 (+.f64 1 (+.f64 (+.f64 beta (neg.f64 alpha)) (*.f64 beta (neg.f64 alpha)))) (+.f64 2 (+.f64 beta (neg.f64 alpha)))) (+.f64 2 (+.f64 beta (neg.f64 alpha))))) (+.f64 (+.f64 beta (neg.f64 alpha)) 3))
(/.f64 (/.f64 (neg.f64 (/.f64 (+.f64 1 (-.f64 (-.f64 beta alpha) (*.f64 alpha beta))) (+.f64 2 (-.f64 beta alpha)))) (+.f64 2 (-.f64 beta alpha))) (+.f64 (-.f64 beta alpha) 3))
(/.f64 (neg.f64 (-.f64 (fma.f64 (-.f64 1 alpha) beta 1) alpha)) (*.f64 (+.f64 beta (-.f64 2 alpha)) (*.f64 (+.f64 beta (-.f64 2 alpha)) (-.f64 3 (-.f64 alpha beta)))))
(/.f64 (/.f64 (neg.f64 (*.f64 (+.f64 beta 1) (-.f64 1 alpha))) (+.f64 (-.f64 beta alpha) 3)) (*.f64 (+.f64 beta (-.f64 2 alpha)) (+.f64 beta (-.f64 2 alpha))))
(/.f64 (/.f64 (*.f64 (+.f64 beta 1) (+.f64 alpha -1)) (+.f64 (-.f64 beta alpha) 3)) (*.f64 (+.f64 beta (-.f64 2 alpha)) (+.f64 beta (-.f64 2 alpha))))
(neg.f64 (/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 (neg.f64 beta) alpha)) 1) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 1))) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 1)) 1)))
(/.f64 (neg.f64 (/.f64 (+.f64 1 (+.f64 (*.f64 beta (neg.f64 alpha)) (-.f64 alpha beta))) (*.f64 (+.f64 2 (-.f64 alpha beta)) (+.f64 2 (-.f64 alpha beta))))) (+.f64 (-.f64 alpha beta) 3))
(/.f64 (/.f64 (neg.f64 (+.f64 1 (-.f64 (-.f64 alpha beta) (*.f64 alpha beta)))) (*.f64 (+.f64 2 (-.f64 alpha beta)) (+.f64 2 (-.f64 alpha beta)))) (+.f64 (-.f64 alpha beta) 3))
(/.f64 (+.f64 -1 (neg.f64 (fma.f64 beta (-.f64 -1 alpha) alpha))) (*.f64 (+.f64 (-.f64 alpha beta) 3) (*.f64 (+.f64 alpha (-.f64 2 beta)) (+.f64 alpha (-.f64 2 beta)))))
(/.f64 (/.f64 (neg.f64 (*.f64 (-.f64 1 beta) (+.f64 alpha 1))) (*.f64 (-.f64 alpha (+.f64 beta -2)) (-.f64 alpha (+.f64 beta -2)))) (+.f64 alpha (-.f64 3 beta)))
(/.f64 (/.f64 (*.f64 (+.f64 alpha 1) (+.f64 beta -1)) (*.f64 (-.f64 alpha (+.f64 beta -2)) (-.f64 alpha (+.f64 beta -2)))) (+.f64 alpha (-.f64 3 beta)))
(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 beta alpha) (*.f64 alpha beta)) 1) (+.f64 (+.f64 beta alpha) (*.f64 2 1))) (+.f64 (+.f64 beta alpha) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 beta alpha) (*.f64 2 1)) 1))
(/.f64 (/.f64 (+.f64 1 (+.f64 alpha (+.f64 beta (*.f64 alpha beta)))) (+.f64 beta (+.f64 alpha 2))) (*.f64 (+.f64 (+.f64 alpha beta) 3) (+.f64 beta (+.f64 alpha 2))))
(/.f64 (+.f64 alpha (+.f64 beta (fma.f64 alpha beta 1))) (*.f64 (+.f64 beta (+.f64 alpha 3)) (*.f64 (+.f64 beta (+.f64 alpha 2)) (+.f64 beta (+.f64 alpha 2)))))
(/.f64 (+.f64 alpha (fma.f64 (+.f64 alpha 1) beta 1)) (*.f64 (+.f64 alpha (+.f64 beta 2)) (*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 3)))))
(/.f64 (*.f64 (+.f64 alpha 1) (+.f64 beta 1)) (*.f64 (+.f64 alpha (+.f64 beta 2)) (*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 3)))))

Symmetry

(sort alpha beta)

Compiler

Compiled 125 to 61 computations (51.2% saved)