Details

analyze2.7s (30%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.5%	0.5%	0
0%	99.5%	0.5%	1
0%	99.5%	0.5%	2
0%	99.5%	0.5%	3
0%	99.5%	0.5%	4
0%	99.5%	0.5%	5
0%	99.5%	0.5%	6
0%	99.5%	0.5%	7
0%	99.5%	0.5%	8
0%	99.5%	0.5%	9
0%	99.5%	0.5%	10
0%	99.5%	0.5%	11
0%	99.5%	0.5%	12
0%	99.5%	0.5%	13
0%	99.5%	0.5%	14

Compiler

Compiled 42 to 30 computations (28.6% saved)

sample4.0s (43.8%)

Results

2.0s	8256×	body	128	valid
1.9s	8271×	body	128	invalid

preprocess51.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

671×	`cancel-sign-sub-inv_binary64`
486×	`fma-neg_binary64`
466×	`associate-l_binary64`
374×	`fma-def_binary64`
336×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	358	1978
1	1491	1702
0	10	10
1	10	10

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1
2
3
4
5
6
7
8
9

Outputs
0
1
2
1
3
4
5
6
5
7
8
9
8

Call 2

Inputs
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 y 18) x) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 y 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 z 18) y) x) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 z 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 t 18) y) z) x) (.f64 (.f64 a 4) x)) (.f64 b c)) (.f64 (.f64 t 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 a 18) y) z) t) (.f64 (.f64 x 4) t)) (.f64 b c)) (.f64 (.f64 a 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 b 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 x c)) (.f64 (.f64 b 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 c 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b x)) (.f64 (.f64 c 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 i 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 i 4) x)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 j 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 j 4) i)) (.f64 (*.f64 x 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 k 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 k 4) i)) (.f64 (*.f64 j 27) x))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) z) y) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) t) z) y) (.f64 (.f64 a 4) y)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) a) z) t) (.f64 (.f64 y 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) b) z) t) (.f64 (.f64 a 4) t)) (.f64 y c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) c) z) t) (.f64 (.f64 a 4) t)) (.f64 b y)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) i) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) y)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) j) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 y 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) k) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) y))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) t) z) (.f64 (.f64 a 4) z)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) a) t) (.f64 (.f64 z 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) b) t) (.f64 (.f64 a 4) t)) (.f64 z c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) c) t) (.f64 (.f64 a 4) t)) (.f64 b z)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) i) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) z)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) j) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 z 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) k) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) z))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) a) (.f64 (.f64 t 4) a)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) b) (.f64 (.f64 a 4) b)) (.f64 t c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) c) (.f64 (.f64 a 4) c)) (.f64 b t)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) i) (.f64 (.f64 a 4) i)) (.f64 b c)) (.f64 (.f64 x 4) t)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) j) (.f64 (.f64 a 4) j)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 t 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) k) (.f64 (.f64 a 4) k)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) t))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 b 4) t)) (.f64 a c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 c 4) t)) (.f64 b a)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 i 4) t)) (.f64 b c)) (.f64 (.f64 x 4) a)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 j 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 a 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 k 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) a))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 c b)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 i c)) (.f64 (.f64 x 4) b)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 j c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 b 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 k c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) b))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b i)) (.f64 (.f64 x 4) c)) (.f64 (*.f64 j 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b j)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 c 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b k)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) c))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) j)) (.f64 (*.f64 i 27) k))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) k)) (.f64 (*.f64 j 27) i))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 k 27) j))

