Details

analyze557.0ms (8.8%)

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.3s (52.3%)

Results

1.7s	8561×	body	128	invalid
1.6s	8256×	body	128	valid

Compiler

Compiled 84 to 60 computations (28.6% saved)

preprocess46.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.5%)

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

prune6.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
▶	5.2b	(-.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))
	8.1b	(fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 a -4)) (fma.f64 b c (fma.f64 x (.f64 i -4) (.f64 j (.f64 k -27)))))

Status

Error

Program

▶

5.2b

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

8.1b

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

Compiler

Compiled 218 to 149 computations (31.7% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(.f64 (.f64 x 18) y)
✓	0.5b	(.f64 (.f64 j 27) k)
✓	3.2b	(.f64 (.f64 (*.f64 x 18) y) z)
✓	4.6b	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)

series31.0ms (0.5%)

Counts

4 → 132

Calls

33 calls:

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

rewrite56.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

4 → 72

Calls

Call 1

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

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

simplify40.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

204 → 79

Calls

Call 1

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

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

prune112.0ms (1.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

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

Error

0.3b

Counts

81 → 6

Alt Table

Status	Error	Program
	8.1b	(fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 a -4)) (fma.f64 b c (fma.f64 x (.f64 i -4) (.f64 j (.f64 k -27)))))
	7.1b	(-.f64 (-.f64 (+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	5.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 18 y) (.f64 t (.f64 z x))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	5.1b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (pow.f64 (cbrt.f64 (.f64 j (*.f64 27 k))) 3))
	5.2b	(-.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))
▶	4.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 27 (*.f64 k j)))

Compiler

Compiled 3295 to 2046 computations (37.9% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 27 (.f64 k j))
	0.5b	(.f64 (.f64 x 18) y)
	3.2b	(.f64 (.f64 (*.f64 x 18) y) z)
	4.6b	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)

series5.0ms (0.1%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	k	@	-inf	(.f64 27 (.f64 k j))
0.0ms	k	@	0	(.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	@	0	(.f64 27 (.f64 k j))

rewrite34.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

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

Counts

77 → 6

Alt Table

Status	Error	Program
	8.1b	(fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 a -4)) (fma.f64 b c (fma.f64 x (.f64 i -4) (.f64 j (.f64 k -27)))))
	7.1b	(-.f64 (-.f64 (+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	5.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 18 y) (.f64 t (.f64 z x))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
▶	5.1b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (pow.f64 (cbrt.f64 (.f64 j (*.f64 27 k))) 3))
	5.2b	(-.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))
✓	4.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 27 (*.f64 k j)))

Compiler

Compiled 2954 to 1763 computations (40.3% saved)

localize23.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(pow.f64 (cbrt.f64 (.f64 j (.f64 27 k))) 3)
	3.2b	(.f64 (.f64 (*.f64 x 18) y) z)
	4.6b	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
✓	6.5b	(cbrt.f64 (.f64 j (.f64 27 k)))

series12.0ms (0.2%)

Counts

2 → 0

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	j	@	-inf	(pow.f64 (cbrt.f64 (.f64 j (.f64 27 k))) 3)
1.0ms	j	@	-inf	(cbrt.f64 (.f64 j (.f64 27 k)))
1.0ms	j	@	0	(pow.f64 (cbrt.f64 (.f64 j (.f64 27 k))) 3)
1.0ms	j	@	0	(cbrt.f64 (.f64 j (.f64 27 k)))
1.0ms	k	@	-inf	(pow.f64 (cbrt.f64 (.f64 j (.f64 27 k))) 3)

rewrite42.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

710×	`pow1_binary64`
665×	`add-log-exp_binary64`
665×	`log1p-expm1-u_binary64`
665×	`expm1-log1p-u_binary64`
78×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	186	16
2	1859	16

Stop Event

1×	node limit

Counts

2 → 65

Calls

Call 1

Inputs
(cbrt.f64 (.f64 j (.f64 27 k)))
(pow.f64 (cbrt.f64 (.f64 j (.f64 27 k))) 3)

Outputs

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

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

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

65 → 65

Calls

Call 1

Inputs

Outputs

prune173.0ms (2.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	103	2	105
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	104	7	111

Error

0.3b

Counts

111 → 7

Alt Table

Status	Error	Program
	8.1b	(fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 a -4)) (fma.f64 b c (fma.f64 x (.f64 i -4) (.f64 j (.f64 k -27)))))
	7.1b	(-.f64 (-.f64 (+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	5.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 18 y) (.f64 t (.f64 z x))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	5.1b	(-.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 (pow.f64 (cbrt.f64 j) 2) (.f64 (cbrt.f64 j) (.f64 27 k))))
▶	5.1b	(-.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 (pow.f64 (.f64 3 (cbrt.f64 k)) 2) (.f64 (*.f64 3 (cbrt.f64 k)) j)))
	5.2b	(-.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))
