Details

analyze564.0ms (9.9%)

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
24.9%	74.6%	0.5%	4
62.2%	37.3%	0.5%	5
62.2%	37.3%	0.5%	6
62.2%	37.3%	0.5%	7
62.2%	37.3%	0.5%	8
74.6%	24.9%	0.5%	9
74.6%	24.9%	0.5%	10
79.3%	20.2%	0.5%	11
79.3%	20.2%	0.5%	12
79.3%	20.2%	0.5%	13
79.3%	20.2%	0.5%	14

Compiler

Compiled 42 to 30 computations (28.6% saved)

sample3.4s (59.1%)

Results

1.7s	8382×	body	128	invalid
1.7s	8256×	body	128	valid

Compiler

Compiled 84 to 60 computations (28.6% saved)

preprocess42.0ms (0.7%)

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)

simplify31.0ms (0.6%)

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.8b

Counts

3 → 2

Alt Table

Status

Error

Program

9.4b

(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)))))

▶

6.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)) (*.f64 (*.f64 j 27) k))

Compiler

Compiled 218 to 149 computations (31.7% saved)

localize22.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x 4) i)
✓	0.5b	(.f64 (.f64 x 18) y)
✓	5.7b	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
✓	7.4b	(.f64 (.f64 (*.f64 x 18) y) z)

series42.0ms (0.7%)

Counts

4 → 132

Calls

33 calls:

Time	Variable		Point	Expression
10.0ms	y	@	0	(.f64 (.f64 (*.f64 x 18) y) z)
7.0ms	i	@	inf	(.f64 (.f64 x 4) i)
2.0ms	y	@	0	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
2.0ms	z	@	0	(.f64 (.f64 (*.f64 x 18) y) z)
1.0ms	z	@	inf	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)

rewrite56.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

776×	`log-prod_binary64`
254×	`expm1-udef_binary64`
254×	`log1p-udef_binary64`
212×	`log-pow_binary64`
152×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	37
1	286	37
2	3413	37

Stop Event

1×	node limit

Counts

4 → 72

Calls

Call 1

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

Outputs
((#(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 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 log1p.f64 (expm1.f64 (.f64 x (.f64 (.f64 18 y) z))))))) (#(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 (.f64 x (.f64 18 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 (.f64 18 y)) (.f64 z t)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 x (.f64 18 y)) (.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (.f64 x (.f64 18 y)) (.f64 z t)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (.f64 x (.f64 18 y)) (.f64 z t))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (.f64 x (.f64 18 y)) (.f64 z t))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (.f64 x (.f64 18 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 (.f64 18 y)) (.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (.f64 x (.f64 18 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 exp.f64 (log.f64 (.f64 (.f64 x (.f64 18 y)) (.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (.f64 x (.f64 18 y)) (.f64 z t))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (.f64 x (.f64 18 y)) (.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (.f64 x (.f64 18 y)) (.f64 z t))))))))
((#(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 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 log1p.f64 (expm1.f64 (.f64 x (.f64 18 y))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (.f64 18 y))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (.f64 x 4) i))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 4) x) i)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 4) x) i)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 4) x) i))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 4) x) i))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 4) x) i))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (.f64 x 4) i))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 x 4) i) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (.f64 x 4) i) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (.f64 x 4) i)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (.f64 x 4) i)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (.f64 x 4) i) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 4) x) i))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 x 4) i))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (.f64 x 4) i) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 x 4) 3) (pow.f64 i 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 i 3) (pow.f64 (.f64 x 4) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (.f64 x 4) i)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (.f64 x 4) i)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (.f64 x 4) i)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (.f64 x 4) i)))))))

simplify44.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

140×	`associate-l_binary64`
77×	`associate-r_binary64`
44×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	1320
1	40	1320
2	104	1320
3	223	1320
4	318	1320
5	318	1320

Stop Event

1×

saturated

Counts

204 → 79

Calls

Call 1

Inputs
(.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 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 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))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))
(.f64 4 (.f64 i x))

Outputs
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (*.f64 z x)))
(.f64 (.f64 18 y) (*.f64 z x))
(.f64 (.f64 y z) (*.f64 x 18))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.f64 18 (.f64 y (.f64 t (.f64 z x))))
(.f64 18 (.f64 (.f64 y t) (.f64 z x)))
(.f64 18 (.f64 y (.f64 z (.f64 x t))))
(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
(.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))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))
(.f64 4 (.f64 i x))
(.f64 (.f64 4 i) x)
(.f64 x (.f64 4 i))

