Details

analyze2.6s (37.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0.3%	86.9%	12.8%	12
0.3%	80.7%	19%	13
0.4%	80.6%	19%	14

Compiler

Compiled 41 to 30 computations (26.8% saved)

sample3.0s (42.8%)

Results

1.9s	8256×	body	128	valid
1.1s	4964×	body	128	invalid

preprocess49.0ms (0.7%)

Algorithm

2×	egg-herbie

Rules

417×	`fma-def_binary64`
285×	`associate-r_binary64`
266×	`associate-l_binary64`
250×	`associate--r+_binary64`
208×	`distribute-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	263	1034
1	602	924
2	1793	880
0	7	7

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2
3
4
5
6

Outputs
0
1
2
3
4
5
6

Call 2

Inputs
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 y (+.f64 y (.f64 x (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 z (+.f64 z (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 x (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 t (+.f64 t (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 x a))) x) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 x 3))))))))))
(/.f64 a (+.f64 a (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t x))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 x (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 b (+.f64 b (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 x c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 c (+.f64 c (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b x) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 z (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 y (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 t (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 y a))) y) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 y 3))))))))))
(/.f64 x (+.f64 x (.f64 a (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t y))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 y (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 b (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 y c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 c (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b y) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 t (sqrt.f64 (+.f64 z a))) z) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 z 3))))))))))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 a (sqrt.f64 (+.f64 t z))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 z (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 b (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 z c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 c (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b z) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 a t))) a) (.f64 (-.f64 b c) (-.f64 (+.f64 t (/.f64 5 6)) (/.f64 2 (*.f64 a 3))))))))))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 b a))) b) (.f64 (-.f64 t c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 b 3))))))))))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 c a))) c) (.f64 (-.f64 b t) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 c 3))))))))))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t b))) t) (.f64 (-.f64 a c) (-.f64 (+.f64 b (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t c))) t) (.f64 (-.f64 b a) (-.f64 (+.f64 c (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 c b) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))

Outputs
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 z (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 b c) (-.f64 (+.f64 a 5/6) (/.f64 2 (*.f64 t 3)))))))))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) (.f64 (-.f64 b c) (+.f64 a (-.f64 5/6 (/.f64 2/3 t)))))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (+.f64 5/6 (-.f64 a (/.f64 2/3 t))) (-.f64 c b) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) x))
(/.f64 y (+.f64 y (.f64 x (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 y (+.f64 y (.f64 x (pow.f64 (exp.f64 2) (-.f64 (/.f64 z (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 b c) (-.f64 (+.f64 a 5/6) (/.f64 2 (*.f64 t 3)))))))))
(/.f64 y (fma.f64 x (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) (.f64 (-.f64 b c) (+.f64 a (-.f64 5/6 (/.f64 2/3 t)))))) y))
(/.f64 y (fma.f64 x (pow.f64 (exp.f64 2) (fma.f64 (+.f64 5/6 (-.f64 a (/.f64 2/3 t))) (-.f64 c b) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) y))
(/.f64 z (+.f64 z (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 x (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 z (+.f64 z (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 x (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 b c) (-.f64 (+.f64 a 5/6) (/.f64 2 (*.f64 t 3)))))))))
(/.f64 z (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 x t) (sqrt.f64 (+.f64 t a))) (.f64 (-.f64 b c) (+.f64 a (-.f64 5/6 (/.f64 2/3 t)))))) z))
(/.f64 z (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (+.f64 5/6 (-.f64 a (/.f64 2/3 t))) (-.f64 c b) (*.f64 (/.f64 x t) (sqrt.f64 (+.f64 t a))))) z))
(/.f64 t (+.f64 t (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 x a))) x) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 x 3))))))))))
(/.f64 t (+.f64 t (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 x a))) x) (.f64 (-.f64 b c) (-.f64 (+.f64 a 5/6) (/.f64 2 (.f64 x 3)))))))))
(/.f64 t (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z x) (sqrt.f64 (+.f64 x a))) (.f64 (-.f64 b c) (+.f64 5/6 (-.f64 a (/.f64 2/3 x)))))) t))
(/.f64 t (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (+.f64 5/6 (+.f64 a (/.f64 -2/3 x))) (-.f64 c b) (*.f64 (/.f64 z x) (sqrt.f64 (+.f64 x a))))) t))
(/.f64 a (+.f64 a (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t x))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 x (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 a (+.f64 a (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 z (/.f64 t (sqrt.f64 (+.f64 x t)))) (.f64 (-.f64 b c) (-.f64 (+.f64 x 5/6) (/.f64 2 (*.f64 t 3)))))))))
(/.f64 a (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 x t))) (.f64 (-.f64 b c) (+.f64 x (-.f64 5/6 (/.f64 2/3 t)))))) a))
(/.f64 a (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (+.f64 x (+.f64 5/6 (/.f64 -2/3 t))) (-.f64 c b) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 x t))))) a))
(/.f64 b (+.f64 b (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 x c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 b (+.f64 b (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 z (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 (+.f64 a 5/6) (/.f64 2 (*.f64 t 3))) (-.f64 x c)))))))
(/.f64 b (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) (.f64 (+.f64 a (-.f64 5/6 (/.f64 2/3 t))) (-.f64 x c)))) b))
(/.f64 b (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (+.f64 5/6 (-.f64 a (/.f64 2/3 t))) (-.f64 c x) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) b))
(/.f64 c (+.f64 c (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b x) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 c (+.f64 c (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 z (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 (+.f64 a 5/6) (/.f64 2 (*.f64 t 3))) (-.f64 b x)))))))
(/.f64 c (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) (.f64 (+.f64 a (-.f64 5/6 (/.f64 2/3 t))) (-.f64 b x)))) c))
(/.f64 c (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 5/6 (-.f64 a (/.f64 2/3 t))) (-.f64 x b)))) c))
(/.f64 x (+.f64 x (.f64 z (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 y (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 z (pow.f64 (exp.f64 2) (-.f64 (/.f64 y (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 b c) (-.f64 (+.f64 a 5/6) (/.f64 2 (*.f64 t 3)))))))))
(/.f64 x (fma.f64 z (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 y t) (sqrt.f64 (+.f64 t a))) (.f64 (-.f64 b c) (+.f64 a (-.f64 5/6 (/.f64 2/3 t)))))) x))
(/.f64 x (fma.f64 z (pow.f64 (exp.f64 2) (fma.f64 (/.f64 y t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 5/6 (-.f64 a (/.f64 2/3 t))) (-.f64 c b)))) x))
(/.f64 x (+.f64 x (.f64 t (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 y a))) y) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 y 3))))))))))
(/.f64 x (+.f64 x (.f64 t (pow.f64 (exp.f64 2) (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 y a))) y) (.f64 (-.f64 b c) (-.f64 (+.f64 a 5/6) (/.f64 2 (.f64 y 3)))))))))
(/.f64 x (fma.f64 t (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z y) (sqrt.f64 (+.f64 y a))) (.f64 (-.f64 b c) (+.f64 5/6 (-.f64 a (/.f64 2/3 y)))))) x))
(/.f64 x (fma.f64 t (pow.f64 (exp.f64 2) (fma.f64 (+.f64 a (+.f64 5/6 (/.f64 -2/3 y))) (-.f64 c b) (*.f64 (/.f64 z y) (sqrt.f64 (+.f64 y a))))) x))
(/.f64 x (+.f64 x (.f64 a (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t y))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 y (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 a (pow.f64 (exp.f64 2) (-.f64 (/.f64 z (/.f64 t (sqrt.f64 (+.f64 y t)))) (.f64 (-.f64 b c) (-.f64 (+.f64 y 5/6) (/.f64 2 (*.f64 t 3)))))))))
(/.f64 x (fma.f64 a (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 y t))) (.f64 (-.f64 b c) (+.f64 y (-.f64 5/6 (/.f64 2/3 t)))))) x))
(/.f64 x (fma.f64 a (pow.f64 (exp.f64 2) (fma.f64 (+.f64 (+.f64 y 5/6) (/.f64 -2/3 t)) (-.f64 c b) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 y t))))) x))
(/.f64 x (+.f64 x (.f64 b (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 y c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 b (pow.f64 (exp.f64 2) (-.f64 (/.f64 z (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 (+.f64 a 5/6) (/.f64 2 (*.f64 t 3))) (-.f64 y c)))))))
(/.f64 x (fma.f64 b (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) (.f64 (+.f64 a (-.f64 5/6 (/.f64 2/3 t))) (-.f64 y c)))) x))
(/.f64 x (fma.f64 b (pow.f64 (exp.f64 2) (fma.f64 (+.f64 5/6 (-.f64 a (/.f64 2/3 t))) (-.f64 c y) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) x))
(/.f64 x (+.f64 x (.f64 c (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b y) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 c (pow.f64 (exp.f64 2) (-.f64 (/.f64 z (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 (+.f64 a 5/6) (/.f64 2 (*.f64 t 3))) (-.f64 b y)))))))
(/.f64 x (fma.f64 c (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) (.f64 (+.f64 a (-.f64 5/6 (/.f64 2/3 t))) (-.f64 b y)))) x))
(/.f64 x (fma.f64 c (pow.f64 (exp.f64 2) (fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 5/6 (-.f64 a (/.f64 2/3 t))) (-.f64 y b)))) x))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 t (sqrt.f64 (+.f64 z a))) z) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 z 3))))))))))
(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 t (/.f64 z (sqrt.f64 (+.f64 z a)))) (.f64 (-.f64 b c) (+.f64 a (-.f64 5/6 (/.f64 2 (*.f64 z 3))))))))))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 t z) (sqrt.f64 (+.f64 z a))) (.f64 (-.f64 b c) (+.f64 a (-.f64 5/6 (/.f64 2/3 z)))))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (+.f64 a (+.f64 5/6 (/.f64 -2/3 z))) (-.f64 c b) (*.f64 (/.f64 t z) (sqrt.f64 (+.f64 z a))))) x))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 a (sqrt.f64 (+.f64 t z))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 z (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 a (/.f64 t (sqrt.f64 (+.f64 z t)))) (.f64 (-.f64 b c) (+.f64 z (-.f64 5/6 (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 a t) (sqrt.f64 (+.f64 z t))) (.f64 (-.f64 b c) (+.f64 z (-.f64 5/6 (/.f64 2/3 t)))))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (+.f64 z (+.f64 5/6 (/.f64 -2/3 t))) (-.f64 c b) (*.f64 (/.f64 a t) (sqrt.f64 (+.f64 z t))))) x))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 b (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 z c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 b (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 (+.f64 a 5/6) (/.f64 2 (*.f64 t 3))) (-.f64 z c)))))))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 b t) (sqrt.f64 (+.f64 t a))) (.f64 (+.f64 a (-.f64 5/6 (/.f64 2/3 t))) (-.f64 z c)))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (/.f64 b t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 5/6 (-.f64 a (/.f64 2/3 t))) (-.f64 c z)))) x))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 c (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b z) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 c (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 (+.f64 a 5/6) (/.f64 2 (*.f64 t 3))) (-.f64 b z)))))))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 c t) (sqrt.f64 (+.f64 t a))) (.f64 (+.f64 a (-.f64 5/6 (/.f64 2/3 t))) (-.f64 b z)))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (+.f64 5/6 (-.f64 a (/.f64 2/3 t))) (-.f64 z b) (*.f64 (/.f64 c t) (sqrt.f64 (+.f64 t a))))) x))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 a t))) a) (.f64 (-.f64 b c) (-.f64 (+.f64 t (/.f64 5 6)) (/.f64 2 (*.f64 a 3))))))))))
(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 z (/.f64 a (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 b c) (+.f64 t (-.f64 5/6 (/.f64 2 (*.f64 a 3))))))))))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z a) (sqrt.f64 (+.f64 t a))) (.f64 (-.f64 b c) (+.f64 t (-.f64 5/6 (/.f64 2/3 a)))))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (/.f64 z a) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (+.f64 t 5/6) (/.f64 -2/3 a)) (-.f64 c b)))) x))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 b a))) b) (.f64 (-.f64 t c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 b 3))))))))))
(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 z (/.f64 b (sqrt.f64 (+.f64 a b)))) (.f64 (-.f64 t c) (-.f64 (+.f64 a 5/6) (/.f64 2 (*.f64 b 3)))))))))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z b) (sqrt.f64 (+.f64 a b))) (.f64 (-.f64 t c) (+.f64 5/6 (-.f64 a (/.f64 2/3 b)))))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (+.f64 a (+.f64 5/6 (/.f64 -2/3 b))) (-.f64 c t) (*.f64 (/.f64 z b) (sqrt.f64 (+.f64 a b))))) x))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 c a))) c) (.f64 (-.f64 b t) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 c 3))))))))))
(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 z (/.f64 c (sqrt.f64 (+.f64 a c)))) (.f64 (-.f64 b t) (-.f64 (+.f64 a 5/6) (/.f64 2 (*.f64 c 3)))))))))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z c) (sqrt.f64 (+.f64 a c))) (.f64 (-.f64 b t) (+.f64 5/6 (-.f64 a (/.f64 2/3 c)))))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (/.f64 z c) (sqrt.f64 (+.f64 a c)) (*.f64 (+.f64 5/6 (-.f64 a (/.f64 2/3 c))) (-.f64 t b)))) x))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t b))) t) (.f64 (-.f64 a c) (-.f64 (+.f64 b (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 z (/.f64 t (sqrt.f64 (+.f64 t b)))) (.f64 (-.f64 a c) (+.f64 b (-.f64 5/6 (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t b))) (.f64 (-.f64 a c) (+.f64 b (-.f64 5/6 (/.f64 2/3 t)))))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (+.f64 b (+.f64 5/6 (/.f64 -2/3 t))) (-.f64 c a) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t b))))) x))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t c))) t) (.f64 (-.f64 b a) (-.f64 (+.f64 c (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t c))) t) (.f64 (-.f64 b a) (+.f64 c (-.f64 5/6 (/.f64 2 (.f64 t 3))))))))))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t c))) (.f64 (-.f64 b a) (+.f64 c (-.f64 5/6 (/.f64 2/3 t)))))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (+.f64 c (+.f64 5/6 (/.f64 -2/3 t))) (-.f64 a b) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t c))))) x))
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 c b) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 z (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 (+.f64 a 5/6) (/.f64 2 (*.f64 t 3))) (-.f64 c b)))))))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) (.f64 (+.f64 a (-.f64 5/6 (/.f64 2/3 t))) (-.f64 c b)))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (-.f64 b c) (+.f64 5/6 (-.f64 a (/.f64 2/3 t))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) x))

Compiler

Compiled 40 to 29 computations (27.5% saved)

simplify28.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

433×	`exp-sum_binary64`
311×	`distribute-rgt-in_binary64`
293×	`distribute-lft-in_binary64`
250×	`fma-neg_binary64`
202×	`exp-prod_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	30	47
1	55	42
2	138	40
3	631	40
4	3487	40

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))

