Details

Time bar (total: 7.3s)

analyze299.0ms (4.1%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0467913
1467913
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
62.5%12.5%25%5
62.5%6.2%31.3%6
65.6%3.1%31.3%7
65.6%1.6%32.8%8
66.4%0.8%32.8%9
66.4%0.4%33.2%10
66.6%0.2%33.2%11
66.6%0.1%33.3%12
66.6%0%33.4%13
66.6%0%33.4%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample118.0ms (1.6%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
3.0ms123×body128invalid
Compiler

Compiled 3809 to 3427 computations (10% saved)

simplify151.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (145.0ms)

IterNodesCost
0467913
1467913

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 18 to 14 computations (22.2% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b
(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))

rewrite44.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×pow1_binary64_19576 add-exp-log_binary64_19553 add-cbrt-cube_binary64_19551
3×pow-prod-down_binary64_19586 prod-exp_binary64_19564 cbrt-unprod_binary64_19548 add-sqr-sqrt_binary64_19537 associate-*r*_binary64_19455
2×add-cube-cbrt_binary64_19550 *-un-lft-identity_binary64_19515 sub-neg_binary64_19508 distribute-rgt-in_binary64_19465 cancel-sign-sub-inv_binary64_19481 distribute-lft-in_binary64_19464 associate-*r/_binary64_19457
1×add-log-exp_binary64_19554 unswap-sqr_binary64_19483 flip3--_binary64_19519 flip--_binary64_19490 associate-*l*_binary64_19456 *-commutative_binary64_19446
Counts
1 → 25
Calls

1 calls:

8.0ms
(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))
Compiler

Compiled 429 to 275 computations (35.9% saved)

series101.0ms (1.4%)

Error
0.1b
Counts
1 → 6
Calls

1 calls:

93.0ms
(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))
Compiler

Compiled 129 to 115 computations (10.9% saved)

simplify59.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
05105438

