Details

Time bar (total: 50.3s)

analyze2.7s (5.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.6%0.4%0
0%99.6%0.4%1
0%99.6%0.4%2
0%99.6%0.4%3
0%99.6%0.4%4
0%99.6%0.4%5
0%99.6%0.4%6
0%99.6%0.4%7
0%99.6%0.4%8
0%99.6%0.4%9
0%99.6%0.4%10
0%99.6%0.4%11
0%99.6%0.4%12
0%99.6%0.4%13
0%99.6%0.4%14
Compiler

Compiled 42 to 27 computations (35.7% saved)

sample2.5s (4.9%)

Results
2.3s8256×body128valid
48.0ms260×body128invalid
Compiler

Compiled 125 to 80 computations (36% saved)

simplify133.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
2421×fma-def_binary64
572×unswap-sqr_binary64
561×sqr-pow_binary64
359×associate-+l+_binary64
334×*-commutative_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02735
14935
210335
320435
450935
5108235
6112735
7120835
8142035
9151335
10168935
11218035
12225035
13227935
14236135
15246535
16258935
17265735
18290635
19331835
20387435
21562235

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
28.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
28.0b
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
▶28.0b
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
Compiler

Compiled 217 to 126 computations (41.9% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)
✓0.1b
(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)
✓0.1b
(fma.f64 y (fma.f64 x y z) 54929528941/2000000)
✓27.4b
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

series10.2s (20.3%)

Counts
4 → 216
Calls

4 calls:

10.1s
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
61.0ms
(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)
19.0ms
(fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)
13.0ms
(fma.f64 y (fma.f64 x y z) 54929528941/2000000)

rewrite7.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
12×*-un-lft-identity_binary64
12×add-sqr-sqrt_binary64
12×add-cube-cbrt_binary64
9×times-frac_binary64
6×add-cbrt-cube_binary64
Counts
4 → 59
Calls

4 calls:

2.0ms
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
0.0ms
(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)
0.0ms
(fma.f64 y (fma.f64 x y z) 54929528941/2000000)
0.0ms
(fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)

simplify400.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
275 → 147
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0522565157

prune942.0ms (1.9%)

Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New13017147
Fresh101
Picked101
Done000
Total13217149
Error
8.8b
Counts
149 → 17
Alt Table
StatusErrorProgram
28.1b
(*.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
42.9b
(-.f64 (+.f64 (/.f64 t i) (*.f64 28832688827/125000 (/.f64 y i))) (/.f64 (*.f64 c (*.f64 y t)) (pow.f64 i 2)))
28.3b
(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)))
41.9b
(/.f64 t i)
28.1b
(/.f64 (fma.f64 y (*.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
60.1b
(-.f64 (+.f64 (/.f64 t (*.f64 (pow.f64 y 3) a)) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (*.f64 a y))) (+.f64 (/.f64 z a) (+.f64 (/.f64 (*.f64 y x) a) (*.f64 28832688827/125000 (/.f64 1 (*.f64 a (pow.f64 y 2)))))))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 y (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 i x) (*.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 y z) (pow.f64 a 2)) (+.f64 (*.f64 28832688827/125000 (/.f64 c (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 z b) (*.f64 y (pow.f64 a 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 i (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 i z) (*.f64 (pow.f64 y 3) (pow.f64 a 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 b (*.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 c x) (*.f64 y (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 c z) (*.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 c (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 t b) (*.f64 (pow.f64 y 4) (pow.f64 a 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 b (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 b x) (pow.f64 a 2)) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 t (*.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 i (*.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 c t) (*.f64 (pow.f64 y 5) (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (/.f64 (*.f64 i t) (*.f64 (pow.f64 y 6) (pow.f64 a 2)))))))))))))))))))))))
28.7b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))) 1) (/.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
▶28.0b
(/.f64 (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
28.6b
(/.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
50.0b
x
63.5b
(-.f64 (+.f64 (/.f64 t (*.f64 (pow.f64 y 2) b)) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 y b))) (+.f64 (/.f64 (*.f64 y z) b) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 b)) (/.f64 (*.f64 (pow.f64 y 2) x) b))))) (+.f64 (/.f64 (*.f64 i x) (pow.f64 b 2)) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) z) (pow.f64 b 2)) (+.f64 (/.f64 (*.f64 c t) (*.f64 (pow.f64 y 3) (pow.f64 b 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (pow.f64 b 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 i (*.f64 (pow.f64 y 3) (pow.f64 b 2)))) (+.f64 (/.f64 (*.f64 i t) (*.f64 (pow.f64 y 4) (pow.f64 b 2))) (+.f64 (/.f64 t (pow.f64 b 2)) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) (*.f64 a x)) (pow.f64 b 2)) (+.f64 (*.f64 28832688827/125000 (/.f64 c (*.f64 (pow.f64 y 2) (pow.f64 b 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 (*.f64 y a) (pow.f64 b 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 a (pow.f64 b 2))) (+.f64 (/.f64 (*.f64 (pow.f64 y 4) x) (pow.f64 b 2)) (+.f64 (/.f64 (*.f64 a (*.f64 (pow.f64 y 2) z)) (pow.f64 b 2)) (+.f64 (*.f64 54929528941/2000000 (/.f64 c (*.f64 y (pow.f64 b 2)))) (+.f64 (/.f64 (*.f64 i z) (*.f64 y (pow.f64 b 2))) (+.f64 (/.f64 (*.f64 a t) (*.f64 y (pow.f64 b 2))) (+.f64 (/.f64 (*.f64 c z) (pow.f64 b 2)) (+.f64 (/.f64 (*.f64 c (*.f64 y x)) (pow.f64 b 2)) (+.f64 (*.f64 54929528941/2000000 (/.f64 i (*.f64 (pow.f64 y 2) (pow.f64 b 2)))) (*.f64 28832688827/125000 (/.f64 y (pow.f64 b 2)))))))))))))))))))))))
50.1b
(-.f64 (+.f64 (/.f64 t i) (+.f64 (*.f64 28832688827/125000 (/.f64 y i)) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 y 2) t)) (pow.f64 i 3)) (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) i))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) (*.f64 t b)) (pow.f64 i 2)) (+.f64 (/.f64 (*.f64 c (*.f64 y t)) (pow.f64 i 2)) (*.f64 28832688827/125000 (/.f64 (*.f64 c (pow.f64 y 2)) (pow.f64 i 2))))))
62.3b
(-.f64 (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 c 2) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) z) (*.f64 (pow.f64 y 4) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/125000 (/.f64 (pow.f64 c 2) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c z) (*.f64 (pow.f64 a 3) y))) (+.f64 (*.f64 28832688827/62500 (/.f64 c (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 z b)) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 28832688827/125000 (/.f64 (pow.f64 b 2) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 c (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 b 2) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c x) (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 y (*.f64 b x)) (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) z) (pow.f64 a 3)) (+.f64 (*.f64 2 (/.f64 (*.f64 i (*.f64 t b)) (*.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (*.f64 28832688827/125000 (/.f64 (pow.f64 i 2) (*.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 i 2) (*.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (/.f64 (*.f64 (pow.f64 i 2) z) (*.f64 (pow.f64 y 6) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 t (pow.f64 b 2)) (*.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 t b)) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i z) (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i (*.f64 z b)) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c t) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 t (*.f64 y (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 i x)) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 i z)) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i t) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (*.f64 a y))) (+.f64 (*.f64 28832688827/62500 (/.f64 (*.f64 c i) (*.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 (*.f64 c i) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 z (pow.f64 b 2)) (*.f64 (pow.f64 y 2) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 a (pow.f64 y 2)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i (*.f64 b x)) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (/.f64 (*.f64 (pow.f64 b 2) x) (*.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 (pow.f64 i 2) t) (*.f64 (pow.f64 y 9) (pow.f64 a 3))) (+.f64 (/.f64 t (*.f64 (pow.f64 y 3) a)) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 b x)) (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (*.f64 28832688827/62500 (/.f64 i (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 i (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 i t)) (*.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 b (*.f64 (pow.f64 a 3) y))) (+.f64 (*.f64 28832688827/62500 (/.f64 (*.f64 c b) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) x) (*.f64 (pow.f64 y 3) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/62500 (/.f64 b (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (/.f64 (*.f64 (pow.f64 i 2) x) (*.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 t b) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 (*.f64 c b) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) t) (*.f64 (pow.f64 y 7) (pow.f64 a 3))) (+.f64 (/.f64 z a) (+.f64 (*.f64 2 (/.f64 (*.f64 i x) (*.f64 (pow.f64 a 3) y))) (+.f64 (/.f64 (*.f64 y x) a) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) x) (pow.f64 a 3)) (+.f64 (*.f64 28832688827/62500 (/.f64 (*.f64 i b) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 2 (/.f64 (*.f64 b z) (pow.f64 a 3))) (*.f64 54929528941/1000000 (/.f64 (*.f64 i b) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 y (pow.f64 a 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 c (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 y z) (pow.f64 a 2)) (+.f64 (/.f64 (*.f64 i x) (*.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (/.f64 (*.f64 i z) (*.f64 (pow.f64 a 2) (pow.f64 y 3))) (+.f64 (/.f64 (*.f64 c x) (*.f64 (pow.f64 a 2) y)) (+.f64 (*.f64 54929528941/2000000 (/.f64 i (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 c t) (*.f64 (pow.f64 a 2) (pow.f64 y 5))) (+.f64 (/.f64 (*.f64 b x) (pow.f64 a 2)) (+.f64 (/.f64 (*.f64 c z) (*.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 i (*.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (+.f64 (/.f64 (*.f64 t b) (*.f64 (pow.f64 a 2) (pow.f64 y 4))) (+.f64 (*.f64 28832688827/125000 (/.f64 b (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (*.f64 28832688827/125000 (/.f64 c (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 b (*.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 z b) (*.f64 (pow.f64 a 2) y)) (+.f64 (/.f64 t (*.f64 (pow.f64 a 2) (pow.f64 y 2))) (/.f64 (*.f64 i t) (*.f64 (pow.f64 a 2) (pow.f64 y 6)))))))))))))))))))))))
31.5b
(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
28.1b
(+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (+.f64 (/.f64 t (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (*.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))))))))
28.7b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) (cbrt.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))) (cbrt.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
46.9b
(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
Compiler

Compiled 43256 to 27813 computations (35.7% saved)

localize22.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))) 28832688827/125000) t)
✓2.8b
(+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))
✓8.5b
(*.f64 (pow.f64 y 2) x)
✓27.4b
(/.f64 (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

series9.9s (19.7%)

Counts
4 → 153
Calls

4 calls:

9.8s
(/.f64 (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
57.0ms
(fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))) 28832688827/125000) t)
12.0ms
(+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))
9.0ms
(*.f64 (pow.f64 y 2) x)