Outputs
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (-.f64 (.f64 b c) (.f64 x (.f64 4 i)))) (.f64 (.f64 j 27) k))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 y 18) x) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 y 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (.f64 b c)) (+.f64 (.f64 i (.f64 y 4)) (.f64 (.f64 j 27) k)))
(-.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (.f64 b c)) (fma.f64 y (.f64 4 i) (.f64 j (*.f64 27 k))))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 z 18) y) x) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 z 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 b c) (.f64 t (-.f64 (.f64 x (.f64 y (.f64 18 z))) (.f64 a 4)))) (+.f64 (.f64 z (.f64 4 i)) (.f64 (.f64 j 27) k)))
(-.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (.f64 b c)) (fma.f64 z (.f64 4 i) (.f64 j (*.f64 27 k))))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 t 18) y) z) x) (.f64 (.f64 a 4) x)) (.f64 b c)) (.f64 (.f64 t 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 x (-.f64 (.f64 z (.f64 y (.f64 18 t))) (.f64 a 4))) (-.f64 (.f64 b c) (.f64 t (.f64 4 i)))) (.f64 (.f64 j 27) k))
(-.f64 (fma.f64 x (fma.f64 z (.f64 18 (.f64 t y)) (.f64 a -4)) (.f64 b c)) (fma.f64 t (.f64 4 i) (.f64 j (*.f64 27 k))))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 a 18) y) z) t) (.f64 (.f64 x 4) t)) (.f64 b c)) (.f64 (.f64 a 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 b c) (.f64 t (-.f64 (.f64 z (.f64 y (.f64 18 a))) (.f64 x 4)))) (+.f64 (.f64 (.f64 a 4) i) (.f64 (.f64 j 27) k)))
(-.f64 (fma.f64 t (fma.f64 z (.f64 (.f64 y a) 18) (.f64 x -4)) (.f64 b c)) (fma.f64 a (.f64 4 i) (.f64 j (*.f64 27 k))))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 b 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 x c)) (.f64 (.f64 b 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 18 b) (.f64 y z)) (.f64 a 4))) (.f64 x c)) (+.f64 (.f64 i (.f64 4 b)) (.f64 (.f64 j 27) k)))
(-.f64 (fma.f64 x c (.f64 t (fma.f64 (.f64 18 b) (.f64 y z) (.f64 a -4)))) (fma.f64 b (.f64 4 i) (.f64 j (*.f64 27 k))))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 c 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b x)) (.f64 (.f64 c 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 z (.f64 c (.f64 18 y))) (.f64 a 4))) (.f64 x b)) (+.f64 (.f64 i (.f64 4 c)) (.f64 (.f64 j 27) k)))
(-.f64 (fma.f64 x b (.f64 t (fma.f64 z (.f64 18 (.f64 y c)) (.f64 a -4)))) (fma.f64 c (.f64 4 i) (.f64 j (*.f64 27 k))))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 i 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 i 4) x)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 b c) (.f64 t (-.f64 (.f64 z (.f64 i (.f64 18 y))) (.f64 a 4)))) (+.f64 (.f64 x (.f64 4 i)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 t (fma.f64 z (.f64 18 (.f64 i y)) (.f64 a -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 j 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 j 4) i)) (.f64 (*.f64 x 27) k))
(-.f64 (+.f64 (.f64 b c) (.f64 t (-.f64 (.f64 z (.f64 j (.f64 18 y))) (.f64 a 4)))) (+.f64 (.f64 i (.f64 4 j)) (.f64 k (.f64 x 27))))
(-.f64 (fma.f64 t (fma.f64 z (.f64 y (.f64 18 j)) (.f64 a -4)) (.f64 b c)) (fma.f64 i (.f64 4 j) (.f64 x (*.f64 27 k))))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 k 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 k 4) i)) (.f64 (*.f64 j 27) x))
(-.f64 (+.f64 (.f64 b c) (.f64 t (-.f64 (.f64 z (.f64 k (.f64 18 y))) (.f64 a 4)))) (+.f64 (.f64 i (.f64 4 k)) (.f64 x (.f64 j 27))))
(+.f64 (fma.f64 t (fma.f64 z (.f64 18 (.f64 k y)) (.f64 a -4)) (fma.f64 b c (.f64 i (.f64 k -4)))) (.f64 j (*.f64 x -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) z) y) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (-.f64 (.f64 b c) (.f64 x (.f64 4 i)))) (.f64 (.f64 j 27) k))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) t) z) y) (.f64 (.f64 a 4) y)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 b c) (.f64 y (-.f64 (.f64 (.f64 x 18) (.f64 t z)) (.f64 a 4)))) (+.f64 (.f64 x (.f64 4 i)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 y (fma.f64 (.f64 x 18) (.f64 t z) (.f64 a -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) a) z) t) (.f64 (.f64 y 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 b c) (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 a z)) (.f64 y 4)))) (+.f64 (.f64 x (.f64 4 i)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 a z) (.f64 y -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) b) z) t) (.f64 (.f64 a 4) t)) (.f64 y c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 z b)) (.f64 a 4))) (.f64 y c)) (+.f64 (.f64 x (.f64 4 i)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z b) (.f64 a -4)) (fma.f64 y c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) c) z) t) (.f64 (.f64 a 4) t)) (.f64 b y)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 z c)) (.f64 a 4))) (.f64 y b)) (+.f64 (.f64 x (.f64 4 i)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z c) (.f64 a -4)) (fma.f64 y b (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) i) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) y)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 b c) (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 i z)) (.f64 a 4)))) (+.f64 (.f64 x (.f64 y 4)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 t (fma.f64 z (.f64 x (.f64 18 i)) (.f64 a -4)) (fma.f64 b c (.f64 y (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) j) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 y 27) k))
(-.f64 (+.f64 (.f64 b c) (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 j z)) (.f64 a 4)))) (+.f64 (.f64 x (.f64 4 i)) (.f64 k (.f64 y 27))))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 j z) (.f64 a -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 k (*.f64 y -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) k) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) y))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 k z)) (.f64 a 4))) (-.f64 (.f64 b c) (.f64 x (.f64 4 i)))) (.f64 y (.f64 j 27)))
(-.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 k z) (.f64 a -4)) (.f64 b c)) (fma.f64 x (.f64 4 i) (.f64 y (*.f64 j 27))))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) t) z) (.f64 (.f64 a 4) z)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 b c) (.f64 z (-.f64 (.f64 (.f64 x 18) (.f64 y t)) (.f64 a 4)))) (+.f64 (.f64 x (.f64 4 i)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 z (fma.f64 (.f64 x 18) (.f64 y t) (.f64 a -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) a) t) (.f64 (.f64 z 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y a)) (.f64 z 4))) (-.f64 (.f64 b c) (.f64 x (.f64 4 i)))) (.f64 (.f64 j 27) k))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 y a) (.f64 z -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) b) t) (.f64 (.f64 a 4) t)) (.f64 z c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y b)) (.f64 a 4))) (.f64 z c)) (+.f64 (.f64 x (.f64 4 i)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 y b) (.f64 a -4)) (fma.f64 z c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) c) t) (.f64 (.f64 a 4) t)) (.f64 b z)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y c)) (.f64 a 4))) (.f64 z b)) (+.f64 (.f64 x (.f64 4 i)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 y c) (.f64 a -4)) (fma.f64 z b (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) i) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) z)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 b c) (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y i)) (.f64 a 4)))) (+.f64 (.f64 x (.f64 z 4)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 y i) (.f64 a -4)) (fma.f64 b c (.f64 z (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) j) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 z 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x (.f64 18 y)) j) (.f64 a 4))) (-.f64 (.f64 b c) (.f64 x (.f64 4 i)))) (.f64 z (.f64 27 k)))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 y j) (.f64 a -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 z (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) k) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) z))
(-.f64 (+.f64 (.f64 b c) (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y k)) (.f64 a 4)))) (+.f64 (.f64 x (.f64 4 i)) (.f64 z (.f64 j 27))))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 y k) (.f64 a -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 z (*.f64 j -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) a) (.f64 (.f64 t 4) a)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 b c) (.f64 a (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 t 4)))) (+.f64 (.f64 x (.f64 4 i)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 a (fma.f64 (.f64 x 18) (.f64 y z) (.f64 t -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) b) (.f64 (.f64 a 4) b)) (.f64 t c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 b (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (.f64 t c)) (+.f64 (.f64 x (.f64 4 i)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 b (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 t c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) c) (.f64 (.f64 a 4) c)) (.f64 b t)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 c (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (.f64 t b)) (+.f64 (.f64 x (.f64 4 i)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 c (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 t b (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) i) (.f64 (.f64 a 4) i)) (.f64 b c)) (.f64 (.f64 x 4) t)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 i (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (-.f64 (.f64 b c) (.f64 x (.f64 t 4)))) (.f64 (.f64 j 27) k))
(+.f64 (fma.f64 i (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 b c (.f64 x (.f64 t -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) j) (.f64 (.f64 a 4) j)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 t 27) k))
(-.f64 (+.f64 (.f64 b c) (.f64 j (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4)))) (+.f64 (.f64 x (.f64 4 i)) (.f64 k (.f64 t 27))))
(+.f64 (fma.f64 j (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 t (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) k) (.f64 (.f64 a 4) k)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) t))
(-.f64 (+.f64 (.f64 b c) (.f64 k (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4)))) (+.f64 (.f64 x (.f64 4 i)) (.f64 t (.f64 j 27))))
(+.f64 (fma.f64 k (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 t (*.f64 j -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 b 4) t)) (.f64 a c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 4 b))) (.f64 a c)) (+.f64 (.f64 x (.f64 4 i)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 b -4)) (fma.f64 a c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 c 4) t)) (.f64 b a)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 4 c))) (.f64 a b)) (+.f64 (.f64 x (.f64 4 i)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 c -4)) (fma.f64 a b (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 i 4) t)) (.f64 b c)) (.f64 (.f64 x 4) a)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 b c) (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 4 i)))) (+.f64 (.f64 x (.f64 a 4)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 i -4)) (fma.f64 b c (.f64 x (.f64 a -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 j 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 a 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 4 j))) (-.f64 (.f64 b c) (.f64 x (.f64 4 i)))) (.f64 a (.f64 27 k)))
(-.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 j -4)) (.f64 b c)) (fma.f64 x (.f64 4 i) (.f64 a (*.f64 27 k))))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 k 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) a))
(-.f64 (+.f64 (.f64 b c) (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 4 k)))) (+.f64 (.f64 x (.f64 4 i)) (.f64 a (.f64 j 27))))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 k -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 a (*.f64 j -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 c b)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (-.f64 (.f64 b c) (.f64 x (.f64 4 i)))) (.f64 (.f64 j 27) k))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 i c)) (.f64 (.f64 x 4) b)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (.f64 c i)) (+.f64 (.f64 x (.f64 4 b)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 c i (.f64 x (.f64 b -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 j c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 b 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (.f64 c j)) (+.f64 (.f64 x (.f64 4 i)) (.f64 k (.f64 b 27))))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 c j (.f64 i (.f64 x -4)))) (.f64 b (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 k c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) b))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (.f64 c k)) (+.f64 (.f64 x (.f64 4 i)) (.f64 b (.f64 j 27))))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 c k (.f64 i (.f64 x -4)))) (.f64 b (*.f64 j -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b i)) (.f64 (.f64 x 4) c)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (.f64 b i)) (+.f64 (.f64 x (.f64 4 c)) (.f64 (.f64 j 27) k)))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 b i (.f64 x (.f64 c -4)))) (.f64 j (*.f64 k -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b j)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 c 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (-.f64 (.f64 b j) (.f64 x (.f64 4 i)))) (.f64 c (.f64 27 k)))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 b j (.f64 i (.f64 x -4)))) (.f64 k (*.f64 c -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b k)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) c))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (.f64 b k)) (+.f64 (.f64 x (.f64 4 i)) (.f64 c (.f64 j 27))))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 b k (.f64 i (.f64 x -4)))) (.f64 j (*.f64 c -27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) j)) (.f64 (*.f64 i 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (.f64 b c)) (+.f64 (.f64 (.f64 x 4) j) (.f64 i (.f64 27 k))))
(-.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (.f64 b c)) (fma.f64 x (.f64 4 j) (.f64 i (*.f64 27 k))))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) k)) (.f64 (*.f64 j 27) i))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (.f64 b c)) (+.f64 (.f64 x (.f64 4 k)) (.f64 i (.f64 j 27))))
(-.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (.f64 b c)) (fma.f64 x (.f64 4 k) (.f64 (*.f64 i j) 27)))
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 k 27) j))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (-.f64 (.f64 b c) (.f64 x (.f64 4 i)))) (.f64 (.f64 j 27) k))
(+.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 z y) (.f64 a -4)) (fma.f64 b c (.f64 i (.f64 x -4)))) (.f64 j (*.f64 k -27)))

