Details

Time bar (total: 2.5min)

analyze6.2s (4.1%)

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

Compiled 112 to 64 computations (42.9% saved)

sample30.4s (20.3%)

Results
26.9s66399×body128invalid
3.3s8256×body128valid
Compiler

Compiled 335 to 191 computations (43% saved)

simplify27.0ms (0%)

Algorithm
1×egg-herbie
Rules
555×distribute-rgt-in_binary64
517×cancel-sign-sub-inv_binary64
396×fma-neg_binary64
217×distribute-rgt-neg-in_binary64
212×sub-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
064142
1182136
2528132
32607132
Stop Event
1×node limit
Counts
1 → 2

prune8.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
27.4b
Counts
3 → 2
Alt Table
StatusErrorProgram
27.5b
(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))) (*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))) (*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))) (*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0))))
▶27.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (fma.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))))
Compiler

Compiled 635 to 326 computations (48.7% saved)

localize60.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓6.7b
(fma.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))))
✓7.0b
(fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (fma.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))))))
✓7.2b
(fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (fma.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))
✓8.4b
(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))

series1.9s (1.3%)

Counts
4 → 648
Calls

4 calls:

872.0ms
(fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (fma.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))))))
611.0ms
(fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (fma.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))
357.0ms
(fma.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))))
52.0ms
(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))

rewrite63.0ms (0%)

Algorithm
1×batch-egg-rewrite
Rules
597×log1p-expm1-u_binary64
597×expm1-log1p-u_binary64
260×prod-diff_binary64
198×log-prod_binary64
150×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
052286
11242286
Stop Event
1×node limit
Counts
4 → 44
Calls

4 calls:

60.0ms
(fma.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))))
60.0ms
(fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (fma.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))))))
60.0ms
(fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (fma.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))
60.0ms
(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))

simplify526.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
938×associate-+r+_binary64
304×*-commutative_binary64
236×sub-neg_binary64
218×associate--r+_binary64
218×associate--l+_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0162292069
Stop Event
1×node limit
Counts
692 → 468

