Details

Time bar (total: 2.2s)

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

sample24.0ms (1.1%)

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

Compiled 37 to 29 computations (21.6% saved)

simplify225.0ms (10.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (138.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)

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

rewrite9.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
8×associate--r+_binary64_1672
7×cancel-sign-sub-inv_binary64_1702
4×distribute-rgt-in_binary64_1686 distribute-lft-in_binary64_1685
3×add-sqr-sqrt_binary64_1758 add-log-exp_binary64_1775 sub-neg_binary64_1729 add-cube-cbrt_binary64_1771 *-un-lft-identity_binary64_1736
1×pow1_binary64_1797 flip--_binary64_1711 add-cbrt-cube_binary64_1772 add-exp-log_binary64_1774 flip3--_binary64_1740 diff-log_binary64_1828
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)))

series89.0ms (4.1%)

Counts
1 → 7
Calls

1 calls:

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

simplify55.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
04947544
14947544

prune29.0ms (1.4%)

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_1702
3×add-sqr-sqrt_binary64_1758 unpow-prod-down_binary64_1815 add-log-exp_binary64_1775 add-cube-cbrt_binary64_1771 *-un-lft-identity_binary64_1736
1×sqr-pow_binary64_1708 pow1_binary64_1797 flip--_binary64_1711 add-cbrt-cube_binary64_1772 add-exp-log_binary64_1774 flip3--_binary64_1740 diff-log_binary64_1828 sub-neg_binary64_1729
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))

series193.0ms (8.9%)

Counts
1 → 12
Calls

1 calls:

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

Compiled 264 to 234 computations (11.4% saved)

simplify68.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
05269370

prune33.0ms (1.5%)

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_1767
7×add-sqr-sqrt_binary64_1758 cancel-sign-sub-inv_binary64_1702 add-cube-cbrt_binary64_1771 *-un-lft-identity_binary64_1736
6×unpow-prod-down_binary64_1815
4×add-log-exp_binary64_1775
3×cube-prod_binary64_1764
2×sqr-pow_binary64_1708 pow1_binary64_1797 flip--_binary64_1711 add-cbrt-cube_binary64_1772 add-exp-log_binary64_1774 flip3--_binary64_1740 cube-div_binary64_1765 cbrt-div_binary64_1768
1×cube-mult_binary64_1766 rem-cbrt-cube_binary64_1760 pow1/3_binary64_1818 diff-log_binary64_1828 sub-neg_binary64_1729 unpow3_binary64_1802
Counts
2 → 41
Calls

4 calls:

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

series387.0ms (17.8%)

Counts
2 → 24
Calls

2 calls:

195.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
192.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
Compiler

Compiled 582 to 522 computations (10.3% saved)

simplify48.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
050791024

prune75.0ms (3.5%)

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

regimes39.0ms (1.8%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Compiler

Compiled 281 to 279 computations (0.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
031
131

end0.0ms (0%)

sample831.0ms (38.2%)

Algorithm
1×intervals
Results
273.0ms8000×body128valid
144.0ms8000×pre128true
Compiler

Compiled 175 to 165 computations (5.7% saved)

Pareto

-0.7800675708488106

Profiling

Loading profile data...