Details

Time bar (total: 5.4s)

analyze2.2s (41.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
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%99.7%0.3%12
0%99.7%0.3%13
0%99.7%0.3%14
Compiler

Compiled 25 to 18 computations (28% saved)

sample2.1s (39.9%)

Results
1.4s8256×body128valid
686.0ms4002×body128invalid

preprocess46.0ms (0.9%)

Algorithm
2×egg-herbie
Rules
436×fma-neg_binary64
395×associate-+l+_binary64
365×cancel-sign-sub-inv_binary64
360×associate-+r+_binary64
358×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0127506
1355506
2947484
32466462
077
177
Stop Event
1×unsound
1×node limit
Calls
Call 1
Inputs
0
1
2
3
4
5
6
Outputs
0
1
0
2
3
2
4
5
4
6
Call 2
Inputs
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 y x) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 z y) (/.f64 (*.f64 x t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 t y) (/.f64 (*.f64 z x) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 a y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 x b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 b y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a x) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 c y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) x)
(+.f64 (-.f64 (+.f64 (*.f64 x z) (/.f64 (*.f64 y t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x t) (/.f64 (*.f64 z y) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x a) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 y b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x b) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a y) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x c) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) y)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 t z) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 a t) 16)) (/.f64 (*.f64 z b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 b t) 16)) (/.f64 (*.f64 a z) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 c t) 16)) (/.f64 (*.f64 a b) 4)) z)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z a) 16)) (/.f64 (*.f64 t b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z b) 16)) (/.f64 (*.f64 a t) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z c) 16)) (/.f64 (*.f64 a b) 4)) t)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 b a) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 c b) 4)) a)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a c) 4)) b)
Outputs
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 t))) (/.f64 a (/.f64 4 b))) c)
(-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (-.f64 (*.f64 (/.f64 a 4) b) c))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 x y (fma.f64 z (/.f64 t 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 y x) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 t))) (/.f64 a (/.f64 4 b))) c)
(-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (-.f64 (*.f64 (/.f64 a 4) b) c))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 x y (fma.f64 z (/.f64 t 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 z y) (/.f64 (*.f64 x t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 c (-.f64 (fma.f64 z y (/.f64 x (/.f64 16 t))) (/.f64 a (/.f64 4 b))))
(+.f64 c (-.f64 (fma.f64 y z (*.f64 (/.f64 x 16) t)) (*.f64 (/.f64 a 4) b)))
(fma.f64 y z (fma.f64 (/.f64 x 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 y z (fma.f64 t (/.f64 x 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 t y) (/.f64 (*.f64 z x) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 c (-.f64 (fma.f64 t y (/.f64 z (/.f64 16 x))) (/.f64 a (/.f64 4 b))))
(+.f64 c (-.f64 (fma.f64 y t (*.f64 (/.f64 z 16) x)) (*.f64 (/.f64 a 4) b)))
(fma.f64 y t (fma.f64 (/.f64 z 16) x (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 y t (fma.f64 x (/.f64 z 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 a y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 x b) 4)) c)
(-.f64 (fma.f64 a y (/.f64 z (/.f64 16 t))) (-.f64 (/.f64 x (/.f64 4 b)) c))
(+.f64 c (fma.f64 y a (-.f64 (*.f64 (/.f64 z 16) t) (*.f64 (/.f64 x 4) b))))
(fma.f64 y a (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 x 4)) c)))
(fma.f64 y a (fma.f64 z (/.f64 t 16) (-.f64 c (/.f64 (*.f64 x b) 4))))
(+.f64 (-.f64 (+.f64 (*.f64 b y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a x) 4)) c)
(-.f64 (fma.f64 b y (/.f64 z (/.f64 16 t))) (-.f64 (/.f64 (*.f64 x a) 4) c))
(+.f64 c (fma.f64 y b (-.f64 (*.f64 (/.f64 z 16) t) (*.f64 (/.f64 a 4) x))))
(fma.f64 y b (fma.f64 (/.f64 z 16) t (fma.f64 -1 (/.f64 x (/.f64 4 a)) c)))
(fma.f64 y b (fma.f64 z (/.f64 t 16) (-.f64 c (/.f64 x (/.f64 4 a)))))
(+.f64 (-.f64 (+.f64 (*.f64 c y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) x)
(-.f64 (fma.f64 c y (/.f64 z (/.f64 16 t))) (-.f64 (/.f64 a (/.f64 4 b)) x))
(-.f64 (fma.f64 y c (*.f64 (/.f64 z 16) t)) (-.f64 (*.f64 (/.f64 a 4) b) x))
(fma.f64 y c (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) x)))
(fma.f64 y c (fma.f64 z (/.f64 t 16) (-.f64 x (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x z) (/.f64 (*.f64 y t) 16)) (/.f64 (*.f64 a b) 4)) c)
(-.f64 (fma.f64 x z (/.f64 y (/.f64 16 t))) (-.f64 (/.f64 a (/.f64 4 b)) c))
(+.f64 c (-.f64 (fma.f64 x z (/.f64 y (/.f64 16 t))) (*.f64 (/.f64 a 4) b)))
(fma.f64 x z (fma.f64 (/.f64 y 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 x z (fma.f64 t (/.f64 y 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x t) (/.f64 (*.f64 z y) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 c (-.f64 (fma.f64 x t (/.f64 z (/.f64 16 y))) (/.f64 a (/.f64 4 b))))
(+.f64 c (-.f64 (fma.f64 x t (*.f64 (/.f64 z 16) y)) (*.f64 (/.f64 a 4) b)))
(fma.f64 (/.f64 z 16) y (fma.f64 x t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 x t (fma.f64 y (/.f64 z 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x a) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 y b) 4)) c)
(+.f64 c (-.f64 (fma.f64 x a (/.f64 z (/.f64 16 t))) (/.f64 y (/.f64 4 b))))
(+.f64 c (fma.f64 x a (-.f64 (*.f64 (/.f64 z 16) t) (*.f64 (/.f64 y 4) b))))
(fma.f64 x a (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 y 4)) c)))
(fma.f64 x a (fma.f64 z (/.f64 t 16) (-.f64 c (*.f64 b (/.f64 y 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x b) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a y) 4)) c)
(+.f64 c (-.f64 (fma.f64 x b (/.f64 z (/.f64 16 t))) (/.f64 a (/.f64 4 y))))
(+.f64 c (fma.f64 x b (-.f64 (*.f64 (/.f64 z 16) t) (*.f64 (/.f64 a 4) y))))
(fma.f64 (/.f64 z 16) t (fma.f64 x b (fma.f64 -1 (*.f64 y (/.f64 a 4)) c)))
(fma.f64 x b (fma.f64 z (/.f64 t 16) (-.f64 c (*.f64 y (/.f64 a 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x c) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) y)
(-.f64 (fma.f64 x c (/.f64 z (/.f64 16 t))) (-.f64 (/.f64 a (/.f64 4 b)) y))
(+.f64 y (-.f64 (fma.f64 x c (*.f64 (/.f64 z 16) t)) (*.f64 (/.f64 a 4) b)))
(fma.f64 x c (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) y)))
(fma.f64 x c (fma.f64 z (/.f64 t 16) (-.f64 y (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 t z) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 t))) (/.f64 a (/.f64 4 b))) c)
(-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (-.f64 (*.f64 (/.f64 a 4) b) c))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 x y (fma.f64 z (/.f64 t 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 a t) 16)) (/.f64 (*.f64 z b) 4)) c)
(-.f64 (fma.f64 x y (/.f64 a (/.f64 16 t))) (-.f64 (/.f64 z (/.f64 4 b)) c))
(+.f64 c (-.f64 (fma.f64 x y (*.f64 (/.f64 a 16) t)) (/.f64 z (/.f64 4 b))))
(fma.f64 x y (fma.f64 (/.f64 a 16) t (fma.f64 -1 (*.f64 b (/.f64 z 4)) c)))
(fma.f64 x y (fma.f64 t (/.f64 a 16) (-.f64 c (*.f64 b (/.f64 z 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 b t) 16)) (/.f64 (*.f64 a z) 4)) c)
(-.f64 (fma.f64 x y (/.f64 b (/.f64 16 t))) (-.f64 (/.f64 a (/.f64 4 z)) c))
(-.f64 (fma.f64 x y (*.f64 (/.f64 b 16) t)) (-.f64 (*.f64 (/.f64 a 4) z) c))
(fma.f64 x y (fma.f64 (/.f64 b 16) t (fma.f64 -1 (*.f64 z (/.f64 a 4)) c)))
(fma.f64 x y (fma.f64 t (/.f64 b 16) (-.f64 c (*.f64 z (/.f64 a 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 c t) 16)) (/.f64 (*.f64 a b) 4)) z)
(-.f64 (fma.f64 x y (/.f64 c (/.f64 16 t))) (-.f64 (/.f64 a (/.f64 4 b)) z))
(+.f64 z (-.f64 (fma.f64 x y (*.f64 (/.f64 c 16) t)) (*.f64 (/.f64 a 4) b)))
(fma.f64 x y (fma.f64 (/.f64 c 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) z)))
(fma.f64 (/.f64 c 16) t (fma.f64 x y (-.f64 z (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z a) 16)) (/.f64 (*.f64 t b) 4)) c)
(+.f64 c (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 a))) (/.f64 t (/.f64 4 b))))
(-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) a)) (-.f64 (*.f64 (/.f64 t 4) b) c))
(fma.f64 (/.f64 z 16) a (fma.f64 x y (fma.f64 -1 (*.f64 b (/.f64 t 4)) c)))
(fma.f64 x y (fma.f64 a (/.f64 z 16) (-.f64 c (*.f64 b (/.f64 t 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z b) 16)) (/.f64 (*.f64 a t) 4)) c)
(+.f64 c (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 b))) (/.f64 a (/.f64 4 t))))
(-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) b)) (-.f64 (*.f64 (/.f64 a 4) t) c))
(fma.f64 x y (fma.f64 (/.f64 z 16) b (fma.f64 -1 (*.f64 t (/.f64 a 4)) c)))
(fma.f64 x y (fma.f64 b (/.f64 z 16) (-.f64 c (*.f64 t (/.f64 a 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z c) 16)) (/.f64 (*.f64 a b) 4)) t)
(-.f64 (fma.f64 x y (/.f64 z (/.f64 16 c))) (-.f64 (/.f64 a (/.f64 4 b)) t))
(+.f64 t (-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) c)) (*.f64 (/.f64 a 4) b)))
(fma.f64 (/.f64 z 16) c (fma.f64 x y (fma.f64 -1 (*.f64 b (/.f64 a 4)) t)))
(fma.f64 x y (fma.f64 c (/.f64 z 16) (-.f64 t (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 b a) 4)) c)
(+.f64 (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 t))) (/.f64 a (/.f64 4 b))) c)
(-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (-.f64 (*.f64 (/.f64 a 4) b) c))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 x y (fma.f64 z (/.f64 t 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 c b) 4)) a)
(+.f64 a (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 t))) (/.f64 c (/.f64 4 b))))
(+.f64 a (-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (/.f64 b (/.f64 4 c))))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 -1 (/.f64 b (/.f64 4 c)) a)))
(fma.f64 x y (fma.f64 z (/.f64 t 16) (-.f64 a (*.f64 b (/.f64 c 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a c) 4)) b)
(+.f64 b (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 t))) (/.f64 a (/.f64 4 c))))
(-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (-.f64 (*.f64 (/.f64 a 4) c) b))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 c (/.f64 a 4)) b)))
(fma.f64 x y (fma.f64 z (/.f64 t 16) (-.f64 b (*.f64 c (/.f64 a 4)))))
Symmetry

