preprocess335.0ms (29.1%)

Algorithm

1×	egg-herbie

Rules

1667×	fma-def
481×	associate-+r+
438×	associate-+r-
419×	associate--r+
351×	associate-+l-

Problems

252×	No Errors
3×	(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 d3))
1×	(+.f64 (*.f64 d1 3) (*.f64 d1 d2))

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	44	439
1	133	328
2	418	314
3	1304	308
4	3614	308
5	5599	308
6	5879	308
7	5897	308
8	5907	308
9	5909	308
10	7107	308
11	7558	308
12	7558	308
13	7558	308

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 d3))
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 d3))
(+.f64 (+.f64 (*.f64 (neg.f64 d1) 3) (*.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) d3))
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 (neg.f64 d2))) (*.f64 d1 d3))
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 (neg.f64 d3)))
(neg.f64 (+.f64 (+.f64 (*.f64 (neg.f64 d1) 3) (*.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) d3)))
(neg.f64 (+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 (neg.f64 d2))) (*.f64 d1 d3)))
(neg.f64 (+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 (neg.f64 d3))))
(+.f64 (+.f64 (*.f64 d2 3) (*.f64 d2 d1)) (*.f64 d2 d3))
(+.f64 (+.f64 (*.f64 d3 3) (*.f64 d3 d2)) (*.f64 d3 d1))
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d3)) (*.f64 d1 d2))

Outputs
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 3 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 (+.f64 3 d2) d3))
(*.f64 d1 (+.f64 3 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 3 d3)))
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 3 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 (+.f64 3 d2) d3))
(*.f64 d1 (+.f64 3 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 3 d3)))
(+.f64 (+.f64 (*.f64 (neg.f64 d1) 3) (*.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) d3))
(+.f64 (*.f64 (neg.f64 d1) (+.f64 3 d2)) (*.f64 d1 (neg.f64 d3)))
(*.f64 (neg.f64 d1) (+.f64 (+.f64 3 d2) d3))
(*.f64 d1 (-.f64 (+.f64 (neg.f64 d2) -3) d3))
(*.f64 d1 (-.f64 -3 (+.f64 d2 d3)))
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 (neg.f64 d2))) (*.f64 d1 d3))
(+.f64 (*.f64 d1 d3) (*.f64 d1 (+.f64 3 (neg.f64 d2))))
(*.f64 d1 (+.f64 d3 (-.f64 3 d2)))
(*.f64 d1 (+.f64 3 (-.f64 d3 d2)))
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 (neg.f64 d3)))
(+.f64 (*.f64 d1 (+.f64 3 d2)) (*.f64 d1 (neg.f64 d3)))
(*.f64 d1 (+.f64 (+.f64 3 d2) (neg.f64 d3)))
(*.f64 d1 (-.f64 (+.f64 3 d2) d3))
(*.f64 d1 (-.f64 d2 (-.f64 d3 3)))
(*.f64 d1 (-.f64 3 (-.f64 d3 d2)))
(neg.f64 (+.f64 (+.f64 (*.f64 (neg.f64 d1) 3) (*.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) d3)))
(+.f64 (*.f64 d1 (+.f64 3 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 (+.f64 3 d2) d3))
(*.f64 d1 (+.f64 3 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 3 d3)))
(neg.f64 (+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 (neg.f64 d2))) (*.f64 d1 d3)))
(neg.f64 (+.f64 (*.f64 d1 d3) (*.f64 d1 (+.f64 3 (neg.f64 d2)))))
(neg.f64 (*.f64 d1 (+.f64 d3 (-.f64 3 d2))))
(*.f64 d1 (-.f64 -3 (fma.f64 d2 -1 d3)))
(*.f64 d1 (-.f64 -3 (-.f64 d3 d2)))
(*.f64 d1 (-.f64 d2 (+.f64 3 d3)))
(neg.f64 (+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 (neg.f64 d3))))
(neg.f64 (+.f64 (*.f64 d1 (+.f64 3 d2)) (*.f64 d1 (neg.f64 d3))))
(neg.f64 (*.f64 d1 (+.f64 (+.f64 3 d2) (neg.f64 d3))))
(*.f64 d1 (-.f64 d3 (+.f64 3 d2)))
(*.f64 d1 (+.f64 d3 (-.f64 -3 d2)))
(+.f64 (+.f64 (*.f64 d2 3) (*.f64 d2 d1)) (*.f64 d2 d3))
(+.f64 (*.f64 d2 (+.f64 3 d1)) (*.f64 d2 d3))
(*.f64 d2 (+.f64 (+.f64 d1 3) d3))
(*.f64 d2 (+.f64 3 (+.f64 d1 d3)))
(*.f64 d2 (+.f64 d1 (+.f64 3 d3)))
(+.f64 (+.f64 (*.f64 d3 3) (*.f64 d3 d2)) (*.f64 d3 d1))
(+.f64 (*.f64 d1 d3) (*.f64 d3 (+.f64 3 d2)))
(*.f64 d3 (+.f64 d1 (+.f64 3 d2)))
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d3)) (*.f64 d1 d2))
(+.f64 (*.f64 d1 (+.f64 3 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 (+.f64 3 d2) d3))
(*.f64 d1 (+.f64 3 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 3 d3)))

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 35 to 16 computations (54.3% saved)