Details

Time bar (total: 26.2s)

analyze2.1s (8%)

Algorithm
2×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05008220
033
133
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%4
25%74.9%0.1%5
25%74.9%0.1%5
25%74.9%0.1%6
25%74.9%0.1%6
25%74.9%0.1%7
25%74.9%0.1%7
37.4%62.4%0.1%8
37.4%62.4%0.1%8
37.4%62.4%0.1%9
37.4%62.4%0.1%9
37.4%62.4%0.1%10
37.4%62.4%0.1%10
43.7%56.2%0.1%11
43.7%56.2%0.1%11
43.7%56.2%0.1%12
43.7%56.2%0.1%12
43.7%56.2%0.1%13
43.7%56.2%0.1%13
61.7%38.2%0.1%14
61.7%38.2%0.1%14
Compiler

Compiled 76 to 60 computations (21.1% saved)

sample318.0ms (1.2%)

Algorithm
2×intervals
Results
44.0ms512×body128valid
Compiler

Compiled 9841 to 8543 computations (13.2% saved)

simplify41.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
0523655

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
24.7b
Counts
2 → 1
Compiler

Compiled 74 to 58 computations (21.6% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
0.1b
(*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x)
0.1b
(*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x)
23.9b
(/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x) 6624073998258585/140737488355328))

rewrite372.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
21.6b
Rules
18×add-sqr-sqrt_binary64_10671
15×add-exp-log_binary64_10687 add-cbrt-cube_binary64_10685
12×add-cube-cbrt_binary64_10684 *-un-lft-identity_binary64_10649
10×pow1_binary64_10710
9×associate-*l*_binary64_10590 associate-*r*_binary64_10589
8×associate-/l/_binary64_10596 associate-*l/_binary64_10592
7×flip3-+_binary64_10652 flip-+_binary64_10623
4×prod-exp_binary64_10698 add-log-exp_binary64_10688 cbrt-unprod_binary64_10682 frac-times_binary64_10659
3×times-frac_binary64_10655 flip3--_binary64_10653 flip--_binary64_10624 associate-/r*_binary64_10593 pow-prod-down_binary64_10720 unswap-sqr_binary64_10617 *-commutative_binary64_10580
2×div-exp_binary64_10700 cbrt-undiv_binary64_10683 associate-*r/_binary64_10591 associate-/r/_binary64_10595
1×frac-2neg_binary64_10660 clear-num_binary64_10648 div-inv_binary64_10646 associate-/l*_binary64_10594
Counts
4 → 91
Calls

4 calls:

32.0ms
(/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x) 6624073998258585/140737488355328))
14.0ms
(*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x)
12.0ms
(*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x)
7.0ms
(*.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
Compiler

Compiled 4990 to 3544 computations (29% saved)

series2.5s (9.4%)

Error
0.9b
Counts
4 → 60
Calls

4 calls:

1.9s
(/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x) 6624073998258585/140737488355328))
256.0ms
(*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x)
77.0ms
(*.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
69.0ms
(*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x)
Compiler

Compiled 7568 to 6041 computations (20.2% saved)

simplify106.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
151 → 151
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049456077
149456077

prune502.0ms (1.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1447151
Fresh000
Picked101
Done000
Total1457152
Error
0.0b
Counts
152 → 7
Compiler

Compiled 7866 to 5554 computations (29.4% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
0.1b
(*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))
0.1b
(*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))
21.0b
(/.f64 (+.f64 z (*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))

rewrite311.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
24×add-sqr-sqrt_binary64_10671
18×add-cube-cbrt_binary64_10684 *-un-lft-identity_binary64_10649
12×add-exp-log_binary64_10687 add-cbrt-cube_binary64_10685
10×pow1_binary64_10710
9×times-frac_binary64_10655 associate-*l*_binary64_10590 associate-*r*_binary64_10589
6×associate-*r/_binary64_10591
5×flip3-+_binary64_10652 flip-+_binary64_10623
4×add-log-exp_binary64_10688
3×associate-/l*_binary64_10594 associate-/r*_binary64_10593 pow-prod-down_binary64_10720 prod-exp_binary64_10698 cbrt-unprod_binary64_10682 unswap-sqr_binary64_10617 distribute-rgt-in_binary64_10599 distribute-lft-in_binary64_10598 *-commutative_binary64_10580
2×associate-/l/_binary64_10596 associate-/r/_binary64_10595
1×div-exp_binary64_10700 cbrt-undiv_binary64_10683 frac-2neg_binary64_10660 clear-num_binary64_10648 div-inv_binary64_10646
Counts
4 → 97
Calls

4 calls:

7.0ms
(*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
7.0ms
(/.f64 (+.f64 z (*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))
6.0ms
(*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))
5.0ms
(*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))
Compiler

Compiled 5209 to 3709 computations (28.8% saved)

series2.1s (8%)

Error
0.0b
Counts
4 → 59
Calls

4 calls:

1.5s
(/.f64 (+.f64 z (*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))
251.0ms
(*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))
92.0ms
(*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
68.0ms
(*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))
Compiler

Compiled 6157 to 4920 computations (20.1% saved)

simplify87.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
051455273

prune468.0ms (1.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1533156
Fresh246
Picked101
Done000
Total1567163
Error
0.0b
Counts
163 → 7
Compiler

Compiled 7514 to 5339 computations (28.9% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.1b
(sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))
13.1b
(/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))))))
13.3b
(*.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))) (/.f64 (+.f64 z (*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))))
18.3b
(/.f64 (+.f64 z (*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))))))

