Details

Time bar (total: 5.7s)

sample100.0ms

Algorithm
intervals
Results
55.0ms120×body1280valid
21.0ms73×body640valid
7.0ms242×body80nan
5.0ms33×body320valid
2.0ms19×body160valid
0.0ms11×body80valid

simplify6.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0154
1204
2234
3234

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

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

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

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-/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:
7.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
7.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

series163.0ms

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

simplify135.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0339657
11040623
24497605
35001605

prune160.0ms

Filtered
89 candidates to 59 candidates (66.3%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New81889
Fresh000
Picked101
Done000
Total82890

Merged error: 0.3b

Counts
90 → 8

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

prune12.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New000
Fresh077
Picked011
Done000
Total088

Merged error: 0.3b

Counts
8 → 8

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- 1.0 eps) (+ 1.0 eps))
0.0b
(pow (log (/ (- 1.0 eps) (+ 1.0 eps))) 3)
0.1b
(cbrt (pow (log (/ (- 1.0 eps) (+ 1.0 eps))) 3))
5.6b
(log (/ (- 1.0 eps) (+ 1.0 eps)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
71×*-un-lft-identity
49×add-sqr-sqrt
40×times-frac
31×add-cube-cbrt
26×log-prod
14×cbrt-prod
11×distribute-lft-out
10×pow1 add-exp-log
9×distribute-lft-out-- difference-of-squares
8×unpow-prod-down cube-prod
7×add-cbrt-cube
5×log-pow associate-/l*
4×associate-/r* associate-/r/ add-log-exp
3×pow-unpow
2×cube-mult flip3-+ unpow3 div-exp rem-log-exp flip-+ div-inv associate-/l/ sqr-pow
1×cbrt-undiv pow-to-exp log-div flip3-- pow-pow frac-2neg pow1/3 div-sub pow-exp clear-num flip-- rem-cbrt-cube rem-cube-cbrt
Counts
4 → 131
Calls
4 calls:
8.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
3.0ms
(pow (log (/ (- 1.0 eps) (+ 1.0 eps))) 3)
3.0ms
(cbrt (pow (log (/ (- 1.0 eps) (+ 1.0 eps))) 3))
7.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

series458.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
164.0ms
(pow (log (/ (- 1.0 eps) (+ 1.0 eps))) 3)
131.0ms
(cbrt (pow (log (/ (- 1.0 eps) (+ 1.0 eps))) 3))
129.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

simplify54.0ms

Algorithm
egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
04911077
118261025
250021018

prune224.0ms

Filtered
143 candidates to 85 candidates (59.4%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1412143
Fresh336
Picked011
Done011
Total1447151

Merged error: 0.3b

Counts
151 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(cbrt (log (/ (- 1.0 eps) (+ 1.0 eps))))
5.6b
(log (/ (- 1.0 eps) (+ 1.0 eps)))
5.6b
(log (/ (- 1.0 eps) (+ 1.0 eps)))
5.6b
(log (/ (- 1.0 eps) (+ 1.0 eps)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
89×*-un-lft-identity
78×log-prod
60×times-frac
59×add-sqr-sqrt
35×add-cube-cbrt
15×distribute-lft-out
13×add-exp-log
12×distribute-lft-out-- difference-of-squares
8×pow1
6×rem-log-exp associate-/r/
4×cbrt-prod log-pow add-cbrt-cube add-log-exp
3×log-div flip3-+ div-exp flip-+ div-inv
1×pow1/3
Counts
4 → 123
Calls
4 calls:
1.0ms
(cbrt (log (/ (- 1.0 eps) (+ 1.0 eps))))
7.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))
7.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))
7.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

series668.0ms

Counts
4 → 12
Calls
4 calls:
281.0ms
(cbrt (log (/ (- 1.0 eps) (+ 1.0 eps))))
129.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))
130.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))
127.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

simplify132.0ms

Algorithm
egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 3 (119.0ms)

IterNodesCost
03751218
110441148
244351096
350011094

prune457.0ms

Filtered
135 candidates to 89 candidates (65.9%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1314135
Fresh224
Picked101
Done022
Total1348142

Merged error: 0.3b

Counts
142 → 8

regimes115.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0159
1159

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.5s3407×body1280valid
620.0ms2471×body640valid
219.0ms7952×body80nan
191.0ms1262×body320valid
61.0ms661×body160valid
9.0ms199×body80valid

Profiling

Loading profile data...