Details

Time bar (total: 2.7s)

analyze6.0ms (0.2%)

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

Compiled 22 to 16 computations (27.3% saved)

sample39.0ms (1.4%)

Algorithm
1×intervals
Results
17.0ms256×body128valid
9.0ms256×pre128true
Compiler

Compiled 37 to 29 computations (21.6% saved)

simplify277.0ms (10.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (157.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.4%)

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.3%)

Algorithm
1×rewrite-expression-head
Rules
8×associate--r+_binary64_14
7×cancel-sign-sub-inv_binary64_44
4×distribute-lft-in_binary64_27 distribute-rgt-in_binary64_28
3×add-sqr-sqrt_binary64_100 add-log-exp_binary64_117 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78 sub-neg_binary64_71
1×add-cbrt-cube_binary64_114 flip3--_binary64_82 diff-log_binary64_170 flip--_binary64_53 add-exp-log_binary64_116 pow1_binary64_139
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)))

series117.0ms (4.3%)

Counts
1 → 7
Calls

1 calls:

117.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)

simplify73.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
04947544
14947544

prune30.0ms (1.1%)

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)

localize14.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.3%)

Algorithm
1×rewrite-expression-head
Rules
7×cancel-sign-sub-inv_binary64_44
3×add-sqr-sqrt_binary64_100 add-log-exp_binary64_117 unpow-prod-down_binary64_157 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
1×add-cbrt-cube_binary64_114 flip3--_binary64_82 diff-log_binary64_170 sqr-pow_binary64_50 flip--_binary64_53 add-exp-log_binary64_116 sub-neg_binary64_71 pow1_binary64_139
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))

series252.0ms (9.2%)

Counts
1 → 12
Calls

1 calls:

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

Compiled 264 to 234 computations (11.4% saved)

simplify75.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
05269370

prune33.0ms (1.2%)

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)

localize16.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))

rewrite28.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
12×cbrt-prod_binary64_109
7×add-sqr-sqrt_binary64_100 add-cube-cbrt_binary64_113 cancel-sign-sub-inv_binary64_44 *-un-lft-identity_binary64_78
6×unpow-prod-down_binary64_157
4×add-log-exp_binary64_117
3×cube-prod_binary64_106
2×add-cbrt-cube_binary64_114 cbrt-div_binary64_110 cube-div_binary64_107 flip3--_binary64_82 sqr-pow_binary64_50 flip--_binary64_53 add-exp-log_binary64_116 pow1_binary64_139
1×cube-mult_binary64_108 rem-cbrt-cube_binary64_102 diff-log_binary64_170 pow1/3_binary64_160 unpow3_binary64_144 sub-neg_binary64_71
Counts
2 → 41
Calls

4 calls:

12.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
12.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
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))

series470.0ms (17.1%)

Counts
2 → 24
Calls

2 calls:

239.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
231.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)

simplify51.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
050791024

prune112.0ms (4.1%)

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)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
08571
18571

regimes71.0ms (2.6%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Compiler

Compiled 431 to 411 computations (4.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
031
131

end0.0ms (0%)

sample1.0s (38%)

Algorithm
1×intervals
Results
328.0ms8000×body128valid
188.0ms8000×pre128true
Compiler

Compiled 175 to 165 computations (5.7% saved)

Pareto

-0.7800675708488106

Profiling

Loading profile data...