Outputs
(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))
(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a 5/6) (/.f64 2 (.f64 t 3)))))))))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) (.f64 (-.f64 b c) (+.f64 a (-.f64 5/6 (/.f64 2/3 t)))))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (-.f64 (+.f64 a 5/6) (/.f64 2/3 t)) (-.f64 c b) (*.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t)))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))) x))
(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))) x))

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

1.5b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	2.2b	(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))) x))
	4.0b	(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))

Status

Error

Program

▶

2.2b

(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))) x))

4.0b

(/.f64 x (+.f64 x (*.f64 y (exp.f64 (*.f64 2 (-.f64 (/.f64 (*.f64 z (sqrt.f64 (+.f64 t a))) t) (*.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))))))))

Compiler

Compiled 215 to 146 computations (32.1% saved)

localize44.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)))
✓	0.2b	(/.f64 (sqrt.f64 (+.f64 t a)) t)
✓	0.3b	(/.f64 2/3 t)
✓	2.3b	(fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))

series28.0ms (0.4%)

Counts

4 → 104

Calls

36 calls:

Time	Variable		Point	Expression
3.0ms	b	@	-inf	(fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))
2.0ms	t	@	inf	(fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))
2.0ms	z	@	0	(fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))
1.0ms	t	@	0	(fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))
1.0ms	c	@	-inf	(fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))

