preprocess77.0ms (8.8%)

Algorithm

1×	egg-herbie

Rules

115×	fma-def
65×	associate-*r*
49×	*-commutative
31×	associate--r+
27×	+-commutative

Problems

256×

No Errors

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	16	88
1	41	88
2	74	88
3	192	84
4	379	84
5	646	84
6	735	84
7	766	84

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(/.f64 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 3) 6)
(neg.f64 (/.f64 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 3) 6))

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

Symmetry

(abs x)

Compiler

Compiled 20 to 11 computations (45% saved)