Details

Time bar (total: 2.1s)

analyze3.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1

sample16.0ms

Algorithm
intervals
Results
7.0ms256×pre80true
5.0ms256×body80valid

simplify58.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049910
149910

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 8.2b

Counts
2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

1.0b
(/.f64 x0 (-.f64 1 x1))
7.4b
(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt_binary64
27×*-un-lft-identity_binary64
19×times-frac_binary64
13×add-cube-cbrt_binary64
10×difference-of-squares_binary64
6×associate-/r*_binary64
5×distribute-lft-out--_binary64
4×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
3×associate-/l*_binary64
2×pow1_binary64 flip3--_binary64 associate-/r/_binary64 flip--_binary64
1×sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
Counts
2 → 55
Calls
2 calls:
6.0ms
(/.f64 x0 (-.f64 1 x1))
18.0ms
(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

series58.0ms

Counts
2 → 6
Calls
2 calls:
24.0ms
(/.f64 x0 (-.f64 1 x1))
34.0ms
(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

simplify70.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
04961931
14961931

prune41.0ms

Filtered
45 candidates to 61 candidates (-35.6%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New59261
Fresh000
Picked101
Done000
Total60262

Merged error: 6.6b

Counts
62 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
0.5b
(*.f64 (-.f64 1 x1) (-.f64 1 x1))
1.0b
(/.f64 x0 (-.f64 1 x1))
5.9b
(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
53×*-un-lft-identity_binary64
49×add-sqr-sqrt_binary64
19×add-cube-cbrt_binary64 times-frac_binary64
18×difference-of-squares_binary64
11×pow1_binary64 distribute-lft-out--_binary64
8×add-log-exp_binary64 flip3--_binary64 swap-sqr_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 flip--_binary64
6×associate-/r*_binary64 associate-*r*_binary64 associate-*l*_binary64
4×frac-times_binary64
3×sub-neg_binary64 associate-/l*_binary64
2×associate-*r/_binary64 associate-/r/_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 flip3-+_binary64 diff-log_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 pow-prod-up_binary64 cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 pow-plus_binary64 unswap-sqr_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 pow-sqr_binary64 +-commutative_binary64 flip-+_binary64 pow2_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 113
Calls
4 calls:
12.0ms
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
11.0ms
(*.f64 (-.f64 1 x1) (-.f64 1 x1))
6.0ms
(/.f64 x0 (-.f64 1 x1))
16.0ms
(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

series120.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
8.0ms
(*.f64 (-.f64 1 x1) (-.f64 1 x1))
24.0ms
(/.f64 x0 (-.f64 1 x1))
62.0ms
(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

simplify101.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
053071839

prune107.0ms

Filtered
85 candidates to 125 candidates (-47.1%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1232125
Fresh101
Picked101
Done000
Total1252127

Merged error: 5.2b

Counts
127 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b
(/.f64 (*.f64 x0 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)) (+.f64 x0 (/.f64 x0 (-.f64 1 x1))))
0.5b
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
1.0b
(/.f64 x0 (-.f64 1 x1))
5.9b
(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity_binary64
34×add-sqr-sqrt_binary64
23×times-frac_binary64
17×add-cube-cbrt_binary64
11×add-exp-log_binary64 add-cbrt-cube_binary64
10×associate-/r*_binary64 difference-of-squares_binary64
8×add-log-exp_binary64
5×distribute-lft-out--_binary64
4×pow1_binary64 associate-/r/_binary64 associate-/l*_binary64
3×flip3--_binary64 distribute-lft-out_binary64 cbrt-undiv_binary64 div-exp_binary64 flip--_binary64
2×flip3-+_binary64 associate-/l/_binary64 associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 flip-+_binary64
1×sub-neg_binary64 diff-log_binary64 cbrt-unprod_binary64 prod-exp_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 94
Calls
4 calls:
21.0ms
(/.f64 (*.f64 x0 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)) (+.f64 x0 (/.f64 x0 (-.f64 1 x1))))
10.0ms
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
6.0ms
(/.f64 x0 (-.f64 1 x1))
9.0ms
(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

series264.0ms

Counts
4 → 12
Calls
4 calls:
136.0ms
(/.f64 (*.f64 x0 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)) (+.f64 x0 (/.f64 x0 (-.f64 1 x1))))
27.0ms
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
25.0ms
(/.f64 x0 (-.f64 1 x1))
76.0ms
(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

simplify77.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
052392310

prune99.0ms

Filtered
79 candidates to 106 candidates (-34.2%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1042106
Fresh101
Picked101
Done000
Total1062108

Merged error: 4.2b

Counts
108 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
1.0b
(/.f64 x0 (-.f64 1 x1))
4.7b
(log.f64 (exp.f64 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)))
5.9b
(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt_binary64
35×*-un-lft-identity_binary64
20×times-frac_binary64
17×add-cube-cbrt_binary64
12×difference-of-squares_binary64
8×add-log-exp_binary64
7×log-pow_binary64
6×associate-/r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 distribute-lft-out--_binary64 exp-prod_binary64
5×pow1_binary64
4×log-prod_binary64
3×associate-/l*_binary64
2×sub-neg_binary64 flip3--_binary64 associate-/r/_binary64 flip--_binary64
1×flip3-+_binary64 diff-log_binary64 distribute-lft-out_binary64 cbrt-undiv_binary64 rem-log-exp_binary64 exp-diff_binary64 clear-num_binary64 exp-sum_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 log-div_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64
Counts
4 → 87
Calls
4 calls:
10.0ms
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
6.0ms
(/.f64 x0 (-.f64 1 x1))
10.0ms
(log.f64 (exp.f64 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)))
9.0ms
(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

series211.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
29.0ms
(/.f64 x0 (-.f64 1 x1))
75.0ms
(log.f64 (exp.f64 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)))
76.0ms
(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

simplify83.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
050571762

prune100.0ms

Filtered
75 candidates to 99 candidates (-32.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New97299
Fresh101
Picked101
Done000
Total992101

Merged error: 3.2b

Counts
101 → 2

regimes20.0ms

Accuracy

100% (0.0b remaining)

Error of 3.4b against oracle of 3.4b and baseline of 4.5b

bsearch14.0ms

Steps
ItersRangePoint
7
0.000209
0.0186
0.00021208908081054686

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
059108
159108

end0.0ms

sample464.0ms

Algorithm
intervals
Results
211.0ms8000×pre80true
165.0ms8000×body80valid

Profiling

Loading profile data...