prune1.5s (1%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New45018468
Fresh101
Picked101
Done000
Total45218470
Error
6.8b
Counts
470 → 18
Alt Table
StatusErrorProgram
42.1b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (neg.f64 (*.f64 b (-.f64 (+.f64 (*.f64 y0 (*.f64 j x)) (+.f64 (*.f64 (*.f64 k y4) y) (*.f64 a (*.f64 z t)))) (+.f64 (*.f64 (*.f64 y4 t) j) (+.f64 (*.f64 k (*.f64 z y0)) (*.f64 a (*.f64 x y))))))))
40.7b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (*.f64 j (+.f64 (*.f64 (*.f64 y4 t) b) (-.f64 (*.f64 y1 (*.f64 i x)) (+.f64 (*.f64 (*.f64 y0 b) x) (*.f64 i (*.f64 t y5))))))))
27.9b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))))))) (cbrt.f64 (fma.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))))) (cbrt.f64 (fma.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))))))
▶27.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4))) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))))
31.3b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (-.f64 (+.f64 (*.f64 k (*.f64 y0 (*.f64 z b))) (+.f64 (*.f64 a (*.f64 y (*.f64 b x))) (+.f64 (*.f64 y4 (*.f64 t (*.f64 b j))) (+.f64 (*.f64 y1 (*.f64 i (*.f64 j x))) (+.f64 (*.f64 c (*.f64 i (*.f64 t z))) (*.f64 k (*.f64 y (*.f64 i y5)))))))) (+.f64 (*.f64 y0 (*.f64 b (*.f64 j x))) (+.f64 (*.f64 c (*.f64 y (*.f64 i x))) (+.f64 (*.f64 a (*.f64 t (*.f64 z b))) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (+.f64 (*.f64 k (*.f64 y4 (*.f64 y b))) (*.f64 k (*.f64 y1 (*.f64 i z))))))))))))
47.2b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 z (-.f64 (+.f64 (*.f64 k (*.f64 y0 b)) (+.f64 (*.f64 a (*.f64 y1 y3)) (*.f64 c (*.f64 i t)))) (+.f64 (*.f64 k (*.f64 i y1)) (+.f64 (*.f64 c (*.f64 y0 y3)) (*.f64 a (*.f64 t b)))))))
35.1b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (-.f64 (+.f64 (*.f64 y1 (*.f64 i (*.f64 j x))) (+.f64 (*.f64 y4 (*.f64 t (*.f64 j b))) (+.f64 (*.f64 a (*.f64 y (*.f64 b x))) (*.f64 k (*.f64 y (*.f64 i y5)))))) (+.f64 (*.f64 y0 (*.f64 b (*.f64 j x))) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (+.f64 (*.f64 c (*.f64 y (*.f64 i x))) (*.f64 k (*.f64 y4 (*.f64 y b))))))))))
47.0b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 y3 (-.f64 (+.f64 (*.f64 c (*.f64 y4 y)) (*.f64 y1 (*.f64 a z))) (+.f64 (*.f64 c (*.f64 y0 z)) (*.f64 y (*.f64 a y5))))))
50.6b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (cbrt.f64 (*.f64 (*.f64 (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))))) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))))))
42.0b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 (-.f64 (+.f64 (*.f64 a (*.f64 y b)) (+.f64 (*.f64 c (*.f64 y0 y2)) (*.f64 i (*.f64 y1 j)))) (+.f64 (*.f64 c (*.f64 y i)) (+.f64 (*.f64 y0 (*.f64 b j)) (*.f64 y1 (*.f64 a y2))))) x))
46.7b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 (-.f64 (+.f64 (*.f64 k (*.f64 i y)) (*.f64 a (*.f64 t y2))) (+.f64 (*.f64 a (*.f64 y y3)) (*.f64 i (*.f64 t j)))) y5))
31.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (-.f64 (+.f64 (*.f64 k (*.f64 y0 (*.f64 z b))) (+.f64 (*.f64 a (*.f64 t (*.f64 y5 y2))) (+.f64 (*.f64 y4 (*.f64 t (*.f64 b j))) (+.f64 (*.f64 a (*.f64 y1 (*.f64 y3 z))) (+.f64 (*.f64 c (*.f64 y4 (*.f64 y y3))) (+.f64 (*.f64 c (*.f64 i (*.f64 t z))) (+.f64 (*.f64 c (*.f64 y0 (*.f64 x y2))) (+.f64 (*.f64 y (*.f64 a (*.f64 b x))) (+.f64 (*.f64 y1 (*.f64 i (*.f64 j x))) (*.f64 k (*.f64 i (*.f64 y y5)))))))))))) (+.f64 (*.f64 y (*.f64 a (*.f64 y3 y5))) (+.f64 (*.f64 c (*.f64 y0 (*.f64 y3 z))) (+.f64 (*.f64 c (*.f64 y (*.f64 i x))) (+.f64 (*.f64 a (*.f64 t (*.f64 z b))) (+.f64 (*.f64 c (*.f64 y4 (*.f64 t y2))) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (+.f64 (*.f64 k (*.f64 y4 (*.f64 y b))) (+.f64 (*.f64 y1 (*.f64 a (*.f64 x y2))) (+.f64 (*.f64 y0 (*.f64 j (*.f64 b x))) (*.f64 k (*.f64 y1 (*.f64 i z))))))))))))))
39.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (*.f64 (-.f64 (+.f64 (*.f64 k (*.f64 y y5)) (+.f64 (*.f64 y1 (*.f64 j x)) (*.f64 c (*.f64 t z)))) (+.f64 (*.f64 c (*.f64 y x)) (+.f64 (*.f64 t (*.f64 j y5)) (*.f64 k (*.f64 y1 z))))) i)))
46.3b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 y4 (-.f64 (+.f64 (*.f64 t (*.f64 b j)) (*.f64 c (*.f64 y y3))) (+.f64 (*.f64 k (*.f64 y b)) (*.f64 c (*.f64 t y2))))))
40.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (-.f64 (+.f64 (*.f64 a (*.f64 t (*.f64 y5 y2))) (+.f64 (+.f64 (*.f64 (*.f64 c y0) (*.f64 x y2)) (*.f64 a (*.f64 (*.f64 b y) x))) (+.f64 (+.f64 (*.f64 k (*.f64 (*.f64 y0 b) z)) (*.f64 y1 (*.f64 (*.f64 i j) x))) (+.f64 (*.f64 a (*.f64 (*.f64 y1 y3) z)) (+.f64 (*.f64 (*.f64 c i) (*.f64 z t)) (*.f64 (*.f64 k i) (*.f64 y y5))))))) (+.f64 (+.f64 (*.f64 (*.f64 c y0) (*.f64 z y3)) (*.f64 y (*.f64 a (*.f64 y3 y5)))) (+.f64 (+.f64 (*.f64 a (*.f64 y1 (*.f64 x y2))) (*.f64 (*.f64 y0 j) (*.f64 b x))) (+.f64 (*.f64 c (*.f64 i (*.f64 x y))) (+.f64 (*.f64 a (*.f64 (*.f64 z b) t)) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (*.f64 (*.f64 k y1) (*.f64 z i)))))))))
45.5b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 -1 (*.f64 (-.f64 (+.f64 (*.f64 c (*.f64 y4 t)) (*.f64 y1 (*.f64 a x))) (+.f64 (*.f64 c (*.f64 y0 x)) (*.f64 a (*.f64 t y5)))) y2)))
45.8b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 t (-.f64 (+.f64 (*.f64 y4 (*.f64 j b)) (+.f64 (*.f64 a (*.f64 y5 y2)) (*.f64 c (*.f64 i z)))) (+.f64 (*.f64 a (*.f64 b z)) (+.f64 (*.f64 c (*.f64 y4 y2)) (*.f64 i (*.f64 j y5)))))))
45.3b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 y (-.f64 (+.f64 (*.f64 (*.f64 b a) x) (+.f64 (*.f64 c (*.f64 y4 y3)) (*.f64 k (*.f64 i y5)))) (+.f64 (*.f64 c (*.f64 i x)) (+.f64 (*.f64 k (*.f64 b y4)) (*.f64 a (*.f64 y3 y5)))))))
Compiler

