preprocess165.0ms (11.8%)

Algorithm

1×	egg-herbie

Rules

423×	distribute-neg-in
416×	*-commutative
407×	associate--l-
359×	associate-+r+
314×	distribute-lft-in

Problems

256×

No Errors

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	47	509
1	151	493
2	420	485
3	1489	481
4	5163	481
5	7357	481

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (*.f64 x 1/2) (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(+.f64 (*.f64 x 1/2) (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(+.f64 (*.f64 (neg.f64 x) 1/2) (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(+.f64 (*.f64 x 1/2) (*.f64 (neg.f64 y) (+.f64 (-.f64 1 z) (log.f64 z))))
(+.f64 (*.f64 x 1/2) (*.f64 y (+.f64 (-.f64 1 (neg.f64 z)) (log.f64 (neg.f64 z)))))
(neg.f64 (+.f64 (*.f64 (neg.f64 x) 1/2) (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))))
(neg.f64 (+.f64 (*.f64 x 1/2) (*.f64 (neg.f64 y) (+.f64 (-.f64 1 z) (log.f64 z)))))
(neg.f64 (+.f64 (*.f64 x 1/2) (*.f64 y (+.f64 (-.f64 1 (neg.f64 z)) (log.f64 (neg.f64 z))))))
(+.f64 (*.f64 y 1/2) (*.f64 x (+.f64 (-.f64 1 z) (log.f64 z))))
(+.f64 (*.f64 z 1/2) (*.f64 y (+.f64 (-.f64 1 x) (log.f64 x))))
(+.f64 (*.f64 x 1/2) (*.f64 z (+.f64 (-.f64 1 y) (log.f64 y))))

Outputs
(+.f64 (*.f64 x 1/2) (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(fma.f64 x 1/2 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(fma.f64 y (+.f64 (-.f64 1 z) (log.f64 z)) (*.f64 x 1/2))
(+.f64 (*.f64 x 1/2) (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(fma.f64 x 1/2 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(fma.f64 y (+.f64 (-.f64 1 z) (log.f64 z)) (*.f64 x 1/2))
(+.f64 (*.f64 (neg.f64 x) 1/2) (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(fma.f64 (neg.f64 x) 1/2 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(fma.f64 y (+.f64 (-.f64 1 z) (log.f64 z)) (*.f64 x -1/2))
(fma.f64 x -1/2 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(+.f64 (*.f64 x 1/2) (*.f64 (neg.f64 y) (+.f64 (-.f64 1 z) (log.f64 z))))
(fma.f64 x 1/2 (*.f64 (+.f64 (-.f64 1 z) (log.f64 z)) (neg.f64 y)))
(-.f64 (*.f64 x 1/2) (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(fma.f64 x 1/2 (*.f64 y (+.f64 -1 (-.f64 z (log.f64 z)))))
(fma.f64 x 1/2 (*.f64 y (-.f64 (+.f64 z -1) (log.f64 z))))
(fma.f64 x 1/2 (*.f64 y (+.f64 z (-.f64 -1 (log.f64 z)))))
(+.f64 (*.f64 x 1/2) (*.f64 y (+.f64 (-.f64 1 (neg.f64 z)) (log.f64 (neg.f64 z)))))
(fma.f64 x 1/2 (*.f64 y (+.f64 (-.f64 1 (neg.f64 z)) (log.f64 (neg.f64 z)))))
(fma.f64 y (+.f64 1 (+.f64 z (log.f64 (neg.f64 z)))) (*.f64 x 1/2))
(fma.f64 x 1/2 (*.f64 y (+.f64 z (+.f64 1 (log.f64 (neg.f64 z))))))
(fma.f64 x 1/2 (*.f64 y (+.f64 (+.f64 1 z) (log.f64 (neg.f64 z)))))
(neg.f64 (+.f64 (*.f64 (neg.f64 x) 1/2) (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))))
(fma.f64 x 1/2 (*.f64 (+.f64 (-.f64 1 z) (log.f64 z)) (neg.f64 y)))
(-.f64 (*.f64 x 1/2) (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(fma.f64 x 1/2 (*.f64 y (+.f64 -1 (-.f64 z (log.f64 z)))))
(fma.f64 x 1/2 (*.f64 y (-.f64 (+.f64 z -1) (log.f64 z))))
(fma.f64 x 1/2 (*.f64 y (+.f64 z (-.f64 -1 (log.f64 z)))))
(neg.f64 (+.f64 (*.f64 x 1/2) (*.f64 (neg.f64 y) (+.f64 (-.f64 1 z) (log.f64 z)))))
(fma.f64 (neg.f64 x) 1/2 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(fma.f64 y (+.f64 (-.f64 1 z) (log.f64 z)) (*.f64 x -1/2))
(fma.f64 x -1/2 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
(neg.f64 (+.f64 (*.f64 x 1/2) (*.f64 y (+.f64 (-.f64 1 (neg.f64 z)) (log.f64 (neg.f64 z))))))
(neg.f64 (fma.f64 x 1/2 (*.f64 y (+.f64 (-.f64 1 (neg.f64 z)) (log.f64 (neg.f64 z))))))
(-.f64 (*.f64 x -1/2) (*.f64 y (+.f64 1 (+.f64 z (log.f64 (neg.f64 z))))))
(-.f64 (*.f64 x -1/2) (*.f64 y (+.f64 z (+.f64 1 (log.f64 (neg.f64 z))))))
(fma.f64 x -1/2 (*.f64 y (-.f64 -1 (+.f64 z (log.f64 (neg.f64 z))))))
(fma.f64 x -1/2 (*.f64 y (-.f64 (-.f64 -1 z) (log.f64 (neg.f64 z)))))
(+.f64 (*.f64 y 1/2) (*.f64 x (+.f64 (-.f64 1 z) (log.f64 z))))
(fma.f64 y 1/2 (*.f64 x (+.f64 (-.f64 1 z) (log.f64 z))))
(fma.f64 x (+.f64 (-.f64 1 z) (log.f64 z)) (*.f64 1/2 y))
(+.f64 (*.f64 z 1/2) (*.f64 y (+.f64 (-.f64 1 x) (log.f64 x))))
(fma.f64 z 1/2 (*.f64 y (+.f64 (-.f64 1 x) (log.f64 x))))
(fma.f64 y (+.f64 (-.f64 1 x) (log.f64 x)) (*.f64 1/2 z))
(fma.f64 1/2 z (*.f64 y (+.f64 (-.f64 1 x) (log.f64 x))))
(+.f64 (*.f64 x 1/2) (*.f64 z (+.f64 (-.f64 1 y) (log.f64 y))))
(fma.f64 x 1/2 (*.f64 z (+.f64 (-.f64 1 y) (log.f64 y))))
(fma.f64 z (+.f64 (-.f64 1 y) (log.f64 y)) (*.f64 x 1/2))
(fma.f64 x 1/2 (*.f64 z (-.f64 1 (-.f64 y (log.f64 y)))))
(fma.f64 x 1/2 (*.f64 z (+.f64 1 (-.f64 (log.f64 y) y))))

Compiler

Compiled 43 to 25 computations (41.9% saved)