rewrite41.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

208×	`add-sqr-sqrt_binary64`
201×	`*-un-lft-identity_binary64`
201×	`pow1_binary64`
194×	`add-exp-log_binary64`
194×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	57
1	393	57

Stop Event

1×	node limit

Counts

4 → 88

Calls

Call 1

Inputs
(fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))
(/.f64 2/3 t)
(/.f64 (sqrt.f64 (+.f64 t a)) t)
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)))

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

simplify79.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

808×	`fma-def_binary64`
395×	`associate-+l+_binary64`
309×	`associate-+r+_binary64`
300×	`associate-l_binary64`
278×	`fma-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	134	2341
1	385	2322
2	1103	2282
3	4189	2270

Stop Event

1×	node limit

Counts

192 → 149

Calls

Call 1

Inputs
(.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(*.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(/.f64 (+.f64 (.f64 2/3 (-.f64 b c)) (.f64 (sqrt.f64 a) z)) t)
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (+.f64 (.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (.f64 (sqrt.f64 a) (/.f64 z t)))))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z))) (+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (+.f64 (.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (*.f64 (sqrt.f64 a) (/.f64 z t))))))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z))) (+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (+.f64 (.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a))) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 (pow.f64 t 2) z))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (.f64 (sqrt.f64 a) (/.f64 z t)))))))
(.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)))
(.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)))
(+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) 5/6)))
(+.f64 (.f64 a (+.f64 (.f64 -1 (-.f64 b c)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 3))) z)))) (+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)) (*.f64 (sqrt.f64 (/.f64 1 t)) z)))
(+.f64 (.f64 a (+.f64 (.f64 -1 (-.f64 b c)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 3))) z)))) (+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 a 2) z) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)) (.f64 (sqrt.f64 (/.f64 1 t)) z))))
(+.f64 (.f64 a (+.f64 (.f64 -1 (-.f64 b c)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 3))) z)))) (+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 a 2) z) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 a 3) z) (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)) (*.f64 (sqrt.f64 (/.f64 1 t)) z)))))
(.f64 -1 (.f64 (-.f64 b c) a))
(.f64 -1 (.f64 (-.f64 b c) a))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (*.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(*.f64 (sqrt.f64 a) (/.f64 1 t))
(+.f64 (.f64 (sqrt.f64 a) (/.f64 1 t)) (.f64 1/2 (sqrt.f64 (/.f64 1 a))))
(+.f64 (.f64 (sqrt.f64 a) (/.f64 1 t)) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) t)) (.f64 1/2 (sqrt.f64 (/.f64 1 a)))))
(+.f64 (.f64 (sqrt.f64 a) (/.f64 1 t)) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) t)) (+.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 a))) (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (pow.f64 t 2))))))
(sqrt.f64 (/.f64 1 t))
(+.f64 (.f64 1/2 (.f64 a (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (sqrt.f64 (/.f64 1 t)))
(+.f64 (.f64 1/2 (.f64 a (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (+.f64 (sqrt.f64 (/.f64 1 t)) (.f64 -1/8 (.f64 (pow.f64 a 2) (sqrt.f64 (/.f64 1 (pow.f64 t 5)))))))
(+.f64 (.f64 1/2 (.f64 a (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (+.f64 (.f64 1/16 (.f64 (pow.f64 a 3) (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (+.f64 (sqrt.f64 (/.f64 1 t)) (.f64 -1/8 (.f64 (pow.f64 a 2) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))))))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(*.f64 2/3 (/.f64 (-.f64 b c) t))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(.f64 -1 (.f64 (-.f64 b c) a))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(.f64 -1 (.f64 (-.f64 b c) a))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))

Outputs
(.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(*.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(/.f64 (+.f64 (.f64 2/3 (-.f64 b c)) (.f64 (sqrt.f64 a) z)) t)
(/.f64 (fma.f64 2/3 (-.f64 b c) (*.f64 z (sqrt.f64 a))) t)
(/.f64 (fma.f64 (-.f64 b c) 2/3 (*.f64 z (sqrt.f64 a))) t)
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (+.f64 (.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (.f64 (sqrt.f64 a) (/.f64 z t)))))
(fma.f64 2/3 (/.f64 (-.f64 b c) t) (fma.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)) (fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 a))) (*.f64 (/.f64 z t) (sqrt.f64 a)))))
(fma.f64 2/3 (/.f64 (-.f64 b c) t) (-.f64 (fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 a))))) (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(+.f64 (fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 a))) (/.f64 (.f64 z (sqrt.f64 a)) t)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z))) (+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (+.f64 (.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (*.f64 (sqrt.f64 a) (/.f64 z t))))))
(fma.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z)) (fma.f64 2/3 (/.f64 (-.f64 b c) t) (fma.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)) (fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 a))) (*.f64 (/.f64 z t) (sqrt.f64 a))))))
(fma.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z)) (fma.f64 2/3 (/.f64 (-.f64 b c) t) (-.f64 (fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 a))))) (*.f64 (-.f64 b c) (+.f64 5/6 a)))))
(+.f64 (fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 a))) (/.f64 (.f64 z (sqrt.f64 a)) t)) (fma.f64 -1/8 (.f64 t (.f64 z (sqrt.f64 (/.f64 1 (pow.f64 a 3))))) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z))) (+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (+.f64 (.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a))) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 (pow.f64 t 2) z))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (.f64 (sqrt.f64 a) (/.f64 z t)))))))
(fma.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z)) (fma.f64 2/3 (/.f64 (-.f64 b c) t) (fma.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 z (.f64 t t))) (fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 a))) (.f64 (/.f64 z t) (sqrt.f64 a)))))))
(fma.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z)) (fma.f64 2/3 (/.f64 (-.f64 b c) t) (-.f64 (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 t (.f64 t z))) (fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 a)))))) (.f64 (-.f64 b c) (+.f64 5/6 a)))))
(+.f64 (fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (fma.f64 1/2 (sqrt.f64 (/.f64 1 a)) (.f64 t (.f64 t (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 a 5))))))))) (fma.f64 -1/8 (.f64 t (.f64 z (sqrt.f64 (/.f64 1 (pow.f64 a 3))))) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))))
(.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)))
(*.f64 (neg.f64 (-.f64 b c)) (+.f64 5/6 a))
(*.f64 (-.f64 b c) (+.f64 -5/6 (neg.f64 a)))
(*.f64 (-.f64 b c) (-.f64 -5/6 a))
(.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)))
(*.f64 (neg.f64 (-.f64 b c)) (+.f64 5/6 a))
(*.f64 (-.f64 b c) (+.f64 -5/6 (neg.f64 a)))
(*.f64 (-.f64 b c) (-.f64 -5/6 a))
(+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) 5/6)))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6) (*.f64 z (sqrt.f64 (/.f64 1 t))))
(+.f64 (.f64 a (+.f64 (.f64 -1 (-.f64 b c)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 3))) z)))) (+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)) (*.f64 (sqrt.f64 (/.f64 1 t)) z)))
(fma.f64 a (fma.f64 -1 (-.f64 b c) (.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 (pow.f64 t 3)))))) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6) (*.f64 z (sqrt.f64 (/.f64 1 t)))))
(fma.f64 a (-.f64 (.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (-.f64 b c)) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6) (*.f64 z (sqrt.f64 (/.f64 1 t)))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6) (fma.f64 a (fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) (-.f64 c b)) (.f64 z (sqrt.f64 (/.f64 1 t)))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6) (fma.f64 a (-.f64 (fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) c) b) (.f64 z (sqrt.f64 (/.f64 1 t)))))
(+.f64 (.f64 a (+.f64 (.f64 -1 (-.f64 b c)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 3))) z)))) (+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 a 2) z) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)) (.f64 (sqrt.f64 (/.f64 1 t)) z))))
(fma.f64 a (fma.f64 -1 (-.f64 b c) (.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 (pow.f64 t 3)))))) (fma.f64 -1/8 (.f64 (.f64 a a) (.f64 z (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6) (.f64 z (sqrt.f64 (/.f64 1 t))))))
(fma.f64 a (-.f64 (.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (-.f64 b c)) (fma.f64 -1/8 (.f64 (.f64 z (.f64 a a)) (sqrt.f64 (/.f64 1 (pow.f64 t 5)))) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6) (.f64 z (sqrt.f64 (/.f64 1 t))))))
(fma.f64 a (fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) (-.f64 c b)) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6) (fma.f64 z (sqrt.f64 (/.f64 1 t)) (.f64 a (.f64 a (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 5))) (*.f64 z -1/8)))))))
(fma.f64 a (-.f64 (fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) c) b) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6) (fma.f64 z (sqrt.f64 (/.f64 1 t)) (.f64 a (.f64 a (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 5))) (*.f64 z -1/8)))))))
(+.f64 (.f64 a (+.f64 (.f64 -1 (-.f64 b c)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 3))) z)))) (+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 a 2) z) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 a 3) z) (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)) (*.f64 (sqrt.f64 (/.f64 1 t)) z)))))
(fma.f64 a (fma.f64 -1 (-.f64 b c) (.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 (pow.f64 t 3)))))) (fma.f64 -1/8 (.f64 (.f64 a a) (.f64 z (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (fma.f64 1/16 (.f64 (.f64 z (pow.f64 a 3)) (sqrt.f64 (/.f64 1 (pow.f64 t 7)))) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6) (.f64 z (sqrt.f64 (/.f64 1 t)))))))
(fma.f64 a (-.f64 (.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (-.f64 b c)) (fma.f64 -1/8 (.f64 (.f64 z (.f64 a a)) (sqrt.f64 (/.f64 1 (pow.f64 t 5)))) (fma.f64 1/16 (.f64 (.f64 z (pow.f64 a 3)) (sqrt.f64 (/.f64 1 (pow.f64 t 7)))) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6) (.f64 z (sqrt.f64 (/.f64 1 t)))))))
(fma.f64 a (fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) (-.f64 c b)) (fma.f64 (pow.f64 a 3) (.f64 z (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6) (fma.f64 z (sqrt.f64 (/.f64 1 t)) (.f64 a (.f64 a (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 5))) (*.f64 z -1/8))))))))
(fma.f64 a (-.f64 (fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) c) b) (fma.f64 (pow.f64 a 3) (.f64 z (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6) (fma.f64 z (sqrt.f64 (/.f64 1 t)) (.f64 a (.f64 a (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 5))) (*.f64 z -1/8))))))))
(.f64 -1 (.f64 (-.f64 b c) a))
(neg.f64 (*.f64 (-.f64 b c) a))
(*.f64 (-.f64 b c) (neg.f64 a))
(*.f64 a (-.f64 c b))
(.f64 -1 (.f64 (-.f64 b c) a))
(neg.f64 (*.f64 (-.f64 b c) a))
(*.f64 (-.f64 b c) (neg.f64 a))
(*.f64 a (-.f64 c b))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)))
(fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 c (neg.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))))
(-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) (.f64 c (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 c (-.f64 (+.f64 5/6 a) (/.f64 2/3 t)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(*.f64 b (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 b (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(*.f64 b (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 b (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (*.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)) b (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 b (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 b (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(neg.f64 (*.f64 c (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(*.f64 c (neg.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(*.f64 c (-.f64 (+.f64 5/6 a) (/.f64 2/3 t)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(neg.f64 (*.f64 c (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(*.f64 c (neg.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(*.f64 c (-.f64 (+.f64 5/6 a) (/.f64 2/3 t)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))))
(fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(*.f64 (sqrt.f64 a) (/.f64 1 t))
(*.f64 (/.f64 1 t) (sqrt.f64 a))
(/.f64 (sqrt.f64 a) t)
(+.f64 (.f64 (sqrt.f64 a) (/.f64 1 t)) (.f64 1/2 (sqrt.f64 (/.f64 1 a))))
(fma.f64 (sqrt.f64 a) (/.f64 1 t) (*.f64 1/2 (sqrt.f64 (/.f64 1 a))))
(fma.f64 1/2 (sqrt.f64 (/.f64 1 a)) (/.f64 (sqrt.f64 a) t))
(+.f64 (.f64 (sqrt.f64 a) (/.f64 1 t)) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) t)) (.f64 1/2 (sqrt.f64 (/.f64 1 a)))))
(fma.f64 (sqrt.f64 a) (/.f64 1 t) (fma.f64 -1/8 (.f64 t (sqrt.f64 (/.f64 1 (pow.f64 a 3)))) (.f64 1/2 (sqrt.f64 (/.f64 1 a)))))
(+.f64 (/.f64 (sqrt.f64 a) t) (fma.f64 1/2 (sqrt.f64 (/.f64 1 a)) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t -1/8))))
(fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (*.f64 t -1/8) (fma.f64 1/2 (sqrt.f64 (/.f64 1 a)) (/.f64 (sqrt.f64 a) t)))
(+.f64 (.f64 (sqrt.f64 a) (/.f64 1 t)) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) t)) (+.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 a))) (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (pow.f64 t 2))))))
(fma.f64 (sqrt.f64 a) (/.f64 1 t) (fma.f64 -1/8 (.f64 t (sqrt.f64 (/.f64 1 (pow.f64 a 3)))) (fma.f64 1/2 (sqrt.f64 (/.f64 1 a)) (.f64 (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 a 5)))) (.f64 t t)))))
(+.f64 (/.f64 (sqrt.f64 a) t) (fma.f64 -1/8 (.f64 t (sqrt.f64 (/.f64 1 (pow.f64 a 3)))) (fma.f64 1/2 (sqrt.f64 (/.f64 1 a)) (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 t t))))))
(+.f64 (/.f64 (sqrt.f64 a) t) (fma.f64 1/2 (sqrt.f64 (/.f64 1 a)) (.f64 t (+.f64 (.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 a 3)))) (.f64 t (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 a 5)))))))))
(sqrt.f64 (/.f64 1 t))
(+.f64 (.f64 1/2 (.f64 a (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (sqrt.f64 (/.f64 1 t)))
(fma.f64 1/2 (*.f64 a (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) (sqrt.f64 (/.f64 1 t)))
(fma.f64 (*.f64 a 1/2) (sqrt.f64 (/.f64 1 (pow.f64 t 3))) (sqrt.f64 (/.f64 1 t)))
(fma.f64 a (*.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) (sqrt.f64 (/.f64 1 t)))
(+.f64 (.f64 1/2 (.f64 a (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (+.f64 (sqrt.f64 (/.f64 1 t)) (.f64 -1/8 (.f64 (pow.f64 a 2) (sqrt.f64 (/.f64 1 (pow.f64 t 5)))))))
(+.f64 (fma.f64 1/2 (.f64 a (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) (sqrt.f64 (/.f64 1 t))) (.f64 (.f64 -1/8 (.f64 a a)) (sqrt.f64 (/.f64 1 (pow.f64 t 5)))))
(fma.f64 1/2 (.f64 a (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) (fma.f64 -1/8 (.f64 (*.f64 a a) (sqrt.f64 (/.f64 1 (pow.f64 t 5)))) (sqrt.f64 (/.f64 1 t))))
(fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 3))) (.f64 a 1/2) (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 5))) (.f64 -1/8 (*.f64 a a)) (sqrt.f64 (/.f64 1 t))))
(+.f64 (.f64 1/2 (.f64 a (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (+.f64 (.f64 1/16 (.f64 (pow.f64 a 3) (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (+.f64 (sqrt.f64 (/.f64 1 t)) (.f64 -1/8 (.f64 (pow.f64 a 2) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))))))
(fma.f64 1/2 (.f64 a (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) (fma.f64 1/16 (.f64 (pow.f64 a 3) (sqrt.f64 (/.f64 1 (pow.f64 t 7)))) (+.f64 (sqrt.f64 (/.f64 1 t)) (.f64 (.f64 -1/8 (*.f64 a a)) (sqrt.f64 (/.f64 1 (pow.f64 t 5)))))))
(fma.f64 1/2 (.f64 a (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) (fma.f64 1/16 (.f64 (pow.f64 a 3) (sqrt.f64 (/.f64 1 (pow.f64 t 7)))) (fma.f64 -1/8 (.f64 (.f64 a a) (sqrt.f64 (/.f64 1 (pow.f64 t 5)))) (sqrt.f64 (/.f64 1 t)))))
(fma.f64 a (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) (fma.f64 (pow.f64 a 3) (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 t 7)))) (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 5))) (.f64 -1/8 (.f64 a a)) (sqrt.f64 (/.f64 1 t)))))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(neg.f64 (*.f64 c (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(*.f64 c (neg.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(*.f64 c (-.f64 (+.f64 5/6 a) (/.f64 2/3 t)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(*.f64 b (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 b (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(*.f64 b (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 b (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(*.f64 b (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 b (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(neg.f64 (*.f64 c (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(*.f64 c (neg.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(*.f64 c (-.f64 (+.f64 5/6 a) (/.f64 2/3 t)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(neg.f64 (*.f64 c (-.f64 (/.f64 2/3 t) (+.f64 5/6 a))))
(*.f64 c (neg.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(*.f64 c (-.f64 (+.f64 5/6 a) (/.f64 2/3 t)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(*.f64 2/3 (/.f64 (-.f64 b c) t))
(/.f64 (*.f64 (-.f64 b c) 2/3) t)
(/.f64 (-.f64 b c) (/.f64 t 2/3))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)))
(*.f64 (neg.f64 (-.f64 b c)) (+.f64 5/6 a))
(*.f64 (-.f64 b c) (+.f64 -5/6 (neg.f64 a)))
(*.f64 (-.f64 b c) (-.f64 -5/6 a))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)))
(*.f64 (neg.f64 (-.f64 b c)) (+.f64 5/6 a))
(*.f64 (-.f64 b c) (+.f64 -5/6 (neg.f64 a)))
(*.f64 (-.f64 b c) (-.f64 -5/6 a))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (.f64 -1 (*.f64 (-.f64 b c) (+.f64 5/6 a))))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(.f64 -1 (.f64 (-.f64 b c) a))
(neg.f64 (*.f64 (-.f64 b c) a))
(*.f64 (-.f64 b c) (neg.f64 a))
(*.f64 a (-.f64 c b))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(.f64 -1 (.f64 (-.f64 b c) a))
(neg.f64 (*.f64 (-.f64 b c) a))
(*.f64 (-.f64 b c) (neg.f64 a))
(*.f64 a (-.f64 c b))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))
(+.f64 (.f64 -1 (.f64 (-.f64 b c) a)) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))
(*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 5/6 a)))
(*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))

prune361.0ms (5.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	148	1	149
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	149	2	151

Error

Counts

151 → 2

Alt Table

Status	Error	Program
✓	2.2b	(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))) x))
▶	1.7b	(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) x))

Status

Error

Program

✓

2.2b

(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))) x))

▶

1.7b

(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) x))

Compiler

Compiled 5241 to 2832 computations (46% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 -5/6 a)
	0.3b	(/.f64 2/3 t)
✓	1.4b	(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
✓	6.4b	(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))

series16.0ms (0.2%)

Counts

3 → 80

Calls

27 calls:

Time	Variable		Point	Expression
2.0ms	a	@	inf	(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
1.0ms	z	@	0	(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
1.0ms	z	@	inf	(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
1.0ms	t	@	inf	(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
1.0ms	t	@	-inf	(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))

rewrite38.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

209×	`add-sqr-sqrt_binary64`
202×	`*-un-lft-identity_binary64`
202×	`pow1_binary64`
195×	`add-exp-log_binary64`
195×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	44
1	395	44

Stop Event

1×	node limit

Counts

3 → 64

Calls

Call 1

Inputs
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(-.f64 -5/6 a)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 t a)) (/.f64 t z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 t (.f64 z (sqrt.f64 (+.f64 t a)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 z (sqrt.f64 (+.f64 t a)))) (neg.f64 t))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (/.f64 z t)) (sqrt.f64 (+.f64 t a))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (/.f64 z t) 3) (pow.f64 (+.f64 t a) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (+.f64 t a) 3/2) (pow.f64 (/.f64 z t) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) 2) (cbrt.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) (sqrt.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))) 3) (pow.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) 3)) (+.f64 (.f64 (.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))) (.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))) (-.f64 (pow.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) 2) (.f64 (.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))) (.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)))) (pow.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) 2)) (-.f64 (.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 -5/6 (neg.f64 a))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 -5/6 a))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (-.f64 -5/6 a)) 2) (cbrt.f64 (-.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 -5/6 a)) (sqrt.f64 (-.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 -125/216 (pow.f64 a 3)) (/.f64 1 (+.f64 25/36 (fma.f64 a a (.f64 -5/6 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 25/36 (.f64 a a)) (/.f64 1 (+.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 25/36 (fma.f64 a a (.f64 -5/6 a))) (-.f64 -125/216 (pow.f64 a 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 -5/6 a) (-.f64 25/36 (.f64 a a))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 -125/216 (pow.f64 a 3)) (+.f64 25/36 (fma.f64 a a (.f64 -5/6 a))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 25/36 (.f64 a a)) (+.f64 -5/6 a))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 -125/216 (pow.f64 a 3))) (neg.f64 (+.f64 25/36 (fma.f64 a a (.f64 -5/6 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 25/36 (.f64 a a))) (neg.f64 (+.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 -125/216 (pow.f64 (neg.f64 a) 3)) (+.f64 25/36 (-.f64 (.f64 (neg.f64 a) (neg.f64 a)) (.f64 -5/6 (neg.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 25/36 (.f64 (neg.f64 a) (neg.f64 a))) (-.f64 -5/6 (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 -5/6 a) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 -5/6 a)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 -5/6 a)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 -5/6 a) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 -5/6 a) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 -5/6 a))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 -5/6 a) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (-.f64 -5/6 a)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 -5/6 a)))))))

Outputs

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

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 -5/6 (neg.f64 a))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 -5/6 a))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 -5/6 a)) 2) (cbrt.f64 (-.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 -5/6 a)) (sqrt.f64 (-.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 -125/216 (pow.f64 a 3)) (/.f64 1 (+.f64 25/36 (fma.f64 a a (*.f64 -5/6 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 25/36 (*.f64 a a)) (/.f64 1 (+.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 25/36 (fma.f64 a a (*.f64 -5/6 a))) (-.f64 -125/216 (pow.f64 a 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 -5/6 a) (-.f64 25/36 (*.f64 a a))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 -125/216 (pow.f64 a 3)) (+.f64 25/36 (fma.f64 a a (*.f64 -5/6 a))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 25/36 (*.f64 a a)) (+.f64 -5/6 a))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 -125/216 (pow.f64 a 3))) (neg.f64 (+.f64 25/36 (fma.f64 a a (*.f64 -5/6 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 25/36 (*.f64 a a))) (neg.f64 (+.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 -125/216 (pow.f64 (neg.f64 a) 3)) (+.f64 25/36 (-.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (*.f64 -5/6 (neg.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 25/36 (*.f64 (neg.f64 a) (neg.f64 a))) (-.f64 -5/6 (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 -5/6 a) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 -5/6 a)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 -5/6 a)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 -5/6 a) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 -5/6 a) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 -5/6 a))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 -5/6 a) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 -5/6 a)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (-.f64 -5/6 a)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 -5/6 a)))))))

simplify62.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

784×	`fma-def_binary64`
368×	`associate-+l+_binary64`
302×	`associate-+r+_binary64`
265×	`fma-neg_binary64`
220×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	119	2207
1	345	1847
2	985	1807
3	3872	1801

Stop Event

1×	node limit

Counts

144 → 123

Calls

Call 1

Inputs
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (sqrt.f64 a) (/.f64 z t))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (*.f64 (sqrt.f64 a) (/.f64 z t)))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (.f64 (sqrt.f64 a) (/.f64 z t))))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z))) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 (pow.f64 t 2) z))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (*.f64 (sqrt.f64 a) (/.f64 z t)))))
(*.f64 (sqrt.f64 (/.f64 1 t)) z)
(+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 1/2 (.f64 (.f64 a z) (sqrt.f64 (/.f64 1 (pow.f64 t 3))))))
(+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 a 2) z) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 1/2 (.f64 (*.f64 a z) (sqrt.f64 (/.f64 1 (pow.f64 t 3)))))))
(+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 a 2) z) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 a 3) z) (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 1/2 (.f64 (.f64 a z) (sqrt.f64 (/.f64 1 (pow.f64 t 3))))))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(/.f64 (+.f64 (.f64 2/3 (-.f64 b c)) (.f64 (sqrt.f64 a) z)) t)
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (+.f64 (.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (.f64 (sqrt.f64 a) (/.f64 z t)))))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z))) (+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (+.f64 (.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (*.f64 (sqrt.f64 a) (/.f64 z t))))))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z))) (+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (+.f64 (.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a))) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 (pow.f64 t 2) z))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (.f64 (sqrt.f64 a) (/.f64 z t)))))))
(.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)))
(.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)) (*.f64 (sqrt.f64 (/.f64 1 t)) z))
(+.f64 (.f64 a (+.f64 (.f64 -1 (-.f64 b c)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 3))) z)))) (+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) 5/6))))
(+.f64 (.f64 a (+.f64 (.f64 -1 (-.f64 b c)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 3))) z)))) (+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 a 2) z) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))))
(+.f64 (.f64 a (+.f64 (.f64 -1 (-.f64 b c)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 3))) z)))) (+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 a 2) z) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 a 3) z) (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) 5/6))))))
(.f64 -1 (.f64 (-.f64 b c) a))
(.f64 -1 (.f64 (-.f64 b c) a))
(.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(*.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
-5/6
(-.f64 (*.f64 -1 a) 5/6)
(-.f64 (*.f64 -1 a) 5/6)
(-.f64 (*.f64 -1 a) 5/6)
(*.f64 -1 a)
(-.f64 (*.f64 -1 a) 5/6)
(-.f64 (*.f64 -1 a) 5/6)
(-.f64 (*.f64 -1 a) 5/6)
(*.f64 -1 a)
(-.f64 (*.f64 -1 a) 5/6)
(-.f64 (*.f64 -1 a) 5/6)
(-.f64 (*.f64 -1 a) 5/6)

Outputs
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(*.f64 (sqrt.f64 a) (/.f64 z t))
(*.f64 (/.f64 z t) (sqrt.f64 a))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (*.f64 (sqrt.f64 a) (/.f64 z t)))
(fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 a))) (.f64 (/.f64 z t) (sqrt.f64 a)))
(fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 a)))))
(fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 a))) (.f64 (/.f64 z t) (sqrt.f64 a)))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (.f64 (sqrt.f64 a) (/.f64 z t))))
(fma.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 z t)) (fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 a))) (.f64 (/.f64 z t) (sqrt.f64 a))))
(fma.f64 -1/8 (.f64 z (.f64 t (sqrt.f64 (/.f64 1 (pow.f64 a 3))))) (fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 a))))))
(fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (+.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 a))) (.f64 t (.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 a 3))))))))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z))) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 (pow.f64 t 2) z))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (*.f64 (sqrt.f64 a) (/.f64 z t)))))
(fma.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 z t)) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 z (.f64 t t))) (fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 a))) (*.f64 (/.f64 z t) (sqrt.f64 a)))))
(fma.f64 -1/8 (.f64 z (.f64 t (sqrt.f64 (/.f64 1 (pow.f64 a 3))))) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 z (.f64 t t))) (fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (*.f64 1/2 (sqrt.f64 (/.f64 1 a)))))))
(fma.f64 -1/8 (.f64 z (.f64 t (sqrt.f64 (/.f64 1 (pow.f64 a 3))))) (fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (+.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 a))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 1/16 (*.f64 t t)))))))
(*.f64 (sqrt.f64 (/.f64 1 t)) z)
(*.f64 z (sqrt.f64 (/.f64 1 t)))
(+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 1/2 (.f64 (.f64 a z) (sqrt.f64 (/.f64 1 (pow.f64 t 3))))))
(fma.f64 (sqrt.f64 (/.f64 1 t)) z (.f64 (.f64 1/2 (*.f64 z a)) (sqrt.f64 (/.f64 1 (pow.f64 t 3)))))
(fma.f64 z (sqrt.f64 (/.f64 1 t)) (.f64 a (.f64 z (*.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))))))
(.f64 z (+.f64 (.f64 a (*.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (sqrt.f64 (/.f64 1 t))))
(+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 a 2) z) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 1/2 (.f64 (*.f64 a z) (sqrt.f64 (/.f64 1 (pow.f64 t 3)))))))
(fma.f64 -1/8 (.f64 (.f64 z (.f64 a a)) (sqrt.f64 (/.f64 1 (pow.f64 t 5)))) (fma.f64 (sqrt.f64 (/.f64 1 t)) z (.f64 (.f64 1/2 (.f64 z a)) (sqrt.f64 (/.f64 1 (pow.f64 t 3))))))
(fma.f64 -1/8 (.f64 z (.f64 (.f64 a a) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (fma.f64 z (sqrt.f64 (/.f64 1 t)) (.f64 a (.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3))))))))
(fma.f64 -1/8 (.f64 a (.f64 (.f64 z a) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (.f64 z (+.f64 (.f64 a (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (sqrt.f64 (/.f64 1 t)))))
(+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 a 2) z) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 a 3) z) (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 1/2 (.f64 (.f64 a z) (sqrt.f64 (/.f64 1 (pow.f64 t 3))))))))
(fma.f64 -1/8 (.f64 (.f64 z (.f64 a a)) (sqrt.f64 (/.f64 1 (pow.f64 t 5)))) (fma.f64 1/16 (.f64 (pow.f64 a 3) (.f64 z (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (fma.f64 (sqrt.f64 (/.f64 1 t)) z (.f64 (.f64 1/2 (.f64 z a)) (sqrt.f64 (/.f64 1 (pow.f64 t 3)))))))
(fma.f64 -1/8 (.f64 z (.f64 (.f64 a a) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (fma.f64 1/16 (.f64 z (.f64 (pow.f64 a 3) (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (fma.f64 z (sqrt.f64 (/.f64 1 t)) (.f64 a (.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))))))))
(fma.f64 -1/8 (.f64 a (.f64 (.f64 z a) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (fma.f64 (pow.f64 a 3) (.f64 z (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (.f64 z (+.f64 (.f64 a (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (sqrt.f64 (/.f64 1 t))))))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(-.f64 (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))) (.f64 c (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 c (+.f64 a (-.f64 5/6 (/.f64 2/3 t)))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(*.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b)
(*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) b)
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b)
(*.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b)
(*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) b)
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) b))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(neg.f64 (*.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))
(*.f64 c (neg.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (neg.f64 c))
(*.f64 c (+.f64 a (-.f64 5/6 (/.f64 2/3 t))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(.f64 -1 (.f64 c (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(neg.f64 (*.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))
(*.f64 c (neg.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))
(*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (neg.f64 c))
(*.f64 c (+.f64 a (-.f64 5/6 (/.f64 2/3 t))))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b) (+.f64 (.f64 -1 (.f64 c (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(/.f64 (+.f64 (.f64 2/3 (-.f64 b c)) (.f64 (sqrt.f64 a) z)) t)
(/.f64 (fma.f64 2/3 (-.f64 b c) (*.f64 z (sqrt.f64 a))) t)
(/.f64 (fma.f64 z (sqrt.f64 a) (*.f64 2/3 (-.f64 b c))) t)
(+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (+.f64 (.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (.f64 (sqrt.f64 a) (/.f64 z t)))))
(fma.f64 2/3 (/.f64 (-.f64 b c) t) (fma.f64 -1 (.f64 (+.f64 a 5/6) (-.f64 b c)) (fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 a))) (*.f64 (/.f64 z t) (sqrt.f64 a)))))
(fma.f64 2/3 (/.f64 (-.f64 b c) t) (-.f64 (fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 a))))) (*.f64 (+.f64 a 5/6) (-.f64 b c))))
(+.f64 (fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 a))) (.f64 (/.f64 z t) (sqrt.f64 a))) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z))) (+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (+.f64 (.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (*.f64 (sqrt.f64 a) (/.f64 z t))))))
(fma.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 z t)) (fma.f64 2/3 (/.f64 (-.f64 b c) t) (fma.f64 -1 (.f64 (+.f64 a 5/6) (-.f64 b c)) (fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 a))) (*.f64 (/.f64 z t) (sqrt.f64 a))))))
(fma.f64 -1/8 (.f64 z (.f64 t (sqrt.f64 (/.f64 1 (pow.f64 a 3))))) (fma.f64 2/3 (/.f64 (-.f64 b c) t) (-.f64 (fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 a))))) (*.f64 (+.f64 a 5/6) (-.f64 b c)))))
(+.f64 (.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)) (fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (+.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 a))) (.f64 t (*.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 a 3)))))))))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 t z))) (+.f64 (.f64 2/3 (/.f64 (-.f64 b c) t)) (+.f64 (.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a))) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 (pow.f64 t 2) z))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 a)) z)) (.f64 (sqrt.f64 a) (/.f64 z t)))))))
(fma.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 3))) (.f64 z t)) (fma.f64 2/3 (/.f64 (-.f64 b c) t) (fma.f64 -1 (.f64 (+.f64 a 5/6) (-.f64 b c)) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 z (.f64 t t))) (fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 a))) (.f64 (/.f64 z t) (sqrt.f64 a)))))))
(fma.f64 -1/8 (.f64 z (.f64 t (sqrt.f64 (/.f64 1 (pow.f64 a 3))))) (fma.f64 2/3 (/.f64 (-.f64 b c) t) (-.f64 (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 z (.f64 t t))) (fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 a)))))) (.f64 (+.f64 a 5/6) (-.f64 b c)))))
(+.f64 (fma.f64 (/.f64 z t) (sqrt.f64 a) (.f64 z (+.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 a))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 a 5))) (.f64 1/16 (.f64 t t)))))) (fma.f64 -1/8 (.f64 z (.f64 t (sqrt.f64 (/.f64 1 (pow.f64 a 3))))) (.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c))))
(.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)))
(*.f64 (neg.f64 (-.f64 b c)) (+.f64 a 5/6))
(*.f64 (-.f64 b c) (fma.f64 a -1 -5/6))
(*.f64 (+.f64 a 5/6) (-.f64 c b))
(.f64 -1 (.f64 (-.f64 b c) (+.f64 5/6 a)))
(*.f64 (neg.f64 (-.f64 b c)) (+.f64 a 5/6))
(*.f64 (-.f64 b c) (fma.f64 a -1 -5/6))
(*.f64 (+.f64 a 5/6) (-.f64 c b))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)) (*.f64 (sqrt.f64 (/.f64 1 t)) z))
(fma.f64 (sqrt.f64 (/.f64 1 t)) z (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6)))
(fma.f64 z (sqrt.f64 (/.f64 1 t)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6)))
(+.f64 (.f64 a (+.f64 (.f64 -1 (-.f64 b c)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 3))) z)))) (+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) 5/6))))
(fma.f64 a (fma.f64 -1 (-.f64 b c) (.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) z)) (fma.f64 (sqrt.f64 (/.f64 1 t)) z (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6))))
(fma.f64 a (-.f64 (.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (-.f64 b c)) (fma.f64 z (sqrt.f64 (/.f64 1 t)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6))))
(fma.f64 a (fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) (-.f64 c b)) (fma.f64 z (sqrt.f64 (/.f64 1 t)) (.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6))))
(+.f64 (.f64 a (+.f64 (.f64 -1 (-.f64 b c)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 3))) z)))) (+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 a 2) z) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) 5/6)))))
(fma.f64 a (fma.f64 -1 (-.f64 b c) (.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) z)) (fma.f64 -1/8 (.f64 (.f64 z (.f64 a a)) (sqrt.f64 (/.f64 1 (pow.f64 t 5)))) (fma.f64 (sqrt.f64 (/.f64 1 t)) z (.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6)))))
(fma.f64 a (-.f64 (.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (-.f64 b c)) (fma.f64 -1/8 (.f64 z (.f64 (.f64 a a) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (fma.f64 z (sqrt.f64 (/.f64 1 t)) (.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6)))))
(fma.f64 -1/8 (.f64 a (.f64 (.f64 z a) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (fma.f64 a (fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) (-.f64 c b)) (fma.f64 z (sqrt.f64 (/.f64 1 t)) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6)))))
(+.f64 (.f64 a (+.f64 (.f64 -1 (-.f64 b c)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 t 3))) z)))) (+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 a 2) z) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 a 3) z) (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (+.f64 (.f64 (sqrt.f64 (/.f64 1 t)) z) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) 5/6))))))
(fma.f64 a (fma.f64 -1 (-.f64 b c) (.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) z)) (fma.f64 -1/8 (.f64 (.f64 z (.f64 a a)) (sqrt.f64 (/.f64 1 (pow.f64 t 5)))) (fma.f64 1/16 (.f64 (pow.f64 a 3) (.f64 z (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (fma.f64 (sqrt.f64 (/.f64 1 t)) z (.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6))))))
(fma.f64 a (-.f64 (.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3))))) (-.f64 b c)) (fma.f64 -1/8 (.f64 z (.f64 (.f64 a a) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (fma.f64 1/16 (.f64 z (.f64 (pow.f64 a 3) (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (fma.f64 z (sqrt.f64 (/.f64 1 t)) (.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6))))))
(fma.f64 a (fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 t 3)))) (-.f64 c b)) (fma.f64 -1/8 (.f64 a (.f64 (.f64 z a) (sqrt.f64 (/.f64 1 (pow.f64 t 5))))) (fma.f64 z (sqrt.f64 (/.f64 1 t)) (fma.f64 1/16 (.f64 z (.f64 (pow.f64 a 3) (sqrt.f64 (/.f64 1 (pow.f64 t 7))))) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) -5/6))))))
(.f64 -1 (.f64 (-.f64 b c) a))
(*.f64 (neg.f64 (-.f64 b c)) a)
(*.f64 a (neg.f64 (-.f64 b c)))
(*.f64 a (-.f64 c b))
(.f64 -1 (.f64 (-.f64 b c) a))
(*.f64 (neg.f64 (-.f64 b c)) a)
(*.f64 a (neg.f64 (-.f64 b c)))
(*.f64 a (-.f64 c b))
(.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)))
(*.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) (-.f64 b c))
(*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(*.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)) (.f64 (-.f64 b c) (-.f64 (*.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
(+.f64 (.f64 (-.f64 b c) (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a))) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t))))
(fma.f64 (-.f64 (/.f64 2/3 t) (+.f64 a 5/6)) b (fma.f64 -1 (.f64 c (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)))))
(fma.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))
(fma.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a)) (*.f64 (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (-.f64 b c)))
-5/6
(-.f64 (*.f64 -1 a) 5/6)
(fma.f64 -1 a -5/6)
(fma.f64 a -1 -5/6)
(-.f64 -5/6 a)
(-.f64 (*.f64 -1 a) 5/6)
(fma.f64 -1 a -5/6)
(fma.f64 a -1 -5/6)
(-.f64 -5/6 a)
(-.f64 (*.f64 -1 a) 5/6)
(fma.f64 -1 a -5/6)
(fma.f64 a -1 -5/6)
(-.f64 -5/6 a)
(*.f64 -1 a)
(neg.f64 a)
(-.f64 (*.f64 -1 a) 5/6)
(fma.f64 -1 a -5/6)
(fma.f64 a -1 -5/6)
(-.f64 -5/6 a)
(-.f64 (*.f64 -1 a) 5/6)
(fma.f64 -1 a -5/6)
(fma.f64 a -1 -5/6)
(-.f64 -5/6 a)
(-.f64 (*.f64 -1 a) 5/6)
(fma.f64 -1 a -5/6)
(fma.f64 a -1 -5/6)
(-.f64 -5/6 a)
(*.f64 -1 a)
(neg.f64 a)
(-.f64 (*.f64 -1 a) 5/6)
(fma.f64 -1 a -5/6)
(fma.f64 a -1 -5/6)
(-.f64 -5/6 a)
(-.f64 (*.f64 -1 a) 5/6)
(fma.f64 -1 a -5/6)
(fma.f64 a -1 -5/6)
(-.f64 -5/6 a)
(-.f64 (*.f64 -1 a) 5/6)
(fma.f64 -1 a -5/6)
(fma.f64 a -1 -5/6)
(-.f64 -5/6 a)

prune302.0ms (4.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	142	2	144

Error

Counts

144 → 2

Alt Table

Status

Error

Program

✓

2.2b

(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))) x))

✓

1.7b

(/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) x))

Compiler

Compiled 4837 to 2529 computations (47.7% saved)

regimes182.0ms (2.6%)

Accuracy

Total -2.6b remaining (-219.8%)

Threshold costs -2.6b (-219.8%)

Counts

26 → 2

Compiler

Compiled 775 to 497 computations (35.9% saved)

bsearch45.0ms (0.7%)

Algorithm

1×	binary-search

Calls

1 calls:

45.0ms

Steps

Iters	Point		Range
6.283594212548852e+25	∈ [	6.283594212548852e+25	,	5.873220321850161e+28	]

Compiler

Compiled 50 to 38 computations (24% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64`
6×	`sub-neg_binary64`
5×	`*-commutative_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	86
1	48	86
2	60	86
3	66	86
4	69	86

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 a 62835942125488515875602432) (/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))) x)) (/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) x)))

Outputs

(if (<=.f64 a 62835942125488515875602432) (/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 z (/.f64 (sqrt.f64 (+.f64 t a)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))) x)) (/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (/.f64 z t) (sqrt.f64 (+.f64 t a))))) x)))

(if (<=.f64 a 62835942125488515875602432) (/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 z (/.f64 (sqrt.f64 (+.f64 a t)) t) (*.f64 (-.f64 b c) (-.f64 (/.f64 2/3 t) (+.f64 a 5/6))))) x)) (/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)))) x)))

(if (<=.f64 a 62835942125488515875602432) (/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 z (/.f64 (sqrt.f64 (+.f64 a t)) t) (*.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a))))) x)) (/.f64 x (fma.f64 y (pow.f64 (exp.f64 2) (fma.f64 (-.f64 b c) (+.f64 (/.f64 2/3 t) (-.f64 -5/6 a)) (*.f64 (sqrt.f64 (+.f64 a t)) (/.f64 z t)))) x)))

end87.0ms (1.3%)

Stop Event

1×

done

Compiler

Compiled 184 to 105 computations (42.9% saved)

Details

analyze2.6s (37.2%)

sample3.0s (42.8%)

preprocess49.0ms (0.7%)

simplify28.0ms (0.4%)

prune5.0ms (0.1%)

localize44.0ms (0.6%)

series28.0ms (0.4%)

rewrite41.0ms (0.6%)

simplify79.0ms (1.1%)

prune361.0ms (5.2%)

localize22.0ms (0.3%)

series16.0ms (0.2%)

rewrite38.0ms (0.5%)

simplify62.0ms (0.9%)

prune302.0ms (4.3%)

regimes182.0ms (2.6%)

bsearch45.0ms (0.7%)

simplify4.0ms (0.1%)

end87.0ms (1.3%)

Profiling