Compiled 57663 to 5570 computations (90.3% saved)

localize58.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓6.7b
(fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))))
✓7.2b
(fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))
8.4b
(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))
✓10.4b
(*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4)))

series1.1s (0.7%)

Counts
3 → 456
Calls

3 calls:

608.0ms
(fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))
395.0ms
(fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))))
61.0ms
(*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4)))

rewrite58.0ms (0%)

Algorithm
1×batch-egg-rewrite
Rules
587×log1p-expm1-u_binary64
587×expm1-log1p-u_binary64
234×prod-diff_binary64
199×log-prod_binary64
135×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
052176
11225176
Stop Event
1×node limit
Counts
3 → 38
Calls

3 calls:

56.0ms
(fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))))
56.0ms
(fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))
56.0ms
(*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4)))

simplify433.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
484×fma-def_binary64
481×+-commutative_binary64
408×associate-+r+_binary64
391×sub-neg_binary64
254×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
091246373
1444646373
Stop Event
1×node limit
Counts
494 → 289

prune1.1s (0.8%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New3107317
Fresh51217
Picked101
Done000
Total31619335
Error
6.8b
Counts
335 → 19
Alt Table
StatusErrorProgram
42.1b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (neg.f64 (*.f64 b (-.f64 (+.f64 (*.f64 y0 (*.f64 j x)) (+.f64 (*.f64 (*.f64 k y4) y) (*.f64 a (*.f64 z t)))) (+.f64 (*.f64 (*.f64 y4 t) j) (+.f64 (*.f64 k (*.f64 z y0)) (*.f64 a (*.f64 x y))))))))
40.7b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (*.f64 j (+.f64 (*.f64 (*.f64 y4 t) b) (-.f64 (*.f64 y1 (*.f64 i x)) (+.f64 (*.f64 (*.f64 y0 b) x) (*.f64 i (*.f64 t y5))))))))
47.2b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 z (-.f64 (+.f64 (*.f64 k (*.f64 y0 b)) (+.f64 (*.f64 a (*.f64 y1 y3)) (*.f64 c (*.f64 i t)))) (+.f64 (*.f64 k (*.f64 i y1)) (+.f64 (*.f64 c (*.f64 y0 y3)) (*.f64 a (*.f64 t b)))))))
35.1b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (-.f64 (+.f64 (*.f64 y1 (*.f64 i (*.f64 j x))) (+.f64 (*.f64 y4 (*.f64 t (*.f64 j b))) (+.f64 (*.f64 a (*.f64 y (*.f64 b x))) (*.f64 k (*.f64 y (*.f64 i y5)))))) (+.f64 (*.f64 y0 (*.f64 b (*.f64 j x))) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (+.f64 (*.f64 c (*.f64 y (*.f64 i x))) (*.f64 k (*.f64 y4 (*.f64 y b))))))))))
29.8b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4))) (-.f64 (+.f64 (*.f64 c (*.f64 y0 (*.f64 y2 x))) (+.f64 (*.f64 a (*.f64 y (*.f64 b x))) (+.f64 (*.f64 y4 (*.f64 t (*.f64 b j))) (+.f64 (*.f64 k (*.f64 y0 (*.f64 b z))) (+.f64 (*.f64 i (*.f64 y1 (*.f64 j x))) (+.f64 (*.f64 a (*.f64 y1 (*.f64 y3 z))) (+.f64 (*.f64 c (*.f64 i (*.f64 t z))) (*.f64 k (*.f64 i (*.f64 y y5)))))))))) (+.f64 (*.f64 c (*.f64 y0 (*.f64 y3 z))) (+.f64 (*.f64 y1 (*.f64 a (*.f64 x y2))) (+.f64 (*.f64 y0 (*.f64 b (*.f64 j x))) (+.f64 (*.f64 c (*.f64 y (*.f64 i x))) (+.f64 (*.f64 a (*.f64 t (*.f64 b z))) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (+.f64 (*.f64 k (*.f64 i (*.f64 y1 z))) (*.f64 k (*.f64 y4 (*.f64 y b)))))))))))))
47.0b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 y3 (-.f64 (+.f64 (*.f64 c (*.f64 y4 y)) (*.f64 y1 (*.f64 a z))) (+.f64 (*.f64 c (*.f64 y0 z)) (*.f64 y (*.f64 a y5))))))
29.6b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (neg.f64 (*.f64 (-.f64 (*.f64 a y5) (*.f64 c y4)) (*.f64 y y3))) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))))
31.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (-.f64 (+.f64 (*.f64 k (*.f64 y0 (*.f64 z b))) (+.f64 (*.f64 a (*.f64 t (*.f64 y5 y2))) (+.f64 (*.f64 y4 (*.f64 t (*.f64 b j))) (+.f64 (*.f64 a (*.f64 y1 (*.f64 y3 z))) (+.f64 (*.f64 c (*.f64 y4 (*.f64 y y3))) (+.f64 (*.f64 c (*.f64 i (*.f64 t z))) (+.f64 (*.f64 c (*.f64 y0 (*.f64 x y2))) (+.f64 (*.f64 y (*.f64 a (*.f64 b x))) (+.f64 (*.f64 y1 (*.f64 i (*.f64 j x))) (*.f64 k (*.f64 i (*.f64 y y5)))))))))))) (+.f64 (*.f64 y (*.f64 a (*.f64 y3 y5))) (+.f64 (*.f64 c (*.f64 y0 (*.f64 y3 z))) (+.f64 (*.f64 c (*.f64 y (*.f64 i x))) (+.f64 (*.f64 a (*.f64 t (*.f64 z b))) (+.f64 (*.f64 c (*.f64 y4 (*.f64 t y2))) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (+.f64 (*.f64 k (*.f64 y4 (*.f64 y b))) (+.f64 (*.f64 y1 (*.f64 a (*.f64 x y2))) (+.f64 (*.f64 y0 (*.f64 j (*.f64 b x))) (*.f64 k (*.f64 y1 (*.f64 i z))))))))))))))
▶27.5b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4)))) 3) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))))
39.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4))) (*.f64 i (-.f64 (fma.f64 k (*.f64 y5 y) (fma.f64 y1 (*.f64 j x) (*.f64 c (*.f64 t z)))) (fma.f64 c (*.f64 y x) (fma.f64 t (*.f64 y5 j) (*.f64 k (*.f64 z y1))))))))
42.0b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 (-.f64 (+.f64 (*.f64 a (*.f64 y b)) (+.f64 (*.f64 c (*.f64 y0 y2)) (*.f64 i (*.f64 y1 j)))) (+.f64 (*.f64 c (*.f64 y i)) (+.f64 (*.f64 y0 (*.f64 b j)) (*.f64 y1 (*.f64 a y2))))) x))
46.7b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 (-.f64 (+.f64 (*.f64 k (*.f64 i y)) (*.f64 a (*.f64 t y2))) (+.f64 (*.f64 a (*.f64 y y3)) (*.f64 i (*.f64 t j)))) y5))
42.3b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4))) (neg.f64 (*.f64 y2 (-.f64 (*.f64 y1 (*.f64 a x)) (*.f64 (*.f64 c y0) x))))))
47.1b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4))) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (cbrt.f64 (pow.f64 (fma.f64 (fma.f64 t j (*.f64 (neg.f64 k) y)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)) (fma.f64 (-.f64 (*.f64 y x) (*.f64 t z)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y1 i) (*.f64 y0 b))))) 3)))))
45.3b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 y (-.f64 (+.f64 (*.f64 (*.f64 b a) x) (+.f64 (*.f64 c (*.f64 y4 y3)) (*.f64 k (*.f64 i y5)))) (+.f64 (*.f64 c (*.f64 i x)) (+.f64 (*.f64 k (*.f64 b y4)) (*.f64 a (*.f64 y3 y5)))))))
40.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (-.f64 (+.f64 (*.f64 a (*.f64 t (*.f64 y5 y2))) (+.f64 (+.f64 (*.f64 (*.f64 c y0) (*.f64 x y2)) (*.f64 a (*.f64 (*.f64 b y) x))) (+.f64 (+.f64 (*.f64 k (*.f64 (*.f64 y0 b) z)) (*.f64 y1 (*.f64 (*.f64 i j) x))) (+.f64 (*.f64 a (*.f64 (*.f64 y1 y3) z)) (+.f64 (*.f64 (*.f64 c i) (*.f64 z t)) (*.f64 (*.f64 k i) (*.f64 y y5))))))) (+.f64 (+.f64 (*.f64 (*.f64 c y0) (*.f64 z y3)) (*.f64 y (*.f64 a (*.f64 y3 y5)))) (+.f64 (+.f64 (*.f64 a (*.f64 y1 (*.f64 x y2))) (*.f64 (*.f64 y0 j) (*.f64 b x))) (+.f64 (*.f64 c (*.f64 i (*.f64 x y))) (+.f64 (*.f64 a (*.f64 (*.f64 z b) t)) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (*.f64 (*.f64 k y1) (*.f64 z i)))))))))
45.5b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 -1 (*.f64 (-.f64 (+.f64 (*.f64 c (*.f64 y4 t)) (*.f64 y1 (*.f64 a x))) (+.f64 (*.f64 c (*.f64 y0 x)) (*.f64 a (*.f64 t y5)))) y2)))
45.8b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 t (-.f64 (+.f64 (*.f64 y4 (*.f64 j b)) (+.f64 (*.f64 a (*.f64 y5 y2)) (*.f64 c (*.f64 i z)))) (+.f64 (*.f64 a (*.f64 b z)) (+.f64 (*.f64 c (*.f64 y4 y2)) (*.f64 i (*.f64 j y5)))))))
29.9b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (neg.f64 c) (*.f64 y4 (-.f64 (*.f64 t y2) (*.f64 y y3)))) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))))
Compiler