Symmetry

(sort y z)

(sort b c)

(sort j k)

Compiler

Compiled 41 to 29 computations (29.3% saved)

simplify35.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

513×	`fma-neg_binary64`
388×	`sub-neg_binary64`
242×	`associate--r+_binary64`
237×	`distribute-rgt-neg-in_binary64`
213×	`associate--r-_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	29	43
1	77	37
2	278	35
3	986	35
4	2620	35
5	4613	35

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))

Outputs
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
(-.f64 (+.f64 (.f64 t (-.f64 (.f64 (.f64 x 18) (.f64 y z)) (.f64 a 4))) (.f64 b c)) (+.f64 (.f64 x (.f64 4 i)) (.f64 j (.f64 27 k))))
(-.f64 (fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 a -4)) (.f64 b c)) (fma.f64 x (.f64 4 i) (.f64 j (*.f64 27 k))))
(fma.f64 t (fma.f64 x (.f64 y (.f64 18 z)) (.f64 a -4)) (fma.f64 b c (fma.f64 i (.f64 x -4) (.f64 j (.f64 k -27)))))
(fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 a -4)) (fma.f64 b c (fma.f64 x (.f64 i -4) (.f64 j (.f64 k -27)))))

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

3.3b

Counts

3 → 2

Alt Table

Status

Error

Program

6.1b

(fma.f64 t (fma.f64 (*.f64 x 18) (*.f64 y z) (*.f64 a -4)) (fma.f64 b c (fma.f64 x (*.f64 i -4) (*.f64 j (*.f64 k -27)))))

▶

4.4b

(-.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) t) (*.f64 (*.f64 a 4) t)) (*.f64 b c)) (*.f64 (*.f64 x 4) i)) (*.f64 (*.f64 j 27) k))

Compiler

Compiled 218 to 149 computations (31.7% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x 18) y)
✓	0.2b	(.f64 (.f64 j 27) k)
✓	4.4b	(.f64 (.f64 (*.f64 x 18) y) z)
✓	6.9b	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)

series32.0ms (0.4%)

Counts

4 → 132

Calls

33 calls:

Time	Variable		Point	Expression
5.0ms	z	@	0	(.f64 (.f64 (*.f64 x 18) y) z)
4.0ms	x	@	inf	(.f64 (.f64 x 18) y)
2.0ms	t	@	0	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
2.0ms	y	@	0	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
1.0ms	x	@	0	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)

rewrite58.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

823×	`log-prod_binary64`
273×	`expm1-udef_binary64`
273×	`log1p-udef_binary64`
230×	`log-pow_binary64`
158×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	37
1	304	37
2	3627	37

Stop Event

1×	node limit

Counts

4 → 72

Calls

Call 1

Inputs
(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
(.f64 (.f64 (*.f64 x 18) y) z)
(.f64 (.f64 j 27) k)
(.f64 (.f64 x 18) y)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (.f64 x (.f64 (.f64 18 y) z)))) (cbrt.f64 (pow.f64 (exp.f64 t) (.f64 x (.f64 (.f64 18 y) z)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (.f64 x (.f64 (.f64 18 y) z))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 t) (.f64 x (.f64 (.f64 18 y) z))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 t) (.f64 x (.f64 (.f64 18 y) z))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 t) (.f64 x (.f64 (.f64 18 y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 x (.f64 (.f64 18 y) z)) 3) (pow.f64 t 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 t 3) (pow.f64 (.f64 x (.f64 (.f64 18 y) z)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (.f64 (.f64 18 y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) (.f64 x 18)) z)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) (.f64 x 18)) z)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) (.f64 x 18)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) (.f64 x 18)) z))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) (.f64 x 18)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 (.f64 18 y) z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (.f64 (.f64 18 y) z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (.f64 (.f64 18 y) z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (.f64 (.f64 18 y) z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 x (.f64 (.f64 18 y) z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 x (.f64 (.f64 18 y) z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 y) (.f64 x 18)) z))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 (.f64 18 y) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (.f64 (.f64 18 y) z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 x (.f64 18 y)) 3) (pow.f64 z 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 z 3) (pow.f64 (.f64 x (.f64 18 y)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (.f64 (.f64 18 y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (.f64 (.f64 18 y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 x (.f64 (.f64 18 y) z))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (.f64 (*.f64 18 y) z))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 j (.f64 27 k)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 k) (.f64 j 27))) (cbrt.f64 (pow.f64 (exp.f64 k) (.f64 j 27))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 k) (.f64 j 27)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 k) (.f64 j 27)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 k) (.f64 j 27)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 j (.f64 27 k)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 j (.f64 27 k)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 j (.f64 27 k)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 j (.f64 27 k))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 j (.f64 27 k))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 j (.f64 27 k)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 k) (.f64 j 27)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 j (.f64 27 k)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 j (.f64 27 k)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 j 27) 3) (pow.f64 k 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 k 3) (pow.f64 (.f64 j 27) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 j (.f64 27 k))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 j (.f64 27 k))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 j (.f64 27 k))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 j (.f64 27 k))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (.f64 18 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (.f64 x 18))) (cbrt.f64 (pow.f64 (exp.f64 y) (.f64 x 18))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (.f64 x 18)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (.f64 x 18)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (.f64 x 18)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 18 y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (.f64 18 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (.f64 18 y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (.f64 18 y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 x (.f64 18 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 x (.f64 18 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (.f64 x 18)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 18 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (.f64 18 y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 x 18) 3) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x 18) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (.f64 18 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (.f64 18 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 x (.f64 18 y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (.f64 18 y))))))))

simplify74.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

146×	`associate-l_binary64`
76×	`associate-r_binary64`
44×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	1320
1	41	1320
2	105	1320
3	222	1320
4	324	1320
5	324	1320

Stop Event

1×

saturated

Counts

204 → 79

Calls

Call 1

Inputs
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))
(.f64 18 (.f64 y x))

Outputs
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 27 (.f64 k j))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))
(.f64 18 (.f64 y x))
(.f64 y (.f64 x 18))
(.f64 y (.f64 18 x))

prune132.0ms (1.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	74	5	79
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	75	6	81

Error

0.0b

Counts

81 → 6

Alt Table

Status	Error	Program
	5.8b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 18 y) (.f64 t (.f64 z x))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	5.8b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	6.1b	(fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 a -4)) (fma.f64 b c (fma.f64 x (.f64 i -4) (.f64 j (.f64 k -27)))))
	29.6b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (pow.f64 (sqrt.f64 (.f64 j (*.f64 27 k))) 2))
	5.4b	(-.f64 (-.f64 (+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
▶	4.4b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 27 (*.f64 k j)))

Compiler

Compiled 3295 to 2046 computations (37.9% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 (.f64 x 18) y)
✓	0.2b	(.f64 27 (.f64 k j))
	4.4b	(.f64 (.f64 (*.f64 x 18) y) z)
	6.9b	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)

series2.0ms (0%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	k	@	0	(.f64 27 (.f64 k j))
0.0ms	k	@	inf	(.f64 27 (.f64 k j))
0.0ms	j	@	inf	(.f64 27 (.f64 k j))
0.0ms	k	@	-inf	(.f64 27 (.f64 k j))
0.0ms	j	@	-inf	(.f64 27 (.f64 k j))

rewrite32.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

555×	`pow1_binary64`
512×	`add-log-exp_binary64`
512×	`log1p-expm1-u_binary64`
512×	`expm1-log1p-u_binary64`
502×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	121	7
2	1394	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 27 (.f64 k j))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 27 (.f64 k j))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 27 (.f64 k j)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 27 (.f64 k j)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 27 (.f64 k j))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 27 (.f64 k j))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 (.f64 k j) 2) 729))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 k) j) 27))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 27 (.f64 k j)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 27 (.f64 k j))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 27 (.f64 k j))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 27 (.f64 k j))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 27 (*.f64 k j))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 27 (*.f64 k j)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 27 (*.f64 k j)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 27 (*.f64 k j))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 27 (*.f64 k j))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (*.f64 k j) 2) 729))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 k) j) 27))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 27 (*.f64 k j)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 27 (*.f64 k j))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 27 (*.f64 k j))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 27 (*.f64 k j))))))))

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

11 → 11

Calls

Call 1

Inputs

Outputs

prune104.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	71	6	77

Error

0.0b

Counts

77 → 6

Alt Table

Status	Error	Program
	5.8b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 18 y) (.f64 t (.f64 z x))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	5.8b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	6.1b	(fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 a -4)) (fma.f64 b c (fma.f64 x (.f64 i -4) (.f64 j (.f64 k -27)))))
	29.6b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (pow.f64 (sqrt.f64 (.f64 j (*.f64 27 k))) 2))
▶	5.4b	(-.f64 (-.f64 (+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
✓	4.4b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 27 (*.f64 k j)))

Compiler

Compiled 2954 to 1763 computations (40.3% saved)

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (*.f64 b c))
	0.2b	(.f64 (.f64 j 27) k)
✓	3.9b	(.f64 y (.f64 z t))
✓	6.1b	(.f64 (.f64 x 18) (.f64 y (.f64 z t)))

series22.0ms (0.2%)

Counts

3 → 168

Calls

42 calls:

Time	Variable		Point	Expression
3.0ms	b	@	inf	(+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (*.f64 b c))
1.0ms	a	@	0	(+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (*.f64 b c))
1.0ms	c	@	0	(+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (*.f64 b c))
1.0ms	b	@	0	(+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (*.f64 b c))
1.0ms	x	@	0	(+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (*.f64 b c))

rewrite40.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

223×	`add-sqr-sqrt_binary64`
219×	`pow1_binary64`
218×	`*-un-lft-identity_binary64`
209×	`add-exp-log_binary64`
209×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	48
1	463	46

Stop Event

1×	node limit

Counts

3 → 86

Calls

Call 1

Inputs
(.f64 (.f64 x 18) (.f64 y (.f64 z t)))
(.f64 y (.f64 z t))
(+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (*.f64 b c))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 0 (-.f64 0 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))))) (/.f64 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 2) (-.f64 0 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 0 (-.f64 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 2) (*.f64 0 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))))) (+.f64 0 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 0 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))) (-.f64 0 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 0 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 3)) (+.f64 0 (-.f64 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 2) (*.f64 0 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 0 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 2)) (-.f64 0 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 0 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 3))) (neg.f64 (+.f64 0 (-.f64 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 2) (*.f64 0 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 0 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 2))) (neg.f64 (-.f64 0 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 3) 0) (+.f64 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 2) (-.f64 0 (*.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 (*.f64 y z)) t) (*.f64 x 18)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x 18) (*.f64 (*.f64 y z) t) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 2)) (cbrt.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))) (sqrt.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 x 18) y) (*.f64 z t) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 y z) t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 y z) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (*.f64 y z) t) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (*.f64 y z) t)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (*.f64 y z) t)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (*.f64 y z) t) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (*.f64 y z)) t))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 y z) t))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (*.f64 y z) t) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (*.f64 z t) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (*.f64 y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (*.f64 y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 y z) t)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (*.f64 y z) t)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (-.f64 (*.f64 t (*.f64 a 4)) (*.f64 b c)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) 2) (-.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) (*.f64 b c))) (/.f64 (pow.f64 (*.f64 b c) 2) (-.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) (*.f64 b c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4)))) 2)) (cbrt.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))) (sqrt.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) 2) (-.f64 (pow.f64 (*.f64 b c) 2) (*.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) (*.f64 b c)))) (+.f64 (pow.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) 3) (pow.f64 (*.f64 b c) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) (*.f64 b c)) (-.f64 (pow.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) 2) (pow.f64 (*.f64 b c) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) 3) (pow.f64 (*.f64 b c) 3)) (+.f64 (pow.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) 2) (-.f64 (pow.f64 (*.f64 b c) 2) (*.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) (*.f64 b c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) 2) (pow.f64 (*.f64 b c) 2)) (-.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) (*.f64 b c)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) 3) (pow.f64 (*.f64 b c) 3))) (neg.f64 (+.f64 (pow.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) 2) (-.f64 (pow.f64 (*.f64 b c) 2) (*.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) (*.f64 b c))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) 2) (pow.f64 (*.f64 b c) 2))) (neg.f64 (-.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) (*.f64 b c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 3) (pow.f64 (-.f64 (*.f64 t (*.f64 a 4)) (*.f64 b c)) 3)) (+.f64 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 2) (+.f64 (*.f64 (-.f64 (*.f64 t (*.f64 a 4)) (*.f64 b c)) (-.f64 (*.f64 t (*.f64 a 4)) (*.f64 b c))) (*.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (-.f64 (*.f64 t (*.f64 a 4)) (*.f64 b c))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 b c) 3) (pow.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) 3)) (+.f64 (pow.f64 (*.f64 b c) 2) (-.f64 (pow.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) 2) (*.f64 (*.f64 b c) (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)) (neg.f64 (-.f64 (*.f64 t (*.f64 a 4)) (*.f64 b c))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x 18) (*.f64 (*.f64 y z) t) (neg.f64 (-.f64 (*.f64 t (*.f64 a 4)) (*.f64 b c))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18) (neg.f64 (-.f64 (*.f64 t (*.f64 a 4)) (*.f64 b c))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 c b (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (neg.f64 (-.f64 (*.f64 t (*.f64 a 4)) (*.f64 b c))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))) (*.f64 b c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 b c) (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) 2)) (cbrt.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))) (neg.f64 (-.f64 (*.f64 t (*.f64 a 4)) (*.f64 b c))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 b c)) 2) (cbrt.f64 (*.f64 b c)) (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4)))) 2) (cbrt.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4)))) (*.f64 b c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))) (sqrt.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t)))) (neg.f64 (-.f64 (*.f64 t (*.f64 a 4)) (*.f64 b c))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 b c)) (sqrt.f64 (*.f64 b c)) (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4)))) (sqrt.f64 (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4)))) (*.f64 b c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 x 18) y) (*.f64 z t) (neg.f64 (-.f64 (*.f64 t (*.f64 a 4)) (*.f64 b c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 b c (-.f64 (*.f64 x (*.f64 18 (*.f64 (*.f64 y z) t))) (*.f64 t (*.f64 a 4))))))))))

simplify140.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1639×	`fma-def_binary64`
619×	`fma-neg_binary64`
515×	`cancel-sign-sub-inv_binary64`
418×	`distribute-rgt-neg-in_binary64`
347×	`associate-l_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	41	2632
1	103	2429
2	279	2429
3	810	2429
4	2244	2429
5	3936	2429
6	4549	2429
7	4804	2429
8	4916	2429
9	4919	2429

