Details

Time bar (total: 4.5s)

analyze4.0ms

Algorithm
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

sample96.0ms

Algorithm
intervals
Results
59.0ms115×body1280valid
19.0ms70×body640valid
7.0ms44×body320valid
2.0ms20×body160valid
0.0ms7×body80valid

simplify190.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (188.0ms)

IterNodesCost
0488912
1488912

prune5.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 58.5b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ 1.0 x) (- 1.0 x))
5.5b
(log (/ (+ 1.0 x) (- 1.0 x)))

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-/r*
4×associate-/r/ add-cbrt-cube associate-/l*
3×pow1
2×flip3-- div-exp rem-log-exp flip-- div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div frac-2neg flip3-+ clear-num log-pow flip-+
Counts
2 → 82
Calls
2 calls:
7.0ms
(/ (+ 1.0 x) (- 1.0 x))
7.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

series9.0ms

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

simplify48.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
050061111

prune141.0ms

Filtered
58 candidates to 88 candidates (-51.7%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New84488
Fresh000
Picked101
Done000
Total85489

Merged error: 0.1b

Counts
89 → 4

localize12.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

prune9.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New000
Fresh033
Picked011
Done000
Total044

Merged error: 0.1b

Counts
4 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (log (sqrt (+ 1.0 x))) (log (/ (sqrt (+ 1.0 x)) (- 1.0 x))))
0.0b
(/ (sqrt (+ 1.0 x)) (- 1.0 x))
5.5b
(log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
5.5b
(log (sqrt (+ 1.0 x)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
148×*-un-lft-identity
108×add-sqr-sqrt
105×times-frac
96×log-prod
72×sqrt-prod
64×add-cube-cbrt
41×associate-+r+
22×distribute-lft-out distribute-lft-out-- difference-of-squares
11×pow1
10×add-exp-log
8×log-pow
7×associate-+l+ associate-/l*
6×log-div sqrt-div associate-/r/ add-cbrt-cube
5×associate-/r*
4×flip3-+ flip-+ add-log-exp
3×flip3-- rem-log-exp flip-- div-inv
2×associate-+l- div-exp associate-/l/
1×cbrt-undiv +-commutative associate-+r- frac-2neg sqrt-pow1 pow1/2 clear-num sum-log
Counts
4 → 201
Calls
4 calls:
16.0ms
(+ (log (sqrt (+ 1.0 x))) (log (/ (sqrt (+ 1.0 x)) (- 1.0 x))))
9.0ms
(/ (sqrt (+ 1.0 x)) (- 1.0 x))
8.0ms
(log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
4.0ms
(log (sqrt (+ 1.0 x)))

series45.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(+ (log (sqrt (+ 1.0 x))) (log (/ (sqrt (+ 1.0 x)) (- 1.0 x))))
7.0ms
(/ (sqrt (+ 1.0 x)) (- 1.0 x))
11.0ms
(log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
7.0ms
(log (sqrt (+ 1.0 x)))

simplify51.0ms

Algorithm
egg-herbie
Counts
213 → 213
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
054433215

prune388.0ms

Filtered
129 candidates to 213 candidates (-65.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2121213
Fresh022
Picked101
Done011
Total2134217

Merged error: 0.1b

Counts
217 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 1/2 (log (+ 1.0 x))) (log (/ (sqrt (+ 1.0 x)) (- 1.0 x))))
0.0b
(/ (sqrt (+ 1.0 x)) (- 1.0 x))
5.5b
(log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
5.5b
(log (+ 1.0 x))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
145×*-un-lft-identity
107×add-sqr-sqrt
105×times-frac
94×log-prod
64×sqrt-prod
63×add-cube-cbrt
41×associate-+r+
22×distribute-lft-out-- difference-of-squares
19×distribute-lft-out
10×add-exp-log
8×associate-+l+
7×associate-/l*
6×pow1 associate-/r/ add-cbrt-cube
5×associate-/r* add-log-exp
4×distribute-rgt-in log-div distribute-lft-in
3×flip3-- flip3-+ rem-log-exp flip-- flip-+ div-inv
2×sqrt-div div-exp log-pow associate-/l/
1×cbrt-undiv +-commutative associate-+r- frac-2neg clear-num sum-log
Counts
4 → 191
Calls
4 calls:
15.0ms
(+ (* 1/2 (log (+ 1.0 x))) (log (/ (sqrt (+ 1.0 x)) (- 1.0 x))))
8.0ms
(/ (sqrt (+ 1.0 x)) (- 1.0 x))
8.0ms
(log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
3.0ms
(log (+ 1.0 x))

series40.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(+ (* 1/2 (log (+ 1.0 x))) (log (/ (sqrt (+ 1.0 x)) (- 1.0 x))))
7.0ms
(/ (sqrt (+ 1.0 x)) (- 1.0 x))
11.0ms
(log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
3.0ms
(log (+ 1.0 x))

simplify76.0ms

Algorithm
egg-herbie
Counts
203 → 203
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049803143
149803143

prune365.0ms

Filtered
125 candidates to 203 candidates (-62.4%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1994203
Fresh112
Picked101
Done011
Total2016207

Merged error: 0.1b

Counts
207 → 6

regimes50.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04524
14524

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.7s3433×body1280valid
696.0ms2459×body640valid
218.0ms1250×body320valid
68.0ms644×body160valid
11.0ms214×body80valid

Profiling

Loading profile data...