(sort x y)

(sort z t)

(sort a b)

Compiler

Compiled 24 to 17 computations (29.2% saved)

simplify71.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
1251×fma-neg_binary64
526×fma-def_binary64
259×cancel-sign-sub-inv_binary64
148×distribute-rgt-in_binary64
131×sub-neg_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01823
13423
27722
317521
441219
594019
6163519
7268619
8357419
9373919
10379419
11380419
12380419
13412019
14412419
15412419
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
Outputs
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(-.f64 (fma.f64 x y (/.f64 z (/.f64 16 t))) (-.f64 (/.f64 a (/.f64 4 b)) c))
(-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (-.f64 (*.f64 (/.f64 a 4) b) c))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 (/.f64 b 4) a) c)))
(fma.f64 x y (fma.f64 t (/.f64 z 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(fma.f64 x y (fma.f64 b (*.f64 -1/4 a) (fma.f64 t (/.f64 z 16) c)))
(fma.f64 x y (fma.f64 a (*.f64 -1/4 b) (fma.f64 t (/.f64 z 16) c)))
(fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (/.f64 z 16) c)))
(fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 1/16 z) c)))
(fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))
Compiler

Compiled 80 to 52 computations (35% saved)

localize11.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))

series11.0ms (0.2%)

Counts
1 → 60
Calls

15 calls:

TimeVariablePointExpression
1.0ms
z
@0
(fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))
1.0ms
a
@0
(fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))
1.0ms
b
@0
(fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))
1.0ms
t
@0
(fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))
1.0ms
b
@-inf
(fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))

rewrite54.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
530×log-prod_binary64
211×expm1-udef_binary64
211×log1p-udef_binary64
195×pow3_binary64
177×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01215
123915
2269815
Stop Event
1×node limit
Counts
1 → 30
Calls
Call 1
Inputs
(fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 t (*.f64 z 1/16) c) (*.f64 a (*.f64 b -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 a (*.f64 b -1/4)) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 a (*.f64 b -1/4)) 1) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 a (*.f64 b -1/4) (*.f64 (*.f64 t z) 1/16)) c)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) (cbrt.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2) (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) (sqrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 a (*.f64 b -1/4)) 3) (pow.f64 (fma.f64 t (*.f64 z 1/16) c) 3)) (fma.f64 (*.f64 a (*.f64 b -1/4)) (*.f64 a (*.f64 b -1/4)) (-.f64 (pow.f64 (fma.f64 t (*.f64 z 1/16) c) 2) (*.f64 (*.f64 a (*.f64 b -1/4)) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 a (*.f64 b -1/4)) (*.f64 a (*.f64 b -1/4))) (pow.f64 (fma.f64 t (*.f64 z 1/16) c) 2)) (-.f64 (*.f64 a (*.f64 b -1/4)) (fma.f64 t (*.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 t (*.f64 z 1/16) c)) (exp.f64 (*.f64 a (*.f64 b -1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (fma.f64 t (*.f64 z 1/16) c))) (exp.f64 (*.f64 a (*.f64 b -1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (*.f64 a (*.f64 b -1/4))) (+.f64 1 (expm1.f64 (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))))

simplify24.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
36×fma-def_binary64
10×*-commutative_binary64
6×associate-*r*_binary64
6×associate-*l*_binary64
4×+-commutative_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
016877
130869
258779
392779
Stop Event
1×saturated
Counts
90 → 41
Calls
Call 1
Inputs
(+.f64 c (*.f64 1/16 (*.f64 t z)))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(*.f64 -1/4 (*.f64 a b))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(*.f64 -1/4 (*.f64 a b))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (*.f64 1/16 (*.f64 t z)))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(*.f64 -1/4 (*.f64 a b))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(*.f64 -1/4 (*.f64 a b))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (*.f64 -1/4 (*.f64 a b)))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(*.f64 1/16 (*.f64 t z))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(*.f64 1/16 (*.f64 t z))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (*.f64 -1/4 (*.f64 a b)))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(*.f64 1/16 (*.f64 t z))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(*.f64 1/16 (*.f64 t z))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
c
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
c
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
Outputs
(+.f64 c (*.f64 1/16 (*.f64 t z)))
(fma.f64 1/16 (*.f64 t z) c)
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(*.f64 -1/4 (*.f64 a b))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(*.f64 -1/4 (*.f64 a b))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (*.f64 1/16 (*.f64 t z)))
(fma.f64 1/16 (*.f64 t z) c)
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(*.f64 -1/4 (*.f64 a b))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(*.f64 -1/4 (*.f64 a b))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (*.f64 -1/4 (*.f64 a b)))
(fma.f64 -1/4 (*.f64 a b) c)
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(*.f64 1/16 (*.f64 t z))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(*.f64 1/16 (*.f64 t z))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (*.f64 -1/4 (*.f64 a b)))
(fma.f64 -1/4 (*.f64 a b) c)
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(*.f64 1/16 (*.f64 t z))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(*.f64 1/16 (*.f64 t z))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))
(fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
c
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
c
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 -1/4 (*.f64 a b) c))
(fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) c))

prune46.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New40141
Fresh000
Picked011
Done000
Total40242
Error
0b
Counts
42 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))
▶1.0b
(fma.f64 x y (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 3))
Compiler

Compiled 833 to 483 computations (42% saved)

localize19.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))
✓0.5b
(cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))
✓0.8b
(pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 3)

series45.0ms (0.8%)

Counts
2 → 40
Calls

30 calls:

TimeVariablePointExpression
5.0ms
a
@0
(pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 3)
4.0ms
z
@0
(pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 3)
4.0ms
b
@0
(pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 3)
4.0ms
t
@0
(pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 3)
4.0ms
c
@0
(pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 3)

