preprocess74.0ms (9.9%)

Algorithm

1×	egg-herbie

Rules

77×	fma-def
27×	*-commutative
20×	+-commutative
18×	associate-+l-
13×	associate-+r-

Problems

256×

No Errors

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	25	185
1	48	169
2	96	169
3	190	161
4	269	161
5	317	161
6	345	161
7	362	161
8	365	161

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (fabs.f64 (-.f64 a b)) 2)
(/.f64 (fabs.f64 (-.f64 a b)) 2)
(/.f64 (fabs.f64 (-.f64 (neg.f64 a) b)) 2)
(/.f64 (fabs.f64 (-.f64 a (neg.f64 b))) 2)
(neg.f64 (/.f64 (fabs.f64 (-.f64 (neg.f64 a) b)) 2))
(neg.f64 (/.f64 (fabs.f64 (-.f64 a (neg.f64 b))) 2))
(/.f64 (fabs.f64 (-.f64 b a)) 2)

Outputs
(/.f64 (fabs.f64 (-.f64 a b)) 2)
(/.f64 (fabs.f64 (-.f64 b a)) 2)
(*.f64 1/2 (fabs.f64 (-.f64 a b)))
(*.f64 (fabs.f64 (-.f64 a b)) 1/2)
(/.f64 (fabs.f64 (-.f64 a b)) 2)
(/.f64 (fabs.f64 (-.f64 b a)) 2)
(*.f64 1/2 (fabs.f64 (-.f64 a b)))
(*.f64 (fabs.f64 (-.f64 a b)) 1/2)
(/.f64 (fabs.f64 (-.f64 (neg.f64 a) b)) 2)
(/.f64 (fabs.f64 (+.f64 a b)) 2)
(*.f64 1/2 (fabs.f64 (+.f64 a b)))
(*.f64 (fabs.f64 (+.f64 a b)) 1/2)
(/.f64 (fabs.f64 (-.f64 a (neg.f64 b))) 2)
(/.f64 (fabs.f64 (-.f64 (neg.f64 a) b)) 2)
(/.f64 (fabs.f64 (+.f64 a b)) 2)
(*.f64 1/2 (fabs.f64 (+.f64 a b)))
(*.f64 (fabs.f64 (+.f64 a b)) 1/2)
(neg.f64 (/.f64 (fabs.f64 (-.f64 (neg.f64 a) b)) 2))
(/.f64 (neg.f64 (fabs.f64 (-.f64 (neg.f64 a) b))) 2)
(/.f64 (neg.f64 (fabs.f64 (+.f64 a b))) 2)
(*.f64 -1/2 (fabs.f64 (+.f64 a b)))
(*.f64 (fabs.f64 (+.f64 a b)) -1/2)
(neg.f64 (/.f64 (fabs.f64 (-.f64 a (neg.f64 b))) 2))
(/.f64 (neg.f64 (fabs.f64 (-.f64 (neg.f64 a) b))) 2)
(/.f64 (neg.f64 (fabs.f64 (+.f64 a b))) 2)
(*.f64 -1/2 (fabs.f64 (+.f64 a b)))
(*.f64 (fabs.f64 (+.f64 a b)) -1/2)
(/.f64 (fabs.f64 (-.f64 b a)) 2)
(*.f64 1/2 (fabs.f64 (-.f64 a b)))
(*.f64 (fabs.f64 (-.f64 a b)) 1/2)

Symmetry

(sort a b)

Compiler

Compiled 19 to 8 computations (57.9% saved)