Stop Event

1×	node limit

Counts

254 → 105

Calls

Call 1

Inputs
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(-.f64 (.f64 c b) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (.f64 c b) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (.f64 c b) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(*.f64 c b)
(+.f64 (.f64 c b) (.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (.f64 4 a))))
(+.f64 (.f64 c b) (.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (.f64 4 a))))
(+.f64 (.f64 c b) (.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (.f64 4 a))))
(.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (*.f64 4 a)))
(+.f64 (.f64 c b) (.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (.f64 4 a))))
(+.f64 (.f64 c b) (.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (.f64 4 a))))
(+.f64 (.f64 c b) (.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (.f64 4 a))))
(.f64 -1 (.f64 (-.f64 (.f64 -18 (.f64 y (.f64 z x))) (.f64 -4 a)) t))
(+.f64 (.f64 c b) (.f64 -1 (.f64 (-.f64 (.f64 -18 (.f64 y (.f64 z x))) (*.f64 -4 a)) t)))
(+.f64 (.f64 c b) (.f64 -1 (.f64 (-.f64 (.f64 -18 (.f64 y (.f64 z x))) (*.f64 -4 a)) t)))
(+.f64 (.f64 c b) (.f64 -1 (.f64 (-.f64 (.f64 -18 (.f64 y (.f64 z x))) (*.f64 -4 a)) t)))
(+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (*.f64 z x)))))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(.f64 -4 (.f64 a t))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(.f64 -4 (.f64 a t))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(-.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 4 (.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(*.f64 c b)
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(*.f64 c b)
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 4 (.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(*.f64 c b)
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(*.f64 c b)
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))

Outputs
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(-.f64 (.f64 c b) (.f64 4 (*.f64 a t)))
(+.f64 (.f64 c b) (.f64 (*.f64 t a) -4))
(fma.f64 c b (.f64 a (.f64 t -4)))
(fma.f64 t (.f64 a -4) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (.f64 c b) (.f64 4 (*.f64 a t)))
(+.f64 (.f64 c b) (.f64 (*.f64 t a) -4))
(fma.f64 c b (.f64 a (.f64 t -4)))
(fma.f64 t (.f64 a -4) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (.f64 c b) (.f64 4 (*.f64 a t)))
(+.f64 (.f64 c b) (.f64 (*.f64 t a) -4))
(fma.f64 c b (.f64 a (.f64 t -4)))
(fma.f64 t (.f64 a -4) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 x (.f64 t z)) (.f64 18 y))
(.f64 18 (.f64 (.f64 y z) (.f64 t x)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(*.f64 c b)
(+.f64 (.f64 c b) (.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (.f64 4 a))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(+.f64 (.f64 c b) (.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (.f64 4 a))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(+.f64 (.f64 c b) (.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (.f64 4 a))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (*.f64 4 a)))
(.f64 t (+.f64 (.f64 18 (.f64 y (.f64 z x))) (*.f64 a -4)))
(.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)))
(.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)))
(+.f64 (.f64 c b) (.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (.f64 4 a))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(+.f64 (.f64 c b) (.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (.f64 4 a))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(+.f64 (.f64 c b) (.f64 t (-.f64 (.f64 18 (.f64 y (.f64 z x))) (.f64 4 a))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(.f64 -1 (.f64 (-.f64 (.f64 -18 (.f64 y (.f64 z x))) (.f64 -4 a)) t))
(.f64 t (+.f64 (.f64 18 (.f64 y (.f64 z x))) (*.f64 a -4)))
(.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)))
(.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)))
(+.f64 (.f64 c b) (.f64 -1 (.f64 (-.f64 (.f64 -18 (.f64 y (.f64 z x))) (*.f64 -4 a)) t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(+.f64 (.f64 c b) (.f64 -1 (.f64 (-.f64 (.f64 -18 (.f64 y (.f64 z x))) (*.f64 -4 a)) t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(+.f64 (.f64 c b) (.f64 -1 (.f64 (-.f64 (.f64 -18 (.f64 y (.f64 z x))) (*.f64 -4 a)) t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (*.f64 z x)))))
(fma.f64 c b (.f64 18 (.f64 y (.f64 t (.f64 z x)))))
(fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 c b))
(fma.f64 y (.f64 18 (.f64 x (.f64 t z))) (.f64 c b))
(fma.f64 18 (.f64 (.f64 y z) (.f64 t x)) (.f64 c b))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(.f64 -4 (.f64 a t))
(.f64 (.f64 t a) -4)
(.f64 a (.f64 t -4))
(.f64 t (.f64 a -4))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(.f64 -4 (.f64 a t))
(.f64 (.f64 t a) -4)
(.f64 a (.f64 t -4))
(.f64 t (.f64 a -4))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(+.f64 (.f64 c b) (+.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 -4 (*.f64 a t))))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 4 (.f64 a t)))
(.f64 t (+.f64 (.f64 18 (.f64 y (.f64 z x))) (*.f64 a -4)))
(.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)))
(.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(*.f64 c b)
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(*.f64 c b)
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 4 (.f64 a t)))
(.f64 t (+.f64 (.f64 18 (.f64 y (.f64 z x))) (*.f64 a -4)))
(.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)))
(.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(*.f64 c b)
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(*.f64 c b)
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))
(-.f64 (+.f64 (.f64 c b) (.f64 18 (.f64 y (.f64 t (.f64 z x))))) (.f64 4 (*.f64 a t)))
(fma.f64 c b (fma.f64 18 (.f64 y (.f64 t (.f64 z x))) (.f64 (*.f64 t a) -4)))
(fma.f64 t (fma.f64 18 (.f64 y (.f64 z x)) (.f64 a -4)) (.f64 c b))
(fma.f64 t (fma.f64 y (.f64 (.f64 18 z) x) (.f64 a -4)) (.f64 c b))