rewrite55.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
599×log-prod_binary64
241×expm1-udef_binary64
241×log1p-udef_binary64
203×log-pow_binary64
148×prod-diff_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01532
130732
2320432
Stop Event
1×node limit
Counts
2 → 76
Calls
Call 1
Inputs
(pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 3)
(cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 t (*.f64 z 1/16) c) (*.f64 (*.f64 a b) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 a b) -1/4) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (*.f64 a b) -1/4) 1) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 a (*.f64 b -1/4) (*.f64 (*.f64 t z) 1/16)) c)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) (cbrt.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2) (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2)) (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) (sqrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1/6) (*.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1/6) (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2)) 3) (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1/6) 3) (pow.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1/6) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2) 1) (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2))) (cbrt.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2) (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1/6)) (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 (*.f64 a b) -1/4) 3) (pow.f64 (fma.f64 t (*.f64 z 1/16) c) 3)) (fma.f64 (*.f64 (*.f64 a b) -1/4) (*.f64 (*.f64 a b) -1/4) (-.f64 (pow.f64 (fma.f64 t (*.f64 z 1/16) c) 2) (*.f64 (*.f64 (*.f64 a b) -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 (*.f64 a b) -1/4) (*.f64 (*.f64 a b) -1/4)) (pow.f64 (fma.f64 t (*.f64 z 1/16) c) 2)) (-.f64 (*.f64 (*.f64 a b) -1/4) (fma.f64 t (*.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 t (*.f64 z 1/16) c)) (exp.f64 (*.f64 (*.f64 a b) -1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (fma.f64 t (*.f64 z 1/16) c))) (exp.f64 (*.f64 (*.f64 a b) -1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (*.f64 (*.f64 a b) -1/4)) (+.f64 1 (expm1.f64 (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 b -1/4) a (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 t (*.f64 z 1/16) c) 1 (*.f64 (*.f64 a b) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 t (*.f64 z 1/16) c) (*.f64 (*.f64 a b) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 (*.f64 a b) -1/4) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 t (*.f64 z 1/16) c)) (pow.f64 (cbrt.f64 (fma.f64 t (*.f64 z 1/16) c)) 2) (*.f64 (*.f64 a b) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 t (*.f64 z 1/16) c)) 2) (cbrt.f64 (fma.f64 t (*.f64 z 1/16) c)) (*.f64 (*.f64 a b) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 a) 2) (*.f64 (cbrt.f64 a) (*.f64 b -1/4)) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 t (*.f64 z 1/16) c)) (sqrt.f64 (fma.f64 t (*.f64 z 1/16) c)) (*.f64 (*.f64 a b) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 a) (*.f64 (sqrt.f64 a) (*.f64 b -1/4)) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 a b) -1/4) 1 (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 a b) -1/4)) (cbrt.f64 (*.f64 (*.f64 a b) -1/4))) (cbrt.f64 (*.f64 (*.f64 a b) -1/4)) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 (*.f64 a b) -1/4)) (sqrt.f64 (*.f64 (*.f64 a b) -1/4)) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 b -1/4))) (*.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 b -1/4))) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 a b) -1/4 (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 a -1/4) b (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 a (cbrt.f64 (*.f64 1/16 (*.f64 b b)))) (cbrt.f64 (*.f64 b -1/4)) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 a (sqrt.f64 (*.f64 b -1/4))) (sqrt.f64 (*.f64 b -1/4)) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))) (cbrt.f64 (exp.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))) (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1/6) (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 1/3) (pow.f64 (sqrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))))

