Details

Time bar (total: 3.2s)

analyze1.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
100%0%0%1
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample19.0ms (0.6%)

Algorithm
1×intervals
Results
6.0ms62×body1024valid
4.0ms141×body128valid
2.0ms31×body512valid
1.0ms9×body2048valid
1.0ms13×body256valid
Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify100.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
07111
17111

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
27.9b
Counts
2 → 1
Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.3b
(cbrt.f64 (+.f64 x 1))
0.5b
(cbrt.f64 x)
0.9b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite20.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
18×cbrt-prod_binary64_450
16×*-un-lft-identity_binary64_419
15×add-sqr-sqrt_binary64_441
7×add-cube-cbrt_binary64_454
6×cancel-sign-sub-inv_binary64_385
5×add-log-exp_binary64_458
4×difference-of-squares_binary64_388
3×distribute-lft-out--_binary64_371 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
2×pow1/3_binary64_501 cbrt-div_binary64_451 distribute-lft-out_binary64_370
1×flip3-+_binary64_422 sub-neg_binary64_412 flip3--_binary64_423 flip-+_binary64_393 diff-log_binary64_511 flip--_binary64_394
Counts
3 → 49
Calls

3 calls:

9.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
7.0ms
(cbrt.f64 (+.f64 x 1))
1.0ms
(cbrt.f64 x)

series174.0ms (5.4%)

Counts
3 → 15
Calls

3 calls:

92.0ms
(cbrt.f64 x)
53.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
30.0ms
(cbrt.f64 (+.f64 x 1))
Compiler

Compiled 294 to 262 computations (10.9% saved)

simplify78.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04940765
14940765

prune69.0ms (2.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New531164
Fresh000
Picked101
Done000
Total541165
Error
16.1b
Counts
65 → 11
Compiler

Compiled 899 to 611 computations (32% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b
(pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3)
0.3b
(cbrt.f64 (+.f64 x 1))
0.5b
(cbrt.f64 x)
0.9b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite33.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
35×add-sqr-sqrt_binary64_441
34×*-un-lft-identity_binary64_419 cbrt-prod_binary64_450
12×difference-of-squares_binary64_388
11×add-cube-cbrt_binary64_454
10×unpow-prod-down_binary64_498 cube-prod_binary64_447
9×distribute-lft-out--_binary64_371
6×add-log-exp_binary64_458 cancel-sign-sub-inv_binary64_385
5×add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
4×distribute-lft-out_binary64_370
3×pow-unpow_binary64_496
2×pow1/3_binary64_501 cbrt-div_binary64_451 cube-div_binary64_448 flip3--_binary64_423 flip--_binary64_394
1×flip3-+_binary64_422 sub-neg_binary64_412 unpow3_binary64_485 cube-mult_binary64_449 rem-cube-cbrt_binary64_442 pow-exp_binary64_487 sqr-pow_binary64_391 pow-to-exp_binary64_488 flip-+_binary64_393 pow-pow_binary64_491 diff-log_binary64_511
Counts
4 → 88
Calls

4 calls:

10.0ms
(pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3)
9.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
6.0ms
(cbrt.f64 (+.f64 x 1))
1.0ms
(cbrt.f64 x)

series294.0ms (9.1%)

Counts
4 → 21
Calls

4 calls:

120.0ms
(pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3)
90.0ms
(cbrt.f64 x)
55.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
29.0ms
(cbrt.f64 (+.f64 x 1))
Compiler

Compiled 671 to 606 computations (9.7% saved)

simplify72.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049931841
149931841

prune125.0ms (3.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New1027109
Fresh2810
Picked101
Done000
Total10515120
Error
16.1b
Counts
120 → 15
Compiler

Compiled 1999 to 1465 computations (26.7% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b
(cbrt.f64 x)
0.5b
(cbrt.f64 x)
0.9b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
0.9b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite29.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
28×cbrt-prod_binary64_450
26×add-sqr-sqrt_binary64_441
24×*-un-lft-identity_binary64_419
12×cancel-sign-sub-inv_binary64_385
10×add-cube-cbrt_binary64_454
8×difference-of-squares_binary64_388 add-log-exp_binary64_458
6×distribute-lft-out--_binary64_371
4×add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
2×pow1/3_binary64_501 sub-neg_binary64_412 distribute-lft-out_binary64_370 flip3--_binary64_423 diff-log_binary64_511 flip--_binary64_394
Counts
4 → 70
Calls

4 calls:

11.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
9.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)

series307.0ms (9.5%)

Counts
4 → 18
Calls

4 calls:

92.0ms
(cbrt.f64 x)
91.0ms
(cbrt.f64 x)
65.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
59.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
Compiler

Compiled 738 to 646 computations (12.5% saved)

simplify47.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
047661136
147661136

prune166.0ms (5.2%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New88088
Fresh01414
Picked011
Done000
Total8815103
Error
16.1b
Counts
103 → 15
Compiler

Compiled 2397 to 1709 computations (28.7% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b
(cbrt.f64 x)
0.5b
(cbrt.f64 x)
0.9b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
0.9b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite27.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
28×cbrt-prod_binary64_450
26×add-sqr-sqrt_binary64_441
24×*-un-lft-identity_binary64_419
12×cancel-sign-sub-inv_binary64_385
10×add-cube-cbrt_binary64_454
8×difference-of-squares_binary64_388 add-log-exp_binary64_458
6×distribute-lft-out--_binary64_371
4×add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
2×pow1/3_binary64_501 sub-neg_binary64_412 distribute-lft-out_binary64_370 flip3--_binary64_423 diff-log_binary64_511 flip--_binary64_394
Counts
4 → 70
Calls

4 calls:

9.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
9.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)

series301.0ms (9.3%)

Counts
4 → 18
Calls

4 calls:

90.0ms
(cbrt.f64 x)
88.0ms
(cbrt.f64 x)
62.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
61.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
Compiler

Compiled 654 to 562 computations (14.1% saved)

simplify48.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
047661136
147661136

prune97.0ms (3%)

Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New88088
Fresh01313
Picked011
Done011
Total8815103
Error
16.1b
Counts
103 → 15
Compiler

Compiled 1912 to 1267 computations (33.7% saved)

regimes118.0ms (3.7%)

Accuracy

Total 0.3b remaining (1.9%)

Threshold costs 0.3b (1.9%)

Compiler

Compiled 924 to 756 computations (18.2% saved)

bsearch16.0ms (0.5%)

Steps
ItersRangePoint
9
5.828152271507916e-09
0.0006036675475946425
2.0439667465683408e-08
Compiler

Compiled 1 to 1 computations (0% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03145
13145

end0.0ms (0%)

sample1.0s (32.3%)

Algorithm
1×intervals
Results
192.0ms1989×body1024valid
110.0ms4339×body128valid
70.0ms976×body512valid
33.0ms225×body2048valid
22.0ms471×body256valid
Compiler

Compiled 429 to 350 computations (18.4% saved)

Profiling

Loading profile data...