prune122.0ms (2.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	73	6	79
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	74	7	81

Error

0.8b

Counts

81 → 7

Alt Table

Status	Error	Program
	22.6b	(-.f64 (-.f64 (+.f64 (-.f64 (log.f64 (pow.f64 (exp.f64 t) (.f64 x (.f64 (.f64 18 y) z)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (.f64 j 27) k))
	9.4b	(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)))))
	6.6b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 18 (.f64 y x)) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
▶	3.6b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 y (.f64 (.f64 z x) (.f64 18 t))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	3.6b	(-.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.1b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 18 (.f64 y (.f64 z x))) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	6.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (pow.f64 (cbrt.f64 (.f64 (.f64 x 4) i)) 3)) (.f64 (*.f64 j 27) k))

Compiler

Compiled 3377 to 2122 computations (37.2% saved)

localize21.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 j 27) k)
	0.2b	(.f64 (.f64 x 4) i)
✓	3.8b	(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
✓	5.0b	(.f64 (.f64 z x) (*.f64 18 t))

series12.0ms (0.2%)

Counts

3 → 108

Calls

27 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(.f64 (.f64 z x) (*.f64 18 t))
1.0ms	z	@	inf	(.f64 (.f64 z x) (*.f64 18 t))
1.0ms	j	@	0	(.f64 (.f64 j 27) k)
1.0ms	k	@	0	(.f64 (.f64 j 27) k)
1.0ms	k	@	inf	(.f64 (.f64 j 27) k)

rewrite52.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

828×	`log-prod_binary64`
273×	`expm1-udef_binary64`
273×	`log1p-udef_binary64`
230×	`log-pow_binary64`
168×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	30
1	304	30
2	3635	30

Stop Event

1×	node limit

Counts

3 → 54

Calls

Call 1

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

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

Outputs

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

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

((#(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 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 log1p.f64 (expm1.f64 (*.f64 j (*.f64 27 k))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 j (*.f64 27 k))))))))

simplify31.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

143×	`associate-l_binary64`
72×	`associate-r_binary64`
47×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	1152
1	33	1152
2	91	1152
3	223	1152
4	331	1152

Stop Event

1×

saturated

Counts

162 → 60

Calls

Call 1

Inputs
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.f64 t (*.f64 z x)))
(.f64 18 (.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 t (.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))

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

prune119.0ms (2.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	77	3	80
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	81	6	87

Error

0.2b

Counts

87 → 6

Alt Table

Status	Error	Program
	9.4b	(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)))))
	3.6b	(-.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.1b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 18 (.f64 y (.f64 z x))) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	3.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 y (.f64 (.f64 z x) (.f64 18 t))) (.f64 (.f64 a 4) t)) (.f64 b c)) (pow.f64 (cbrt.f64 (.f64 (.f64 x 4) i)) 3)) (.f64 (*.f64 j 27) k))
▶	3.6b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 y (.f64 (.f64 z x) (.f64 18 t))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 27 (*.f64 k j)))
	5.4b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 z (.f64 x (.f64 18 (.f64 t y)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))

Compiler

Compiled 3322 to 2035 computations (38.7% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 27 (.f64 k j))
	0.2b	(.f64 (.f64 x 4) i)
	3.8b	(.f64 y (.f64 (.f64 z x) (.f64 18 t)))
	5.0b	(.f64 (.f64 z x) (*.f64 18 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))