prune352.0ms (3.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	121	3	124
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	122	8	130

Error

0.0b

Counts

130 → 8

Alt Table

Status	Error	Program
	6.1b	(fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 a -4)) (fma.f64 b c (fma.f64 x (.f64 i -4) (.f64 j (.f64 k -27)))))
	5.9b	(-.f64 (-.f64 (+.f64 (-.f64 (+.f64 0 (.f64 18 (.f64 (.f64 y z) (.f64 t x)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
✓	4.4b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 27 (*.f64 k j)))
▶	5.4b	(-.f64 (-.f64 (fma.f64 b c (-.f64 (.f64 x (.f64 18 (.f64 (.f64 y z) t))) (.f64 t (.f64 a 4)))) (.f64 (.f64 x 4) i)) (.f64 (.f64 j 27) k))
	5.8b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 18 y) (.f64 t (.f64 z x))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	5.8b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	5.4b	(-.f64 (-.f64 (+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (pow.f64 (.f64 j (*.f64 27 k)) 1))
	29.6b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (pow.f64 (sqrt.f64 (.f64 j (*.f64 27 k))) 2))

Compiler

Compiled 5429 to 3150 computations (42% saved)

localize35.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 (.f64 j 27) k)
✓	0.3b	(.f64 18 (.f64 (*.f64 y z) t))
✓	4.9b	(.f64 (.f64 y z) t)
✓	6.1b	(.f64 x (.f64 18 (.f64 (.f64 y z) t)))

series10.0ms (0.1%)

Counts

3 → 120

Calls

30 calls:

Time	Variable		Point	Expression
1.0ms	z	@	0	(.f64 18 (.f64 (*.f64 y z) t))
0.0ms	y	@	-inf	(.f64 18 (.f64 (*.f64 y z) t))
0.0ms	y	@	inf	(.f64 18 (.f64 (*.f64 y z) t))
0.0ms	y	@	0	(.f64 18 (.f64 (*.f64 y z) t))
0.0ms	z	@	inf	(.f64 18 (.f64 (*.f64 y z) t))

rewrite47.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

906×	`log1p-expm1-u_binary64`
906×	`expm1-log1p-u_binary64`
120×	`associate-r_binary64`
102×	`add-sqr-sqrt_binary64`
100×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	203	30
2	2462	30

Stop Event

1×	node limit

Counts

3 → 43

Calls

Call 1

Inputs
(.f64 x (.f64 18 (.f64 (.f64 y z) t)))
(.f64 (.f64 y z) t)
(.f64 18 (.f64 (*.f64 y z) t))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (*.f64 18 (*.f64 (*.f64 y z) t))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (*.f64 18 (*.f64 (*.f64 y z) t)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 18 (*.f64 (*.f64 y z) t)) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (*.f64 (*.f64 y z) t) (*.f64 x 18))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 y z) t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 y z) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (*.f64 y z) t) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (*.f64 y z) t)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (*.f64 y z) t)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (*.f64 y z) t) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 y z) t))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (*.f64 y z) t) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 y z) 3) (pow.f64 t 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 t 3) (pow.f64 (*.f64 y z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (*.f64 y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (*.f64 y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 y z) t)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (*.f64 y z) t)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 18 (*.f64 (*.f64 y z) t)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 18 (*.f64 (*.f64 y z) t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 18 (*.f64 (*.f64 y z) t)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 18 (*.f64 (*.f64 y z) t))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 18 (*.f64 (*.f64 y z) t))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (*.f64 (*.f64 y z) t) 2) 324))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 18) (*.f64 (*.f64 y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 18 (*.f64 (*.f64 y z) t)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 18 (*.f64 (*.f64 y z) t)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 18 (*.f64 (*.f64 y z) t))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 18 (*.f64 (*.f64 y z) t))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 18 (*.f64 (*.f64 y z) t))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 18 (*.f64 (*.f64 y z) t))))))))

