Details

Time bar (total: 2.7s)

analyze75.0ms (2.8%)

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
37.5%62.4%0.1%6
43.7%43.7%12.6%7
53.1%34.3%12.6%8
57.8%23.4%18.8%9
63.2%18%18.8%10
66%12.1%22%11
68.9%9.2%22%12
70.3%6.1%23.5%13
71.9%4.6%23.5%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample12.0ms (0.5%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
0.0ms8×body128invalid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify101.0ms (3.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03210
13210

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

4.3b
(*.f64 x (+.f64 1 (*.f64 y y)))
4.3b
(*.f64 x (+.f64 1 (*.f64 y y)))

rewrite7.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64_13740
3×pow1_binary64_13779 add-cbrt-cube_binary64_13754 associate-*l*_binary64_13659 associate-*r*_binary64_13658 add-exp-log_binary64_13756 *-un-lft-identity_binary64_13718 add-cube-cbrt_binary64_13753
2×associate-*r/_binary64_13660
1×*-commutative_binary64_13649 flip3-+_binary64_13721 add-log-exp_binary64_13757 prod-exp_binary64_13767 distribute-lft-in_binary64_13667 unswap-sqr_binary64_13686 distribute-rgt-in_binary64_13668 pow-prod-down_binary64_13789 cbrt-unprod_binary64_13751 flip-+_binary64_13692
Counts
1 → 22
Calls

2 calls:

6.0ms
(*.f64 x (+.f64 1 (*.f64 y y)))
0.0ms
(*.f64 x (+.f64 1 (*.f64 y y)))

series80.0ms (3%)

Counts
1 → 9
Calls

1 calls:

80.0ms
(*.f64 x (+.f64 1 (*.f64 y y)))
Compiler

Compiled 95 to 90 computations (5.3% saved)

simplify76.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
04921343
14921343

prune43.0ms (1.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New25631
Fresh000
Picked011
Done000
Total25732
Error
4.4b
Counts
32 → 7
Compiler

Compiled 395 to 212 computations (46.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

10.3b
(*.f64 x (*.f64 y y))
10.3b
(*.f64 x (*.f64 y y))

rewrite7.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
6×pow1_binary64_13779 add-cbrt-cube_binary64_13754 add-exp-log_binary64_13756
3×prod-exp_binary64_13767 associate-*l*_binary64_13659 pow-prod-down_binary64_13789 cbrt-unprod_binary64_13751 add-sqr-sqrt_binary64_13740
2×*-un-lft-identity_binary64_13718 add-cube-cbrt_binary64_13753
1×*-commutative_binary64_13649 add-log-exp_binary64_13757 unswap-sqr_binary64_13686 associate-*r*_binary64_13658
Counts
1 → 19
Calls

2 calls:

6.0ms
(*.f64 x (*.f64 y y))
0.0ms
(*.f64 x (*.f64 y y))

series58.0ms (2.2%)

Counts
1 → 6
Calls

1 calls:

58.0ms
(*.f64 x (*.f64 y y))
Compiler

Compiled 84 to 72 computations (14.3% saved)

simplify65.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
05061210

prune23.0ms (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New23225
Fresh325
Picked101
Done011
Total27532
Error
0.0b
Counts
32 → 5
Compiler

Compiled 285 to 93 computations (67.4% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b
(*.f64 (*.f64 x y) y)
0.2b
(*.f64 (*.f64 x y) y)

rewrite6.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×pow1_binary64_13779 add-cbrt-cube_binary64_13754 add-exp-log_binary64_13756
3×prod-exp_binary64_13767 pow-prod-down_binary64_13789 associate-*r*_binary64_13658 cbrt-unprod_binary64_13751
2×add-sqr-sqrt_binary64_13740 *-un-lft-identity_binary64_13718 add-cube-cbrt_binary64_13753
1×*-commutative_binary64_13649 add-log-exp_binary64_13757 associate-*l*_binary64_13659
Counts
1 → 18
Calls

2 calls:

5.0ms
(*.f64 (*.f64 x y) y)
0.0ms
(*.f64 (*.f64 x y) y)

series57.0ms (2.1%)

Counts
1 → 6
Calls

1 calls:

57.0ms
(*.f64 (*.f64 x y) y)
Compiler

Compiled 84 to 72 computations (14.3% saved)

simplify56.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
05057198

prune18.0ms (0.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New22224
Fresh033
Picked011
Done011
Total22729
Error
0.0b
Counts
29 → 7
Compiler

Compiled 289 to 99 computations (65.7% saved)

localize10.0ms (0.4%)

Local error

Found 8 expressions with local error:

0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
0.5b
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
1.2b
(*.f64 (+.f64 1 (*.f64 y y)) (cbrt.f64 x))
3.3b
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (+.f64 1 (*.f64 y y)) (cbrt.f64 x)))

rewrite29.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
18×pow1_binary64_13779 add-exp-log_binary64_13756
13×add-sqr-sqrt_binary64_13740
11×add-cbrt-cube_binary64_13754
10×cbrt-prod_binary64_13749
9×prod-exp_binary64_13767 pow-prod-down_binary64_13789 cbrt-unprod_binary64_13751 *-un-lft-identity_binary64_13718 add-cube-cbrt_binary64_13753
7×associate-*r*_binary64_13658
4×add-log-exp_binary64_13757 associate-*l/_binary64_13661 associate-*l*_binary64_13659
2×associate-*r/_binary64_13660 *-commutative_binary64_13649 flip3-+_binary64_13721 pow1/3_binary64_13800 unswap-sqr_binary64_13686 flip-+_binary64_13692
Counts
4 → 70
Calls

8 calls:

12.0ms
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (+.f64 1 (*.f64 y y)) (cbrt.f64 x)))
10.0ms
(*.f64 (+.f64 1 (*.f64 y y)) (cbrt.f64 x))
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
0.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))

series507.0ms (19.1%)

Counts
4 → 24
Calls

4 calls:

257.0ms
(*.f64 (+.f64 1 (*.f64 y y)) (cbrt.f64 x))
100.0ms
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (+.f64 1 (*.f64 y y)) (cbrt.f64 x)))
76.0ms
(cbrt.f64 x)
74.0ms
(cbrt.f64 x)
Compiler