simplify83.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
654×associate-*r*_binary64
547×associate-*l*_binary64
467×fma-def_binary64
259×associate-+r+_binary64
195×associate-+l+_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03525419
112404939
Stop Event
1×node limit
Counts
116 → 140
Calls
Call 1
Inputs
(+.f64 c (*.f64 1/16 (*.f64 t z)))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 a (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9) b)) (*.f64 -1/12 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9) b))))))
(+.f64 c (+.f64 (*.f64 (pow.f64 a 2) (+.f64 (*.f64 -1/144 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9) (pow.f64 b 2))) (+.f64 (*.f64 1/72 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9) (pow.f64 b 2))) (*.f64 (+.f64 (*.f64 -1/72 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9) (pow.f64 b 2))) (*.f64 1/144 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9) (pow.f64 b 2)))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3))))) (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 a (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9) b)) (*.f64 -1/12 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9) b)))))))
(+.f64 c (+.f64 (*.f64 (+.f64 (*.f64 -1/12 (*.f64 (*.f64 (+.f64 (*.f64 -1/72 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9) (pow.f64 b 2))) (*.f64 1/144 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9) (pow.f64 b 2)))) b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (+.f64 (*.f64 1/864 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3))) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3) (+.f64 (*.f64 -2/3 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/3) (+.f64 (*.f64 1/288 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3))) (*.f64 -1/1728 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3)))))) (*.f64 1/864 (/.f64 (pow.f64 b 3) (+.f64 c (*.f64 1/16 (*.f64 t z))))))) (*.f64 -1/3 (+.f64 (*.f64 1/288 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3))) (*.f64 -1/1728 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3)))))))) (pow.f64 a 3)) (+.f64 (*.f64 (pow.f64 a 2) (+.f64 (*.f64 -1/144 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9) (pow.f64 b 2))) (+.f64 (*.f64 1/72 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9) (pow.f64 b 2))) (*.f64 (+.f64 (*.f64 -1/72 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9) (pow.f64 b 2))) (*.f64 1/144 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9) (pow.f64 b 2)))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3))))) (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 a (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9) b)) (*.f64 -1/12 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9) b))))))))
(+.f64 c (*.f64 1/16 (*.f64 t z)))
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 (+.f64 (*.f64 -1/6 (*.f64 a (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9))) (*.f64 -1/12 (*.f64 a (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9)))) b)))
(+.f64 c (+.f64 (*.f64 (+.f64 (*.f64 -1/144 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9))) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3) (+.f64 (*.f64 1/144 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9))) (*.f64 -1/72 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9))))) (*.f64 1/72 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9))))) (pow.f64 b 2)) (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 (+.f64 (*.f64 -1/6 (*.f64 a (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9))) (*.f64 -1/12 (*.f64 a (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9)))) b))))
(+.f64 c (+.f64 (*.f64 (+.f64 (*.f64 -1/144 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9))) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3) (+.f64 (*.f64 1/144 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9))) (*.f64 -1/72 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9))))) (*.f64 1/72 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9))))) (pow.f64 b 2)) (+.f64 (*.f64 1/16 (*.f64 t z)) (+.f64 (*.f64 (pow.f64 b 3) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3) (+.f64 (*.f64 -2/3 (*.f64 (+.f64 (*.f64 -1/1728 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))) (*.f64 1/288 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3)))) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/3))) (*.f64 1/864 (/.f64 (pow.f64 a 3) (+.f64 c (*.f64 1/16 (*.f64 t z))))))) (+.f64 (*.f64 1/864 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))) (+.f64 (*.f64 -1/12 (*.f64 (*.f64 a (+.f64 (*.f64 1/144 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9))) (*.f64 -1/72 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9))))) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (*.f64 -1/3 (+.f64 (*.f64 -1/1728 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))) (*.f64 1/288 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))))))))) (*.f64 (+.f64 (*.f64 -1/6 (*.f64 a (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9))) (*.f64 -1/12 (*.f64 a (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9)))) b)))))
(+.f64 c (*.f64 -1/4 (*.f64 a b)))
(+.f64 c (+.f64 (*.f64 t (+.f64 (*.f64 1/24 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) z)) (*.f64 1/48 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) z)))) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 (pow.f64 t 2) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 -1/1152 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 z 2))) (*.f64 1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 z 2))))) (+.f64 (*.f64 1/1152 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 z 2))) (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 z 2)))))) (+.f64 c (+.f64 (*.f64 t (+.f64 (*.f64 1/24 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) z)) (*.f64 1/48 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) z)))) (*.f64 -1/4 (*.f64 a b)))))
(+.f64 (*.f64 (pow.f64 t 2) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 -1/1152 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 z 2))) (*.f64 1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 z 2))))) (+.f64 (*.f64 1/1152 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 z 2))) (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 z 2)))))) (+.f64 c (+.f64 (*.f64 (pow.f64 t 3) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 -2/3 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/3) (+.f64 (*.f64 -1/18432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3))) (*.f64 1/110592 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3)))))) (*.f64 -1/55296 (/.f64 (pow.f64 z 3) (+.f64 c (*.f64 -1/4 (*.f64 a b))))))) (+.f64 (*.f64 -1/55296 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3))) (+.f64 (*.f64 1/48 (*.f64 (*.f64 (+.f64 (*.f64 -1/1152 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 z 2))) (*.f64 1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 z 2)))) z) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9))) (*.f64 -1/3 (+.f64 (*.f64 -1/18432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3))) (*.f64 1/110592 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3))))))))) (+.f64 (*.f64 t (+.f64 (*.f64 1/24 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) z)) (*.f64 1/48 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) z)))) (*.f64 -1/4 (*.f64 a b))))))
(+.f64 c (*.f64 -1/4 (*.f64 a b)))
(+.f64 c (+.f64 (*.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) t)) (*.f64 1/48 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) t))) z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (+.f64 (*.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) t)) (*.f64 1/48 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) t))) z) (+.f64 (*.f64 (+.f64 (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 t 2))) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 t 2))) (*.f64 -1/1152 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 t 2))))) (*.f64 1/1152 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 t 2))))) (pow.f64 z 2)) (*.f64 -1/4 (*.f64 a b)))))
(+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 -1/55296 (/.f64 (pow.f64 t 3) (+.f64 c (*.f64 -1/4 (*.f64 a b))))) (*.f64 -2/3 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/3) (+.f64 (*.f64 -1/18432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3))) (*.f64 1/110592 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3))))))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3)) (+.f64 (*.f64 -1/3 (+.f64 (*.f64 -1/18432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3))) (*.f64 1/110592 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3))))) (+.f64 (*.f64 -1/55296 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3))) (*.f64 1/48 (*.f64 (*.f64 (+.f64 (*.f64 1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 t 2))) (*.f64 -1/1152 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 t 2)))) t) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9)))))) (pow.f64 z 3)) (+.f64 c (+.f64 (*.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) t)) (*.f64 1/48 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) t))) z) (+.f64 (*.f64 (+.f64 (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 t 2))) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 t 2))) (*.f64 -1/1152 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 t 2))))) (*.f64 1/1152 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 t 2))))) (pow.f64 z 2)) (*.f64 -1/4 (*.f64 a b))))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))
(+.f64 (*.f64 c (+.f64 (*.f64 1/3 (pow.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4) 1/9)) (*.f64 2/3 (pow.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4) 1/9)))) (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (*.f64 c (+.f64 (*.f64 1/3 (pow.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4) 1/9)) (*.f64 2/3 (pow.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4) 1/9)))) (+.f64 (*.f64 1/16 (*.f64 t z)) (+.f64 (*.f64 -1/4 (*.f64 a b)) (*.f64 (+.f64 (*.f64 -1/9 (pow.f64 (/.f64 1 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))) 1/9)) (+.f64 (*.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4)) 1/9)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4)) 1/9)))) (*.f64 2/9 (pow.f64 (/.f64 1 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))) 1/9)))) (pow.f64 c 2)))))
(+.f64 (*.f64 c (+.f64 (*.f64 1/3 (pow.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4) 1/9)) (*.f64 2/3 (pow.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4) 1/9)))) (+.f64 (*.f64 1/16 (*.f64 t z)) (+.f64 (*.f64 (pow.f64 c 3) (+.f64 (*.f64 -2/27 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3)) (+.f64 (*.f64 (-.f64 (*.f64 -2/3 (*.f64 (+.f64 (*.f64 1/27 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3))) (pow.f64 (/.f64 1 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))) 1/3))) (*.f64 2/27 (/.f64 1 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))))) (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3)) (+.f64 (*.f64 -1/3 (+.f64 (*.f64 1/27 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3)))) (*.f64 1/3 (*.f64 (+.f64 (*.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4)) 1/9)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4)) 1/9))) (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/9))))))) (+.f64 (*.f64 -1/4 (*.f64 a b)) (*.f64 (+.f64 (*.f64 -1/9 (pow.f64 (/.f64 1 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))) 1/9)) (+.f64 (*.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4)) 1/9)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4)) 1/9)))) (*.f64 2/9 (pow.f64 (/.f64 1 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))) 1/9)))) (pow.f64 c 2))))))
(pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3)
(+.f64 (*.f64 -1/12 (*.f64 (*.f64 a b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3))
(+.f64 (*.f64 -1/12 (*.f64 (*.f64 a b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (+.f64 (*.f64 -1/144 (*.f64 (*.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/9))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3)))
(+.f64 (*.f64 -1/12 (*.f64 (*.f64 a b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (+.f64 (*.f64 -1/144 (*.f64 (*.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/9))) (+.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3) (*.f64 -1/3 (*.f64 (*.f64 (pow.f64 a 3) (+.f64 (*.f64 1/288 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3))) (*.f64 -1/1728 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3))))) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))))))
(pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3)
(+.f64 (*.f64 -1/12 (*.f64 (*.f64 a b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3))
(+.f64 (*.f64 -1/12 (*.f64 (*.f64 a b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (+.f64 (*.f64 -1/144 (*.f64 (*.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/9))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3)))
(+.f64 (*.f64 -1/12 (*.f64 (*.f64 a b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (+.f64 (*.f64 -1/144 (*.f64 (*.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/9))) (+.f64 (*.f64 -1/3 (*.f64 (*.f64 (+.f64 (*.f64 -1/1728 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))) (*.f64 1/288 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3)))) (pow.f64 b 3)) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3))))
(pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3)
(+.f64 (*.f64 1/48 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9) (*.f64 t z))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3))
(+.f64 (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/9) (*.f64 (pow.f64 t 2) (pow.f64 z 2)))) (+.f64 (*.f64 1/48 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9) (*.f64 t z))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3)))
(+.f64 (*.f64 -1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (*.f64 (pow.f64 t 3) (+.f64 (*.f64 -1/18432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3))) (*.f64 1/110592 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3))))))) (+.f64 (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/9) (*.f64 (pow.f64 t 2) (pow.f64 z 2)))) (+.f64 (*.f64 1/48 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9) (*.f64 t z))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3))))
(pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3)
(+.f64 (*.f64 1/48 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9) (*.f64 t z))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3))
(+.f64 (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/9) (*.f64 (pow.f64 t 2) (pow.f64 z 2)))) (+.f64 (*.f64 1/48 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9) (*.f64 t z))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3)))
(+.f64 (*.f64 -1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (*.f64 (+.f64 (*.f64 -1/18432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3))) (*.f64 1/110592 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3)))) (pow.f64 z 3)))) (+.f64 (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/9) (*.f64 (pow.f64 t 2) (pow.f64 z 2)))) (+.f64 (*.f64 1/48 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9) (*.f64 t z))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3))))
(pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3)
(+.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3) (*.f64 1/3 (*.f64 c (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/9))))
(+.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 1/3 (*.f64 c (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/9))) (*.f64 -1/9 (*.f64 (pow.f64 c 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 7)) 1/9)))))
(+.f64 (*.f64 -1/3 (*.f64 (*.f64 (pow.f64 c 3) (+.f64 (*.f64 1/27 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3)))) (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3))) (+.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 1/3 (*.f64 c (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/9))) (*.f64 -1/9 (*.f64 (pow.f64 c 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 7)) 1/9))))))
Outputs
(+.f64 c (*.f64 1/16 (*.f64 t z)))
(fma.f64 1/16 (*.f64 t z) c)
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 a (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9) b)) (*.f64 -1/12 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9) b))))))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 (*.f64 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/18) (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/18)) b) -1/4))))
(+.f64 (fma.f64 1/16 (*.f64 t z) c) (*.f64 (*.f64 (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4) 1/18) (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4) 1/18)) b) (*.f64 -1/4 a)))
(+.f64 c (+.f64 (*.f64 (pow.f64 a 2) (+.f64 (*.f64 -1/144 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9) (pow.f64 b 2))) (+.f64 (*.f64 1/72 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9) (pow.f64 b 2))) (*.f64 (+.f64 (*.f64 -1/72 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9) (pow.f64 b 2))) (*.f64 1/144 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9) (pow.f64 b 2)))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3))))) (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 a (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9) b)) (*.f64 -1/12 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9) b)))))))
(+.f64 c (fma.f64 (*.f64 a a) (fma.f64 -1/144 (*.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18)) (*.f64 b b)) (fma.f64 1/72 (*.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18)) (*.f64 b b)) (*.f64 (*.f64 (*.f64 (*.f64 b b) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/18))) -1/144) (cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))))))) (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 (*.f64 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/18) (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/18)) b) -1/4)))))
(+.f64 c (fma.f64 (*.f64 a a) (+.f64 (*.f64 (*.f64 b (*.f64 b (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c)) 1/18) (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c)) 1/18)))) 1/144) (*.f64 (*.f64 b (*.f64 b (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4)) 1/18)))) (*.f64 -1/144 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) c))))) (fma.f64 1/16 (*.f64 t z) (*.f64 (*.f64 (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4) 1/18) (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4) 1/18)) b) (*.f64 -1/4 a)))))
(+.f64 c (+.f64 (*.f64 (+.f64 (*.f64 -1/12 (*.f64 (*.f64 (+.f64 (*.f64 -1/72 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9) (pow.f64 b 2))) (*.f64 1/144 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9) (pow.f64 b 2)))) b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (+.f64 (*.f64 1/864 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3))) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3) (+.f64 (*.f64 -2/3 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/3) (+.f64 (*.f64 1/288 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3))) (*.f64 -1/1728 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3)))))) (*.f64 1/864 (/.f64 (pow.f64 b 3) (+.f64 c (*.f64 1/16 (*.f64 t z))))))) (*.f64 -1/3 (+.f64 (*.f64 1/288 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3))) (*.f64 -1/1728 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3)))))))) (pow.f64 a 3)) (+.f64 (*.f64 (pow.f64 a 2) (+.f64 (*.f64 -1/144 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9) (pow.f64 b 2))) (+.f64 (*.f64 1/72 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9) (pow.f64 b 2))) (*.f64 (+.f64 (*.f64 -1/72 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9) (pow.f64 b 2))) (*.f64 1/144 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9) (pow.f64 b 2)))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3))))) (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 a (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9) b)) (*.f64 -1/12 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9) b))))))))
(+.f64 c (fma.f64 (fma.f64 -1/12 (*.f64 (*.f64 (*.f64 (*.f64 b b) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/18))) -1/144) (*.f64 b (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18)))) (fma.f64 1/864 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2))) (pow.f64 b 3)) (fma.f64 (cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z)))) (fma.f64 -2/3 (*.f64 (cbrt.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z))))) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2))) (pow.f64 b 3)) 5/1728)) (*.f64 1/864 (/.f64 (pow.f64 b 3) (+.f64 c (*.f64 1/16 (*.f64 t z)))))) (*.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2))) (pow.f64 b 3)) 5/1728) -1/3)))) (pow.f64 a 3) (fma.f64 (*.f64 a a) (fma.f64 -1/144 (*.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18)) (*.f64 b b)) (fma.f64 1/72 (*.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18)) (*.f64 b b)) (*.f64 (*.f64 (*.f64 (*.f64 b b) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/18))) -1/144) (cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))))))) (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 (*.f64 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/18) (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/18)) b) -1/4))))))
(+.f64 c (fma.f64 (fma.f64 -1/12 (*.f64 (*.f64 b (*.f64 b (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4)) 1/18)))) (*.f64 -1/144 (*.f64 b (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18))))) (fma.f64 1/864 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2))) (pow.f64 b 3)) (fma.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) c)) (fma.f64 (*.f64 -2/3 (cbrt.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c)))) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2))) (*.f64 (pow.f64 b 3) 5/1728)) (*.f64 1/864 (/.f64 (pow.f64 b 3) (fma.f64 1/16 (*.f64 t z) c)))) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2))) (pow.f64 b 3)) -5/5184)))) (pow.f64 a 3) (fma.f64 (*.f64 a a) (+.f64 (*.f64 (*.f64 b (*.f64 b (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c)) 1/18) (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c)) 1/18)))) 1/144) (*.f64 (*.f64 b (*.f64 b (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4)) 1/18)))) (*.f64 -1/144 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) c))))) (fma.f64 1/16 (*.f64 t z) (*.f64 (*.f64 (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4) 1/18) (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4) 1/18)) b) (*.f64 -1/4 a))))))
(+.f64 c (*.f64 1/16 (*.f64 t z)))
(fma.f64 1/16 (*.f64 t z) c)
(+.f64 c (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 (+.f64 (*.f64 -1/6 (*.f64 a (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9))) (*.f64 -1/12 (*.f64 a (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9)))) b)))
(+.f64 c (fma.f64 1/16 (*.f64 t z) (*.f64 b (*.f64 (*.f64 a (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/18) (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/18))) -1/4))))
(+.f64 (fma.f64 1/16 (*.f64 t z) c) (*.f64 (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4) 1/18) (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4) 1/18) a)) (*.f64 -1/4 b)))
(+.f64 c (+.f64 (*.f64 (+.f64 (*.f64 -1/144 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9))) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3) (+.f64 (*.f64 1/144 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9))) (*.f64 -1/72 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9))))) (*.f64 1/72 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9))))) (pow.f64 b 2)) (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 (+.f64 (*.f64 -1/6 (*.f64 a (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9))) (*.f64 -1/12 (*.f64 a (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9)))) b))))
(+.f64 c (fma.f64 (fma.f64 -1/144 (*.f64 (*.f64 a a) (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18))) (fma.f64 (cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z)))) (*.f64 (*.f64 (*.f64 a a) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/18))) -1/144) (*.f64 (*.f64 1/72 (*.f64 a a)) (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18))))) (*.f64 b b) (fma.f64 1/16 (*.f64 t z) (*.f64 b (*.f64 (*.f64 a (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/18) (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/18))) -1/4)))))
(+.f64 c (fma.f64 (*.f64 b b) (fma.f64 -1/144 (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c)) 1/18) (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c)) 1/18) (*.f64 a a))) (fma.f64 1/72 (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c)) 1/18) (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c)) 1/18) (*.f64 a a))) (*.f64 (*.f64 (*.f64 a (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4)) 1/18)) (*.f64 a (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4)) 1/18))) (*.f64 -1/144 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) c)))))) (fma.f64 1/16 (*.f64 t z) (*.f64 (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4) 1/18) (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4) 1/18) a)) (*.f64 -1/4 b)))))
(+.f64 c (+.f64 (*.f64 (+.f64 (*.f64 -1/144 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9))) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3) (+.f64 (*.f64 1/144 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9))) (*.f64 -1/72 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9))))) (*.f64 1/72 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/9))))) (pow.f64 b 2)) (+.f64 (*.f64 1/16 (*.f64 t z)) (+.f64 (*.f64 (pow.f64 b 3) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3) (+.f64 (*.f64 -2/3 (*.f64 (+.f64 (*.f64 -1/1728 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))) (*.f64 1/288 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3)))) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/3))) (*.f64 1/864 (/.f64 (pow.f64 a 3) (+.f64 c (*.f64 1/16 (*.f64 t z))))))) (+.f64 (*.f64 1/864 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))) (+.f64 (*.f64 -1/12 (*.f64 (*.f64 a (+.f64 (*.f64 1/144 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9))) (*.f64 -1/72 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/9))))) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (*.f64 -1/3 (+.f64 (*.f64 -1/1728 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))) (*.f64 1/288 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))))))))) (*.f64 (+.f64 (*.f64 -1/6 (*.f64 a (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9))) (*.f64 -1/12 (*.f64 a (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/9)))) b)))))
(+.f64 c (fma.f64 (fma.f64 -1/144 (*.f64 (*.f64 a a) (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18))) (fma.f64 (cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z)))) (*.f64 (*.f64 (*.f64 a a) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/18))) -1/144) (*.f64 (*.f64 1/72 (*.f64 a a)) (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z)))) 1/18))))) (*.f64 b b) (fma.f64 1/16 (*.f64 t z) (fma.f64 (pow.f64 b 3) (fma.f64 (cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z)))) (fma.f64 -2/3 (*.f64 (cbrt.f64 (/.f64 1 (+.f64 c (*.f64 1/16 (*.f64 t z))))) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2))) (pow.f64 a 3)) 5/1728)) (/.f64 (*.f64 1/864 (pow.f64 a 3)) (+.f64 c (*.f64 1/16 (*.f64 t z))))) (fma.f64 1/864 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2))) (pow.f64 a 3)) (fma.f64 -1/12 (*.f64 a (*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4)) 1/18))) -1/144) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18)))) (*.f64 -1/3 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2))) (pow.f64 a 3)) 5/1728))))) (*.f64 b (*.f64 (*.f64 a (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/18) (pow.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 4) 1/18))) -1/4))))))
(+.f64 c (fma.f64 (*.f64 b b) (fma.f64 -1/144 (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c)) 1/18) (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c)) 1/18) (*.f64 a a))) (fma.f64 1/72 (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c)) 1/18) (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c)) 1/18) (*.f64 a a))) (*.f64 (*.f64 (*.f64 a (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4)) 1/18)) (*.f64 a (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4)) 1/18))) (*.f64 -1/144 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) c)))))) (fma.f64 1/16 (*.f64 t z) (fma.f64 (pow.f64 b 3) (fma.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) c)) (fma.f64 1/864 (/.f64 (pow.f64 a 3) (fma.f64 1/16 (*.f64 t z) c)) (*.f64 (cbrt.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) c))) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2))) (*.f64 (pow.f64 a 3) 5/1728)) -2/3))) (fma.f64 1/864 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2))) (pow.f64 a 3)) (fma.f64 (*.f64 -1/12 (*.f64 (*.f64 (*.f64 a (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4)) 1/18)) (*.f64 a (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4)) 1/18))) (*.f64 -1/144 a))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18)) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2))) (pow.f64 a 3)) -5/5184)))) (*.f64 (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4) 1/18) (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 4) 1/18) a)) (*.f64 -1/4 b))))))
(+.f64 c (*.f64 -1/4 (*.f64 a b)))
(fma.f64 -1/4 (*.f64 a b) c)
(+.f64 c (+.f64 (*.f64 t (+.f64 (*.f64 1/24 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) z)) (*.f64 1/48 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) z)))) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 t (*.f64 (*.f64 z (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/18) (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/18))) 1/16) (*.f64 -1/4 (*.f64 a b))))
(+.f64 (fma.f64 -1/4 (*.f64 a b) c) (*.f64 (*.f64 (*.f64 z (pow.f64 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4) 1/18)) (pow.f64 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4) 1/18)) (*.f64 1/16 t)))
(+.f64 (*.f64 (pow.f64 t 2) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 -1/1152 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 z 2))) (*.f64 1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 z 2))))) (+.f64 (*.f64 1/1152 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 z 2))) (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 z 2)))))) (+.f64 c (+.f64 (*.f64 t (+.f64 (*.f64 1/24 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) z)) (*.f64 1/48 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) z)))) (*.f64 -1/4 (*.f64 a b)))))
(fma.f64 (*.f64 t t) (fma.f64 (cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) (*.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/18)) (*.f64 z z)) -1/2304) (*.f64 (*.f64 (*.f64 z z) (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/18))) 1/2304)) (+.f64 c (fma.f64 t (*.f64 (*.f64 z (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/18) (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/18))) 1/16) (*.f64 -1/4 (*.f64 a b)))))
(fma.f64 (*.f64 t t) (fma.f64 (cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4)) 1/18)) (*.f64 (*.f64 z z) -1/2304)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c)) 1/18) (pow.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c)) 1/18)) (*.f64 (*.f64 z z) 1/2304))) (+.f64 (fma.f64 -1/4 (*.f64 a b) c) (*.f64 (*.f64 (*.f64 z (pow.f64 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4) 1/18)) (pow.f64 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4) 1/18)) (*.f64 1/16 t))))
(+.f64 (*.f64 (pow.f64 t 2) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 -1/1152 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 z 2))) (*.f64 1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 z 2))))) (+.f64 (*.f64 1/1152 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 z 2))) (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 z 2)))))) (+.f64 c (+.f64 (*.f64 (pow.f64 t 3) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 -2/3 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/3) (+.f64 (*.f64 -1/18432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3))) (*.f64 1/110592 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3)))))) (*.f64 -1/55296 (/.f64 (pow.f64 z 3) (+.f64 c (*.f64 -1/4 (*.f64 a b))))))) (+.f64 (*.f64 -1/55296 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3))) (+.f64 (*.f64 1/48 (*.f64 (*.f64 (+.f64 (*.f64 -1/1152 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 z 2))) (*.f64 1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 z 2)))) z) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9))) (*.f64 -1/3 (+.f64 (*.f64 -1/18432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3))) (*.f64 1/110592 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3))))))))) (+.f64 (*.f64 t (+.f64 (*.f64 1/24 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) z)) (*.f64 1/48 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) z)))) (*.f64 -1/4 (*.f64 a b))))))
(fma.f64 (*.f64 t t) (fma.f64 (cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) (*.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/18)) (*.f64 z z)) -1/2304) (*.f64 (*.f64 (*.f64 z z) (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/18))) 1/2304)) (+.f64 c (fma.f64 (pow.f64 t 3) (fma.f64 (cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) (fma.f64 -2/3 (*.f64 (cbrt.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b))))) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2))) (pow.f64 z 3)) -5/110592)) (*.f64 -1/55296 (/.f64 (pow.f64 z 3) (+.f64 c (*.f64 -1/4 (*.f64 a b)))))) (fma.f64 -1/55296 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2))) (pow.f64 z 3)) (fma.f64 1/48 (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/18)) (*.f64 z z)) -1/2304) (*.f64 z (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18)))) (*.f64 -1/3 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2))) (pow.f64 z 3)) -5/110592))))) (fma.f64 t (*.f64 (*.f64 z (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/18) (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/18))) 1/16) (*.f64 -1/4 (*.f64 a b))))))
(+.f64 (fma.f64 (*.f64 t t) (fma.f64 (cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4)) 1/18)) (*.f64 (*.f64 z z) -1/2304)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c)) 1/18) (pow.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c)) 1/18)) (*.f64 (*.f64 z z) 1/2304))) c) (fma.f64 (pow.f64 t 3) (fma.f64 (cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c)) (fma.f64 -2/3 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2))) (pow.f64 z 3)) (*.f64 -5/110592 (cbrt.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c))))) (*.f64 -1/55296 (/.f64 (pow.f64 z 3) (fma.f64 -1/4 (*.f64 a b) c)))) (fma.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2))) (pow.f64 z 3)) -1/55296 (fma.f64 1/48 (*.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4)) 1/18)) (*.f64 z z)) (*.f64 -1/2304 (*.f64 z (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18))))) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2))) (pow.f64 z 3)) 5/331776)))) (fma.f64 t (*.f64 (*.f64 (pow.f64 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4) 1/18) (pow.f64 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4) 1/18)) (*.f64 z 1/16)) (*.f64 a (*.f64 b -1/4)))))
(+.f64 c (*.f64 -1/4 (*.f64 a b)))
(fma.f64 -1/4 (*.f64 a b) c)
(+.f64 c (+.f64 (*.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) t)) (*.f64 1/48 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) t))) z) (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 (*.f64 (*.f64 t (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/18) (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/18))) 1/16) z (*.f64 -1/4 (*.f64 a b))))
(+.f64 c (fma.f64 z (*.f64 (*.f64 (pow.f64 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4) 1/18) (pow.f64 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4) 1/18)) (*.f64 t 1/16)) (*.f64 a (*.f64 b -1/4))))
(+.f64 c (+.f64 (*.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) t)) (*.f64 1/48 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) t))) z) (+.f64 (*.f64 (+.f64 (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 t 2))) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 t 2))) (*.f64 -1/1152 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 t 2))))) (*.f64 1/1152 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 t 2))))) (pow.f64 z 2)) (*.f64 -1/4 (*.f64 a b)))))
(+.f64 c (fma.f64 (*.f64 (*.f64 t (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/18) (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/18))) 1/16) z (fma.f64 (fma.f64 -1/2304 (*.f64 (*.f64 t t) (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/18))) (fma.f64 (cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) (*.f64 (*.f64 (*.f64 t t) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/18))) -1/2304) (*.f64 1/1152 (*.f64 (*.f64 t t) (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/18)))))) (*.f64 z z) (*.f64 -1/4 (*.f64 a b)))))
(+.f64 c (fma.f64 z (*.f64 (*.f64 (pow.f64 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4) 1/18) (pow.f64 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4) 1/18)) (*.f64 t 1/16)) (fma.f64 (*.f64 z z) (fma.f64 -1/2304 (*.f64 t (*.f64 t (*.f64 (pow.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c)) 1/18) (pow.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c)) 1/18)))) (fma.f64 (cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c)) (*.f64 (*.f64 t t) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4)) 1/18)) -1/2304)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c)) 1/18) (pow.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c)) 1/18)) (*.f64 (*.f64 t t) 1/1152)))) (*.f64 a (*.f64 b -1/4)))))
(+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 -1/55296 (/.f64 (pow.f64 t 3) (+.f64 c (*.f64 -1/4 (*.f64 a b))))) (*.f64 -2/3 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/3) (+.f64 (*.f64 -1/18432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3))) (*.f64 1/110592 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3))))))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3)) (+.f64 (*.f64 -1/3 (+.f64 (*.f64 -1/18432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3))) (*.f64 1/110592 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3))))) (+.f64 (*.f64 -1/55296 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3))) (*.f64 1/48 (*.f64 (*.f64 (+.f64 (*.f64 1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 t 2))) (*.f64 -1/1152 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 t 2)))) t) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9)))))) (pow.f64 z 3)) (+.f64 c (+.f64 (*.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) t)) (*.f64 1/48 (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/9) t))) z) (+.f64 (*.f64 (+.f64 (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 t 2))) (+.f64 (*.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 t 2))) (*.f64 -1/1152 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/9) (pow.f64 t 2))))) (*.f64 1/1152 (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/9) (pow.f64 t 2))))) (pow.f64 z 2)) (*.f64 -1/4 (*.f64 a b))))))
(fma.f64 (fma.f64 (fma.f64 -1/55296 (/.f64 (pow.f64 t 3) (+.f64 c (*.f64 -1/4 (*.f64 a b)))) (*.f64 (*.f64 -2/3 (cbrt.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))))) (*.f64 (*.f64 (pow.f64 t 3) (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)))) -5/110592))) (cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) (fma.f64 -1/3 (*.f64 (*.f64 (pow.f64 t 3) (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)))) -5/110592) (fma.f64 -1/55296 (*.f64 (pow.f64 t 3) (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)))) (*.f64 1/48 (*.f64 (*.f64 (*.f64 (*.f64 t t) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/18))) -1/2304) (*.f64 t (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18)))))))) (pow.f64 z 3) (+.f64 c (fma.f64 (*.f64 (*.f64 t (*.f64 (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/18) (pow.f64 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4) 1/18))) 1/16) z (fma.f64 (fma.f64 -1/2304 (*.f64 (*.f64 t t) (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/18))) (fma.f64 (cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) (*.f64 (*.f64 (*.f64 t t) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 4)) 1/18))) -1/2304) (*.f64 1/1152 (*.f64 (*.f64 t t) (*.f64 (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/18) (pow.f64 (/.f64 1 (+.f64 c (*.f64 -1/4 (*.f64 a b)))) 1/18)))))) (*.f64 z z) (*.f64 -1/4 (*.f64 a b))))))
(+.f64 (fma.f64 (pow.f64 z 3) (+.f64 (fma.f64 (cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c)) (fma.f64 -2/3 (*.f64 (cbrt.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c))) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2))) (*.f64 (pow.f64 t 3) -5/110592))) (*.f64 -1/55296 (/.f64 (pow.f64 t 3) (fma.f64 -1/4 (*.f64 a b) c)))) (*.f64 (*.f64 (pow.f64 t 3) (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)))) 5/331776)) (fma.f64 1/48 (*.f64 t (*.f64 (*.f64 (*.f64 t t) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4)) 1/18)) -1/2304)) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18)))) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2))) (*.f64 (pow.f64 t 3) -1/55296)))) c) (fma.f64 z (*.f64 (*.f64 (pow.f64 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4) 1/18) (pow.f64 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4) 1/18)) (*.f64 t 1/16)) (fma.f64 (*.f64 z z) (fma.f64 -1/2304 (*.f64 t (*.f64 t (*.f64 (pow.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c)) 1/18) (pow.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c)) 1/18)))) (fma.f64 (cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c)) (*.f64 (*.f64 t t) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 4)) 1/18)) -1/2304)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c)) 1/18) (pow.f64 (/.f64 1 (fma.f64 -1/4 (*.f64 a b) c)) 1/18)) (*.f64 (*.f64 t t) 1/1152)))) (*.f64 a (*.f64 b -1/4)))))
(+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))
(fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))
(fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))
(+.f64 (*.f64 c (+.f64 (*.f64 1/3 (pow.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4) 1/9)) (*.f64 2/3 (pow.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4) 1/9)))) (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))))
(fma.f64 c (*.f64 (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 4) 1/18) (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 4) 1/18)) 1) (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(fma.f64 c (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 4) 1/18) (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 4) 1/18)) (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))))
(+.f64 (*.f64 c (+.f64 (*.f64 1/3 (pow.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4) 1/9)) (*.f64 2/3 (pow.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4) 1/9)))) (+.f64 (*.f64 1/16 (*.f64 t z)) (+.f64 (*.f64 -1/4 (*.f64 a b)) (*.f64 (+.f64 (*.f64 -1/9 (pow.f64 (/.f64 1 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))) 1/9)) (+.f64 (*.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4)) 1/9)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4)) 1/9)))) (*.f64 2/9 (pow.f64 (/.f64 1 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))) 1/9)))) (pow.f64 c 2)))))
(fma.f64 c (*.f64 (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 4) 1/18) (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 4) 1/18)) 1) (fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) (*.f64 (fma.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) 1/18) (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) 1/18)) (fma.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 4)) 1/18)) -1/9) (*.f64 (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) 1/18) (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) 1/18)) 2/9))) (*.f64 c c)))))
(fma.f64 c (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 4) 1/18) (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 4) 1/18)) (fma.f64 1/16 (*.f64 t z) (fma.f64 -1/4 (*.f64 a b) (*.f64 c (*.f64 c (fma.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))) 1/18) (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))) 1/18)) (fma.f64 (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))) 1/18) (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))) 1/18)) 2/9 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 4)) 1/18)) (*.f64 -1/9 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))))))))))))
(+.f64 (*.f64 c (+.f64 (*.f64 1/3 (pow.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4) 1/9)) (*.f64 2/3 (pow.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4) 1/9)))) (+.f64 (*.f64 1/16 (*.f64 t z)) (+.f64 (*.f64 (pow.f64 c 3) (+.f64 (*.f64 -2/27 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3)) (+.f64 (*.f64 (-.f64 (*.f64 -2/3 (*.f64 (+.f64 (*.f64 1/27 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3))) (pow.f64 (/.f64 1 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))) 1/3))) (*.f64 2/27 (/.f64 1 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))))) (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3)) (+.f64 (*.f64 -1/3 (+.f64 (*.f64 1/27 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3)))) (*.f64 1/3 (*.f64 (+.f64 (*.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4)) 1/9)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4)) 1/9))) (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/9))))))) (+.f64 (*.f64 -1/4 (*.f64 a b)) (*.f64 (+.f64 (*.f64 -1/9 (pow.f64 (/.f64 1 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))) 1/9)) (+.f64 (*.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4)) 1/9)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 4)) 1/9)))) (*.f64 2/9 (pow.f64 (/.f64 1 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b)))) 1/9)))) (pow.f64 c 2))))))
(fma.f64 c (*.f64 (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 4) 1/18) (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 4) 1/18)) 1) (fma.f64 1/16 (*.f64 t z) (fma.f64 (pow.f64 c 3) (fma.f64 -2/27 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 2))) (fma.f64 (fma.f64 -2/3 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 2))) -5/27) (cbrt.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))))) (neg.f64 (/.f64 2/27 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))))) (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) (fma.f64 -1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 2))) -5/27) (*.f64 (*.f64 1/3 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 4)) 1/18)) -1/9)) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 2)) 1/18)))))) (fma.f64 -1/4 (*.f64 a b) (*.f64 (fma.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) 1/18) (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) 1/18)) (fma.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 4)) 1/18)) -1/9) (*.f64 (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) 1/18) (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) 1/18)) 2/9))) (*.f64 c c))))))
(fma.f64 c (*.f64 (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 4) 1/18) (pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 4) 1/18)) (fma.f64 1/16 (*.f64 t z) (fma.f64 (pow.f64 c 3) (fma.f64 -2/27 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 2))) (fma.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))) (fma.f64 -2/3 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 2))) -5/27) (cbrt.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))))) (/.f64 -2/27 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))))) (fma.f64 1/3 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 4)) 1/18)) (*.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 2)) 1/18)))) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 2))) 5/81)))) (fma.f64 -1/4 (*.f64 a b) (*.f64 c (*.f64 c (fma.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))) 1/18) (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))) 1/18)) (fma.f64 (*.f64 (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))) 1/18) (pow.f64 (/.f64 1 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))) 1/18)) 2/9 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 4)) 1/18)) (*.f64 -1/9 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))))))))))))))
(pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3)
(cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))))
(cbrt.f64 (fma.f64 1/16 (*.f64 t z) c))
(+.f64 (*.f64 -1/12 (*.f64 (*.f64 a b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3))
(fma.f64 -1/12 (*.f64 a (*.f64 b (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18)))) (cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z)))))
(fma.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (*.f64 a b))) (cbrt.f64 (fma.f64 1/16 (*.f64 t z) c)))
(+.f64 (*.f64 -1/12 (*.f64 (*.f64 a b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (+.f64 (*.f64 -1/144 (*.f64 (*.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/9))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3)))
(fma.f64 -1/12 (*.f64 a (*.f64 b (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18)))) (fma.f64 -1/144 (*.f64 (*.f64 a a) (*.f64 (*.f64 b b) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/18)))) (cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))))))
(fma.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (*.f64 a b))) (fma.f64 -1/144 (*.f64 a (*.f64 a (*.f64 (*.f64 b b) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 7)) 1/18))))) (cbrt.f64 (fma.f64 1/16 (*.f64 t z) c))))
(+.f64 (*.f64 -1/12 (*.f64 (*.f64 a b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (+.f64 (*.f64 -1/144 (*.f64 (*.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/9))) (+.f64 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3) (*.f64 -1/3 (*.f64 (*.f64 (pow.f64 a 3) (+.f64 (*.f64 1/288 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3))) (*.f64 -1/1728 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3) (pow.f64 b 3))))) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))))))
(fma.f64 -1/12 (*.f64 a (*.f64 b (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18)))) (+.f64 (fma.f64 -1/144 (*.f64 (*.f64 a a) (*.f64 (*.f64 b b) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/18)))) (cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))))) (*.f64 (*.f64 -1/3 (*.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2))) (pow.f64 b 3)) 5/1728) (pow.f64 a 3))) (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2))))))
(fma.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (*.f64 a b))) (fma.f64 -1/144 (*.f64 a (*.f64 a (*.f64 (*.f64 b b) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 7)) 1/18))))) (fma.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2))) (pow.f64 b 3)) -5/5184) (pow.f64 a 3)) (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2))) (cbrt.f64 (fma.f64 1/16 (*.f64 t z) c)))))
(pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3)
(cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))))
(cbrt.f64 (fma.f64 1/16 (*.f64 t z) c))
(+.f64 (*.f64 -1/12 (*.f64 (*.f64 a b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3))
(fma.f64 -1/12 (*.f64 a (*.f64 b (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18)))) (cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z)))))
(fma.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (*.f64 a b))) (cbrt.f64 (fma.f64 1/16 (*.f64 t z) c)))
(+.f64 (*.f64 -1/12 (*.f64 (*.f64 a b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (+.f64 (*.f64 -1/144 (*.f64 (*.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/9))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3)))
(fma.f64 -1/12 (*.f64 a (*.f64 b (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18)))) (fma.f64 -1/144 (*.f64 (*.f64 a a) (*.f64 (*.f64 b b) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/18)))) (cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))))))
(fma.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (*.f64 a b))) (fma.f64 -1/144 (*.f64 a (*.f64 a (*.f64 (*.f64 b b) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 7)) 1/18))))) (cbrt.f64 (fma.f64 1/16 (*.f64 t z) c))))
(+.f64 (*.f64 -1/12 (*.f64 (*.f64 a b) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/9))) (+.f64 (*.f64 -1/144 (*.f64 (*.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/9))) (+.f64 (*.f64 -1/3 (*.f64 (*.f64 (+.f64 (*.f64 -1/1728 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))) (*.f64 1/288 (*.f64 (pow.f64 a 3) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3)))) (pow.f64 b 3)) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/3))) (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 1/3))))
(fma.f64 -1/12 (*.f64 a (*.f64 b (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2)) 1/18)))) (fma.f64 -1/144 (*.f64 (*.f64 a a) (*.f64 (*.f64 b b) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 7)) 1/18)))) (fma.f64 -1/3 (*.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2))) (pow.f64 a 3)) 5/1728) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 1/16 (*.f64 t z))) 2))) (pow.f64 b 3))) (cbrt.f64 (+.f64 c (*.f64 1/16 (*.f64 t z)))))))
(fma.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2)) 1/18) (*.f64 a b))) (fma.f64 -1/144 (*.f64 a (*.f64 a (*.f64 (*.f64 b b) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 7)) 1/18))))) (fma.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2))) (pow.f64 a 3)) -5/5184) (pow.f64 b 3)) (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) c) 2))) (cbrt.f64 (fma.f64 1/16 (*.f64 t z) c)))))
(pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3)
(cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))))
(cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 (*.f64 1/48 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9) (*.f64 t z))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3))
(fma.f64 1/48 (*.f64 (*.f64 t z) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18))) (cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b)))))
(fma.f64 1/48 (*.f64 z (*.f64 t (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18)))) (cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c)))
(+.f64 (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/9) (*.f64 (pow.f64 t 2) (pow.f64 z 2)))) (+.f64 (*.f64 1/48 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9) (*.f64 t z))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3)))
(fma.f64 -1/2304 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/18)) (*.f64 (*.f64 t t) (*.f64 z z))) (fma.f64 1/48 (*.f64 (*.f64 t z) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18))) (cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))))))
(fma.f64 -1/2304 (*.f64 (*.f64 z z) (*.f64 (*.f64 t t) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 7)) 1/18)))) (fma.f64 1/48 (*.f64 z (*.f64 t (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18)))) (cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c))))
(+.f64 (*.f64 -1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (*.f64 (pow.f64 t 3) (+.f64 (*.f64 -1/18432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3))) (*.f64 1/110592 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 z 3))))))) (+.f64 (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/9) (*.f64 (pow.f64 t 2) (pow.f64 z 2)))) (+.f64 (*.f64 1/48 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9) (*.f64 t z))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3))))
(fma.f64 -1/3 (*.f64 (*.f64 (pow.f64 t 3) (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)))) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2))) (pow.f64 z 3)) -5/110592)) (fma.f64 -1/2304 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/18)) (*.f64 (*.f64 t t) (*.f64 z z))) (fma.f64 1/48 (*.f64 (*.f64 t z) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18))) (cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b)))))))
(+.f64 (fma.f64 -1/2304 (*.f64 (*.f64 z z) (*.f64 (*.f64 t t) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 7)) 1/18)))) (fma.f64 1/48 (*.f64 z (*.f64 t (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18)))) (cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c)))) (*.f64 (*.f64 (pow.f64 t 3) (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)))) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2))) (pow.f64 z 3)) 5/331776)))
(pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3)
(cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))))
(cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c))
(+.f64 (*.f64 1/48 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9) (*.f64 t z))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3))
(fma.f64 1/48 (*.f64 (*.f64 t z) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18))) (cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b)))))
(fma.f64 1/48 (*.f64 z (*.f64 t (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18)))) (cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c)))
(+.f64 (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/9) (*.f64 (pow.f64 t 2) (pow.f64 z 2)))) (+.f64 (*.f64 1/48 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9) (*.f64 t z))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3)))
(fma.f64 -1/2304 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/18)) (*.f64 (*.f64 t t) (*.f64 z z))) (fma.f64 1/48 (*.f64 (*.f64 t z) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18))) (cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))))))
(fma.f64 -1/2304 (*.f64 (*.f64 z z) (*.f64 (*.f64 t t) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 7)) 1/18)))) (fma.f64 1/48 (*.f64 z (*.f64 t (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18)))) (cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c))))
(+.f64 (*.f64 -1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (*.f64 (+.f64 (*.f64 -1/18432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3))) (*.f64 1/110592 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/3) (pow.f64 t 3)))) (pow.f64 z 3)))) (+.f64 (*.f64 -1/2304 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/9) (*.f64 (pow.f64 t 2) (pow.f64 z 2)))) (+.f64 (*.f64 1/48 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/9) (*.f64 t z))) (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 1/3))))
(fma.f64 -1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2))) (*.f64 (pow.f64 z 3) (*.f64 (*.f64 (pow.f64 t 3) (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)))) -5/110592))) (fma.f64 -1/2304 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 7)) 1/18)) (*.f64 (*.f64 t t) (*.f64 z z))) (fma.f64 1/48 (*.f64 (*.f64 t z) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b))) 2)) 1/18))) (cbrt.f64 (+.f64 c (*.f64 -1/4 (*.f64 a b)))))))
(fma.f64 -1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2))) (*.f64 (pow.f64 z 3) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2))) (*.f64 (pow.f64 t 3) -5/110592)))) (fma.f64 -1/2304 (*.f64 (*.f64 z z) (*.f64 (*.f64 t t) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 7)) 1/18)))) (fma.f64 1/48 (*.f64 z (*.f64 t (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 -1/4 (*.f64 a b) c) 2)) 1/18)))) (cbrt.f64 (fma.f64 -1/4 (*.f64 a b) c)))))
(pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3)
(cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))))
(cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))))
(+.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3) (*.f64 1/3 (*.f64 c (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/9))))
(+.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) (*.f64 (*.f64 1/3 c) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 2)) 1/18))))
(fma.f64 1/3 (*.f64 c (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 2)) 1/18))) (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))))
(+.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 1/3 (*.f64 c (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/9))) (*.f64 -1/9 (*.f64 (pow.f64 c 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 7)) 1/9)))))
(+.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) (fma.f64 1/3 (*.f64 c (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 2)) 1/18))) (*.f64 (*.f64 -1/9 (*.f64 c c)) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 7)) 1/18)))))
(+.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))) (fma.f64 1/3 (*.f64 c (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 2)) 1/18))) (*.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 7)) 1/18) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 7)) 1/18) (*.f64 c c))))))
(+.f64 (*.f64 -1/3 (*.f64 (*.f64 (pow.f64 c 3) (+.f64 (*.f64 1/27 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3)))) (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/3))) (+.f64 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 1/3) (+.f64 (*.f64 1/3 (*.f64 c (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 2)) 1/9))) (*.f64 -1/9 (*.f64 (pow.f64 c 2) (pow.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 -1/4 (*.f64 a b))) 7)) 1/9))))))
(fma.f64 -1/3 (*.f64 (pow.f64 c 3) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 2))) -5/27) (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 2))))) (+.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b)))) (fma.f64 1/3 (*.f64 c (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 2)) 1/18))) (*.f64 (*.f64 -1/9 (*.f64 c c)) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 -1/4 (*.f64 a b))) 7)) 1/18))))))
(fma.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 2))) 5/81) (pow.f64 c 3)) (cbrt.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 2))) (+.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4)))) (fma.f64 1/3 (*.f64 c (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 2)) 1/18))) (*.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 7)) 1/18) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 a (*.f64 b -1/4))) 7)) 1/18) (*.f64 c c)))))))

prune267.0ms (5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1810181
Fresh000
Picked011
Done011
Total1812183
Error
0b
Counts
183 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))
✓1.0b
(fma.f64 x y (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 3))
Compiler

Compiled 9611 to 6195 computations (35.5% saved)

regimes219.0ms (4.1%)

Accuracy

Total -1.0b remaining (-18569.5%)

Threshold costs -1.0b (-18569.5%)

Counts
19 → 1
Compiler

Compiled 476 to 311 computations (34.7% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01519
11719
Stop Event
1×saturated
Calls
Call 1
Inputs
(fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))
Outputs
(fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))

end51.0ms (1%)

Stop Event
1×done
Remove

(sort a b)

(sort z t)

(sort x y)

Compiler

Compiled 199 to 129 computations (35.2% saved)

Profiling

Loading profile data...