preprocess149.0ms (14.5%)

Algorithm

1×	egg-herbie

Rules

594×	+-commutative
518×	fma-def
512×	distribute-lft-out--
470×	*-commutative
469×	associate--l+

Problems

254×	No Errors
1×	(*.f64 4 (*.f64 b b))
1×	(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	38	449
1	107	421
2	233	413
3	736	413
4	2860	315
5	6643	315

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) 1)
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) 1)
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) 1)
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 (neg.f64 b) (neg.f64 b))) 2) (*.f64 4 (*.f64 (neg.f64 b) (neg.f64 b)))) 1)
(neg.f64 (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) 1))
(neg.f64 (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 (neg.f64 b) (neg.f64 b))) 2) (*.f64 4 (*.f64 (neg.f64 b) (neg.f64 b)))) 1))
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (*.f64 4 (*.f64 a a))) 1)

Outputs
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) 1)
(+.f64 (+.f64 (*.f64 (*.f64 b b) 4) (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1)
(+.f64 (fma.f64 (*.f64 b b) 4 (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1)
(+.f64 (fma.f64 b (*.f64 b 4) (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1)
(fma.f64 (hypot.f64 a b) (pow.f64 (hypot.f64 a b) 3) (fma.f64 b (*.f64 b 4) -1))
(+.f64 (fma.f64 b (*.f64 b 4) (pow.f64 (hypot.f64 a b) 4)) -1)
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) 1)
(+.f64 (+.f64 (*.f64 (*.f64 b b) 4) (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1)
(+.f64 (fma.f64 (*.f64 b b) 4 (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1)
(+.f64 (fma.f64 b (*.f64 b 4) (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1)
(fma.f64 (hypot.f64 a b) (pow.f64 (hypot.f64 a b) 3) (fma.f64 b (*.f64 b 4) -1))
(+.f64 (fma.f64 b (*.f64 b 4) (pow.f64 (hypot.f64 a b) 4)) -1)
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) 1)
(+.f64 (+.f64 (*.f64 (*.f64 b b) 4) (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1)
(+.f64 (fma.f64 (*.f64 b b) 4 (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1)
(+.f64 (fma.f64 b (*.f64 b 4) (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1)
(fma.f64 (hypot.f64 a b) (pow.f64 (hypot.f64 a b) 3) (fma.f64 b (*.f64 b 4) -1))
(+.f64 (fma.f64 b (*.f64 b 4) (pow.f64 (hypot.f64 a b) 4)) -1)
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 (neg.f64 b) (neg.f64 b))) 2) (*.f64 4 (*.f64 (neg.f64 b) (neg.f64 b)))) 1)
(+.f64 (+.f64 (*.f64 (*.f64 b b) 4) (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1)
(+.f64 (fma.f64 (*.f64 b b) 4 (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1)
(+.f64 (fma.f64 b (*.f64 b 4) (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1)
(fma.f64 (hypot.f64 a b) (pow.f64 (hypot.f64 a b) 3) (fma.f64 b (*.f64 b 4) -1))
(+.f64 (fma.f64 b (*.f64 b 4) (pow.f64 (hypot.f64 a b) 4)) -1)
(neg.f64 (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) 1))
(neg.f64 (+.f64 (+.f64 (*.f64 (*.f64 b b) 4) (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1))
(+.f64 (neg.f64 (fma.f64 (*.f64 b b) 4 (pow.f64 (fma.f64 a a (*.f64 b b)) 2))) 1)
(-.f64 1 (fma.f64 b (*.f64 b 4) (pow.f64 (fma.f64 a a (*.f64 b b)) 2)))
(-.f64 (fma.f64 b (*.f64 b -4) 1) (pow.f64 (fma.f64 a a (*.f64 b b)) 2))
(-.f64 1 (fma.f64 b (*.f64 b 4) (pow.f64 (hypot.f64 a b) 4)))
(neg.f64 (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 (neg.f64 b) (neg.f64 b))) 2) (*.f64 4 (*.f64 (neg.f64 b) (neg.f64 b)))) 1))
(neg.f64 (+.f64 (+.f64 (*.f64 (*.f64 b b) 4) (pow.f64 (fma.f64 a a (*.f64 b b)) 2)) -1))
(+.f64 (neg.f64 (fma.f64 (*.f64 b b) 4 (pow.f64 (fma.f64 a a (*.f64 b b)) 2))) 1)
(-.f64 1 (fma.f64 b (*.f64 b 4) (pow.f64 (fma.f64 a a (*.f64 b b)) 2)))
(-.f64 (fma.f64 b (*.f64 b -4) 1) (pow.f64 (fma.f64 a a (*.f64 b b)) 2))
(-.f64 1 (fma.f64 b (*.f64 b 4) (pow.f64 (hypot.f64 a b) 4)))
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (*.f64 4 (*.f64 a a))) 1)
(+.f64 (pow.f64 (fma.f64 a a (*.f64 b b)) 2) (-.f64 (*.f64 (*.f64 a a) 4) 1))
(+.f64 (pow.f64 (fma.f64 a a (*.f64 b b)) 2) (fma.f64 (*.f64 a a) 4 -1))
(+.f64 (pow.f64 (fma.f64 a a (*.f64 b b)) 2) (fma.f64 a (*.f64 a 4) -1))
(fma.f64 (hypot.f64 a b) (pow.f64 (hypot.f64 a b) 3) (fma.f64 a (*.f64 a 4) -1))
(+.f64 (pow.f64 (hypot.f64 a b) 4) (fma.f64 a (*.f64 a 4) -1))

Symmetry

(abs a)

(abs b)

Compiler

Compiled 67 to 25 computations (62.7% saved)