Details

Time bar (total: 17.6s)

analyze1.1s (6.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
0%99.9%0.1%7
0%74.9%25.1%8
0%74.9%25.1%9
9.4%65.5%25.1%10
9.4%53%37.6%11
14%48.4%37.6%12
16.4%46%37.6%13
16.4%39.8%43.8%14
Compiler

Compiled 31 to 21 computations (32.3% saved)

sample66.0ms (0.4%)

Algorithm
1×intervals
Results
17.0ms186×body128valid
12.0ms30×body1024valid
8.0ms24×body1024nan
5.0ms21×body512valid
4.0ms48×body128nan
4.0ms15×body512nan
3.0ms19×body256valid
1.0ms6×body256nan
Compiler

Compiled 64 to 44 computations (31.3% saved)

simplify57.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
667×fma-def_binary64
506×fma-neg_binary64
500×distribute-rgt-in_binary64
420×distribute-lft-in_binary64
403×cancel-sign-sub-inv_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01939
14839
210339
322239
445539
597539
6213639
7439039
8497139

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
38.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶38.0b
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l))))
Compiler

Compiled 87 to 57 computations (34.5% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l))))
0.5b
(*.f64 (sqrt.f64 2) t)
9.2b
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l))
19.5b
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l)))

rewrite303.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Error
32.1b
Rules
27×add-cube-cbrt_binary64
23×add-sqr-sqrt_binary64
18×add-exp-log_binary64
18×add-cbrt-cube_binary64
17×pow1_binary64
Counts
4 → 170
Calls

4 calls:

20.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l))
18.0ms
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l))))
13.0ms
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l)))
12.0ms
(*.f64 (sqrt.f64 2) t)
Compiler

Compiled 5869 to 3209 computations (45.3% saved)

series660.0ms (3.7%)

Error
3.3b
Counts
4 → 62
Calls

4 calls:

340.0ms
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l))))
158.0ms
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l)))
91.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l))
6.0ms
(*.f64 (sqrt.f64 2) t)
Compiler

Compiled 10008 to 8181 computations (18.3% saved)

simplify161.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
506×times-frac_binary64
403×associate-/r*_binary64
390×fma-def_binary64
376×associate-/l*_binary64
151×associate-*l/_binary64
Counts
232 → 134
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
050510290
115639755
250109755

