Details

Time bar (total: 9.2s)

analyze212.0ms (2.3%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05620
15620
022
122
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%50%12.6%6
43.7%40.6%15.7%7
56.2%23.4%20.4%8
57.8%21.1%21.2%9
64%12.5%23.5%10
64.8%10.7%24.5%11
67.9%6.4%25.7%12
68.3%5.4%26.3%13
69.9%3.3%26.9%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample217.0ms (2.3%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
3.0ms101×body128invalid
Compiler

Compiled 3589 to 3587 computations (0.1% saved)

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03910
13910

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 23 to 19 computations (17.4% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite52.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
9×pow1_binary64_15143 add-exp-log_binary64_15120 add-cbrt-cube_binary64_15118
7×add-sqr-sqrt_binary64_15104 *-un-lft-identity_binary64_15082
6×associate-*r/_binary64_15024 associate-*l*_binary64_15023
5×add-cube-cbrt_binary64_15117 distribute-rgt-in_binary64_15032 distribute-lft-in_binary64_15031 associate-*r*_binary64_15022
4×pow-prod-down_binary64_15153 prod-exp_binary64_15131 cbrt-unprod_binary64_15115
2×add-log-exp_binary64_15121 flip3-+_binary64_15085 flip-+_binary64_15056 *-commutative_binary64_15013
1×unswap-sqr_binary64_15050 distribute-lft-out_binary64_15033
Counts
2 → 47
Calls

2 calls:

7.0ms
(*.f64 2 (*.f64 x (+.f64 x y)))
6.0ms
(*.f64 x (+.f64 x y))
Compiler

Compiled 615 to 250 computations (59.3% saved)

series253.0ms (2.7%)

Error
0.0b
Counts
2 → 24
Calls

2 calls:

134.0ms
(*.f64 2 (*.f64 x (+.f64 x y)))
105.0ms
(*.f64 x (+.f64 x y))
Compiler

Compiled 480 to 393 computations (18.1% saved)

simplify98.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
04967681
14967681

prune50.0ms (0.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New69271
Fresh011
Picked101
Done000
Total70373
Error
0b
Counts
73 → 3
Compiler

Compiled 719 to 316 computations (56.1% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

rewrite27.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
6×pow1_binary64_15143 add-exp-log_binary64_15120 add-cbrt-cube_binary64_15118
4×distribute-rgt-in_binary64_15032 distribute-lft-in_binary64_15031 associate-*r/_binary64_15024
3×pow-prod-down_binary64_15153 prod-exp_binary64_15131 cbrt-unprod_binary64_15115 associate-*l*_binary64_15023
2×add-cube-cbrt_binary64_15117 add-sqr-sqrt_binary64_15104 *-un-lft-identity_binary64_15082
1×add-log-exp_binary64_15121 flip3-+_binary64_15085 flip-+_binary64_15056 associate-*r*_binary64_15022 *-commutative_binary64_15013
Counts
1 → 24
Calls

1 calls:

7.0ms
(*.f64 x (*.f64 2 (+.f64 x y)))
Compiler

Compiled 320 to 171 computations (46.6% saved)

series135.0ms (1.5%)

Error
0b
Counts
1 → 12
Calls

1 calls:

128.0ms
(*.f64 x (*.f64 2 (+.f64 x y)))
Compiler

Compiled 258 to 216 computations (16.3% saved)

simplify50.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
05062397

prune24.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New36036
Fresh022
Picked011
Done000
Total36339
Error
0b
Counts
39 → 3
Compiler

Compiled 370 to 172 computations (53.5% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite39.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
6×add-sqr-sqrt_binary64_15104
4×add-log-exp_binary64_15121 pow1_binary64_15143 add-exp-log_binary64_15120 add-cbrt-cube_binary64_15118 add-cube-cbrt_binary64_15117 *-un-lft-identity_binary64_15082 associate-*r*_binary64_15022
3×associate-*l*_binary64_15023
2×flip3-+_binary64_15085 flip-+_binary64_15056 distribute-lft-out_binary64_15033 associate-*r/_binary64_15024
1×sum-log_binary64_15173 +-commutative_binary64_15012 pow-prod-down_binary64_15153 prod-exp_binary64_15131 cbrt-unprod_binary64_15115 unswap-sqr_binary64_15050 distribute-rgt-in_binary64_15032 distribute-lft-in_binary64_15031 *-commutative_binary64_15013
Counts
2 → 35
Calls

2 calls:

6.0ms
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
4.0ms
(+.f64 (*.f64 x x) (*.f64 x y))
Compiler

Compiled 608 to 186 computations (69.4% saved)

series277.0ms (3%)

Error
0b
Counts
2 → 24
Calls

2 calls:

150.0ms
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
114.0ms
(+.f64 (*.f64 x x) (*.f64 x y))
Compiler

Compiled 480 to 393 computations (18.1% saved)

simplify73.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
04981610
14981610

prune38.0ms (0.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New59059
Fresh011
Picked011
Done011
Total59362
Error
0b
Counts
62 → 3
Compiler

Compiled 632 to 263 computations (58.4% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)

rewrite83.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
25×cbrt-prod_binary64_15113
23×add-sqr-sqrt_binary64_15104
15×add-cube-cbrt_binary64_15117 *-un-lft-identity_binary64_15082
11×pow1_binary64_15143
9×pow1/3_binary64_15164
6×add-exp-log_binary64_15120 swap-sqr_binary64_15049 associate-*l*_binary64_15023 associate-*r*_binary64_15022
4×add-log-exp_binary64_15121 add-cbrt-cube_binary64_15118 unswap-sqr_binary64_15050
2×pow-prod-down_binary64_15153 pow-prod-up_binary64_15152 pow-sqr_binary64_15055
1×pow2_binary64_15163 pow-plus_binary64_15145 prod-exp_binary64_15131 cbrt-unprod_binary64_15115 *-commutative_binary64_15013
Counts
4 → 73
Calls

4 calls:

6.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
Compiler

Compiled 1378 to 390 computations (71.7% saved)

series495.0ms (5.4%)

Error
0b
Counts
4 → 12
Calls

4 calls:

151.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
115.0ms
(cbrt.f64 x)
111.0ms
(cbrt.f64 x)
108.0ms
(cbrt.f64 x)
Compiler

Compiled 591 to 411 computations (30.5% saved)

simplify74.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
04873548
14873548

prune74.0ms (0.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New85085
Fresh000
Picked011
Done022
Total85388
Error
0b
Counts
88 → 3
Compiler

Compiled 1403 to 468 computations (66.6% saved)

regimes85.0ms (0.9%)

Accuracy

Total 0.0b remaining (78.7%)

Threshold costs 0.0b (78.7%)

Compiler

Compiled 516 to 412 computations (20.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01010
11010

end0.0ms (0%)

sample6.8s (74%)

Algorithm
1×intervals
Results
198.0ms8000×body128valid
90.0ms3192×body128invalid
Compiler

Compiled 112064 to 112037 computations (0% saved)

Profiling

Loading profile data...