rewrite15.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
21×add-sqr-sqrt_binary64
15×*-un-lft-identity_binary64
15×add-cube-cbrt_binary64
11×add-exp-log_binary64
9×times-frac_binary64
Counts
4 → 82
Calls

4 calls:

5.0ms
(*.f64 (pow.f64 y 2) x)
3.0ms
(+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))
2.0ms
(/.f64 (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
0.0ms
(fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))) 28832688827/125000) t)

simplify357.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
235 → 153
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0525064722

prune849.0ms (1.7%)

Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New1512153
Fresh21416
Picked101
Done000
Total15416170
Error
8.8b
Counts
170 → 16
Alt Table
StatusErrorProgram
28.1b
(*.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
42.9b
(-.f64 (+.f64 (/.f64 t i) (*.f64 28832688827/125000 (/.f64 y i))) (/.f64 (*.f64 c (*.f64 y t)) (pow.f64 i 2)))
28.1b
(/.f64 (fma.f64 y (*.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
60.1b
(-.f64 (+.f64 (/.f64 t (*.f64 (pow.f64 y 3) a)) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (*.f64 a y))) (+.f64 (/.f64 z a) (+.f64 (/.f64 (*.f64 y x) a) (*.f64 28832688827/125000 (/.f64 1 (*.f64 a (pow.f64 y 2)))))))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 y (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 i x) (*.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 y z) (pow.f64 a 2)) (+.f64 (*.f64 28832688827/125000 (/.f64 c (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 z b) (*.f64 y (pow.f64 a 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 i (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 i z) (*.f64 (pow.f64 y 3) (pow.f64 a 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 b (*.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 c x) (*.f64 y (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 c z) (*.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 c (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 t b) (*.f64 (pow.f64 y 4) (pow.f64 a 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 b (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 b x) (pow.f64 a 2)) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 t (*.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 i (*.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 c t) (*.f64 (pow.f64 y 5) (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (/.f64 (*.f64 i t) (*.f64 (pow.f64 y 6) (pow.f64 a 2)))))))))))))))))))))))
63.5b
(-.f64 (+.f64 (/.f64 t (*.f64 (pow.f64 y 2) b)) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 y b))) (+.f64 (/.f64 (*.f64 y z) b) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 b)) (/.f64 (*.f64 (pow.f64 y 2) x) b))))) (+.f64 (/.f64 (*.f64 i x) (pow.f64 b 2)) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) z) (pow.f64 b 2)) (+.f64 (/.f64 (*.f64 c t) (*.f64 (pow.f64 y 3) (pow.f64 b 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (pow.f64 b 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 i (*.f64 (pow.f64 y 3) (pow.f64 b 2)))) (+.f64 (/.f64 (*.f64 i t) (*.f64 (pow.f64 y 4) (pow.f64 b 2))) (+.f64 (/.f64 t (pow.f64 b 2)) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) (*.f64 a x)) (pow.f64 b 2)) (+.f64 (*.f64 28832688827/125000 (/.f64 c (*.f64 (pow.f64 y 2) (pow.f64 b 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 (*.f64 y a) (pow.f64 b 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 a (pow.f64 b 2))) (+.f64 (/.f64 (*.f64 (pow.f64 y 4) x) (pow.f64 b 2)) (+.f64 (/.f64 (*.f64 a (*.f64 (pow.f64 y 2) z)) (pow.f64 b 2)) (+.f64 (*.f64 54929528941/2000000 (/.f64 c (*.f64 y (pow.f64 b 2)))) (+.f64 (/.f64 (*.f64 i z) (*.f64 y (pow.f64 b 2))) (+.f64 (/.f64 (*.f64 a t) (*.f64 y (pow.f64 b 2))) (+.f64 (/.f64 (*.f64 c z) (pow.f64 b 2)) (+.f64 (/.f64 (*.f64 c (*.f64 y x)) (pow.f64 b 2)) (+.f64 (*.f64 54929528941/2000000 (/.f64 i (*.f64 (pow.f64 y 2) (pow.f64 b 2)))) (*.f64 28832688827/125000 (/.f64 y (pow.f64 b 2)))))))))))))))))))))))
50.1b
(-.f64 (+.f64 (/.f64 t i) (+.f64 (*.f64 28832688827/125000 (/.f64 y i)) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 y 2) t)) (pow.f64 i 3)) (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) i))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) (*.f64 t b)) (pow.f64 i 2)) (+.f64 (/.f64 (*.f64 c (*.f64 y t)) (pow.f64 i 2)) (*.f64 28832688827/125000 (/.f64 (*.f64 c (pow.f64 y 2)) (pow.f64 i 2))))))
41.9b
(/.f64 t i)
62.3b
(-.f64 (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 c 2) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) z) (*.f64 (pow.f64 y 4) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/125000 (/.f64 (pow.f64 c 2) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c z) (*.f64 (pow.f64 a 3) y))) (+.f64 (*.f64 28832688827/62500 (/.f64 c (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 z b)) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 28832688827/125000 (/.f64 (pow.f64 b 2) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 c (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 b 2) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c x) (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 y (*.f64 b x)) (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) z) (pow.f64 a 3)) (+.f64 (*.f64 2 (/.f64 (*.f64 i (*.f64 t b)) (*.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (*.f64 28832688827/125000 (/.f64 (pow.f64 i 2) (*.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 i 2) (*.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (/.f64 (*.f64 (pow.f64 i 2) z) (*.f64 (pow.f64 y 6) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 t (pow.f64 b 2)) (*.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 t b)) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i z) (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i (*.f64 z b)) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c t) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 t (*.f64 y (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 i x)) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 i z)) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i t) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (*.f64 a y))) (+.f64 (*.f64 28832688827/62500 (/.f64 (*.f64 c i) (*.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 (*.f64 c i) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 z (pow.f64 b 2)) (*.f64 (pow.f64 y 2) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 a (pow.f64 y 2)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i (*.f64 b x)) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (/.f64 (*.f64 (pow.f64 b 2) x) (*.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 (pow.f64 i 2) t) (*.f64 (pow.f64 y 9) (pow.f64 a 3))) (+.f64 (/.f64 t (*.f64 (pow.f64 y 3) a)) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 b x)) (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (*.f64 28832688827/62500 (/.f64 i (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 i (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 i t)) (*.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 b (*.f64 (pow.f64 a 3) y))) (+.f64 (*.f64 28832688827/62500 (/.f64 (*.f64 c b) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) x) (*.f64 (pow.f64 y 3) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/62500 (/.f64 b (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (/.f64 (*.f64 (pow.f64 i 2) x) (*.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 t b) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 (*.f64 c b) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) t) (*.f64 (pow.f64 y 7) (pow.f64 a 3))) (+.f64 (/.f64 z a) (+.f64 (*.f64 2 (/.f64 (*.f64 i x) (*.f64 (pow.f64 a 3) y))) (+.f64 (/.f64 (*.f64 y x) a) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) x) (pow.f64 a 3)) (+.f64 (*.f64 28832688827/62500 (/.f64 (*.f64 i b) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 2 (/.f64 (*.f64 b z) (pow.f64 a 3))) (*.f64 54929528941/1000000 (/.f64 (*.f64 i b) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 y (pow.f64 a 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 c (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 y z) (pow.f64 a 2)) (+.f64 (/.f64 (*.f64 i x) (*.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (/.f64 (*.f64 i z) (*.f64 (pow.f64 a 2) (pow.f64 y 3))) (+.f64 (/.f64 (*.f64 c x) (*.f64 (pow.f64 a 2) y)) (+.f64 (*.f64 54929528941/2000000 (/.f64 i (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 c t) (*.f64 (pow.f64 a 2) (pow.f64 y 5))) (+.f64 (/.f64 (*.f64 b x) (pow.f64 a 2)) (+.f64 (/.f64 (*.f64 c z) (*.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 i (*.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (+.f64 (/.f64 (*.f64 t b) (*.f64 (pow.f64 a 2) (pow.f64 y 4))) (+.f64 (*.f64 28832688827/125000 (/.f64 b (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (*.f64 28832688827/125000 (/.f64 c (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 b (*.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 z b) (*.f64 (pow.f64 a 2) y)) (+.f64 (/.f64 t (*.f64 (pow.f64 a 2) (pow.f64 y 2))) (/.f64 (*.f64 i t) (*.f64 (pow.f64 a 2) (pow.f64 y 6)))))))))))))))))))))))
28.3b
(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))) 28832688827/125000) t)))
44.6b
(*.f64 (/.f64 1 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) (/.f64 (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))) 28832688827/125000) t) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
28.7b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))) 1) (/.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
31.5b
(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
▶28.1b
(+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (+.f64 (/.f64 t (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (*.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))))))))
28.7b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) (cbrt.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))) (cbrt.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
46.9b
(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
50.0b
x
Compiler

Compiled 43913 to 28309 computations (35.5% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓7.8b
(*.f64 (pow.f64 y 2) b)
✓24.1b
(/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))
✓26.2b
(/.f64 (*.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))
✓26.4b
(/.f64 (*.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))

series2.1s (4.2%)

Counts
4 → 196
Calls

4 calls:

869.0ms
(/.f64 (*.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))
774.0ms
(/.f64 (*.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))
445.0ms
(/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))
8.0ms
(*.f64 (pow.f64 y 2) b)

rewrite60.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
56×*-un-lft-identity_binary64
40×times-frac_binary64
36×add-sqr-sqrt_binary64
34×add-exp-log_binary64
30×add-cube-cbrt_binary64
Counts
4 → 149
Calls

4 calls:

14.0ms
(/.f64 (*.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))
12.0ms
(/.f64 (*.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))
11.0ms
(/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))
9.0ms
(*.f64 (pow.f64 y 2) b)