prune111.0ms (0.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1286134
Fresh000
Picked011
Done000
Total1287135
Error
3.3b
Counts
135 → 7
Alt Table
StatusErrorProgram
63.4b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 l (sqrt.f64 (+.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))) -1))))
✓38.0b
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l))))
36.9b
(*.f64 (sqrt.f64 (/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))))) (neg.f64 (sqrt.f64 2)))
37.6b
(/.f64 (*.f64 (sqrt.f64 2) t) (fma.f64 t (sqrt.f64 2) (fma.f64 2 (/.f64 t (*.f64 (sqrt.f64 2) x)) (/.f64 (*.f64 l l) (*.f64 t (*.f64 (sqrt.f64 2) x))))))
▶28.4b
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 t t) (*.f64 x x)) (fma.f64 4 (/.f64 (*.f64 t t) x) (fma.f64 4 (/.f64 (*.f64 t t) (pow.f64 x 3)) (fma.f64 2 (/.f64 (*.f64 l l) (*.f64 x x)) (*.f64 2 (+.f64 (+.f64 (/.f64 (*.f64 l l) x) (*.f64 t t)) (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
36.5b
(/.f64 (*.f64 (sqrt.f64 2) t) (neg.f64 (*.f64 t (sqrt.f64 (fma.f64 2 (/.f64 x (-.f64 x 1)) (/.f64 2 (-.f64 x 1)))))))
37.8b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 t (sqrt.f64 (fma.f64 2 (/.f64 x (-.f64 x 1)) (/.f64 2 (-.f64 x 1))))))
Compiler

Compiled 5645 to 3478 computations (38.4% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

10.6b
(/.f64 (*.f64 l l) (*.f64 x x))
18.3b
(/.f64 (*.f64 t t) (pow.f64 x 3))
18.6b
(/.f64 (*.f64 t t) (*.f64 x x))
24.2b
(sqrt.f64 (fma.f64 4 (/.f64 (*.f64 t t) (*.f64 x x)) (fma.f64 4 (/.f64 (*.f64 t t) x) (fma.f64 4 (/.f64 (*.f64 t t) (pow.f64 x 3)) (fma.f64 2 (/.f64 (*.f64 l l) (*.f64 x x)) (*.f64 2 (+.f64 (+.f64 (/.f64 (*.f64 l l) x) (*.f64 t t)) (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))

rewrite273.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
3.2b
Rules
28×add-exp-log_binary64
27×add-cube-cbrt_binary64
24×add-cbrt-cube_binary64
18×add-sqr-sqrt_binary64
16×pow1_binary64
Counts
4 → 173
Calls

4 calls:

17.0ms
(/.f64 (*.f64 t t) (*.f64 x x))
15.0ms
(/.f64 (*.f64 l l) (*.f64 x x))
14.0ms
(/.f64 (*.f64 t t) (pow.f64 x 3))
9.0ms
(sqrt.f64 (fma.f64 4 (/.f64 (*.f64 t t) (*.f64 x x)) (fma.f64 4 (/.f64 (*.f64 t t) x) (fma.f64 4 (/.f64 (*.f64 t t) (pow.f64 x 3)) (fma.f64 2 (/.f64 (*.f64 l l) (*.f64 x x)) (*.f64 2 (+.f64 (+.f64 (/.f64 (*.f64 l l) x) (*.f64 t t)) (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))
Compiler

Compiled 9191 to 3522 computations (61.7% saved)

series609.0ms (3.5%)

Error
0.1b
Counts
4 → 42
Calls

4 calls:

481.0ms
(sqrt.f64 (fma.f64 4 (/.f64 (*.f64 t t) (*.f64 x x)) (fma.f64 4 (/.f64 (*.f64 t t) x) (fma.f64 4 (/.f64 (*.f64 t t) (pow.f64 x 3)) (fma.f64 2 (/.f64 (*.f64 l l) (*.f64 x x)) (*.f64 2 (+.f64 (+.f64 (/.f64 (*.f64 l l) x) (*.f64 t t)) (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))
22.0ms
(/.f64 (*.f64 t t) (pow.f64 x 3))
22.0ms
(/.f64 (*.f64 t t) (*.f64 x x))
21.0ms
(/.f64 (*.f64 l l) (*.f64 x x))
Compiler

Compiled 12206 to 9567 computations (21.6% saved)

simplify164.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
505×times-frac_binary64
440×associate-/r*_binary64
334×associate-*r*_binary64
307×fma-def_binary64
301×associate-*l*_binary64
Counts
215 → 107
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
04197384
111886312
249906312
349816312

prune114.0ms (0.6%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1034107
Fresh145
Picked011
Done011
Total10410114
Error
0.1b
Counts
114 → 10
Alt Table
StatusErrorProgram
36.9b
(*.f64 (sqrt.f64 (/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))))) (neg.f64 (sqrt.f64 2)))
37.6b
(/.f64 (*.f64 (sqrt.f64 2) t) (fma.f64 t (sqrt.f64 2) (fma.f64 2 (/.f64 t (*.f64 (sqrt.f64 2) x)) (/.f64 (*.f64 l l) (*.f64 t (*.f64 (sqrt.f64 2) x))))))
56.8b
(/.f64 (*.f64 (sqrt.f64 2) t) (neg.f64 (*.f64 l (sqrt.f64 (+.f64 (/.f64 2 x) (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (*.f64 x x))))))))
56.5b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 l (sqrt.f64 (+.f64 (/.f64 2 x) (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (*.f64 x x)))))))
✓28.4b
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 t t) (*.f64 x x)) (fma.f64 4 (/.f64 (*.f64 t t) x) (fma.f64 4 (/.f64 (*.f64 t t) (pow.f64 x 3)) (fma.f64 2 (/.f64 (*.f64 l l) (*.f64 x x)) (*.f64 2 (+.f64 (+.f64 (/.f64 (*.f64 l l) x) (*.f64 t t)) (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
✓38.0b
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l))))
36.5b
(/.f64 (*.f64 (sqrt.f64 2) t) (neg.f64 (*.f64 t (sqrt.f64 (fma.f64 2 (/.f64 x (-.f64 x 1)) (/.f64 2 (-.f64 x 1)))))))
37.8b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 t (sqrt.f64 (fma.f64 2 (/.f64 x (-.f64 x 1)) (/.f64 2 (-.f64 x 1))))))
▶28.6b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))) (cbrt.f64 (sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))))
38.9b
(/.f64 (*.f64 (sqrt.f64 2) t) (cbrt.f64 (pow.f64 (sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))) 3)))
Compiler

Compiled 6097 to 3106 computations (49.1% saved)

localize42.0ms (0.2%)

Local error

Found 4 expressions with local error:

18.6b
(/.f64 (*.f64 t t) (*.f64 x x))
18.6b
(/.f64 (*.f64 t t) (*.f64 x x))
24.2b
(sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
25.0b
(cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))

rewrite349.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
24×add-exp-log_binary64
23×add-cube-cbrt_binary64
18×add-cbrt-cube_binary64
18×add-sqr-sqrt_binary64
14×pow1_binary64
Counts
4 → 157
Calls

4 calls:

17.0ms
(/.f64 (*.f64 t t) (*.f64 x x))
15.0ms
(/.f64 (*.f64 t t) (*.f64 x x))
10.0ms
(sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
9.0ms
(cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
Compiler

Compiled 14097 to 5442 computations (61.4% saved)

series1.1s (6.4%)

Error
0.1b
Counts
4 → 52
Calls

4 calls:

514.0ms
(sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
448.0ms
(cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
32.0ms
(/.f64 (*.f64 t t) (*.f64 x x))
31.0ms
(/.f64 (*.f64 t t) (*.f64 x x))
Compiler

Compiled 24195 to 17529 computations (27.6% saved)

simplify195.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
356×fma-def_binary64
294×associate-/r*_binary64
293×times-frac_binary64
264×associate-*r*_binary64
254×associate-*l*_binary64
Counts
209 → 117
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
04439620
113168454
249708454
350198454

prune224.0ms (1.3%)

Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New1161117
Fresh077
Picked011
Done022
Total11611127
Error
0.1b
Counts
127 → 11
Alt Table
StatusErrorProgram
36.9b
(*.f64 (sqrt.f64 (/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))))) (neg.f64 (sqrt.f64 2)))
37.6b
(/.f64 (*.f64 (sqrt.f64 2) t) (fma.f64 t (sqrt.f64 2) (fma.f64 2 (/.f64 t (*.f64 (sqrt.f64 2) x)) (/.f64 (*.f64 l l) (*.f64 t (*.f64 (sqrt.f64 2) x))))))
56.8b
(/.f64 (*.f64 (sqrt.f64 2) t) (neg.f64 (*.f64 l (sqrt.f64 (+.f64 (/.f64 2 x) (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (*.f64 x x))))))))
56.5b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 l (sqrt.f64 (+.f64 (/.f64 2 x) (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (*.f64 x x)))))))
✓28.4b
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 t t) (*.f64 x x)) (fma.f64 4 (/.f64 (*.f64 t t) x) (fma.f64 4 (/.f64 (*.f64 t t) (pow.f64 x 3)) (fma.f64 2 (/.f64 (*.f64 l l) (*.f64 x x)) (*.f64 2 (+.f64 (+.f64 (/.f64 (*.f64 l l) x) (*.f64 t t)) (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
▶28.7b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))) (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))) (cbrt.f64 (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))) (cbrt.f64 (sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))))
✓38.0b
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l))))
36.5b
(/.f64 (*.f64 (sqrt.f64 2) t) (neg.f64 (*.f64 t (sqrt.f64 (fma.f64 2 (/.f64 x (-.f64 x 1)) (/.f64 2 (-.f64 x 1)))))))
37.8b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 t (sqrt.f64 (fma.f64 2 (/.f64 x (-.f64 x 1)) (/.f64 2 (-.f64 x 1))))))
✓28.6b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))) (cbrt.f64 (sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))))
38.9b
(/.f64 (*.f64 (sqrt.f64 2) t) (cbrt.f64 (pow.f64 (sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))) 3)))
Compiler

