Details

Time bar (total: 1.9s)

analyze100.0ms (5.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
25%74.9%0.1%6
56.2%43.7%0.1%7
56.2%43.7%0.1%8
76.5%23.4%0.1%9
76.5%23.4%0.1%10
87.8%12.1%0.1%11
87.8%12.1%0.1%12
93.8%6.1%0.1%13
93.8%6.1%0.1%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample14.0ms (0.7%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify99.0ms (5.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03713
13713

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
14.2b
Counts
2 → 1
Compiler

Compiled 18 to 14 computations (22.2% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

13.7b
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))
13.7b
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))

rewrite10.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
10×add-exp-log_binary64_15461 add-cbrt-cube_binary64_15459
7×*-un-lft-identity_binary64_15423
4×times-frac_binary64_15429 associate-/l*_binary64_15368
3×add-cube-cbrt_binary64_15458 div-exp_binary64_15474 cbrt-undiv_binary64_15457 prod-exp_binary64_15472 add-sqr-sqrt_binary64_15445 cbrt-unprod_binary64_15456
2×distribute-lft-out_binary64_15374 associate-/l/_binary64_15370
1×frac-2neg_binary64_15434 pow1_binary64_15484 flip3-+_binary64_15426 flip-+_binary64_15397 div-inv_binary64_15420 associate-/r*_binary64_15367 clear-num_binary64_15422 add-log-exp_binary64_15462
Counts
1 → 27
Calls

2 calls:

8.0ms
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))
0.0ms
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))

series132.0ms (6.8%)

Counts
1 → 12
Calls

1 calls:

132.0ms
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 150 to 156 computations (-4% saved)

simplify44.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
05367505

prune47.0ms (2.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New37239
Fresh000
Picked101
Done000
Total38240
Error
0b
Counts
40 → 2
Compiler

Compiled 442 to 225 computations (49.1% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))

rewrite15.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
11×*-un-lft-identity_binary64_15423
6×times-frac_binary64_15429
5×distribute-lft-out_binary64_15374
3×add-cube-cbrt_binary64_15458 add-sqr-sqrt_binary64_15445 add-log-exp_binary64_15462
2×div-inv_binary64_15420
1×frac-add_binary64_15431 pow1_binary64_15484 flip3-+_binary64_15426 flip-+_binary64_15397 sum-log_binary64_15514 add-exp-log_binary64_15461 +-commutative_binary64_15353 add-cbrt-cube_binary64_15459
Counts
1 → 17
Calls

2 calls:

13.0ms
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
0.0ms
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))

series106.0ms (5.5%)

Counts
1 → 12
Calls

1 calls:

106.0ms
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
Compiler

Compiled 150 to 156 computations (-4% saved)

simplify88.0ms (4.5%)

Algorithm
1×egg-herbie
Counts
29 → 29
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
05160328

prune18.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New29029
Fresh011
Picked011
Done000
Total29231
Error
0b
Counts
31 → 2
Compiler

Compiled 289 to 219 computations (24.2% saved)

localize6.0ms (0.3%)

Local error

Found 4 expressions with local error:

6.4b
(/.f64 (/.f64 (+.f64 x y) (*.f64 x 2)) y)
0.0b
(/.f64 (+.f64 x y) (*.f64 x 2))
0.0b
(/.f64 (+.f64 x y) (*.f64 x 2))
6.4b
(/.f64 (/.f64 (+.f64 x y) (*.f64 x 2)) y)

rewrite21.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
44×times-frac_binary64_15429
33×*-un-lft-identity_binary64_15423
21×add-cube-cbrt_binary64_15458 add-sqr-sqrt_binary64_15445
16×add-exp-log_binary64_15461 add-cbrt-cube_binary64_15459
12×associate-/l*_binary64_15368
7×div-exp_binary64_15474 cbrt-undiv_binary64_15457
6×distribute-lft-out_binary64_15374 div-inv_binary64_15420
4×associate-/r*_binary64_15367
3×associate-/l/_binary64_15370
2×frac-2neg_binary64_15434 pow1_binary64_15484 prod-exp_binary64_15472 clear-num_binary64_15422 cbrt-unprod_binary64_15456 add-log-exp_binary64_15462
1×flip3-+_binary64_15426 flip-+_binary64_15397
Counts
2 → 77
Calls

4 calls:

9.0ms
(/.f64 (/.f64 (+.f64 x y) (*.f64 x 2)) y)
6.0ms
(/.f64 (+.f64 x y) (*.f64 x 2))
0.0ms
(/.f64 (+.f64 x y) (*.f64 x 2))
0.0ms
(/.f64 (/.f64 (+.f64 x y) (*.f64 x 2)) y)

series219.0ms (11.3%)

Counts
2 → 24
Calls

2 calls:

126.0ms
(/.f64 (/.f64 (+.f64 x y) (*.f64 x 2)) y)
92.0ms
(/.f64 (+.f64 x y) (*.f64 x 2))
Compiler

Compiled 288 to 282 computations (2.1% saved)

simplify57.0ms (3%)

Algorithm
1×egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
052091542

prune66.0ms (3.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1010101
Fresh000
Picked011
Done011
Total1012103
Error
0b
Counts
103 → 2
Compiler

Compiled 1325 to 622 computations (53.1% saved)

simplify5.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
055262
155262

regimes55.0ms (2.9%)

Compiler

Compiled 360 to 274 computations (23.9% saved)

bsearch0.0ms (0%)

regimes61.0ms (3.1%)

Compiler

Compiled 22 to 42 computations (-90.9% saved)

bsearch17.0ms (0.9%)

Steps
ItersRangePoint
4
9.679412411071591e-45
1.779934561289366e-44
1.206911868784268e-44
7
-839.8201928052569
-37.5153229439982
-200.11380986298124
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes19.0ms (1%)

Compiler

Compiled 16 to 34 computations (-112.5% saved)

bsearch0.0ms (0%)

regimes17.0ms (0.9%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch0.0ms (0%)

regimes14.0ms (0.7%)

Accuracy

Total 0.0b remaining (91.4%)

Threshold costs 0.0b (91.4%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch3.0ms (0.2%)

Compiler

Compiled 29 to 31 computations (-6.9% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02138
12138

end0.0ms (0%)

sample686.0ms (35.5%)

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

Compiled 222 to 180 computations (18.9% saved)

Pareto

0.24210060894463617

Profiling

Loading profile data...