Compiled 36701 to 4435 computations (87.9% saved)

localize68.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
6.7b
(fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))))
7.2b
(fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))
8.4b
(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))
10.4b
(*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4)))

prune1.0s (0.7%)

Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New3170317
Fresh01818
Picked011
Done000
Total31719336
Error
6.8b
Counts
336 → 19
Alt Table
StatusErrorProgram
42.1b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (neg.f64 (*.f64 b (-.f64 (+.f64 (*.f64 y0 (*.f64 j x)) (+.f64 (*.f64 (*.f64 k y4) y) (*.f64 a (*.f64 z t)))) (+.f64 (*.f64 (*.f64 y4 t) j) (+.f64 (*.f64 k (*.f64 z y0)) (*.f64 a (*.f64 x y))))))))
40.7b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (*.f64 j (+.f64 (*.f64 (*.f64 y4 t) b) (-.f64 (*.f64 y1 (*.f64 i x)) (+.f64 (*.f64 (*.f64 y0 b) x) (*.f64 i (*.f64 t y5))))))))
47.2b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 z (-.f64 (+.f64 (*.f64 k (*.f64 y0 b)) (+.f64 (*.f64 a (*.f64 y1 y3)) (*.f64 c (*.f64 i t)))) (+.f64 (*.f64 k (*.f64 i y1)) (+.f64 (*.f64 c (*.f64 y0 y3)) (*.f64 a (*.f64 t b)))))))
35.1b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (-.f64 (+.f64 (*.f64 y1 (*.f64 i (*.f64 j x))) (+.f64 (*.f64 y4 (*.f64 t (*.f64 j b))) (+.f64 (*.f64 a (*.f64 y (*.f64 b x))) (*.f64 k (*.f64 y (*.f64 i y5)))))) (+.f64 (*.f64 y0 (*.f64 b (*.f64 j x))) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (+.f64 (*.f64 c (*.f64 y (*.f64 i x))) (*.f64 k (*.f64 y4 (*.f64 y b))))))))))
29.8b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4))) (-.f64 (+.f64 (*.f64 c (*.f64 y0 (*.f64 y2 x))) (+.f64 (*.f64 a (*.f64 y (*.f64 b x))) (+.f64 (*.f64 y4 (*.f64 t (*.f64 b j))) (+.f64 (*.f64 k (*.f64 y0 (*.f64 b z))) (+.f64 (*.f64 i (*.f64 y1 (*.f64 j x))) (+.f64 (*.f64 a (*.f64 y1 (*.f64 y3 z))) (+.f64 (*.f64 c (*.f64 i (*.f64 t z))) (*.f64 k (*.f64 i (*.f64 y y5)))))))))) (+.f64 (*.f64 c (*.f64 y0 (*.f64 y3 z))) (+.f64 (*.f64 y1 (*.f64 a (*.f64 x y2))) (+.f64 (*.f64 y0 (*.f64 b (*.f64 j x))) (+.f64 (*.f64 c (*.f64 y (*.f64 i x))) (+.f64 (*.f64 a (*.f64 t (*.f64 b z))) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (+.f64 (*.f64 k (*.f64 i (*.f64 y1 z))) (*.f64 k (*.f64 y4 (*.f64 y b)))))))))))))
47.0b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 y3 (-.f64 (+.f64 (*.f64 c (*.f64 y4 y)) (*.f64 y1 (*.f64 a z))) (+.f64 (*.f64 c (*.f64 y0 z)) (*.f64 y (*.f64 a y5))))))
▶29.6b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (neg.f64 (*.f64 (-.f64 (*.f64 a y5) (*.f64 c y4)) (*.f64 y y3))) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))))
31.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (-.f64 (+.f64 (*.f64 k (*.f64 y0 (*.f64 z b))) (+.f64 (*.f64 a (*.f64 t (*.f64 y5 y2))) (+.f64 (*.f64 y4 (*.f64 t (*.f64 b j))) (+.f64 (*.f64 a (*.f64 y1 (*.f64 y3 z))) (+.f64 (*.f64 c (*.f64 y4 (*.f64 y y3))) (+.f64 (*.f64 c (*.f64 i (*.f64 t z))) (+.f64 (*.f64 c (*.f64 y0 (*.f64 x y2))) (+.f64 (*.f64 y (*.f64 a (*.f64 b x))) (+.f64 (*.f64 y1 (*.f64 i (*.f64 j x))) (*.f64 k (*.f64 i (*.f64 y y5)))))))))))) (+.f64 (*.f64 y (*.f64 a (*.f64 y3 y5))) (+.f64 (*.f64 c (*.f64 y0 (*.f64 y3 z))) (+.f64 (*.f64 c (*.f64 y (*.f64 i x))) (+.f64 (*.f64 a (*.f64 t (*.f64 z b))) (+.f64 (*.f64 c (*.f64 y4 (*.f64 t y2))) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (+.f64 (*.f64 k (*.f64 y4 (*.f64 y b))) (+.f64 (*.f64 y1 (*.f64 a (*.f64 x y2))) (+.f64 (*.f64 y0 (*.f64 j (*.f64 b x))) (*.f64 k (*.f64 y1 (*.f64 i z))))))))))))))
✓27.5b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4)))) 3) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))))
39.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4))) (*.f64 i (-.f64 (fma.f64 k (*.f64 y5 y) (fma.f64 y1 (*.f64 j x) (*.f64 c (*.f64 t z)))) (fma.f64 c (*.f64 y x) (fma.f64 t (*.f64 y5 j) (*.f64 k (*.f64 z y1))))))))
42.0b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 (-.f64 (+.f64 (*.f64 a (*.f64 y b)) (+.f64 (*.f64 c (*.f64 y0 y2)) (*.f64 i (*.f64 y1 j)))) (+.f64 (*.f64 c (*.f64 y i)) (+.f64 (*.f64 y0 (*.f64 b j)) (*.f64 y1 (*.f64 a y2))))) x))
46.7b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 (-.f64 (+.f64 (*.f64 k (*.f64 i y)) (*.f64 a (*.f64 t y2))) (+.f64 (*.f64 a (*.f64 y y3)) (*.f64 i (*.f64 t j)))) y5))
42.3b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4))) (neg.f64 (*.f64 y2 (-.f64 (*.f64 y1 (*.f64 a x)) (*.f64 (*.f64 c y0) x))))))
47.1b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4))) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (cbrt.f64 (pow.f64 (fma.f64 (fma.f64 t j (*.f64 (neg.f64 k) y)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)) (fma.f64 (-.f64 (*.f64 y x) (*.f64 t z)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y1 i) (*.f64 y0 b))))) 3)))))
45.3b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 y (-.f64 (+.f64 (*.f64 (*.f64 b a) x) (+.f64 (*.f64 c (*.f64 y4 y3)) (*.f64 k (*.f64 i y5)))) (+.f64 (*.f64 c (*.f64 i x)) (+.f64 (*.f64 k (*.f64 b y4)) (*.f64 a (*.f64 y3 y5)))))))
40.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (-.f64 (+.f64 (*.f64 a (*.f64 t (*.f64 y5 y2))) (+.f64 (+.f64 (*.f64 (*.f64 c y0) (*.f64 x y2)) (*.f64 a (*.f64 (*.f64 b y) x))) (+.f64 (+.f64 (*.f64 k (*.f64 (*.f64 y0 b) z)) (*.f64 y1 (*.f64 (*.f64 i j) x))) (+.f64 (*.f64 a (*.f64 (*.f64 y1 y3) z)) (+.f64 (*.f64 (*.f64 c i) (*.f64 z t)) (*.f64 (*.f64 k i) (*.f64 y y5))))))) (+.f64 (+.f64 (*.f64 (*.f64 c y0) (*.f64 z y3)) (*.f64 y (*.f64 a (*.f64 y3 y5)))) (+.f64 (+.f64 (*.f64 a (*.f64 y1 (*.f64 x y2))) (*.f64 (*.f64 y0 j) (*.f64 b x))) (+.f64 (*.f64 c (*.f64 i (*.f64 x y))) (+.f64 (*.f64 a (*.f64 (*.f64 z b) t)) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (*.f64 (*.f64 k y1) (*.f64 z i)))))))))
45.5b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 -1 (*.f64 (-.f64 (+.f64 (*.f64 c (*.f64 y4 t)) (*.f64 y1 (*.f64 a x))) (+.f64 (*.f64 c (*.f64 y0 x)) (*.f64 a (*.f64 t y5)))) y2)))
45.8b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 t (-.f64 (+.f64 (*.f64 y4 (*.f64 j b)) (+.f64 (*.f64 a (*.f64 y5 y2)) (*.f64 c (*.f64 i z)))) (+.f64 (*.f64 a (*.f64 b z)) (+.f64 (*.f64 c (*.f64 y4 y2)) (*.f64 i (*.f64 j y5)))))))
29.9b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (neg.f64 c) (*.f64 y4 (-.f64 (*.f64 t y2) (*.f64 y y3)))) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))))
Compiler

