preprocess224.0ms (19.7%)

Algorithm

1×	egg-herbie

Rules

640×	+-commutative
607×	*-commutative
405×	distribute-rgt-neg-in
394×	distribute-neg-in
353×	distribute-lft-neg-in

Problems

256×	(+.f64 (*.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000))) (-.f64 -1 (*.f64 2 (*.f64 t 1/5000000000000000))))

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	24	256
1	78	196
2	265	176
3	1061	168
4	3888	148
5	6218	76
6	7681	76

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (*.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000))) (-.f64 -1 (*.f64 2 (*.f64 t 1/5000000000000000))))
(+.f64 (*.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000))) (-.f64 -1 (*.f64 2 (*.f64 t 1/5000000000000000))))
(+.f64 (*.f64 (+.f64 1 (*.f64 (neg.f64 t) 1/5000000000000000)) (+.f64 1 (*.f64 (neg.f64 t) 1/5000000000000000))) (-.f64 -1 (*.f64 2 (*.f64 (neg.f64 t) 1/5000000000000000))))
(neg.f64 (+.f64 (*.f64 (+.f64 1 (*.f64 (neg.f64 t) 1/5000000000000000)) (+.f64 1 (*.f64 (neg.f64 t) 1/5000000000000000))) (-.f64 -1 (*.f64 2 (*.f64 (neg.f64 t) 1/5000000000000000)))))

Outputs
(+.f64 (*.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000))) (-.f64 -1 (*.f64 2 (*.f64 t 1/5000000000000000))))
(fma.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 -1 (*.f64 -2 (*.f64 t 1/5000000000000000))))
(+.f64 (fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) -1) (*.f64 -1/2500000000000000 t))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (fma.f64 -1/2500000000000000 t -1))
(fma.f64 (fma.f64 1/5000000000000000 t 1) (fma.f64 1/5000000000000000 t 1) (fma.f64 -1/2500000000000000 t -1))
(*.f64 (*.f64 1/5000000000000000 t) (+.f64 -2 (+.f64 (*.f64 1/5000000000000000 t) 2)))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(+.f64 (*.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000))) (-.f64 -1 (*.f64 2 (*.f64 t 1/5000000000000000))))
(fma.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 -1 (*.f64 -2 (*.f64 t 1/5000000000000000))))
(+.f64 (fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) -1) (*.f64 -1/2500000000000000 t))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (fma.f64 -1/2500000000000000 t -1))
(fma.f64 (fma.f64 1/5000000000000000 t 1) (fma.f64 1/5000000000000000 t 1) (fma.f64 -1/2500000000000000 t -1))
(*.f64 (*.f64 1/5000000000000000 t) (+.f64 -2 (+.f64 (*.f64 1/5000000000000000 t) 2)))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(+.f64 (*.f64 (+.f64 1 (*.f64 (neg.f64 t) 1/5000000000000000)) (+.f64 1 (*.f64 (neg.f64 t) 1/5000000000000000))) (-.f64 -1 (*.f64 2 (*.f64 (neg.f64 t) 1/5000000000000000))))
(fma.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 -1 (*.f64 -2 (*.f64 t 1/5000000000000000))))
(+.f64 (fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) -1) (*.f64 -1/2500000000000000 t))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (fma.f64 -1/2500000000000000 t -1))
(fma.f64 (fma.f64 1/5000000000000000 t 1) (fma.f64 1/5000000000000000 t 1) (fma.f64 -1/2500000000000000 t -1))
(*.f64 (*.f64 1/5000000000000000 t) (+.f64 -2 (+.f64 (*.f64 1/5000000000000000 t) 2)))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(neg.f64 (+.f64 (*.f64 (+.f64 1 (*.f64 (neg.f64 t) 1/5000000000000000)) (+.f64 1 (*.f64 (neg.f64 t) 1/5000000000000000))) (-.f64 -1 (*.f64 2 (*.f64 (neg.f64 t) 1/5000000000000000)))))
(neg.f64 (fma.f64 (+.f64 1 (*.f64 1/5000000000000000 (neg.f64 t))) (+.f64 1 (*.f64 1/5000000000000000 (neg.f64 t))) (+.f64 -1 (*.f64 -2 (*.f64 1/5000000000000000 (neg.f64 t))))))
(neg.f64 (+.f64 (fma.f64 (+.f64 1 (*.f64 t -1/5000000000000000)) (+.f64 1 (*.f64 t -1/5000000000000000)) -1) (*.f64 t 1/2500000000000000)))
(-.f64 (-.f64 1 (*.f64 t 1/2500000000000000)) (*.f64 (fma.f64 t -1/5000000000000000 1) (fma.f64 t -1/5000000000000000 1)))
(fma.f64 (fma.f64 -1/5000000000000000 t 1) (fma.f64 1/5000000000000000 t -1) (fma.f64 -1/2500000000000000 t 1))
(*.f64 (*.f64 1/5000000000000000 t) (+.f64 (+.f64 2 (*.f64 -1/5000000000000000 t)) -2))
(*.f64 t (*.f64 t -1/25000000000000000000000000000000))

Symmetry

(abs t)

Compiler

Compiled 57 to 47 computations (17.5% saved)