Compiled 546 to 443 computations (18.9% saved)

simplify73.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
04922985
14922985

prune65.0ms (2.4%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New93194
Fresh044
Picked011
Done022
Total938101
Error
0.0b
Counts
101 → 8
Compiler

Compiled 1425 to 560 computations (60.7% saved)

simplify8.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0150481
1150481

regimes233.0ms (8.8%)

Compiler

Compiled 2107 to 1461 computations (30.7% saved)

bsearch0.0ms (0%)

regimes78.0ms (2.9%)

Compiler

Compiled 194 to 220 computations (-13.4% saved)

bsearch0.0ms (0%)

regimes54.0ms (2%)

Compiler

Compiled 114 to 141 computations (-23.7% saved)

bsearch0.0ms (0%)

regimes59.0ms (2.2%)

Compiler

Compiled 37 to 59 computations (-59.5% saved)

bsearch10.0ms (0.4%)

Steps
ItersRangePoint
9
0.0011579438998896674
381451.9379054418
0.993078768153627
Compiler

Compiled 3 to 3 computations (0% saved)

regimes19.0ms (0.7%)

Compiler

Compiled 12 to 30 computations (-150% saved)

bsearch0.0ms (0%)

regimes21.0ms (0.8%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch12.0ms (0.5%)

Steps
ItersRangePoint
10
-1.9336272057176435e-308
8.441456080535557e-299
3.1961021957859e-311
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes16.0ms (0.6%)

Accuracy

Total 0.1b remaining (80.4%)

Threshold costs 0.1b (80.4%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch4.0ms (0.2%)

Compiler

Compiled 41 to 35 computations (14.6% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02857
12857

end0.0ms (0%)

sample749.0ms (28.2%)

Algorithm
1×intervals
Results
174.0ms8000×body128valid
3.0ms160×body128invalid
Compiler

Compiled 372 to 262 computations (29.6% saved)

Pareto

-0.07381868096118237

Profiling

Loading profile data...