Details

Time bar (total: 2.1s)

analyze2.0ms (0.1%)

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

Compiled 22 to 16 computations (27.3% saved)

sample20.0ms (1%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
5.0ms256×pre128true
Compiler

Compiled 37 to 29 computations (21.6% saved)

simplify239.0ms (11.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (141.0ms)

IterNodesCost
0471022
1471022

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 30 to 22 computations (26.7% saved)

localize12.0ms (0.6%)

Local error

Found 2 expressions with local error:

62.0b
(-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))
62.0b
(-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))

rewrite8.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
8×associate--r+_binary64_1339
7×cancel-sign-sub-inv_binary64_1369
4×distribute-rgt-in_binary64_1353 distribute-lft-in_binary64_1352
3×*-un-lft-identity_binary64_1403 sub-neg_binary64_1396 add-cube-cbrt_binary64_1438 add-sqr-sqrt_binary64_1425 add-log-exp_binary64_1442
1×pow1_binary64_1464 add-exp-log_binary64_1441 diff-log_binary64_1495 flip--_binary64_1378 add-cbrt-cube_binary64_1439 flip3--_binary64_1407
Counts
1 → 20
Calls

2 calls:

6.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))
0.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))

series88.0ms (4.3%)

Counts
1 → 7
Calls

1 calls:

88.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))
Compiler

Compiled 123 to 124 computations (-0.8% saved)

simplify57.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
04947544
14947544

prune30.0ms (1.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New26127
Fresh000
Picked101
Done000
Total27128
Error
52.0b
Counts
28 → 1
Compiler

Compiled 521 to 344 computations (34% saved)

localize10.0ms (0.5%)

Local error

Found 2 expressions with local error:

23.0b
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
23.0b
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite8.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
7×cancel-sign-sub-inv_binary64_1369
3×*-un-lft-identity_binary64_1403 add-cube-cbrt_binary64_1438 add-sqr-sqrt_binary64_1425 unpow-prod-down_binary64_1482 add-log-exp_binary64_1442
1×pow1_binary64_1464 sub-neg_binary64_1396 add-exp-log_binary64_1441 diff-log_binary64_1495 flip--_binary64_1378 add-cbrt-cube_binary64_1439 sqr-pow_binary64_1375 flip3--_binary64_1407
Counts
1 → 18
Calls

2 calls:

6.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

series205.0ms (10%)

Counts
1 → 12
Calls

1 calls:

205.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
Compiler

Compiled 264 to 234 computations (11.4% saved)

simplify69.0ms (3.4%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
05269370

prune33.0ms (1.6%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New29130
Fresh000
Picked101
Done000
Total30131
Error
52.0b
Counts
31 → 1
Compiler

Compiled 558 to 403 computations (27.8% saved)

localize13.0ms (0.6%)

Local error

Found 4 expressions with local error:

23.0b
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0b
(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
1.0b
(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
23.0b
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite18.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
12×cbrt-prod_binary64_1434
7×cancel-sign-sub-inv_binary64_1369 *-un-lft-identity_binary64_1403 add-cube-cbrt_binary64_1438 add-sqr-sqrt_binary64_1425
6×unpow-prod-down_binary64_1482
4×add-log-exp_binary64_1442
3×cube-prod_binary64_1431
2×cube-div_binary64_1432 cbrt-div_binary64_1435 pow1_binary64_1464 add-exp-log_binary64_1441 flip--_binary64_1378 add-cbrt-cube_binary64_1439 sqr-pow_binary64_1375 flip3--_binary64_1407
1×pow1/3_binary64_1485 cube-mult_binary64_1433 rem-cbrt-cube_binary64_1427 sub-neg_binary64_1396 unpow3_binary64_1469 diff-log_binary64_1495
Counts
2 → 41
Calls

4 calls:

7.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
7.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
0.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

series412.0ms (20.1%)

Counts
2 → 24
Calls

2 calls:

207.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
205.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
Compiler

Compiled 582 to 522 computations (10.3% saved)

simplify52.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
050791024

prune75.0ms (3.7%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New65065
Fresh000
Picked011
Done000
Total65166
Error
52.0b
Counts
66 → 1
Compiler

Compiled 1382 to 1034 computations (25.2% saved)

regimes50.0ms (2.4%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 424 to 362 computations (14.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06127
16127

end0.0ms (0%)

sample645.0ms (31.4%)

Algorithm
1×intervals
Results
270.0ms8000×body128valid
149.0ms8000×pre128true
Compiler

Compiled 90 to 76 computations (15.6% saved)

Pareto

0

Profiling

Loading profile data...