Details

Time bar (total: 1.1s)

analyze3.0ms (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
75%12.5%12.5%5
75%6.2%18.8%6
75%3.1%21.9%7
75%1.6%23.5%8
75%0.8%24.3%9
75%0.4%24.6%10
75%0.2%24.8%11
75%0.1%24.9%12
75%0%25%13
75%0%25%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample11.0ms (1%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify98.0ms (8.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (10.0ms)

IterNodesCost
016710
116710

prune6.0ms (0.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 x (-.f64 1 (*.f64 x 1/2)))
0.0b
(*.f64 x (-.f64 1 (*.f64 x 1/2)))

rewrite8.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64_1464
3×associate-*r*_binary64_1382 add-cbrt-cube_binary64_1478 associate-*l*_binary64_1383 add-exp-log_binary64_1480 pow1_binary64_1503 add-cube-cbrt_binary64_1477 *-un-lft-identity_binary64_1442
2×associate-*r/_binary64_1384 cancel-sign-sub-inv_binary64_1408 sub-neg_binary64_1435 distribute-lft-in_binary64_1391 distribute-rgt-in_binary64_1392
1×cbrt-unprod_binary64_1475 flip3--_binary64_1446 pow-prod-down_binary64_1513 *-commutative_binary64_1373 add-log-exp_binary64_1481 flip--_binary64_1417 prod-exp_binary64_1491 unswap-sqr_binary64_1410
Counts
1 → 24
Calls

2 calls:

6.0ms
(*.f64 x (-.f64 1 (*.f64 x 1/2)))
0.0ms
(*.f64 x (-.f64 1 (*.f64 x 1/2)))

series48.0ms (4.2%)

Counts
1 → 6
Calls

1 calls:

48.0ms
(*.f64 x (-.f64 1 (*.f64 x 1/2)))
Compiler

Compiled 53 to 47 computations (11.3% saved)

simplify50.0ms (4.4%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
05249329

prune29.0ms (2.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New29130
Fresh000
Picked011
Done000
Total29231
Error
0b
Counts
31 → 2
Compiler

Compiled 332 to 245 computations (26.2% saved)

localize8.0ms (0.7%)

Local error

Found 4 expressions with local error:

7.2b
(/.f64 (+.f64 x (*.f64 (pow.f64 x 3) -1/4)) (+.f64 1 (*.f64 x 1/2)))
0.0b
(*.f64 (pow.f64 x 3) -1/4)
0.0b
(*.f64 (pow.f64 x 3) -1/4)
7.2b
(/.f64 (+.f64 x (*.f64 (pow.f64 x 3) -1/4)) (+.f64 1 (*.f64 x 1/2)))

rewrite19.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
21×add-sqr-sqrt_binary64_1464
14×add-cube-cbrt_binary64_1477 *-un-lft-identity_binary64_1442
12×associate-*l*_binary64_1383
9×times-frac_binary64_1448 add-exp-log_binary64_1480
6×add-cbrt-cube_binary64_1478
4×cube-prod_binary64_1470 unpow-prod-down_binary64_1521 unswap-sqr_binary64_1410
3×associate-*r*_binary64_1382 associate-/r*_binary64_1386 associate-/l*_binary64_1387 prod-exp_binary64_1491
2×associate-/l/_binary64_1389 associate-/r/_binary64_1388 add-log-exp_binary64_1481 sqr-pow_binary64_1414 flip3-+_binary64_1445 flip-+_binary64_1416 pow1_binary64_1503
1×cbrt-undiv_binary64_1476 cube-mult_binary64_1472 cbrt-unprod_binary64_1475 pow-exp_binary64_1510 div-inv_binary64_1439 clear-num_binary64_1441 *-commutative_binary64_1373 frac-2neg_binary64_1453 unpow3_binary64_1508 div-exp_binary64_1493 pow-to-exp_binary64_1511
Counts
2 → 62
Calls

4 calls:

7.0ms
(/.f64 (+.f64 x (*.f64 (pow.f64 x 3) -1/4)) (+.f64 1 (*.f64 x 1/2)))
6.0ms
(*.f64 (pow.f64 x 3) -1/4)
0.0ms
(*.f64 (pow.f64 x 3) -1/4)
0.0ms
(/.f64 (+.f64 x (*.f64 (pow.f64 x 3) -1/4)) (+.f64 1 (*.f64 x 1/2)))

series122.0ms (10.7%)

Counts
2 → 9
Calls

2 calls:

86.0ms
(/.f64 (+.f64 x (*.f64 (pow.f64 x 3) -1/4)) (+.f64 1 (*.f64 x 1/2)))
36.0ms
(*.f64 (pow.f64 x 3) -1/4)
Compiler

Compiled 131 to 113 computations (13.7% saved)

simplify77.0ms (6.8%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
050571244

prune79.0ms (6.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New71071
Fresh000
Picked011
Done011
Total71273
Error
0b
Counts
73 → 2
Compiler

Compiled 1368 to 1072 computations (21.6% saved)

simplify5.0ms (0.4%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06798
16798

regimes20.0ms (1.7%)

Compiler

Compiled 72 to 63 computations (12.5% saved)

bsearch0.0ms (0%)

regimes23.0ms (2%)

Compiler

Compiled 11 to 13 computations (-18.2% saved)

bsearch22.0ms (1.9%)

Steps
ItersRangePoint
9
0.694616828524831
839298.2826088758
1.9880028589630472
9
-6992003.073561433
-0.12208613939130855
-1.9962462755982668
Compiler

Compiled 1 to 1 computations (0% saved)

regimes8.0ms (0.7%)

Compiler

Compiled 6 to 9 computations (-50% saved)

bsearch0.0ms (0%)

regimes8.0ms (0.7%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch3.0ms (0.2%)

Compiler

Compiled 29 to 24 computations (17.2% saved)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02335
12335

end0.0ms (0%)

sample487.0ms (42.7%)

Algorithm
1×intervals
Results
178.0ms8000×body128valid
0.0ms1×body128invalid
Compiler

Compiled 103 to 91 computations (11.7% saved)

Pareto

0.3324318441202905

Profiling

Loading profile data...