Details

Time bar (total: 2.7s)

sample47.0ms

Algorithm
intervals
Results
13.0ms55×body640valid
10.0ms21×body2560valid
5.0ms23×body1280valid
4.0ms37×body320valid
4.0ms104×body80valid
1.0ms16×body160valid

simplify8.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0134
1214
2264
3284
4284

prune2.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 15.4b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

1.0b
(- 1.0 (cos x))
7.0b
(/ (- 1.0 (cos x)) (* x x))

rewrite11.0ms

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

series9.0ms

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

simplify61.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0221271
1735239
22396239
35002239

prune101.0ms

Filtered
48 candidates to 34 candidates (29.2%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New341448
Fresh000
Picked101
Done000
Total351449

Merged error: 0.1b

Counts
49 → 14

localize7.0ms

Local error

Found 3 expressions with local error:

0.1b
(/ (/ (- 1.0 (cos x)) x) x)
0.2b
(/ (- 1.0 (cos x)) x)
1.0b
(- 1.0 (cos x))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
132×times-frac
103×add-sqr-sqrt *-un-lft-identity
69×add-cube-cbrt
24×associate-/l*
17×distribute-lft-out-- difference-of-squares
10×add-exp-log add-cbrt-cube
6×associate-/r* div-inv
5×add-log-exp
4×cbrt-undiv div-exp
3×pow1 div-sub associate-/l/
2×flip3-- frac-2neg clear-num flip--
1×sub-neg diff-log
Counts
3 → 147
Calls
3 calls:
8.0ms
(/ (/ (- 1.0 (cos x)) x) x)
5.0ms
(/ (- 1.0 (cos x)) x)
3.0ms
(- 1.0 (cos x))

series16.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(/ (/ (- 1.0 (cos x)) x) x)
8.0ms
(/ (- 1.0 (cos x)) x)
3.0ms
(- 1.0 (cos x))

simplify52.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
05311270
118991197
250011186

prune182.0ms

Filtered
156 candidates to 103 candidates (34.0%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New1497156
Fresh6713
Picked101
Done000
Total15614170

Merged error: 0.1b

Counts
170 → 14

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (exp (log (- 1.0 (cos x)))) x)
0.2b
(exp (log (- 1.0 (cos x))))
0.4b
(log (- 1.0 (cos x)))
1.0b
(- 1.0 (cos x))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt *-un-lft-identity
30×log-prod
25×exp-sum
24×add-cube-cbrt times-frac
8×associate-/l*
7×distribute-lft-out-- difference-of-squares
6×pow1 add-exp-log log-div add-cbrt-cube add-log-exp
4×exp-prod flip3-- exp-diff flip--
3×associate-/r*
2×log-pow associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp rem-log-exp clear-num div-inv rem-exp-log
Counts
4 → 98
Calls
4 calls:
9.0ms
(/ (exp (log (- 1.0 (cos x)))) x)
4.0ms
(exp (log (- 1.0 (cos x))))
3.0ms
(log (- 1.0 (cos x)))
4.0ms
(- 1.0 (cos x))

series25.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(/ (exp (log (- 1.0 (cos x)))) x)
3.0ms
(exp (log (- 1.0 (cos x))))
13.0ms
(log (- 1.0 (cos x)))
3.0ms
(- 1.0 (cos x))

simplify91.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 3 (82.0ms)

IterNodesCost
0297749
1840685
23040643
35002631

prune165.0ms

Filtered
110 candidates to 72 candidates (34.5%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New1082110
Fresh11213
Picked101
Done000
Total11014124

Merged error: 0.1b

Counts
124 → 14

localize21.0ms

Local error

Found 4 expressions with local error:

0.7b
(- (pow 1.0 3) (pow (cos x) 3))
0.8b
(+ (* (cos x) (cos x)) (* 1.0 (cos x)))
1.0b
(log (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
1.5b
(log (- (pow 1.0 3) (pow (cos x) 3)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
32×difference-of-squares
28×log-prod
26×*-un-lft-identity
24×unpow-prod-down cube-prod
16×sqr-pow
10×distribute-lft-out--
8×add-log-exp
6×pow1 add-exp-log add-cube-cbrt
4×log-div add-cbrt-cube
2×difference-cubes flip3-- flip3-+ rem-log-exp log-pow flip-- flip-+
1×+-commutative sub-neg sqr-cos associate-+l+ distribute-rgt-out diff-log sum-log
Counts
4 → 97
Calls
4 calls:
13.0ms
(- (pow 1.0 3) (pow (cos x) 3))
5.0ms
(+ (* (cos x) (cos x)) (* 1.0 (cos x)))
5.0ms
(log (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
11.0ms
(log (- (pow 1.0 3) (pow (cos x) 3)))

series54.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(- (pow 1.0 3) (pow (cos x) 3))
6.0ms
(+ (* (cos x) (cos x)) (* 1.0 (cos x)))
21.0ms
(log (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
20.0ms
(log (- (pow 1.0 3) (pow (cos x) 3)))

simplify53.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
04381083
114641003
25002998

prune239.0ms

Filtered
109 candidates to 73 candidates (33.0%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1081109
Fresh11213
Picked101
Done000
Total11013123

Merged error: 0.1b

Counts
123 → 13

regimes150.0ms

Accuracy

98.1% (0.3b remaining)

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

bsearch53.0ms

Steps
ItersRangePoint
7
0.012859339055769341
0.3555464171021314
0.03616287036014695
15
-5.198581744599781
1.0450147493914085e-304
-0.033071337592700305

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03112
13112

end0.0ms

sample1.3s

Algorithm
intervals
Results
392.0ms836×body2560valid
249.0ms1563×body640valid
160.0ms652×body1280valid
127.0ms1102×body320valid
119.0ms3262×body80valid
46.0ms585×body160valid

Profiling

Loading profile data...