Compiled 37542 to 5028 computations (86.6% saved)

localize61.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
6.7b
(fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))))
7.2b
(fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))
8.4b
(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0)))
✓10.1b
(*.f64 (-.f64 (*.f64 a y5) (*.f64 c y4)) (*.f64 y y3))

series31.0ms (0%)

Counts
1 → 56
Calls

1 calls:

31.0ms
(*.f64 (-.f64 (*.f64 a y5) (*.f64 c y4)) (*.f64 y y3))

rewrite53.0ms (0%)

Algorithm
1×batch-egg-rewrite
Rules
456×fma-def_binary64
240×expm1-udef_binary64
240×log1p-udef_binary64
194×fma-neg_binary64
133×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01216
125916
2345516
Stop Event
1×node limit
Counts
1 → 69
Calls

1 calls:

51.0ms
(*.f64 (-.f64 (*.f64 a y5) (*.f64 c y4)) (*.f64 y y3))

simplify146.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
845×fma-neg_binary64
842×fma-def_binary64
344×cancel-sign-sub-inv_binary64
251×distribute-rgt-neg-in_binary64
247×unsub-neg_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0291100
180836
2226836
3544836
4890836
51536836
62414836
73059836
83687836
93979836
104214836
114246836
124246836
134438836
144526836
154526836
164526836
174526836
184526836
Stop Event
1×saturated
Counts
125 → 78