prune36.0ms (0.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New25631
Fresh000
Picked011
Done000
Total25732
Error
0.0b
Counts
32 → 7
Compiler

Compiled 502 to 362 computations (27.9% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 x (-.f64 3 (*.f64 x 2)))
0.2b
(*.f64 x (*.f64 x (-.f64 3 (*.f64 x 2))))

rewrite71.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
10×distribute-rgt-in_binary64_19465 distribute-lft-in_binary64_19464
9×pow1_binary64_19576 add-exp-log_binary64_19553 add-cbrt-cube_binary64_19551
7×add-sqr-sqrt_binary64_19537
6×sub-neg_binary64_19508 cancel-sign-sub-inv_binary64_19481 associate-*r/_binary64_19457 associate-*l*_binary64_19456
5×add-cube-cbrt_binary64_19550 *-un-lft-identity_binary64_19515
4×pow-prod-down_binary64_19586 prod-exp_binary64_19564 cbrt-unprod_binary64_19548 associate-*r*_binary64_19455
2×add-log-exp_binary64_19554 flip3--_binary64_19519 flip--_binary64_19490 *-commutative_binary64_19446
1×unswap-sqr_binary64_19483
Counts
2 → 52
Calls

2 calls:

7.0ms
(*.f64 x (*.f64 x (-.f64 3 (*.f64 x 2))))
7.0ms
(*.f64 x (-.f64 3 (*.f64 x 2)))
Compiler

Compiled 844 to 581 computations (31.2% saved)

series169.0ms (2.3%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

84.0ms
(*.f64 x (*.f64 x (-.f64 3 (*.f64 x 2))))
77.0ms
(*.f64 x (-.f64 3 (*.f64 x 2)))
Compiler

Compiled 266 to 222 computations (16.5% saved)

simplify56.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
05104810

prune60.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New62264
Fresh415
Picked011
Done011
Total66571
Error
0b
Counts
71 → 5
Compiler

Compiled 841 to 564 computations (32.9% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)

rewrite88.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
25×cbrt-prod_binary64_19546
23×add-sqr-sqrt_binary64_19537
15×add-cube-cbrt_binary64_19550 *-un-lft-identity_binary64_19515
11×pow1_binary64_19576
9×pow1/3_binary64_19597
6×add-exp-log_binary64_19553 swap-sqr_binary64_19482 associate-*l*_binary64_19456 associate-*r*_binary64_19455
4×add-log-exp_binary64_19554 add-cbrt-cube_binary64_19551 unswap-sqr_binary64_19483
2×pow-prod-down_binary64_19586 pow-prod-up_binary64_19585 pow-sqr_binary64_19488
1×pow2_binary64_19596 pow-plus_binary64_19578 prod-exp_binary64_19564 cbrt-unprod_binary64_19548 *-commutative_binary64_19446
Counts
4 → 73
Calls

4 calls:

6.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
Compiler

Compiled 1524 to 670 computations (56% saved)

series535.0ms (7.3%)

Error
0b
Counts
4 → 12
Calls

4 calls:

159.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
133.0ms
(cbrt.f64 x)
116.0ms
(cbrt.f64 x)
114.0ms
(cbrt.f64 x)
Compiler

Compiled 663 to 477 computations (28.1% saved)

simplify79.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
04873548
14873548

prune88.0ms (1.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New85085
Fresh022
Picked011
Done022
Total85590
Error
0b
Counts
90 → 5
Compiler

Compiled 1595 to 827 computations (48.2% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.1b
(*.f64 x (-.f64 9 (*.f64 x (*.f64 x 4))))
0.1b
(*.f64 x (*.f64 x (-.f64 9 (*.f64 x (*.f64 x 4)))))
4.7b
(/.f64 (*.f64 x (*.f64 x (-.f64 9 (*.f64 x (*.f64 x 4))))) (+.f64 3 (*.f64 x 2)))

rewrite145.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
19×add-exp-log_binary64_19553 add-cbrt-cube_binary64_19551
10×pow1_binary64_19576 add-sqr-sqrt_binary64_19537 associate-*r/_binary64_19457 distribute-rgt-in_binary64_19465 distribute-lft-in_binary64_19464
8×add-cube-cbrt_binary64_19550 *-un-lft-identity_binary64_19515
7×prod-exp_binary64_19564 cbrt-unprod_binary64_19548
6×sub-neg_binary64_19508 cancel-sign-sub-inv_binary64_19481 associate-*l*_binary64_19456
4×pow-prod-down_binary64_19586 associate-*r*_binary64_19455
3×div-exp_binary64_19566 add-log-exp_binary64_19554 cbrt-undiv_binary64_19549 times-frac_binary64_19521 flip3--_binary64_19519 flip--_binary64_19490 associate-/r*_binary64_19459
2×associate-/l/_binary64_19462 associate-/r/_binary64_19461 *-commutative_binary64_19446
1×frac-2neg_binary64_19526 clear-num_binary64_19514 div-inv_binary64_19512 flip3-+_binary64_19518 flip-+_binary64_19489 associate-/l*_binary64_19460 unswap-sqr_binary64_19483
Counts
3 → 79
Calls

3 calls:

12.0ms
(/.f64 (*.f64 x (*.f64 x (-.f64 9 (*.f64 x (*.f64 x 4))))) (+.f64 3 (*.f64 x 2)))
7.0ms
(*.f64 x (*.f64 x (-.f64 9 (*.f64 x (*.f64 x 4)))))
7.0ms
(*.f64 x (-.f64 9 (*.f64 x (*.f64 x 4))))
Compiler

Compiled 2140 to 1523 computations (28.8% saved)

series402.0ms (5.5%)

Error
0b
Counts
3 → 18
Calls

3 calls:

151.0ms
(/.f64 (*.f64 x (*.f64 x (-.f64 9 (*.f64 x (*.f64 x 4))))) (+.f64 3 (*.f64 x 2)))
121.0ms
(*.f64 x (*.f64 x (-.f64 9 (*.f64 x (*.f64 x 4)))))
110.0ms
(*.f64 x (-.f64 9 (*.f64 x (*.f64 x 4))))
Compiler

Compiled 575 to 486 computations (15.5% saved)

simplify66.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
050401728

prune125.0ms (1.7%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New97097
Fresh011
Picked011
Done033
Total975102
Error
0b
Counts
102 → 5
Compiler

Compiled 1990 to 1469 computations (26.2% saved)

regimes163.0ms (2.2%)

Accuracy

Total 0.1b remaining (99.3%)

Threshold costs 0.1b (99.3%)

Compiler

Compiled 1550 to 1182 computations (23.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03716
13716

end0.0ms (0%)

sample4.4s (60.5%)

Algorithm
1×intervals
Results
195.0ms8000×body128valid
107.0ms4060×body128invalid
Compiler

Compiled 121340 to 109110 computations (10.1% saved)

Profiling

Loading profile data...