simplify353.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
590×associate-/l*_binary64
524×fma-def_binary64
127×times-frac_binary64
121×sub-neg_binary64
40×sqr-pow_binary64
Counts
345 → 504
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0303738311
1532038311

prune2.9s (5.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New6804684
Fresh21315
Picked101
Done000
Total68317700
Error
7.2b
Counts
700 → 17
Alt Table
StatusErrorProgram
28.1b
(*.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
42.9b
(-.f64 (+.f64 (/.f64 t i) (*.f64 28832688827/125000 (/.f64 y i))) (/.f64 (*.f64 c (*.f64 y t)) (pow.f64 i 2)))
35.5b
(+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) b) (+.f64 (/.f64 t (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (*.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))))))))
60.1b
(-.f64 (+.f64 (/.f64 t (*.f64 (pow.f64 y 3) a)) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (*.f64 a y))) (+.f64 (/.f64 z a) (+.f64 (/.f64 (*.f64 y x) a) (*.f64 28832688827/125000 (/.f64 1 (*.f64 a (pow.f64 y 2)))))))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 y (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 i x) (*.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 y z) (pow.f64 a 2)) (+.f64 (*.f64 28832688827/125000 (/.f64 c (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 z b) (*.f64 y (pow.f64 a 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 i (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 i z) (*.f64 (pow.f64 y 3) (pow.f64 a 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 b (*.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 c x) (*.f64 y (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 c z) (*.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 c (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 t b) (*.f64 (pow.f64 y 4) (pow.f64 a 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 b (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 b x) (pow.f64 a 2)) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 t (*.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 i (*.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 c t) (*.f64 (pow.f64 y 5) (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (/.f64 (*.f64 i t) (*.f64 (pow.f64 y 6) (pow.f64 a 2)))))))))))))))))))))))
▶28.1b
(/.f64 (fma.f64 y (*.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
31.5b
(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
46.7b
(+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))) (+.f64 (/.f64 z a) (+.f64 (/.f64 (*.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (+.f64 (/.f64 t (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (*.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))))))))
28.7b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) (cbrt.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))) (cbrt.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
61.7b
(+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))) (+.f64 (-.f64 (+.f64 (/.f64 z y) (/.f64 (*.f64 (pow.f64 a 2) z) (pow.f64 y 3))) (+.f64 (/.f64 (*.f64 b z) (pow.f64 y 3)) (/.f64 (*.f64 a z) (pow.f64 y 2)))) (+.f64 (/.f64 (*.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (+.f64 (/.f64 t (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (*.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))))))))
41.9b
(/.f64 t i)
62.3b
(-.f64 (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 c 2) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) z) (*.f64 (pow.f64 y 4) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/125000 (/.f64 (pow.f64 c 2) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c z) (*.f64 (pow.f64 a 3) y))) (+.f64 (*.f64 28832688827/62500 (/.f64 c (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 z b)) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 28832688827/125000 (/.f64 (pow.f64 b 2) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 c (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 b 2) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c x) (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 y (*.f64 b x)) (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) z) (pow.f64 a 3)) (+.f64 (*.f64 2 (/.f64 (*.f64 i (*.f64 t b)) (*.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (*.f64 28832688827/125000 (/.f64 (pow.f64 i 2) (*.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 i 2) (*.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (/.f64 (*.f64 (pow.f64 i 2) z) (*.f64 (pow.f64 y 6) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 t (pow.f64 b 2)) (*.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 t b)) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i z) (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i (*.f64 z b)) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c t) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 t (*.f64 y (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 i x)) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 i z)) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i t) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (*.f64 a y))) (+.f64 (*.f64 28832688827/62500 (/.f64 (*.f64 c i) (*.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 (*.f64 c i) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 z (pow.f64 b 2)) (*.f64 (pow.f64 y 2) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 a (pow.f64 y 2)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i (*.f64 b x)) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (/.f64 (*.f64 (pow.f64 b 2) x) (*.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 (pow.f64 i 2) t) (*.f64 (pow.f64 y 9) (pow.f64 a 3))) (+.f64 (/.f64 t (*.f64 (pow.f64 y 3) a)) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 b x)) (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (*.f64 28832688827/62500 (/.f64 i (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 i (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 i t)) (*.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 b (*.f64 (pow.f64 a 3) y))) (+.f64 (*.f64 28832688827/62500 (/.f64 (*.f64 c b) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) x) (*.f64 (pow.f64 y 3) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/62500 (/.f64 b (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (/.f64 (*.f64 (pow.f64 i 2) x) (*.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 t b) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 (*.f64 c b) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) t) (*.f64 (pow.f64 y 7) (pow.f64 a 3))) (+.f64 (/.f64 z a) (+.f64 (*.f64 2 (/.f64 (*.f64 i x) (*.f64 (pow.f64 a 3) y))) (+.f64 (/.f64 (*.f64 y x) a) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) x) (pow.f64 a 3)) (+.f64 (*.f64 28832688827/62500 (/.f64 (*.f64 i b) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 2 (/.f64 (*.f64 b z) (pow.f64 a 3))) (*.f64 54929528941/1000000 (/.f64 (*.f64 i b) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 y (pow.f64 a 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 c (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 y z) (pow.f64 a 2)) (+.f64 (/.f64 (*.f64 i x) (*.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (/.f64 (*.f64 i z) (*.f64 (pow.f64 a 2) (pow.f64 y 3))) (+.f64 (/.f64 (*.f64 c x) (*.f64 (pow.f64 a 2) y)) (+.f64 (*.f64 54929528941/2000000 (/.f64 i (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 c t) (*.f64 (pow.f64 a 2) (pow.f64 y 5))) (+.f64 (/.f64 (*.f64 b x) (pow.f64 a 2)) (+.f64 (/.f64 (*.f64 c z) (*.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 i (*.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (+.f64 (/.f64 (*.f64 t b) (*.f64 (pow.f64 a 2) (pow.f64 y 4))) (+.f64 (*.f64 28832688827/125000 (/.f64 b (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (*.f64 28832688827/125000 (/.f64 c (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 b (*.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 z b) (*.f64 (pow.f64 a 2) y)) (+.f64 (/.f64 t (*.f64 (pow.f64 a 2) (pow.f64 y 2))) (/.f64 (*.f64 i t) (*.f64 (pow.f64 a 2) (pow.f64 y 6)))))))))))))))))))))))
39.6b
(+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (+.f64 (/.f64 (*.f64 y x) a) (+.f64 (/.f64 t (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (*.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))))))))
28.3b
(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))) 28832688827/125000) t)))
28.7b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))) 1) (/.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
46.9b
(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
50.0b
x
50.1b
(-.f64 (+.f64 (/.f64 t i) (+.f64 (*.f64 28832688827/125000 (/.f64 y i)) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 y 2) t)) (pow.f64 i 3)) (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) i))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) (*.f64 t b)) (pow.f64 i 2)) (+.f64 (/.f64 (*.f64 c (*.f64 y t)) (pow.f64 i 2)) (*.f64 28832688827/125000 (/.f64 (*.f64 c (pow.f64 y 2)) (pow.f64 i 2))))))
Compiler