rewrite1.4s (5.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
126×add-sqr-sqrt_binary64_10671
108×times-frac_binary64_10655
95×*-un-lft-identity_binary64_10649
69×add-cube-cbrt_binary64_10684
63×sqrt-prod_binary64_10665
36×associate-*l*_binary64_10590
24×associate-*r*_binary64_10589
20×add-exp-log_binary64_10687 add-cbrt-cube_binary64_10685
13×difference-of-squares_binary64_10618 distribute-lft-out--_binary64_10601
12×associate-/r*_binary64_10593
10×sqrt-div_binary64_10666
9×unswap-sqr_binary64_10617
8×associate-/r/_binary64_10595 associate-/l*_binary64_10594
7×pow1_binary64_10710
6×div-exp_binary64_10700 cbrt-undiv_binary64_10683 flip3-+_binary64_10652 flip-+_binary64_10623
4×add-log-exp_binary64_10688 div-inv_binary64_10646 associate-/l/_binary64_10596 prod-exp_binary64_10698 cbrt-unprod_binary64_10682
2×frac-2neg_binary64_10660 clear-num_binary64_10648
1×pow-prod-down_binary64_10720 frac-times_binary64_10659 associate-*l/_binary64_10592 associate-*r/_binary64_10591 *-commutative_binary64_10580 div-sub_binary64_10654 flip3--_binary64_10653 flip--_binary64_10624 pow1/2_binary64_10729 sqrt-pow1_binary64_10667 rem-sqrt-square_binary64_10662
Counts
4 → 205
Calls

4 calls:

30.0ms
(*.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))) (/.f64 (+.f64 z (*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))))
13.0ms
(/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))))))
11.0ms
(/.f64 (+.f64 z (*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))))))
3.0ms
(sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))
Compiler

Compiled 17214 to 12746 computations (26% saved)

series3.9s (14.8%)

Error
0.0b
Counts
4 → 67
Calls

4 calls:

1.8s
(*.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))) (/.f64 (+.f64 z (*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))))
1.6s
(/.f64 (+.f64 z (*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))))))
99.0ms
(/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))))))
78.0ms
(sqrt.f64 (+.f64 6624073998258585/140737488355328 (*.f64 x (+.f64 172293041005667/549755813888 (*.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))
Compiler

Compiled 11487 to 9308 computations (19% saved)

simplify214.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
272 → 272
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
0503518672

prune1.8s (6.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New2720272
Fresh066
Picked011
Done000
Total2727279
Error
0.0b
Counts
279 → 7
Compiler

Compiled 20201 to 14769 computations (26.9% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))
0.1b
(*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
0.1b
(*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))
21.0b
(/.f64 (+.f64 z (*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (+.f64 6624073998258585/140737488355328 (pow.f64 x 4)))

rewrite274.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
27×*-un-lft-identity_binary64_10649
25×add-sqr-sqrt_binary64_10671
19×add-cube-cbrt_binary64_10684
12×add-exp-log_binary64_10687 add-cbrt-cube_binary64_10685 times-frac_binary64_10655
10×pow1_binary64_10710
9×associate-*l*_binary64_10590 associate-*r*_binary64_10589
6×associate-*r/_binary64_10591
5×flip3-+_binary64_10652 flip-+_binary64_10623
4×add-log-exp_binary64_10688 distribute-lft-out_binary64_10600 associate-/r*_binary64_10593
3×associate-/l*_binary64_10594 pow-prod-down_binary64_10720 prod-exp_binary64_10698 cbrt-unprod_binary64_10682 unswap-sqr_binary64_10617 distribute-rgt-in_binary64_10599 distribute-lft-in_binary64_10598 *-commutative_binary64_10580
2×associate-/l/_binary64_10596 associate-/r/_binary64_10595
1×div-exp_binary64_10700 cbrt-undiv_binary64_10683 frac-2neg_binary64_10660 clear-num_binary64_10648 div-inv_binary64_10646
Counts
4 → 101
Calls

4 calls:

9.0ms
(/.f64 (+.f64 z (*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (+.f64 6624073998258585/140737488355328 (pow.f64 x 4)))
7.0ms
(*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
6.0ms
(*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))
6.0ms
(*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))
Compiler

Compiled 4144 to 2973 computations (28.3% saved)

series1.3s (4.9%)

Error
0.0b
Counts
4 → 54
Calls

4 calls:

776.0ms
(/.f64 (+.f64 z (*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (+.f64 6624073998258585/140737488355328 (pow.f64 x 4)))
238.0ms
(*.f64 x (+.f64 y (*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))
152.0ms
(*.f64 x (+.f64 604816789577447/4398046511104 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))
38.0ms
(*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
Compiler

Compiled 3450 to 2816 computations (18.4% saved)

simplify89.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
155 → 155
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049464124
149464124

prune328.0ms (1.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1532155
Fresh325
Picked011
Done011
Total1566162
Error
0.0b
Counts
162 → 6
Compiler

Compiled 5155 to 3663 computations (28.9% saved)

regimes2.6s (9.9%)

Accuracy

Total 0.7b remaining (98%)

Threshold costs 0.7b (98%)

Compiler

Compiled 24170 to 19083 computations (21% saved)

bsearch135.0ms (0.5%)

Steps
ItersRangePoint
10
1.5453236159508233e+72
1.2396717259795863e+85
3.88076255453383e+73
7
-6.449467653896416e+37
-1.3248580802768071e+36
-2.369172497454679e+37
Compiler

Compiled 1 to 3 computations (-200% saved)

simplify6.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0129261
1129261

end0.0ms (0%)

sample5.2s (19.9%)

Algorithm
1×intervals
Results
656.0ms8000×body128valid
1.0ms8×body128invalid
Compiler

Compiled 6206 to 4897 computations (21.1% saved)

Profiling

Loading profile data...