rewrite31.0ms (0.6%)

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 exp.f64 (log.f64 (*.f64 27 (*.f64 k j))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 27 (*.f64 k j))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 27 (*.f64 k j))))))))

simplify6.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

prune106.0ms (1.9%)

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.2b

Counts

77 → 6

Alt Table

Status	Error	Program
	9.4b	(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)))))
▶	3.6b	(-.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.1b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 18 (.f64 y (.f64 z x))) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	3.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 y (.f64 (.f64 z x) (.f64 18 t))) (.f64 (.f64 a 4) t)) (.f64 b c)) (pow.f64 (cbrt.f64 (.f64 (.f64 x 4) i)) 3)) (.f64 (*.f64 j 27) k))
✓	3.6b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 y (.f64 (.f64 z x) (.f64 18 t))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 27 (*.f64 k j)))
	5.4b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 z (.f64 x (.f64 18 (.f64 t y)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))

Compiler

Compiled 2950 to 1743 computations (40.9% saved)

localize23.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 18 (.f64 y (.f64 t (.f64 z x))))
	0.2b	(.f64 (.f64 x 4) i)
✓	3.8b	(.f64 y (.f64 t (*.f64 z x)))
✓	4.8b	(.f64 t (.f64 z x))

series10.0ms (0.2%)

Counts

3 → 0

Calls

33 calls:

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

rewrite48.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

572×	`log-prod_binary64`
306×	`pow-unpow_binary64`
265×	`pow2_binary64`
190×	`pow1/3_binary64`
184×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 59

Calls

Call 1

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

Outputs

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

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

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

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

59 → 59

Calls

Call 1

Inputs

Outputs

prune111.0ms (2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	79	6	85

Error

0.2b

Counts

85 → 6

Alt Table

Status	Error	Program
	9.4b	(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)))))
✓	3.6b	(-.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.1b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 18 (.f64 y (.f64 z x))) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	3.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 y (.f64 (.f64 z x) (.f64 18 t))) (.f64 (.f64 a 4) t)) (.f64 b c)) (pow.f64 (cbrt.f64 (.f64 (.f64 x 4) i)) 3)) (.f64 (*.f64 j 27) k))
✓	3.6b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 y (.f64 (.f64 z x) (.f64 18 t))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 27 (*.f64 k j)))
	5.4b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 z (.f64 x (.f64 18 (.f64 t y)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))

Compiler

Compiled 3050 to 1684 computations (44.8% saved)

regimes480.0ms (8.4%)

Accuracy

Total 1.4b remaining (90.6%)

Threshold costs 0b (0%)

Counts

21 → 2

Compiler

Compiled 1030 to 680 computations (34% saved)

bsearch110.0ms (1.9%)

Algorithm

1×	binary-search

Calls

1 calls:

109.0ms

Steps

Iters	Point		Range
-1.65e-146	∈ [	-1.6953511238808341e-146	,	-8.161571270983748e-154	]

Compiler

Compiled 11 to 10 computations (9.1% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

31×	`*-commutative_binary64`
22×	`+-commutative_binary64`
20×	`sub-neg_binary64`
16×	`distribute-rgt-neg-in_binary64`
14×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	98
1	87	98
2	148	98
3	180	98
4	201	98
5	208	98

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 y -3711603880498137/224945689727159819140526925384299092943484855915095831655037778630591879033574393515952034305194542857496045531676044756160413302774714984450425759043258192756736) (-.f64 (-.f64 (+.f64 (-.f64 (*.f64 y (*.f64 (*.f64 z x) (*.f64 18 t))) (*.f64 (*.f64 a 4) t)) (*.f64 b c)) (*.f64 (*.f64 x 4) i)) (*.f64 27 (*.f64 k j))) (-.f64 (-.f64 (+.f64 (-.f64 (*.f64 z (*.f64 x (*.f64 18 (*.f64 t y)))) (*.f64 (*.f64 a 4) t)) (*.f64 b c)) (*.f64 (*.f64 x 4) i)) (*.f64 (*.f64 j 27) k)))

