Details

Time bar (total: 2.7s)

analyze178.0ms (6.5%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
041820
141820
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
12.5%87.4%0.1%4
31.2%68.7%0.1%5
43.7%56.2%0.1%6
56.2%40.6%3.2%7
64%29.7%6.3%8
71%20.3%8.7%9
75.3%15.2%9.5%10
79%10.1%10.8%11
81.3%7.7%11%12
83.2%5%11.8%13
84.4%3.8%11.8%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample13.0ms (0.5%)

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

Compiled 15 to 15 computations (0% saved)

simplify18.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
025610
125610

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(-.f64 (*.f64 (+.f64 x 1) y) x)
0.0b
(*.f64 (+.f64 x 1) y)

rewrite41.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
7×add-sqr-sqrt_binary64_7261 *-un-lft-identity_binary64_7239
5×add-cube-cbrt_binary64_7274
4×pow1_binary64_7300 add-exp-log_binary64_7277 add-log-exp_binary64_7278 add-cbrt-cube_binary64_7275 associate-*l*_binary64_7180
3×associate-*r*_binary64_7179 cancel-sign-sub-inv_binary64_7205
2×associate-*l/_binary64_7182
1×pow-prod-down_binary64_7310 prod-exp_binary64_7288 cbrt-unprod_binary64_7272 unswap-sqr_binary64_7207 flip3-+_binary64_7242 flip-+_binary64_7213 distribute-lft-out_binary64_7190 *-commutative_binary64_7170 diff-log_binary64_7331 flip3--_binary64_7243 sub-neg_binary64_7232 flip--_binary64_7214
Counts
2 → 35
Calls

2 calls:

6.0ms
(*.f64 (+.f64 x 1) y)
6.0ms
(-.f64 (*.f64 (+.f64 x 1) y) x)
Compiler

Compiled 493 to 319 computations (35.3% saved)

series126.0ms (4.6%)

Error
0.0b
Counts
2 → 21
Calls

2 calls:

63.0ms
(-.f64 (*.f64 (+.f64 x 1) y) x)
50.0ms
(*.f64 (+.f64 x 1) y)
Compiler

Compiled 330 to 200 computations (39.4% saved)

simplify89.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
04937541
14937541

prune36.0ms (1.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New53356
Fresh000
Picked101
Done000
Total54357
Error
0b
Counts
57 → 3
Compiler

Compiled 594 to 200 computations (66.3% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite29.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
9×add-log-exp_binary64_7278
5×add-sqr-sqrt_binary64_7261 *-un-lft-identity_binary64_7239
3×add-cube-cbrt_binary64_7274 cancel-sign-sub-inv_binary64_7205
2×sum-log_binary64_7330 diff-log_binary64_7331 pow1_binary64_7300 add-exp-log_binary64_7277 add-cbrt-cube_binary64_7275
1×flip3--_binary64_7243 sub-neg_binary64_7232 flip--_binary64_7214 difference-of-squares_binary64_7208 distribute-lft-out--_binary64_7191 associate--l+_binary64_7176 flip3-+_binary64_7242 flip-+_binary64_7213 +-commutative_binary64_7169
Counts
2 → 29
Calls

2 calls:

6.0ms
(-.f64 (+.f64 y (*.f64 y x)) x)
3.0ms
(+.f64 y (*.f64 y x))
Compiler

Compiled 420 to 107 computations (74.5% saved)

series130.0ms (4.8%)

Error
0b
Counts
2 → 21
Calls

2 calls:

76.0ms
(-.f64 (+.f64 y (*.f64 y x)) x)
46.0ms
(+.f64 y (*.f64 y x))
Compiler

Compiled 330 to 200 computations (39.4% saved)

simplify62.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
05047529

prune28.0ms (1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New49150
Fresh112
Picked101
Done000
Total51253
Error
0b
Counts
53 → 2
Compiler

Compiled 514 to 111 computations (78.4% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 (*.f64 x y) x)

rewrite13.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
3×add-log-exp_binary64_7278 cancel-sign-sub-inv_binary64_7205
2×add-cube-cbrt_binary64_7274 add-sqr-sqrt_binary64_7261 *-un-lft-identity_binary64_7239
1×diff-log_binary64_7331 pow1_binary64_7300 add-exp-log_binary64_7277 add-cbrt-cube_binary64_7275 flip3--_binary64_7243 sub-neg_binary64_7232 flip--_binary64_7214
Counts
1 → 14
Calls

1 calls:

4.0ms
(-.f64 (*.f64 x y) x)
Compiler

Compiled 196 to 67 computations (65.8% saved)

series58.0ms (2.1%)

Error
0b
Counts
1 → 9
Calls

1 calls:

54.0ms
(-.f64 (*.f64 x y) x)
Compiler

Compiled 162 to 106 computations (34.6% saved)

simplify64.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
05045198

prune15.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New23023
Fresh011
Picked011
Done000
Total23225
Error
0b
Counts
25 → 2
Compiler

Compiled 242 to 115 computations (52.5% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (+.f64 y (*.f64 y x))) (cbrt.f64 (+.f64 y (*.f64 y x))))
0.5b
(cbrt.f64 (+.f64 y (*.f64 y x)))
0.5b
(cbrt.f64 (+.f64 y (*.f64 y x)))
0.5b
(cbrt.f64 (+.f64 y (*.f64 y x)))

rewrite105.0ms (3.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
25×cbrt-prod_binary64_7270
23×add-sqr-sqrt_binary64_7261
18×cbrt-div_binary64_7271
15×add-cube-cbrt_binary64_7274 *-un-lft-identity_binary64_7239
11×pow1_binary64_7300
9×pow1/3_binary64_7321 flip3-+_binary64_7242 flip-+_binary64_7213
6×add-exp-log_binary64_7277 swap-sqr_binary64_7206 associate-*l*_binary64_7180 associate-*r*_binary64_7179
4×add-log-exp_binary64_7278 add-cbrt-cube_binary64_7275 frac-times_binary64_7249 unswap-sqr_binary64_7207
2×pow-prod-down_binary64_7310 pow-prod-up_binary64_7309 pow-sqr_binary64_7212 associate-*l/_binary64_7182 associate-*r/_binary64_7181
1×pow2_binary64_7320 pow-plus_binary64_7302 prod-exp_binary64_7288 cbrt-unprod_binary64_7272 *-commutative_binary64_7170
Counts
4 → 87
Calls

4 calls:

10.0ms
(*.f64 (cbrt.f64 (+.f64 y (*.f64 y x))) (cbrt.f64 (+.f64 y (*.f64 y x))))
2.0ms
(cbrt.f64 (+.f64 y (*.f64 y x)))
2.0ms
(cbrt.f64 (+.f64 y (*.f64 y x)))
2.0ms
(cbrt.f64 (+.f64 y (*.f64 y x)))
Compiler

Compiled 2834 to 423 computations (85.1% saved)

series748.0ms (27.3%)

Error
0b
Counts
4 → 38
Calls

4 calls:

223.0ms
(*.f64 (cbrt.f64 (+.f64 y (*.f64 y x))) (cbrt.f64 (+.f64 y (*.f64 y x))))
165.0ms
(cbrt.f64 (+.f64 y (*.f64 y x)))
160.0ms
(cbrt.f64 (+.f64 y (*.f64 y x)))
155.0ms
(cbrt.f64 (+.f64 y (*.f64 y x)))
Compiler

Compiled 3195 to 1998 computations (37.5% saved)

simplify64.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
051652234

prune108.0ms (3.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1250125
Fresh000
Picked011
Done011
Total1252127
Error
0b
Counts
127 → 2
Compiler

Compiled 3394 to 759 computations (77.6% saved)

regimes110.0ms (4%)

Accuracy

Total 0.0b remaining (66.7%)

Threshold costs 0.0b (66.7%)

Compiler

Compiled 786 to 574 computations (27% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01810
11810

end0.0ms (0%)

sample668.0ms (24.4%)

Algorithm
1×intervals
Results
174.0ms7999×body128valid
1.0ms68×body128invalid
0.0ms1×body512valid
Compiler

Compiled 261 to 190 computations (27.2% saved)

Profiling

Loading profile data...