Details

Time bar (total: 7.8s)

sample165.0ms

Algorithm
intervals
Results
108.0ms116×body1280valid
32.0ms75×body640valid
9.0ms42×body320valid
4.0ms256×pre80true
2.0ms17×body160valid
0.0ms6×body80valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0105
1115
2115

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 62.2b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (log (- 1.0 x)) (log (+ 1.0 x)))
5.6b
(log (+ 1.0 x))
5.7b
(log (- 1.0 x))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
17×add-sqr-sqrt
16×times-frac
15×pow1 add-cube-cbrt
12×log-pow
9×log-prod
7×add-exp-log
6×log-div
5×add-cbrt-cube
4×associate-/r* associate-/l*
3×add-log-exp
2×flip3-- div-sub rem-log-exp flip--
1×cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ div-inv distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
3 → 69
Calls
3 calls:
9.0ms
(/ (log (- 1.0 x)) (log (+ 1.0 x)))
3.0ms
(log (+ 1.0 x))
3.0ms
(log (- 1.0 x))

series201.0ms

Counts
3 → 9
Calls
3 calls:
118.0ms
(/ (log (- 1.0 x)) (log (+ 1.0 x)))
42.0ms
(log (+ 1.0 x))
41.0ms
(log (- 1.0 x))

simplify44.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0425668
11561624
25001599

prune188.0ms

Filtered
78 candidates to 55 candidates (70.5%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New74478
Fresh000
Picked101
Done000
Total75479

Merged error: 59.8b

Counts
79 → 4

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (log (- 1.0 x)) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))
5.7b
(log (- 1.0 x))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt *-un-lft-identity
12×add-cube-cbrt times-frac
7×pow1
5×add-exp-log log-prod log-pow
4×log-div associate-/r/ add-cbrt-cube associate-/l*
3×flip3-- associate-/r* flip--
2×div-sub associate-*r/ frac-sub add-log-exp
1×cbrt-undiv frac-2neg flip3-+ div-exp rem-log-exp clear-num flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 53
Calls
2 calls:
10.0ms
(/ (log (- 1.0 x)) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))
3.0ms
(log (- 1.0 x))

series176.0ms

Counts
2 → 6
Calls
2 calls:
131.0ms
(/ (log (- 1.0 x)) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))
45.0ms
(log (- 1.0 x))

simplify56.0ms

Algorithm
egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0503920
11937863
25001854

prune195.0ms

Filtered
59 candidates to 46 candidates (78.0%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New58159
Fresh123
Picked101
Done000
Total60363

Merged error: 0.0b

Counts
63 → 3

localize13.0ms

Local error

Found 1 expressions with local error:

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

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
20×add-sqr-sqrt
18×times-frac
12×add-cube-cbrt
8×distribute-lft-out--
6×associate-/l*
5×pow1
4×associate-/r/ log-pow difference-of-squares
3×add-exp-log associate-/r* add-cbrt-cube
2×flip3-- associate-*r/ frac-sub flip-- associate-/l/
1×cbrt-undiv frac-2neg flip3-+ div-sub div-exp clear-num flip-+ div-inv add-log-exp
Counts
1 → 46
Calls
1 calls:
13.0ms
(/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))

series117.0ms

Counts
1 → 3
Calls
1 calls:
117.0ms
(/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))

simplify49.0ms

Algorithm
egg-herbie
Counts
49 → 49
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
03581273
114461202
250021197

prune136.0ms

Filtered
49 candidates to 35 candidates (71.4%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New48149
Fresh022
Picked011
Done000
Total48452

Merged error: 0b

Counts
52 → 4

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2)))
0.1b
(* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2)))
8.3b
(/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2))))
31.5b
(* (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2)))) (* (+ (* (* 1.0 x) (* 1.0 x)) (- (* (log 1.0) (log 1.0)) (* (* 1.0 x) (log 1.0)))) (pow 1.0 2)))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
49×*-un-lft-identity
42×add-sqr-sqrt
40×add-exp-log
38×associate-*l*
36×times-frac
31×associate-*l/
28×add-cube-cbrt
23×add-cbrt-cube
21×prod-exp
18×flip3-+ flip-+
15×pow1
14×distribute-neg-frac distribute-lft-out--
12×frac-add associate-/r/
9×cbrt-unprod
7×log-pow difference-of-squares
6×associate-/l* add-log-exp
5×div-exp
3×cbrt-undiv distribute-lft-neg-in pow-to-exp distribute-rgt-neg-in pow-exp associate-/r*
2×frac-times associate-*r/ associate-*r* pow-prod-down *-commutative div-inv associate-/l/
1×+-commutative distribute-lft-neg-out neg-mul-1 flip3-- frac-2neg div-sub clear-num sum-log flip--
Counts
4 → 147
Calls
4 calls:
16.0ms
(+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2)))
14.0ms
(* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2)))
20.0ms
(/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2))))
33.0ms
(* (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2)))) (* (+ (* (* 1.0 x) (* 1.0 x)) (- (* (log 1.0) (log 1.0)) (* (* 1.0 x) (log 1.0)))) (pow 1.0 2)))

series847.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2)))
106.0ms
(* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2)))
272.0ms
(/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2))))
328.0ms
(* (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2)))) (* (+ (* (* 1.0 x) (* 1.0 x)) (- (* (log 1.0) (log 1.0)) (* (* 1.0 x) (log 1.0)))) (pow 1.0 2)))

simplify84.0ms

Algorithm
egg-herbie
Counts
159 → 159
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
010796574
150015890

prune773.0ms

Filtered
159 candidates to 113 candidates (71.1%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1590159
Fresh022
Picked011
Done011
Total1594163

Merged error: 0b

Counts
163 → 4

regimes26.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 0.4b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01917
11917

end0.0ms

sample4.6s

Algorithm
intervals
Results
3.0s3467×body1280valid
1.0s2448×body640valid
249.0ms1195×body320valid
99.0ms8000×pre80true
80.0ms662×body160valid
12.0ms228×body80valid