Compiled 132670 to 79613 computations (40% saved)

localize24.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.1b
(fma.f64 y (fma.f64 x y z) 54929528941/2000000)
✓0.1b
(*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)))
✓21.3b
(cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))
✓27.4b
(/.f64 (fma.f64 y (*.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

series9.5s (19%)

Counts
3 → 168
Calls

3 calls:

9.0s
(/.f64 (fma.f64 y (*.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
383.0ms
(*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)))
143.0ms
(cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))

rewrite20.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
28×add-sqr-sqrt_binary64
20×*-un-lft-identity_binary64
20×add-cube-cbrt_binary64
19×cbrt-prod_binary64
10×pow1_binary64
Counts
3 → 84
Calls

3 calls:

7.0ms
(*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)))
3.0ms
(/.f64 (fma.f64 y (*.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
1.0ms
(cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))

simplify475.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
252 → 208
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0637381899

prune1.6s (3.2%)

Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New3570357
Fresh01616
Picked011
Done000
Total35717374
Error
7.2b
Counts
374 → 17
Alt Table
StatusErrorProgram
28.1b
(*.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
42.9b
(-.f64 (+.f64 (/.f64 t i) (*.f64 28832688827/125000 (/.f64 y i))) (/.f64 (*.f64 c (*.f64 y t)) (pow.f64 i 2)))
35.5b
(+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) b) (+.f64 (/.f64 t (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (*.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))))))))
60.1b
(-.f64 (+.f64 (/.f64 t (*.f64 (pow.f64 y 3) a)) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (*.f64 a y))) (+.f64 (/.f64 z a) (+.f64 (/.f64 (*.f64 y x) a) (*.f64 28832688827/125000 (/.f64 1 (*.f64 a (pow.f64 y 2)))))))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 y (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 i x) (*.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 y z) (pow.f64 a 2)) (+.f64 (*.f64 28832688827/125000 (/.f64 c (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 z b) (*.f64 y (pow.f64 a 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 i (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 i z) (*.f64 (pow.f64 y 3) (pow.f64 a 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 b (*.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 c x) (*.f64 y (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 c z) (*.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (*.f64 54929528941/2000000 (/.f64 c (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 t b) (*.f64 (pow.f64 y 4) (pow.f64 a 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 b (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 b x) (pow.f64 a 2)) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 t (*.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 i (*.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 c t) (*.f64 (pow.f64 y 5) (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (/.f64 (*.f64 i t) (*.f64 (pow.f64 y 6) (pow.f64 a 2)))))))))))))))))))))))
✓28.1b
(/.f64 (fma.f64 y (*.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
31.5b
(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
46.7b
(+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))) (+.f64 (/.f64 z a) (+.f64 (/.f64 (*.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (+.f64 (/.f64 t (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (*.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))))))))
28.7b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) (cbrt.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))) (cbrt.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
61.7b
(+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))) (+.f64 (-.f64 (+.f64 (/.f64 z y) (/.f64 (*.f64 (pow.f64 a 2) z) (pow.f64 y 3))) (+.f64 (/.f64 (*.f64 b z) (pow.f64 y 3)) (/.f64 (*.f64 a z) (pow.f64 y 2)))) (+.f64 (/.f64 (*.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (+.f64 (/.f64 t (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (*.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))))))))
41.9b
(/.f64 t i)
62.3b
(-.f64 (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 c 2) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) z) (*.f64 (pow.f64 y 4) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/125000 (/.f64 (pow.f64 c 2) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c z) (*.f64 (pow.f64 a 3) y))) (+.f64 (*.f64 28832688827/62500 (/.f64 c (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 z b)) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 28832688827/125000 (/.f64 (pow.f64 b 2) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 c (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 b 2) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c x) (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 y (*.f64 b x)) (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) z) (pow.f64 a 3)) (+.f64 (*.f64 2 (/.f64 (*.f64 i (*.f64 t b)) (*.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (*.f64 28832688827/125000 (/.f64 (pow.f64 i 2) (*.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 i 2) (*.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (/.f64 (*.f64 (pow.f64 i 2) z) (*.f64 (pow.f64 y 6) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 t (pow.f64 b 2)) (*.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 t b)) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i z) (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i (*.f64 z b)) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c t) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 t (*.f64 y (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 i x)) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 i z)) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i t) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (*.f64 a y))) (+.f64 (*.f64 28832688827/62500 (/.f64 (*.f64 c i) (*.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 (*.f64 c i) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 z (pow.f64 b 2)) (*.f64 (pow.f64 y 2) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 a (pow.f64 y 2)))) (+.f64 (*.f64 2 (/.f64 (*.f64 i (*.f64 b x)) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (/.f64 (*.f64 (pow.f64 b 2) x) (*.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (*.f64 (pow.f64 i 2) t) (*.f64 (pow.f64 y 9) (pow.f64 a 3))) (+.f64 (/.f64 t (*.f64 (pow.f64 y 3) a)) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 b x)) (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (*.f64 28832688827/62500 (/.f64 i (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 i (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 c (*.f64 i t)) (*.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 b (*.f64 (pow.f64 a 3) y))) (+.f64 (*.f64 28832688827/62500 (/.f64 (*.f64 c b) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) x) (*.f64 (pow.f64 y 3) (pow.f64 a 3))) (+.f64 (*.f64 28832688827/62500 (/.f64 b (*.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (/.f64 (*.f64 (pow.f64 i 2) x) (*.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (*.f64 2 (/.f64 (*.f64 t b) (*.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (*.f64 54929528941/1000000 (/.f64 (*.f64 c b) (*.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) t) (*.f64 (pow.f64 y 7) (pow.f64 a 3))) (+.f64 (/.f64 z a) (+.f64 (*.f64 2 (/.f64 (*.f64 i x) (*.f64 (pow.f64 a 3) y))) (+.f64 (/.f64 (*.f64 y x) a) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) x) (pow.f64 a 3)) (+.f64 (*.f64 28832688827/62500 (/.f64 (*.f64 i b) (*.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (*.f64 2 (/.f64 (*.f64 b z) (pow.f64 a 3))) (*.f64 54929528941/1000000 (/.f64 (*.f64 i b) (*.f64 (pow.f64 a 3) (pow.f64 y 5)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (+.f64 (*.f64 28832688827/125000 (/.f64 1 (*.f64 y (pow.f64 a 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 c (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 (*.f64 y z) (pow.f64 a 2)) (+.f64 (/.f64 (*.f64 i x) (*.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (/.f64 (*.f64 i z) (*.f64 (pow.f64 a 2) (pow.f64 y 3))) (+.f64 (/.f64 (*.f64 c x) (*.f64 (pow.f64 a 2) y)) (+.f64 (*.f64 54929528941/2000000 (/.f64 i (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 c t) (*.f64 (pow.f64 a 2) (pow.f64 y 5))) (+.f64 (/.f64 (*.f64 b x) (pow.f64 a 2)) (+.f64 (/.f64 (*.f64 c z) (*.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (*.f64 28832688827/125000 (/.f64 i (*.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (+.f64 (/.f64 (*.f64 t b) (*.f64 (pow.f64 a 2) (pow.f64 y 4))) (+.f64 (*.f64 28832688827/125000 (/.f64 b (*.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (*.f64 28832688827/125000 (/.f64 c (*.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (*.f64 54929528941/2000000 (/.f64 b (*.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (*.f64 z b) (*.f64 (pow.f64 a 2) y)) (+.f64 (/.f64 t (*.f64 (pow.f64 a 2) (pow.f64 y 2))) (/.f64 (*.f64 i t) (*.f64 (pow.f64 a 2) (pow.f64 y 6)))))))))))))))))))))))
39.6b
(+.f64 (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (+.f64 (/.f64 (*.f64 y x) a) (+.f64 (/.f64 t (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))) (*.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (*.f64 (pow.f64 y 3) a) (+.f64 (*.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y)))))))))))
28.3b
(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) x))) 28832688827/125000) t)))
28.7b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))) 1) (/.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
46.9b
(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
50.0b
x
50.1b
(-.f64 (+.f64 (/.f64 t i) (+.f64 (*.f64 28832688827/125000 (/.f64 y i)) (+.f64 (/.f64 (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 y 2) t)) (pow.f64 i 3)) (*.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) i))))) (+.f64 (/.f64 (*.f64 (pow.f64 y 2) (*.f64 t b)) (pow.f64 i 2)) (+.f64 (/.f64 (*.f64 c (*.f64 y t)) (pow.f64 i 2)) (*.f64 28832688827/125000 (/.f64 (*.f64 c (pow.f64 y 2)) (pow.f64 i 2))))))
Compiler

Compiled 72322 to 46595 computations (35.6% saved)

regimes4.0s (8%)

Accuracy

Total 4.4b remaining (38.7%)

Threshold costs 0b (0%)

Counts
153 → 3
Compiler

Compiled 89812 to 54315 computations (39.5% saved)

bsearch82.0ms (0.2%)

Steps
ItersRangePoint
9
3.3464233739118234e+54
5.124826625041599e+61
1.2643423819508104e+57
9
-7.990090342063021e+63
-3.339695083660764e+55
-1.535105735609914e+56
Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Rules
9×+-commutative_binary64
7×*-commutative_binary64
5×sub-neg_binary64
4×neg-sub0_binary64
4×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03686
14586
25286
36286
46986
57486
67686
77686

end1.1s (2.1%)

Compiler

Compiled 2277 to 1478 computations (35.1% saved)

Profiling

Loading profile data...