Details

analyze569.0ms (10.4%)

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.5s (62.9%)

Results

1.8s	8494×	body	128	invalid
1.7s	8256×	body	128	valid

Compiler

Compiled 84 to 60 computations (28.6% saved)

preprocess50.0ms (0.9%)

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)

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

2.1b

Counts

3 → 2

Alt Table

Status

Error

Program

4.9b

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

▶

4.8b

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

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 18) y)
✓	5.5b	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
✓	6.1b	(.f64 (.f64 (*.f64 x 18) y) z)

series35.0ms (0.6%)

Counts

4 → 132

Calls

33 calls:

Time	Variable		Expression
4.0ms	k	@	(.f64 (.f64 j 27) k)
4.0ms	j	@	(.f64 (.f64 j 27) k)
3.0ms	y	@	(.f64 (.f64 (*.f64 x 18) y) z)
2.0ms	y	@	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
1.0ms	z	@	(.f64 (.f64 (*.f64 x 18) y) z)

rewrite55.0ms (1%)

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 x 18) y) z)
(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
(.f64 (.f64 x 18) y)
(.f64 (.f64 j 27) k)

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

simplify42.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

154×	`associate-l_binary64`
78×	`associate-r_binary64`
45×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	1320
1	41	1320
2	105	1320
3	224	1320
4	336	1320
5	336	1320

Stop Event

1×

saturated

Counts

204 → 78

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

prune126.0ms (2.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	71	7	78
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	72	8	80

Error

0.0b

Counts

80 → 8

Alt Table

Status	Error	Program
	4.9b	(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)))))
	24.4b	(-.f64 (-.f64 (+.f64 (-.f64 (pow.f64 (sqrt.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) 2) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	6.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))
	4.8b	(-.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)))
	6.2b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 x (.f64 18 (.f64 z (.f64 y 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))
▶	3.4b	(-.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))
	30.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 (sqrt.f64 (.f64 j (*.f64 27 k))) 2))

Compiler

Compiled 3434 to 2152 computations (37.3% saved)

localize21.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series8.0ms (0.1%)

Counts

3 → 48

Calls

30 calls:

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

rewrite45.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