✓	4.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 27 (*.f64 k j)))

Compiler

Compiled 4564 to 2843 computations (37.7% saved)

localize25.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (*.f64 3 (cbrt.f64 k)) 2)
✓	0.6b	(cbrt.f64 k)
	3.2b	(.f64 (.f64 (*.f64 x 18) y) z)
	4.6b	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)

series6.0ms (0.1%)

Counts

2 → 0

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	k	@	-inf	(pow.f64 (*.f64 3 (cbrt.f64 k)) 2)
2.0ms	k	@	-inf	(cbrt.f64 k)
1.0ms	k	@	0	(pow.f64 (*.f64 3 (cbrt.f64 k)) 2)
1.0ms	k	@	inf	(pow.f64 (*.f64 3 (cbrt.f64 k)) 2)
0.0ms	k	@	0	(cbrt.f64 k)

rewrite34.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

546×	`pow1_binary64`
509×	`add-log-exp_binary64`
508×	`log1p-expm1-u_binary64`
508×	`expm1-log1p-u_binary64`
496×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	145	12
2	1497	12

Stop Event

1×	node limit

Counts

2 → 40

Calls

Call 1

Inputs
(cbrt.f64 k)
(pow.f64 (*.f64 3 (cbrt.f64 k)) 2)

Outputs

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

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

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

40 → 40

Calls

Call 1

Inputs

Outputs

prune174.0ms (2.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	98	7	105

Error

0.3b

Counts

105 → 7

Alt Table

Status	Error	Program
	8.1b	(fma.f64 t (fma.f64 (.f64 x 18) (.f64 y z) (.f64 a -4)) (fma.f64 b c (fma.f64 x (.f64 i -4) (.f64 j (.f64 k -27)))))
	7.1b	(-.f64 (-.f64 (+.f64 (-.f64 (+.f64 0 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	5.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 18 y) (.f64 t (.f64 z x))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	5.1b	(-.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 (pow.f64 (cbrt.f64 j) 2) (.f64 (cbrt.f64 j) (.f64 27 k))))
✓	5.1b	(-.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 (pow.f64 (.f64 3 (cbrt.f64 k)) 2) (.f64 (*.f64 3 (cbrt.f64 k)) j)))
	5.2b	(-.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))
✓	4.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 27 (*.f64 k j)))

Compiler

Compiled 4540 to 2736 computations (39.7% saved)

regimes1.2s (19.5%)

Accuracy

Total 1.2b remaining (91.4%)

Threshold costs 0b (0%)

Counts

48 → 3

Compiler

Compiled 2022 to 1289 computations (36.3% saved)

bsearch1.0ms (0%)

Algorithm

2×	left-value

Calls

2 calls:

0.0ms

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

0.0ms

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

Steps

Iters	Point		Range
2e+289	∈ [	1.2671241000879543e+289	,	1.3340356851172117e+290	]
#hash((type . real) (value . -inf))	∈ [	#hash((type . real) (value . -inf))	,	-1.100108223272089e+306	]

Compiler

Compiled 35 to 25 computations (28.6% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

37×	`*-commutative_binary64`
28×	`+-commutative_binary64`
24×	`sub-neg_binary64`
16×	`distribute-rgt-neg-in_binary64`
16×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	227
1	118	227
2	185	227
3	219	227
4	241	227
5	248	227

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

Outputs

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

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

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

end214.0ms (3.4%)

Stop Event

1×

fuel

Remove

(sort j k)

(sort b c)

Compiler

Compiled 1917 to 1230 computations (35.8% saved)

Details

analyze557.0ms (8.8%)

sample3.3s (52.3%)

preprocess46.0ms (0.7%)

simplify31.0ms (0.5%)

prune6.0ms (0.1%)

localize19.0ms (0.3%)

series31.0ms (0.5%)

rewrite56.0ms (0.9%)

simplify40.0ms (0.6%)

prune112.0ms (1.8%)

localize19.0ms (0.3%)

series5.0ms (0.1%)

rewrite34.0ms (0.5%)

simplify6.0ms (0.1%)

prune106.0ms (1.7%)

localize23.0ms (0.4%)

series12.0ms (0.2%)

rewrite42.0ms (0.7%)

simplify7.0ms (0.1%)

prune173.0ms (2.7%)

localize25.0ms (0.4%)

series6.0ms (0.1%)

rewrite34.0ms (0.5%)

simplify6.0ms (0.1%)

prune174.0ms (2.7%)

regimes1.2s (19.5%)

bsearch1.0ms (0%)

simplify8.0ms (0.1%)

end214.0ms (3.4%)

Profiling