Compiled 12315 to 5655 computations (54.1% saved)

localize67.0ms (0.4%)

Local error

Found 4 expressions with local error:

24.2b
(sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
25.0b
(cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
25.0b
(cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
25.0b
(cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))

rewrite350.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
27×add-cube-cbrt_binary64
18×add-sqr-sqrt_binary64
13×pow1/3_binary64
12×log1p-expm1-u_binary64
12×expm1-log1p-u_binary64
Counts
4 → 125
Calls

4 calls:

12.0ms
(cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
11.0ms
(sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
10.0ms
(cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
10.0ms
(cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
Compiler

Compiled 20052 to 7848 computations (60.9% saved)

series2.3s (13.2%)

Error
0.1b
Counts
4 → 76
Calls

4 calls:

587.0ms
(sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
529.0ms
(cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
489.0ms
(cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
488.0ms
(cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
Compiler

Compiled 57712 to 36808 computations (36.2% saved)

simplify283.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
355×fma-def_binary64
263×associate-/r*_binary64
247×*-commutative_binary64
233×associate-*r*_binary64
215×times-frac_binary64
Counts
201 → 104
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
041615496
1123214384
2474314339
3499514339

prune288.0ms (1.6%)

Pruning

13 alts after pruning (9 fresh and 4 done)

PrunedKeptTotal
New1022104
Fresh077
Picked011
Done033
Total10213115
Error
0.1b
Counts
115 → 13
Alt Table
StatusErrorProgram
28.8b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))) (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))) (cbrt.f64 (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))) (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))) (cbrt.f64 (sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))))))
38.9b
(/.f64 (*.f64 (sqrt.f64 2) t) (cbrt.f64 (pow.f64 (sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))) 3)))
36.9b
(*.f64 (sqrt.f64 (/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))))) (neg.f64 (sqrt.f64 2)))
37.6b
(/.f64 (*.f64 (sqrt.f64 2) t) (fma.f64 t (sqrt.f64 2) (fma.f64 2 (/.f64 t (*.f64 (sqrt.f64 2) x)) (/.f64 (*.f64 l l) (*.f64 t (*.f64 (sqrt.f64 2) x))))))
29.9b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))) (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))) (cbrt.f64 (*.f64 (pow.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))) 1/6) (pow.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3))))))))) 1/6)))) (cbrt.f64 (sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))))
56.8b
(/.f64 (*.f64 (sqrt.f64 2) t) (neg.f64 (*.f64 l (sqrt.f64 (+.f64 (/.f64 2 x) (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (*.f64 x x))))))))
56.5b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 l (sqrt.f64 (+.f64 (/.f64 2 x) (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (*.f64 x x)))))))
28.4b
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 t t) (*.f64 x x)) (fma.f64 4 (/.f64 (*.f64 t t) x) (fma.f64 4 (/.f64 (*.f64 t t) (pow.f64 x 3)) (fma.f64 2 (/.f64 (*.f64 l l) (*.f64 x x)) (*.f64 2 (+.f64 (+.f64 (/.f64 (*.f64 l l) x) (*.f64 t t)) (/.f64 (*.f64 l l) (pow.f64 x 3))))))))))
28.7b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))) (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))) (cbrt.f64 (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (fma.f64 (/.f64 l x) (/.f64 l x) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))) (cbrt.f64 (sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))))
38.0b
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l))))
36.5b
(/.f64 (*.f64 (sqrt.f64 2) t) (neg.f64 (*.f64 t (sqrt.f64 (fma.f64 2 (/.f64 x (-.f64 x 1)) (/.f64 2 (-.f64 x 1)))))))
37.8b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 t (sqrt.f64 (fma.f64 2 (/.f64 x (-.f64 x 1)) (/.f64 2 (-.f64 x 1))))))
28.6b
(/.f64 (*.f64 (sqrt.f64 2) t) (*.f64 (cbrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))) (cbrt.f64 (sqrt.f64 (fma.f64 (/.f64 (*.f64 t t) (*.f64 x x)) 4 (fma.f64 (/.f64 (*.f64 t t) x) 4 (fma.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) 4 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (*.f64 x x)) (fma.f64 l (/.f64 l x) (fma.f64 t t (/.f64 (*.f64 l l) (pow.f64 x 3)))))))))))))
Compiler