simplify41.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

152×	`associate-l_binary64`
85×	`associate-r_binary64`
38×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	1236
1	27	1236
2	79	1236
3	224	1236
4	343	1236
5	343	1236

Stop Event

1×

saturated

Counts

163 → 48

Calls

Call 1

Inputs
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 18 (.f64 y (*.f64 t z)))

Outputs
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 (.f64 18 y) (.f64 t (.f64 z x)))
(.f64 y (.f64 (.f64 t (.f64 z x)) 18))
(.f64 z (.f64 (.f64 t x) (.f64 18 y)))
(.f64 z (.f64 y (.f64 18 (.f64 t x))))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))
(.f64 18 (.f64 y (*.f64 t z)))
(.f64 (.f64 18 y) (*.f64 t z))
(.f64 (.f64 t z) (*.f64 18 y))
(.f64 y (.f64 t (*.f64 18 z)))

prune144.0ms (1.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	65	2	67
Fresh	3	3	6
Picked	1	0	1
Done	0	1	1
Total	69	6	75

Error

0.0b

Counts

75 → 6

Alt Table

Status	Error	Program
	2.6b	(-.f64 (-.f64 (fma.f64 b c (-.f64 (.f64 z (.f64 y (.f64 18 (.f64 t x)))) (.f64 t (.f64 a 4)))) (.f64 (.f64 x 4) i)) (.f64 (.f64 j 27) k))
	5.8b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 18 (.f64 y (.f64 t (.f64 z x)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
✓	4.4b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 27 (*.f64 k j)))
	5.4b	(-.f64 (-.f64 (fma.f64 b c (-.f64 (.f64 x (.f64 18 (.f64 (.f64 y z) t))) (.f64 t (.f64 a 4)))) (.f64 (.f64 x 4) i)) (pow.f64 (.f64 j (.f64 27 k)) 1))
	6.1b	(fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 a -4)) (fma.f64 b c (fma.f64 x (.f64 i -4) (.f64 j (.f64 k -27)))))
	29.6b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (pow.f64 (sqrt.f64 (.f64 j (*.f64 27 k))) 2))