Outputs

(if (<=.f64 y -3711603880498137/224945689727159819140526925384299092943484855915095831655037778630591879033574393515952034305194542857496045531676044756160413302774714984450425759043258192756736) (-.f64 (-.f64 (+.f64 (-.f64 (*.f64 y (*.f64 (*.f64 z x) (*.f64 18 t))) (*.f64 (*.f64 a 4) t)) (*.f64 b c)) (*.f64 (*.f64 x 4) i)) (*.f64 27 (*.f64 k j))) (-.f64 (-.f64 (+.f64 (-.f64 (*.f64 z (*.f64 x (*.f64 18 (*.f64 t y)))) (*.f64 (*.f64 a 4) t)) (*.f64 b c)) (*.f64 (*.f64 x 4) i)) (*.f64 (*.f64 j 27) k)))

(if (<=.f64 y -3711603880498137/224945689727159819140526925384299092943484855915095831655037778630591879033574393515952034305194542857496045531676044756160413302774714984450425759043258192756736) (+.f64 (-.f64 (+.f64 (-.f64 (*.f64 y (*.f64 (*.f64 z x) (*.f64 18 t))) (*.f64 t (*.f64 a 4))) (*.f64 b c)) (*.f64 (*.f64 x 4) i)) (*.f64 -27 (*.f64 k j))) (-.f64 (-.f64 (+.f64 (*.f64 b c) (-.f64 (*.f64 z (*.f64 x (*.f64 18 (*.f64 y t)))) (*.f64 t (*.f64 a 4)))) (*.f64 (*.f64 x 4) i)) (*.f64 k (*.f64 27 j))))

(if (<=.f64 y -3711603880498137/224945689727159819140526925384299092943484855915095831655037778630591879033574393515952034305194542857496045531676044756160413302774714984450425759043258192756736) (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 y (*.f64 (*.f64 z x) (*.f64 18 t))) (*.f64 t (*.f64 a -4))) (*.f64 b c)) (*.f64 i (*.f64 x -4))) (*.f64 (*.f64 k j) -27)) (+.f64 (+.f64 (+.f64 (*.f64 b c) (+.f64 (*.f64 z (*.f64 x (*.f64 18 (*.f64 y t)))) (*.f64 t (*.f64 a -4)))) (*.f64 i (*.f64 x -4))) (*.f64 k (*.f64 j -27))))

end206.0ms (3.6%)

Stop Event

1×

fuel

Remove

(sort b c)

Compiler

Compiled 1155 to 772 computations (33.2% saved)

Details

analyze564.0ms (9.9%)

sample3.4s (59.1%)

preprocess42.0ms (0.7%)

simplify31.0ms (0.6%)

prune5.0ms (0.1%)

localize22.0ms (0.4%)

series42.0ms (0.7%)

rewrite56.0ms (1%)

simplify44.0ms (0.8%)

prune122.0ms (2.1%)

localize21.0ms (0.4%)

series12.0ms (0.2%)

rewrite52.0ms (0.9%)

simplify31.0ms (0.5%)

prune119.0ms (2.1%)

localize19.0ms (0.3%)

series2.0ms (0%)

rewrite31.0ms (0.6%)

simplify6.0ms (0.1%)

prune106.0ms (1.9%)

localize23.0ms (0.4%)

series10.0ms (0.2%)

rewrite48.0ms (0.8%)

simplify6.0ms (0.1%)

prune111.0ms (2%)

regimes480.0ms (8.4%)

bsearch110.0ms (1.9%)

simplify6.0ms (0.1%)

end206.0ms (3.6%)

Profiling