569×	`log-prod_binary64`
286×	`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	2469	30

Stop Event

1×	node limit

Counts

3 → 59

Calls

Call 1

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

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

Outputs

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

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

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

simplify23.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

125×	`associate-l_binary64`
84×	`associate-r_binary64`
51×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	624
1	20	624
2	59	624
3	180	624
4	327	624
5	327	624

Stop Event

1×

saturated

Counts

107 → 61

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

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

prune135.0ms (2.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	80	8	88

Error

0.0b

Counts

88 → 8

Alt Table

Status	Error	Program
	4.9b	(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)))))
	24.4b	(-.f64 (-.f64 (+.f64 (-.f64 (pow.f64 (sqrt.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) 2) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	6.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))
	4.8b	(-.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)))
	6.2b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 x (.f64 18 (.f64 z (.f64 y 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))
✓	3.4b	(-.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))
	30.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 (sqrt.f64 (.f64 j (*.f64 27 k))) 2))

Compiler

Compiled 3457 to 2044 computations (40.9% saved)

localize21.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series11.0ms (0.2%)

Counts

3 → 0

Calls

33 calls:

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

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

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

simplify10.0ms (0.2%)

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

prune130.0ms (2.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	78	8	86

Error

0.0b

Counts

86 → 8

Alt Table

Status	Error	Program
	4.9b	(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)))))
	24.4b	(-.f64 (-.f64 (+.f64 (-.f64 (pow.f64 (sqrt.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) 2) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	6.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))
▶	4.8b	(-.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)))
	6.2b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 x (.f64 18 (.f64 z (.f64 y 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))
✓	3.4b	(-.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))
	30.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 (sqrt.f64 (.f64 j (*.f64 27 k))) 2))

Compiler

Compiled 3354 to 1915 computations (42.9% saved)

localize21.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

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

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

prune120.0ms (2.2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	70	8	78

Error

0.0b

Counts

78 → 8

Alt Table

Status	Error	Program
	4.9b	(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)))))
	24.4b	(-.f64 (-.f64 (+.f64 (-.f64 (pow.f64 (sqrt.f64 (.f64 (.f64 x 18) (.f64 y (.f64 z t)))) 2) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	6.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))
✓	4.8b	(-.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)))
	6.2b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 x (.f64 18 (.f64 z (.f64 y 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))
✓	3.4b	(-.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))
	30.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 (sqrt.f64 (.f64 j (*.f64 27 k))) 2))

Compiler

Compiled 2804 to 1664 computations (40.7% saved)

regimes218.0ms (4%)

Accuracy

Total 1.2b remaining (94.8%)

Threshold costs 0b (0%)

Counts

10 → 3

Compiler

Compiled 597 to 419 computations (29.8% 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+294	∈ [	1.144633083629934e+294	,	#hash((type . real) (value . +inf))	]
#hash((type . real) (value . -inf))	∈ [	#hash((type . real) (value . -inf))	,	-8.200114891894094e+305	]

Compiler

Compiled 35 to 25 computations (28.6% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

30×	`*-commutative_binary64`
27×	`+-commutative_binary64`
23×	`sub-neg_binary64`
18×	`cancel-sign-sub-inv_binary64`
16×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	227
1	107	227
2	173	227
3	205	227
4	226	227
5	233	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)) 2000000000000000132872935482496206237094312341172584908970922214753713493255768101167089780693375139608812241567134921336075488584322101781755750774742240399521541760156078250259598945212267909879768657149226586411367871939134697181462712041438531269934236247503274787037183937480902858990682112) (-.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 (pow.f64 (sqrt.f64 (*.f64 (*.f64 x 18) (*.f64 y (*.f64 z t)))) 2) (*.f64 (*.f64 a 4) t)) (*.f64 b c)) (*.f64 (*.f64 x 4) i)) (*.f64 (*.f64 j 27) k))))

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)) 2000000000000000132872935482496206237094312341172584908970922214753713493255768101167089780693375139608812241567134921336075488584322101781755750774742240399521541760156078250259598945212267909879768657149226586411367871939134697181462712041438531269934236247503274787037183937480902858990682112) (-.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 (pow.f64 (sqrt.f64 (*.f64 (*.f64 x 18) (*.f64 y (*.f64 z t)))) 2) (*.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 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)) 2000000000000000132872935482496206237094312341172584908970922214753713493255768101167089780693375139608812241567134921336075488584322101781755750774742240399521541760156078250259598945212267909879768657149226586411367871939134697181462712041438531269934236247503274787037183937480902858990682112) (+.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 (pow.f64 (sqrt.f64 (*.f64 (*.f64 x 18) (*.f64 y (*.f64 z t)))) 2) (*.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 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))) 2000000000000000132872935482496206237094312341172584908970922214753713493255768101167089780693375139608812241567134921336075488584322101781755750774742240399521541760156078250259598945212267909879768657149226586411367871939134697181462712041438531269934236247503274787037183937480902858990682112) (+.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 (pow.f64 (sqrt.f64 (*.f64 (*.f64 x 18) (*.f64 y (*.f64 z t)))) 2) (*.f64 t (*.f64 a -4)))) (*.f64 i (*.f64 x -4))) (*.f64 k (*.f64 j -27)))))

end239.0ms (4.4%)

Stop Event

1×

fuel

Remove

(sort b c)

(sort y z)

Compiler

Compiled 1950 to 1235 computations (36.7% saved)

Details

analyze569.0ms (10.4%)

sample3.5s (62.9%)

preprocess50.0ms (0.9%)

simplify34.0ms (0.6%)

prune5.0ms (0.1%)

localize21.0ms (0.4%)

series35.0ms (0.6%)

rewrite55.0ms (1%)

simplify42.0ms (0.8%)

prune126.0ms (2.3%)

localize21.0ms (0.4%)

series8.0ms (0.1%)

rewrite45.0ms (0.8%)

simplify23.0ms (0.4%)

prune135.0ms (2.5%)

localize21.0ms (0.4%)

series11.0ms (0.2%)

rewrite47.0ms (0.8%)

simplify10.0ms (0.2%)

prune130.0ms (2.4%)

localize21.0ms (0.4%)

series2.0ms (0%)

rewrite33.0ms (0.6%)

simplify6.0ms (0.1%)

prune120.0ms (2.2%)

regimes218.0ms (4%)

bsearch1.0ms (0%)

simplify8.0ms (0.1%)

end239.0ms (4.4%)

Profiling