Details

Time bar (total: 5.0s)

sample101.0ms

Algorithm
intervals
Results
52.0ms107×body1280valid
21.0ms76×body640valid
8.0ms46×body320valid
7.0ms217×body80nan
2.0ms21×body160valid
0.0ms6×body80valid

simplify14.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0186
1256
2406
3616
4886
51046
61136
71136

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: 58.3b

Counts
2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite18.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)))

series168.0ms

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

simplify123.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0318660
11025624
24261602
35003602

prune165.0ms

Filtered
88 candidates to 58 candidates (65.9%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New82688
Fresh000
Picked101
Done000
Total83689

Merged error: 0.1b

Counts
89 → 6

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

prune11.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New000
Fresh055
Picked011
Done000
Total066

Merged error: 0.1b

Counts
6 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
62×*-un-lft-identity
54×add-sqr-sqrt
50×log-prod
45×times-frac
34×add-cube-cbrt
21×associate-+r+
14×add-exp-log
12×pow1
10×distribute-lft-out-- difference-of-squares
8×log-pow
6×log-div associate-/r/ add-cbrt-cube distribute-lft-out
5×rem-log-exp associate-/r*
4×associate-+l+ div-exp add-log-exp
3×flip3-- flip3-+ log-rec flip-- flip-+ div-inv associate-/l*
2×associate-+l- rec-exp pow-flip 1-exp inv-pow
1×cbrt-undiv +-commutative associate-+r- frac-2neg unsub-neg clear-num sum-log
Counts
4 → 138
Calls
4 calls:
12.0ms
(+ (log (+ 1.0 x)) (log (/ 1 (- 1.0 x))))
6.0ms
(/ 1 (- 1.0 x))
5.0ms
(log (/ 1 (- 1.0 x)))
3.0ms
(log (+ 1.0 x))

series327.0ms

Counts
4 → 12
Calls
4 calls:
185.0ms
(+ (log (+ 1.0 x)) (log (/ 1 (- 1.0 x))))
24.0ms
(/ 1 (- 1.0 x))
69.0ms
(log (/ 1 (- 1.0 x)))
48.0ms
(log (+ 1.0 x))

simplify46.0ms

Algorithm
egg-herbie
Counts
150 → 150
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0474937
11533837
25001733

prune231.0ms

Filtered
150 candidates to 88 candidates (58.7%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1482150
Fresh134
Picked101
Done011
Total1506156

Merged error: 0.1b

Counts
156 → 6

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (log (+ 1.0 x)) 3)
0.1b
(cbrt (pow (log (+ 1.0 x)) 3))
5.5b
(log (/ 1 (- 1.0 x)))
5.5b
(log (+ 1.0 x))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
26×add-sqr-sqrt
25×log-prod
20×add-cube-cbrt
15×times-frac
14×cbrt-prod
12×pow1
11×add-exp-log
8×unpow-prod-down cube-prod log-pow
5×rem-log-exp add-cbrt-cube
4×add-log-exp
3×log-div pow-unpow distribute-lft-out-- difference-of-squares
2×cube-mult unpow3 div-exp associate-/r/ sqr-pow
1×pow-to-exp rec-exp flip3-- pow-flip pow-pow flip3-+ pow1/3 1-exp log-rec pow-exp flip-- rem-cbrt-cube flip-+ div-inv distribute-lft-out inv-pow rem-cube-cbrt
Counts
4 → 100
Calls
4 calls:
3.0ms
(pow (log (+ 1.0 x)) 3)
2.0ms
(cbrt (pow (log (+ 1.0 x)) 3))
6.0ms
(log (/ 1 (- 1.0 x)))
5.0ms
(log (+ 1.0 x))

series253.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(pow (log (+ 1.0 x)) 3)
46.0ms
(cbrt (pow (log (+ 1.0 x)) 3))
63.0ms
(log (/ 1 (- 1.0 x)))
47.0ms
(log (+ 1.0 x))

simplify54.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0557687
12093636
25002630

prune204.0ms

Filtered
112 candidates to 64 candidates (57.1%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1111112
Fresh044
Picked101
Done011
Total1126118

Merged error: 0.1b

Counts
118 → 6

regimes27.0ms

Accuracy

0% (0.5b 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 (0.0ms)

IterNodesCost
02012
12012

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.7s3465×body1280valid
681.0ms2476×body640valid
271.0ms7974×body80nan
208.0ms1223×body320valid
65.0ms622×body160valid
10.0ms214×body80valid

Profiling

Loading profile data...