preprocess154.0ms (19.8%)

Algorithm

1×	egg-herbie

Rules

509×	distribute-lft-neg-in
403×	fma-neg
403×	distribute-rgt-neg-in
344×	*-commutative
321×	swap-sqr

Problems

190×	No Errors
66×	(/.f64 x (+.f64 (*.f64 x x) 1))

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	15	100
1	38	100
2	65	100
3	124	100
4	318	97
5	994	97
6	2355	97
7	4460	97
8	6108	97
9	7626	97

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 x (+.f64 (*.f64 x x) 1))
(/.f64 x (+.f64 (*.f64 x x) 1))
(/.f64 (neg.f64 x) (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1))
(neg.f64 (/.f64 (neg.f64 x) (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1)))

Outputs
(/.f64 x (+.f64 (*.f64 x x) 1))
(/.f64 x (fma.f64 x x 1))
(/.f64 x (+.f64 (*.f64 x x) 1))
(/.f64 x (fma.f64 x x 1))
(/.f64 (neg.f64 x) (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1))
(/.f64 (neg.f64 x) (fma.f64 x x 1))
(/.f64 1 (-.f64 (/.f64 -1 x) x))
(neg.f64 (/.f64 (neg.f64 x) (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1)))
(/.f64 x (fma.f64 x x 1))

Symmetry

(negabs x)

Compiler

Compiled 19 to 9 computations (52.6% saved)