Compiler

Compiled 2479 to 1470 computations (40.7% saved)

regimes720.0ms (8%)

Accuracy

Total -35.0b remaining (-2298.2%)

Threshold costs -35.0b (-2298.2%)

Counts

31 → 3

Compiler

Compiled 1190 to 745 computations (37.4% saved)

bsearch1.0ms (0%)

Algorithm

2×	left-value

Calls

2 calls:

0.0ms

(-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) t) (*.f64 (*.f64 a 4) t)) (*.f64 b c)) (*.f64 (*.f64 x 4) i))

0.0ms

(-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) t) (*.f64 (*.f64 a 4) t)) (*.f64 b c)) (*.f64 (*.f64 x 4) i))

Steps

Iters	Point		Range
4e+284	∈ [	2.3817852284360755e+284	,	1.853713913542138e+287	]
#hash((type . real) (value . -inf))	∈ [	#hash((type . real) (value . -inf))	,	-5.991667845761778e+305	]

Compiler

Compiled 54 to 41 computations (24.1% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

38×	`*-commutative_binary64`
28×	`+-commutative_binary64`
25×	`sub-neg_binary64`
20×	`distribute-rgt-neg-in_binary64`
18×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	220
1	123	220
2	197	220
3	237	220
4	260	220
5	267	220

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) t) (*.f64 (*.f64 a 4) t)) (*.f64 b c)) (*.f64 (*.f64 x 4) i)) -inf.0) (-.f64 (-.f64 (fma.f64 b c (-.f64 (*.f64 z (*.f64 y (*.f64 18 (*.f64 t x)))) (*.f64 t (*.f64 a 4)))) (*.f64 (*.f64 x 4) i)) (*.f64 (*.f64 j 27) k)) (if (<=.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) t) (*.f64 (*.f64 a 4) t)) (*.f64 b c)) (*.f64 (*.f64 x 4) i)) 400000000000000031685753003383070616502727676679884373633559736933774303590068411090178138228823058119008651333177672249627352852460208395355127829283505427414172483285967527011578668282082328903098837876871188522020228736277526594181499092977494229868905243002968168865846614770581504) (-.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) t) (*.f64 (*.f64 a 4) t)) (*.f64 b c)) (*.f64 (*.f64 x 4) i)) (*.f64 27 (*.f64 k j))) (-.f64 (-.f64 (+.f64 (-.f64 (+.f64 0 (*.f64 (*.f64 x 18) (*.f64 y (*.f64 z t)))) (*.f64 (*.f64 a 4) t)) (*.f64 b c)) (*.f64 (*.f64 x 4) i)) (pow.f64 (*.f64 j (*.f64 27 k)) 1))))

