Details

Time bar (total: 2.1s)

analyze11.0ms (0.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%50%50%2
0%50%50%3
12.5%25%62.5%4
18.7%12.5%68.8%5
21.9%6.2%71.9%6
23.4%3.1%73.5%7
24.2%1.6%74.2%8
24.6%0.8%74.6%9
24.8%0.4%74.8%10
24.9%0.2%74.9%11
24.9%0.1%75%12
25%0%75%13
25%0%75%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample272.0ms (13%)

Algorithm
1×intervals
Results
258.0ms256×body128valid
Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify123.0ms (5.9%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01211
11211

prune4.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(sqrt.f64 (-.f64 x 1))
0.5b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))

rewrite84.0ms (4%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
24×add-sqr-sqrt_binary64
21×sqrt-prod_binary64
13×*-un-lft-identity_binary64
10×associate-*l*_binary64
7×pow1_binary64 add-cube-cbrt_binary64
6×associate-*r*_binary64
4×add-exp-log_binary64 add-cbrt-cube_binary64 unswap-sqr_binary64 sqrt-div_binary64 difference-of-squares_binary64
3×pow1/2_binary64 pow-prod-down_binary64 sqrt-pow1_binary64
2×add-log-exp_binary64 flip3--_binary64 associate-*l/_binary64 flip--_binary64 difference-of-sqr-1_binary64 distribute-lft-out--_binary64
1×prod-exp_binary64 cbrt-unprod_binary64 sqrt-unprod_binary64 *-commutative_binary64 rem-sqrt-square_binary64
Counts
2 → 55
Calls

2 calls:

13.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
4.0ms
(sqrt.f64 (-.f64 x 1))
Compiler

Compiled 756 to 494 computations (34.7% saved)

series60.0ms (2.9%)

Error
0.0b
Counts
2 → 9
Calls

2 calls:

40.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
11.0ms
(sqrt.f64 (-.f64 x 1))
Compiler

Compiled 172 to 138 computations (19.8% saved)

simplify113.0ms (5.4%)

Algorithm
1×egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
04881758
14881758

prune80.0ms (3.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New62264
Fresh000
Picked101
Done000
Total63265
Error
0b
Counts
65 → 2
Compiler

Compiled 743 to 467 computations (37.1% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 x (+.f64 1/2 (/.f64 1/8 x)))

rewrite29.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
9×*-un-lft-identity_binary64
6×add-log-exp_binary64
4×add-sqr-sqrt_binary64 cancel-sign-sub-inv_binary64
2×diff-log_binary64 add-cube-cbrt_binary64 distribute-lft-out_binary64 distribute-lft-out--_binary64
1×sum-log_binary64 pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 flip3--_binary64 sub-neg_binary64 flip--_binary64 difference-of-squares_binary64 associate--r+_binary64
Counts
1 → 20
Calls

1 calls:

9.0ms
(-.f64 x (+.f64 1/2 (/.f64 1/8 x)))
Compiler

Compiled 293 to 226 computations (22.9% saved)

series35.0ms (1.7%)

Error
0b
Counts
1 → 7
Calls

1 calls:

32.0ms
(-.f64 x (+.f64 1/2 (/.f64 1/8 x)))
Compiler

Compiled 84 to 72 computations (14.3% saved)

simplify71.0ms (3.4%)

Algorithm
1×egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
05017312

prune22.0ms (1.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New27027
Fresh011
Picked011
Done000
Total27229
Error
0b
Counts
29 → 2
Compiler

Compiled 265 to 200 computations (24.5% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(-.f64 (*.f64 x x) x)
31.5b
(sqrt.f64 (-.f64 (*.f64 x x) x))

rewrite39.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
7×add-sqr-sqrt_binary64
6×*-un-lft-identity_binary64
5×sqrt-prod_binary64
4×add-log-exp_binary64 add-cube-cbrt_binary64
3×pow1_binary64 cancel-sign-sub-inv_binary64
2×add-exp-log_binary64 add-cbrt-cube_binary64 flip3--_binary64 sqrt-div_binary64 flip--_binary64 difference-of-squares_binary64 distribute-rgt-out--_binary64
1×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 diff-log_binary64 sub-neg_binary64
Counts
2 → 33
Calls

2 calls:

5.0ms
(sqrt.f64 (-.f64 (*.f64 x x) x))
4.0ms
(-.f64 (*.f64 x x) x)
Compiler

Compiled 424 to 119 computations (71.9% saved)

series66.0ms (3.1%)

Error
0b
Counts
2 → 12
Calls

2 calls:

40.0ms
(-.f64 (*.f64 x x) x)
19.0ms
(sqrt.f64 (-.f64 (*.f64 x x) x))
Compiler

Compiled 170 to 140 computations (17.6% saved)

simplify99.0ms (4.7%)

Algorithm
1×egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 0 (90.0ms)

IterNodesCost
04802451
14802451

prune25.0ms (1.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New45045
Fresh000
Picked011
Done011
Total45247
Error
0b
Counts
47 → 2
Compiler

Compiled 412 to 137 computations (66.7% saved)

regimes86.0ms (4.1%)

Accuracy

Total 0.5b remaining (100%)

Threshold costs 0.5b (100%)

Compiler

Compiled 588 to 466 computations (20.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01811
11811

end0.0ms (0%)

sample853.0ms (40.9%)

Algorithm
1×intervals
Results
257.0ms8000×body128valid
0.0ms3×body128nan
Compiler

Compiled 301 to 240 computations (20.3% saved)

Profiling

Loading profile data...