prune1.2s (0.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New3722374
Fresh11617
Picked101
Done101
Total37518393
Error
6.8b
Counts
393 → 18
Alt Table
StatusErrorProgram
42.1b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (neg.f64 (*.f64 b (-.f64 (+.f64 (*.f64 y0 (*.f64 j x)) (+.f64 (*.f64 (*.f64 k y4) y) (*.f64 a (*.f64 z t)))) (+.f64 (*.f64 (*.f64 y4 t) j) (+.f64 (*.f64 k (*.f64 z y0)) (*.f64 a (*.f64 x y))))))))
40.7b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (*.f64 j (+.f64 (*.f64 (*.f64 y4 t) b) (-.f64 (*.f64 y1 (*.f64 i x)) (+.f64 (*.f64 (*.f64 y0 b) x) (*.f64 i (*.f64 t y5))))))))
45.5b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 -1 (*.f64 (-.f64 (+.f64 (*.f64 c (*.f64 y4 t)) (*.f64 y1 (*.f64 a x))) (+.f64 (*.f64 c (*.f64 y0 x)) (*.f64 a (*.f64 t y5)))) y2)))
29.5b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (neg.f64 (*.f64 y3 (*.f64 y4 (*.f64 y (neg.f64 c))))) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))))
47.2b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 z (-.f64 (+.f64 (*.f64 k (*.f64 y0 b)) (+.f64 (*.f64 a (*.f64 y1 y3)) (*.f64 c (*.f64 i t)))) (+.f64 (*.f64 k (*.f64 i y1)) (+.f64 (*.f64 c (*.f64 y0 y3)) (*.f64 a (*.f64 t b)))))))
35.1b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (fma.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 a y5) (*.f64 c y4)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (-.f64 (+.f64 (*.f64 y1 (*.f64 i (*.f64 j x))) (+.f64 (*.f64 y4 (*.f64 t (*.f64 j b))) (+.f64 (*.f64 a (*.f64 y (*.f64 b x))) (*.f64 k (*.f64 y (*.f64 i y5)))))) (+.f64 (*.f64 y0 (*.f64 b (*.f64 j x))) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (+.f64 (*.f64 c (*.f64 y (*.f64 i x))) (*.f64 k (*.f64 y4 (*.f64 y b))))))))))
29.8b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4))) (-.f64 (+.f64 (*.f64 c (*.f64 y0 (*.f64 y2 x))) (+.f64 (*.f64 a (*.f64 y (*.f64 b x))) (+.f64 (*.f64 y4 (*.f64 t (*.f64 b j))) (+.f64 (*.f64 k (*.f64 y0 (*.f64 b z))) (+.f64 (*.f64 i (*.f64 y1 (*.f64 j x))) (+.f64 (*.f64 a (*.f64 y1 (*.f64 y3 z))) (+.f64 (*.f64 c (*.f64 i (*.f64 t z))) (*.f64 k (*.f64 i (*.f64 y y5)))))))))) (+.f64 (*.f64 c (*.f64 y0 (*.f64 y3 z))) (+.f64 (*.f64 y1 (*.f64 a (*.f64 x y2))) (+.f64 (*.f64 y0 (*.f64 b (*.f64 j x))) (+.f64 (*.f64 c (*.f64 y (*.f64 i x))) (+.f64 (*.f64 a (*.f64 t (*.f64 b z))) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (+.f64 (*.f64 k (*.f64 i (*.f64 y1 z))) (*.f64 k (*.f64 y4 (*.f64 y b)))))))))))))
47.0b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 y3 (-.f64 (+.f64 (*.f64 c (*.f64 y4 y)) (*.f64 y1 (*.f64 a z))) (+.f64 (*.f64 c (*.f64 y0 z)) (*.f64 y (*.f64 a y5))))))
45.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (neg.f64 (*.f64 (-.f64 (*.f64 a y5) (*.f64 c y4)) (*.f64 y y3))) (*.f64 y (-.f64 (fma.f64 a (*.f64 b x) (*.f64 k (*.f64 y5 i))) (fma.f64 c (*.f64 i x) (*.f64 k (*.f64 y4 b)))))))
39.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4))) (*.f64 i (-.f64 (fma.f64 k (*.f64 y5 y) (fma.f64 y1 (*.f64 j x) (*.f64 c (*.f64 t z)))) (fma.f64 c (*.f64 y x) (fma.f64 t (*.f64 y5 j) (*.f64 k (*.f64 z y1))))))))
42.0b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 (-.f64 (+.f64 (*.f64 a (*.f64 y b)) (+.f64 (*.f64 c (*.f64 y0 y2)) (*.f64 i (*.f64 y1 j)))) (+.f64 (*.f64 c (*.f64 y i)) (+.f64 (*.f64 y0 (*.f64 b j)) (*.f64 y1 (*.f64 a y2))))) x))
46.7b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 (-.f64 (+.f64 (*.f64 k (*.f64 i y)) (*.f64 a (*.f64 t y2))) (+.f64 (*.f64 a (*.f64 y y3)) (*.f64 i (*.f64 t j)))) y5))
31.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (-.f64 (+.f64 (*.f64 k (*.f64 y0 (*.f64 z b))) (+.f64 (*.f64 a (*.f64 t (*.f64 y5 y2))) (+.f64 (*.f64 y4 (*.f64 t (*.f64 b j))) (+.f64 (*.f64 a (*.f64 y1 (*.f64 y3 z))) (+.f64 (*.f64 c (*.f64 y4 (*.f64 y y3))) (+.f64 (*.f64 c (*.f64 i (*.f64 t z))) (+.f64 (*.f64 c (*.f64 y0 (*.f64 x y2))) (+.f64 (*.f64 y (*.f64 a (*.f64 b x))) (+.f64 (*.f64 y1 (*.f64 i (*.f64 j x))) (*.f64 k (*.f64 i (*.f64 y y5)))))))))))) (+.f64 (*.f64 y (*.f64 a (*.f64 y3 y5))) (+.f64 (*.f64 c (*.f64 y0 (*.f64 y3 z))) (+.f64 (*.f64 c (*.f64 y (*.f64 i x))) (+.f64 (*.f64 a (*.f64 t (*.f64 z b))) (+.f64 (*.f64 c (*.f64 y4 (*.f64 t y2))) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (+.f64 (*.f64 k (*.f64 y4 (*.f64 y b))) (+.f64 (*.f64 y1 (*.f64 a (*.f64 x y2))) (+.f64 (*.f64 y0 (*.f64 j (*.f64 b x))) (*.f64 k (*.f64 y1 (*.f64 i z))))))))))))))
42.3b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4))) (neg.f64 (*.f64 y2 (-.f64 (*.f64 y1 (*.f64 a x)) (*.f64 (*.f64 c y0) x))))))
40.4b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (-.f64 (+.f64 (*.f64 a (*.f64 t (*.f64 y5 y2))) (+.f64 (+.f64 (*.f64 (*.f64 c y0) (*.f64 x y2)) (*.f64 a (*.f64 (*.f64 b y) x))) (+.f64 (+.f64 (*.f64 k (*.f64 (*.f64 y0 b) z)) (*.f64 y1 (*.f64 (*.f64 i j) x))) (+.f64 (*.f64 a (*.f64 (*.f64 y1 y3) z)) (+.f64 (*.f64 (*.f64 c i) (*.f64 z t)) (*.f64 (*.f64 k i) (*.f64 y y5))))))) (+.f64 (+.f64 (*.f64 (*.f64 c y0) (*.f64 z y3)) (*.f64 y (*.f64 a (*.f64 y3 y5)))) (+.f64 (+.f64 (*.f64 a (*.f64 y1 (*.f64 x y2))) (*.f64 (*.f64 y0 j) (*.f64 b x))) (+.f64 (*.f64 c (*.f64 i (*.f64 x y))) (+.f64 (*.f64 a (*.f64 (*.f64 z b) t)) (+.f64 (*.f64 i (*.f64 t (*.f64 j y5))) (*.f64 (*.f64 k y1) (*.f64 z i)))))))))
45.8b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (*.f64 t (-.f64 (+.f64 (*.f64 y4 (*.f64 j b)) (+.f64 (*.f64 a (*.f64 y5 y2)) (*.f64 c (*.f64 i z)))) (+.f64 (*.f64 a (*.f64 b z)) (+.f64 (*.f64 c (*.f64 y4 y2)) (*.f64 i (*.f64 j y5)))))))
29.9b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (neg.f64 c) (*.f64 y4 (-.f64 (*.f64 t y2) (*.f64 y y3)))) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (*.f64 j t) (*.f64 k y)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 b a) (*.f64 i c)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 i y1) (*.f64 b y0))))))))
47.1b
(fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (+.f64 (*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4))) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (fma.f64 y0 c (*.f64 (neg.f64 a) y1)) (cbrt.f64 (pow.f64 (fma.f64 (fma.f64 t j (*.f64 (neg.f64 k) y)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)) (fma.f64 (-.f64 (*.f64 y x) (*.f64 t z)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y1 i) (*.f64 y0 b))))) 3)))))
Compiler

Compiled 39692 to 3699 computations (90.7% saved)

regimes1.7min (69.3%)

Compiler

Compiled 1162696 to 632459 computations (45.6% saved)

Profiling

Loading profile data...