Outputs
(if (<=.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) -inf.0) (-.f64 (-.f64 (fma.f64 b c (-.f64 (.f64 z (.f64 y (.f64 18 (.f64 t x)))) (.f64 t (.f64 a 4)))) (.f64 (.f64 x 4) i)) (.f64 (.f64 j 27) k)) (if (<=.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) 400000000000000031685753003383070616502727676679884373633559736933774303590068411090178138228823058119008651333177672249627352852460208395355127829283505427414172483285967527011578668282082328903098837876871188522020228736277526594181499092977494229868905243002968168865846614770581504) (-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 27 (.f64 k j))) (-.f64 (-.f64 (+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (pow.f64 (.f64 j (.f64 27 k)) 1))))
(if (<=.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 t (.f64 a 4))) (.f64 b c)) (.f64 (.f64 x 4) i)) -inf.0) (-.f64 (-.f64 (fma.f64 b c (-.f64 (.f64 z (.f64 y (.f64 18 (.f64 x t)))) (.f64 t (.f64 a 4)))) (.f64 (.f64 x 4) i)) (.f64 (.f64 j 27) k)) (if (<=.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 t (.f64 a 4))) (.f64 b c)) (.f64 (.f64 x 4) i)) 400000000000000031685753003383070616502727676679884373633559736933774303590068411090178138228823058119008651333177672249627352852460208395355127829283505427414172483285967527011578668282082328903098837876871188522020228736277526594181499092977494229868905243002968168865846614770581504) (+.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 t (.f64 a 4))) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 -27 (.f64 j k))) (-.f64 (-.f64 (+.f64 (.f64 b c) (-.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t))) (.f64 t (.f64 a 4)))) (.f64 (.f64 x 4) i)) (.f64 j (.f64 27 k)))))
(if (<=.f64 (+.f64 (+.f64 (+.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 t (.f64 a -4))) (.f64 b c)) (.f64 i (.f64 x -4))) -inf.0) (+.f64 (+.f64 (fma.f64 b c (+.f64 (.f64 z (.f64 y (.f64 18 (.f64 x t)))) (.f64 t (.f64 a -4)))) (.f64 i (.f64 x -4))) (.f64 k (.f64 j -27))) (if (<=.f64 (+.f64 (+.f64 (+.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 t (.f64 a -4))) (.f64 b c)) (.f64 i (.f64 x -4))) 400000000000000031685753003383070616502727676679884373633559736933774303590068411090178138228823058119008651333177672249627352852460208395355127829283505427414172483285967527011578668282082328903098837876871188522020228736277526594181499092977494229868905243002968168865846614770581504) (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 t (.f64 a -4))) (.f64 b c)) (.f64 i (.f64 x -4))) (.f64 (.f64 j k) -27)) (-.f64 (+.f64 (+.f64 (.f64 b c) (+.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t))) (.f64 t (.f64 a -4)))) (.f64 i (.f64 x -4))) (.f64 j (.f64 27 k)))))
(if (<=.f64 (+.f64 (+.f64 (+.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 t (.f64 a -4))) (.f64 b c)) (.f64 i (.f64 x -4))) -inf.0) (+.f64 (+.f64 (fma.f64 b c (+.f64 (.f64 z (.f64 y (.f64 18 (.f64 x t)))) (.f64 t (.f64 a -4)))) (.f64 i (.f64 x -4))) (.f64 k (.f64 j -27))) (if (<=.f64 (+.f64 (+.f64 (+.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 t (.f64 a -4))) (.f64 b c)) (.f64 i (.f64 x -4))) 400000000000000031685753003383070616502727676679884373633559736933774303590068411090178138228823058119008651333177672249627352852460208395355127829283505427414172483285967527011578668282082328903098837876871188522020228736277526594181499092977494229868905243002968168865846614770581504) (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 t (.f64 a -4))) (.f64 b c)) (.f64 i (.f64 x -4))) (.f64 (.f64 j k) -27)) (+.f64 (+.f64 (+.f64 (.f64 b c) (+.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t))) (.f64 t (.f64 a -4)))) (.f64 i (.f64 x -4))) (.f64 j (.f64 k -27)))))

end205.0ms (2.3%)

Stop Event

1×

fuel

Remove

(sort b c)

Compiler

Compiled 2079 to 1296 computations (37.7% saved)

Details

analyze2.7s (30%)

sample4.0s (43.8%)

preprocess51.0ms (0.6%)

simplify35.0ms (0.4%)

prune5.0ms (0.1%)

localize23.0ms (0.3%)

series32.0ms (0.4%)

rewrite58.0ms (0.6%)

simplify74.0ms (0.8%)

prune132.0ms (1.5%)

localize22.0ms (0.2%)

series2.0ms (0%)

rewrite32.0ms (0.4%)

simplify7.0ms (0.1%)

prune104.0ms (1.1%)

localize25.0ms (0.3%)

series22.0ms (0.2%)

rewrite40.0ms (0.4%)

simplify140.0ms (1.5%)

prune352.0ms (3.9%)

localize35.0ms (0.4%)

series10.0ms (0.1%)

rewrite47.0ms (0.5%)

simplify41.0ms (0.4%)

prune144.0ms (1.6%)

regimes720.0ms (8%)

bsearch1.0ms (0%)

simplify8.0ms (0.1%)

end205.0ms (2.3%)

Profiling