Details

Time bar (total: 4.3s)

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

sample110.0ms

Algorithm
intervals
Results
59.0ms100×body1280valid
32.0ms91×body640valid
7.0ms33×body320valid
3.0ms25×body160valid
1.0ms7×body80valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04812
14812

prune4.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.4b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ 1.0 x) (- 1.0 x))
6.8b
(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))
6.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

series12.0ms

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

simplify55.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049181106
149181106

prune144.0ms

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

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New83588
Fresh000
Picked101
Done000
Total84589

Merged error: 0.2b

Counts
89 → 5

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

prune13.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New000
Fresh044
Picked011
Done000
Total055

Merged error: 0.2b

Counts
5 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (log (+ (* 1.0 1.0) (* x (+ 1.0 x)))))
0.0b
(* x (+ 1.0 x))
6.8b
(log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
6.8b
(log (+ (* 1.0 1.0) (* x (+ 1.0 x))))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
262×add-sqr-sqrt
254×*-un-lft-identity
218×log-prod
200×times-frac
128×difference-of-squares
106×associate-+l+
96×unpow-prod-down cube-prod
68×add-cube-cbrt
64×sqr-pow
55×distribute-lft-out
40×distribute-lft-out--
12×pow1
10×add-exp-log
8×difference-cubes
6×log-div log-pow add-cbrt-cube
4×flip3-+ associate-*r* associate-/r/ flip-+ add-log-exp
3×associate-+r+ rem-log-exp associate-*l*
2×associate-+r- flip3-- associate-*r/ flip-- div-inv
1×+-commutative distribute-rgt-in associate-+l- distribute-lft-in div-exp pow-prod-down prod-exp sum-log *-commutative cbrt-unprod unswap-sqr
Counts
4 → 281
Calls
4 calls:
31.0ms
(+ (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (log (+ (* 1.0 1.0) (* x (+ 1.0 x)))))
6.0ms
(* x (+ 1.0 x))
19.0ms
(log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
3.0ms
(log (+ (* 1.0 1.0) (* x (+ 1.0 x))))

series29.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(+ (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (log (+ (* 1.0 1.0) (* x (+ 1.0 x)))))
4.0ms
(* x (+ 1.0 x))
4.0ms
(log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
4.0ms
(log (+ (* 1.0 1.0) (* x (+ 1.0 x))))

simplify99.0ms

Algorithm
egg-herbie
Counts
293 → 293
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
050436197

prune520.0ms

Filtered
135 candidates to 293 candidates (-117.0%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New2921293
Fresh303
Picked011
Done101
Total2962298

Merged error: 0.0b

Counts
298 → 2

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (pow x 3) 1.6666666666666665) (+ (* 2 (log 1.0)) (- (* x 2.0) (/ (pow x 3) 1.0))))
0.1b
(* (pow x 3) 1.6666666666666665)

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
12×associate-*l*
11×add-log-exp
7×add-exp-log
6×add-cube-cbrt *-un-lft-identity
5×sum-log
4×unpow-prod-down cube-prod add-cbrt-cube unswap-sqr
3×associate-*r* prod-exp
2×pow1 associate-+r- sqr-pow
1×+-commutative cube-mult pow-to-exp associate-+r+ flip3-+ diff-log unpow3 pow-exp *-commutative cbrt-unprod flip-+
Counts
2 → 46
Calls
2 calls:
14.0ms
(+ (* (pow x 3) 1.6666666666666665) (+ (* 2 (log 1.0)) (- (* x 2.0) (/ (pow x 3) 1.0))))
5.0ms
(* (pow x 3) 1.6666666666666665)

series11.0ms

Counts
2 → 6
Calls
2 calls:
7.0ms
(+ (* (pow x 3) 1.6666666666666665) (+ (* 2 (log 1.0)) (- (* x 2.0) (/ (pow x 3) 1.0))))
4.0ms
(* (pow x 3) 1.6666666666666665)

simplify49.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
04947610
14947610

prune87.0ms

Filtered
35 candidates to 52 candidates (-48.6%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New50252
Fresh000
Picked101
Done011
Total51354

Merged error: 0.0b

Counts
54 → 3

regimes31.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02118
12118

end0.0ms

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

sample2.9s

Algorithm
intervals
Results
1.8s3469×body1280valid
720.0ms2453×body640valid
222.0ms1245×body320valid
73.0ms633×body160valid
10.0ms200×body80valid

Profiling

Loading profile data...