Details

Time bar (total: 4.3s)

analyze4.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
25%25%50%4
37.5%12.5%50%5
43.7%6.2%50%6
46.9%3.1%50%7
48.4%1.6%50%8
49.2%0.8%50%9
49.6%0.4%50%10
49.8%0.2%50%11
49.9%0.1%50%12
49.9%0%50%13
49.9%0%50%14

sample88.0ms (2%)

Algorithm
1×intervals
Results
55.0ms122×body1280valid
19.0ms75×body640valid
5.0ms36×body320valid
2.0ms20×body160valid
0.0ms3×body80valid

simplify187.0ms (4.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (186.0ms)

IterNodesCost
050418

prune5.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 59.0b

Counts
2 → 1

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite21.0ms (0.5%)

Algorithm
1×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:

11.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))
7.0ms
(/ (- 1.0 eps) (+ 1.0 eps))

series8.0ms (0.2%)

Counts
2 → 6
Calls

2 calls:

5.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))
3.0ms
(/ (- 1.0 eps) (+ 1.0 eps))

simplify63.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049551113
149551113

prune174.0ms (4%)

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 (0.2%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune6.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done000
Total033

Merged error: 0.0b

Counts
3 → 3

localize17.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

rewrite30.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
91×*-un-lft-identity
54×log-prod
45×times-frac
43×add-sqr-sqrt
25×distribute-lft-out
21×add-cube-cbrt
20×unpow-prod-down cube-prod
10×distribute-lft-out-- difference-of-squares
9×add-exp-log
7×pow1
5×associate-*r* sum-cubes add-cbrt-cube
3×log-div rem-log-exp associate-*l* add-log-exp
2×sub-neg flip3-+ associate-*r/ associate-/r/ log-pow flip-+
1×distribute-rgt-in flip3-- distribute-lft-in div-exp pow-prod-down prod-exp *-commutative flip-- cbrt-unprod div-inv unswap-sqr
Counts
3 → 100
Calls

3 calls:

15.0ms
(log (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))))
6.0ms
(* eps (- eps 1.0))
4.0ms
(log (+ (* 1.0 1.0) (* eps (- eps 1.0))))

series13.0ms (0.3%)

Counts
3 → 9
Calls

3 calls:

5.0ms
(log (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))))
4.0ms
(log (+ (* 1.0 1.0) (* eps (- eps 1.0))))
4.0ms
(* eps (- eps 1.0))

simplify74.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049301667
149301667

prune306.0ms (7.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1072109
Fresh101
Picked101
Done011
Total1093112

Merged error: 0.0b

Counts
112 → 3

localize18.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite43.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
90×*-un-lft-identity
60×log-prod
45×times-frac
40×add-sqr-sqrt
25×distribute-lft-out
22×add-cube-cbrt
20×unpow-prod-down cube-prod
10×add-exp-log
9×distribute-lft-out-- difference-of-squares
8×pow1
7×log-div
5×rem-log-exp sum-cubes
4×flip3-+ log-pow add-cbrt-cube flip-+ add-log-exp
2×associate-/r/
1×div-exp div-inv
Counts
4 → 104
Calls

4 calls:

24.0ms
(log (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))))
7.0ms
(log (+ (* 1.0 1.0) (* eps (- eps 1.0))))
4.0ms
(log (+ (* 1.0 1.0) (* eps (- eps 1.0))))
4.0ms
(log (+ (* 1.0 1.0) (* eps (- eps 1.0))))

series19.0ms (0.4%)

Counts
4 → 12
Calls

4 calls:

7.0ms
(log (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))))
4.0ms
(log (+ (* 1.0 1.0) (* eps (- eps 1.0))))
4.0ms
(log (+ (* 1.0 1.0) (* eps (- eps 1.0))))
4.0ms
(log (+ (* 1.0 1.0) (* eps (- eps 1.0))))

simplify44.0ms (1%)

Algorithm
1×egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
050172039

prune587.0ms (13.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1160116
Fresh011
Picked011
Done011
Total1163119

Merged error: 0.0b

Counts
119 → 3

regimes30.0ms (0.7%)

Accuracy

Total 0.5b remaining (72.8%)

Threshold costs 0.5b (72.8%)

bsearch0.0ms (0%)

simplify1.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04918
14918

end0.0ms (0%)

sample2.6s (59.3%)

Algorithm
1×intervals
Results
1.5s3377×body1280valid
620.0ms2462×body640valid
194.0ms1268×body320valid
65.0ms700×body160valid
8.0ms193×body80valid

Profiling

Loading profile data...