Details

Time bar (total: 3.8s)

analyze4.0ms

Algorithm
search

sample91.0ms

Algorithm
intervals
Results
52.0ms113×body1280valid
25.0ms86×body640valid
4.0ms30×body320valid
2.0ms24×body160valid
0.0ms3×body80valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0154
1204
2234
3234

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 58.8b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- 1.0 eps) (+ 1.0 eps))
6.0b
(log (/ (- 1.0 eps) (+ 1.0 eps)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
41×add-sqr-sqrt
40×times-frac
26×log-prod
23×add-cube-cbrt
11×distribute-lft-out
9×distribute-lft-out-- difference-of-squares
7×add-exp-log
5×associate-/l*
4×associate-/r* associate-/r/ add-cbrt-cube
3×pow1
2×flip3-+ div-exp rem-log-exp flip-+ div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div flip3-- frac-2neg div-sub clear-num log-pow flip--
Counts
2 → 83
Calls
2 calls:
7.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
7.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

series9.0ms

Counts
2 → 6
Calls
2 calls:
3.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
6.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

simplify135.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0339657
11040623
24497605
35001605

prune178.0ms

Filtered
59 candidates to 89 candidates (-50.8%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New86389
Fresh000
Picked101
Done000
Total87390

Merged error: 0.0b

Counts
90 → 3

localize10.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune6.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done000
Total033

Merged error: 0.0b

Counts
3 → 3

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 1 (+ 1.0 eps))
6.1b
(log (- 1.0 eps))
6.1b
(log (/ 1 (+ 1.0 eps)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
24×times-frac
23×add-sqr-sqrt log-prod
21×add-cube-cbrt
13×add-exp-log
7×pow1 distribute-lft-out
5×rem-log-exp add-cbrt-cube
4×div-exp associate-/r* associate-/r/ log-pow
3×log-div associate-/l* add-log-exp
2×rec-exp pow-flip flip3-+ 1-exp flip-+ div-inv inv-pow
1×cbrt-undiv flip3-- frac-2neg log-rec clear-num flip-- distribute-lft-out-- difference-of-squares
Counts
3 → 87
Calls
3 calls:
7.0ms
(/ 1 (+ 1.0 eps))
3.0ms
(log (- 1.0 eps))
5.0ms
(log (/ 1 (+ 1.0 eps)))

series9.0ms

Counts
3 → 9
Calls
3 calls:
2.0ms
(/ 1 (+ 1.0 eps))
3.0ms
(log (- 1.0 eps))
4.0ms
(log (/ 1 (+ 1.0 eps)))

simplify132.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0347517
11167459
24872407
35001407

prune109.0ms

Filtered
55 candidates to 96 candidates (-74.5%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New96096
Fresh011
Picked011
Done011
Total96399

Merged error: 0.0b

Counts
99 → 3

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3)))
0.0b
(* (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))) (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps))))
6.0b
(log (* (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))) (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps)))))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
183×*-un-lft-identity
91×times-frac
78×add-sqr-sqrt
55×distribute-lft-out
51×associate-*l*
44×unpow-prod-down cube-prod
35×add-cube-cbrt
19×distribute-lft-out-- difference-of-squares
16×add-exp-log
11×sum-cubes
10×add-cbrt-cube
9×associate-/r*
8×pow1
6×flip3-+ flip-+
5×log-div associate-/l*
4×frac-times associate-*r/ prod-exp associate-/r/
3×div-exp rem-log-exp associate-*r* add-log-exp
2×cbrt-undiv pow-prod-down associate-*l/ log-pow cbrt-unprod div-inv associate-/l/ unswap-sqr
1×distribute-rgt-in log-prod flip3-- frac-2neg distribute-lft-in div-sub clear-num *-commutative flip--
Counts
3 → 170
Calls
3 calls:
18.0ms
(/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3)))
27.0ms
(* (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))) (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps))))
22.0ms
(log (* (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))) (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps)))))

series19.0ms

Counts
3 → 9
Calls
3 calls:
4.0ms
(/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3)))
6.0ms
(* (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))) (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps))))
9.0ms
(log (* (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))) (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps)))))

simplify93.0ms

Algorithm
egg-herbie
Counts
179 → 179
Iterations

Useful iterations: 2 (72.0ms)

IterNodesCost
07471980
135941847
250011833

prune317.0ms

Filtered
102 candidates to 179 candidates (-75.5%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1781179
Fresh000
Picked101
Done022
Total1793182

Merged error: 0.0b

Counts
182 → 3

regimes33.0ms

Accuracy

0% (0.4b remaining)

Error of 0.6b against oracle of 0.2b and baseline of 0.6b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0159
1159

end0.0ms

analyze4.0ms

Algorithm
search

sample2.5s

Algorithm
intervals
Results
1.5s3413×body1280valid
616.0ms2481×body640valid
190.0ms1283×body320valid
61.0ms625×body160valid
8.0ms198×body80valid

Profiling

Loading profile data...