Compiled 21395 to 9435 computations (55.9% saved)

regimes4.8s (27.1%)

Accuracy

Total 10.5b remaining (96.7%)

Threshold costs 0b (0%)

Compiler

Compiled 118724 to 65467 computations (44.9% saved)

bsearch429.0ms (2.4%)

Steps
ItersRangePoint
9
8.0918016622793e+52
7.899565219857227e+58
3.1941009868290845e+58
10
-2.9510403850553077e-280
-4.399730720654392e-294
-2.9016161173507863e-280
5
-9.423699919226617e-169
-4.6445606335603244e-169
-4.687014137306293e-169
8
-3.123105363416988e+42
-8.675516749680992e+39
-1.0255551743284268e+42
Compiler

Compiled 4 to 3 computations (25% saved)

simplify10.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
064300
189300
2100300
3106300
4108300
5106300

end5.0ms (0%)

Compiler

Compiled 202 to 130 computations (35.6% saved)

sample3.5s (19.7%)

Algorithm
1×intervals
Results
988.0ms1123×body1024valid
516.0ms5340×body128valid
294.0ms834×body1024nan
272.0ms925×body512valid
142.0ms556×body512nan
138.0ms1575×body128nan
95.0ms543×body256valid
50.0ms278×body256nan
31.0ms69×body2048valid
Compiler

Compiled 1401 to 727 computations (48.1% saved)

Profiling

Loading profile data...