Details

Time bar (total: 8.6s)

sample202.0ms

Algorithm
intervals
Results
125.0ms90×body2560valid
52.0ms95×body1280valid
7.0ms38×body640valid
4.0ms256×pre80true
3.0ms25×body320valid
0.0ms4×body160valid
0.0ms4×body80valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
084
1114
2114

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 59.9b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

1.9b
(- (/ 1.0 x) (/ 1.0 (tan x)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
11×*-un-lft-identity
10×times-frac
5×distribute-lft-out--
4×difference-of-squares
3×add-cube-cbrt add-log-exp
2×div-inv
1×pow1 add-exp-log sub-neg flip3-- diff-log frac-sub add-cbrt-cube flip--
Counts
1 → 22
Calls
1 calls:
13.0ms
(- (/ 1.0 x) (/ 1.0 (tan x)))

series20.0ms

Counts
1 → 3
Calls
1 calls:
20.0ms
(- (/ 1.0 x) (/ 1.0 (tan x)))

simplify92.0ms

Algorithm
egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 3 (28.0ms)

IterNodesCost
0163196
1351186
21151186
33993185
45001185

prune42.0ms

Filtered
21 candidates to 25 candidates (-19.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New24125
Fresh000
Picked101
Done000
Total25126

Merged error: 0.4b

Counts
26 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(* 0.0021164021164021165 (pow x 5))
0.1b
(* 0.022222222222222223 (pow x 3))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
19×associate-*r*
12×add-exp-log
9×add-cube-cbrt *-un-lft-identity
8×unpow-prod-down
7×unswap-sqr
6×associate-*l* prod-exp add-cbrt-cube
4×cube-prod sqr-pow
2×pow1 pow-to-exp pow-exp *-commutative cbrt-unprod add-log-exp
1×cube-mult unpow3
Counts
2 → 56
Calls
2 calls:
5.0ms
(* 0.0021164021164021165 (pow x 5))
6.0ms
(* 0.022222222222222223 (pow x 3))

series8.0ms

Counts
2 → 6
Calls
2 calls:
4.0ms
(* 0.0021164021164021165 (pow x 5))
4.0ms
(* 0.022222222222222223 (pow x 3))

simplify183.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0208215
1871193
24634193
35001193

prune83.0ms

Filtered
38 candidates to 62 candidates (-63.2%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New61162
Fresh000
Picked011
Done000
Total61263

Merged error: 0.4b

Counts
63 → 2

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(* 0.0021164021164021165 (pow x 5))
0.1b
(* 0.022222222222222223 (pow x 3))
0.7b
(log (exp (* 0.0021164021164021165 (pow x 5))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×associate-*r*
13×add-exp-log
11×add-cube-cbrt *-un-lft-identity
8×unpow-prod-down
7×add-cbrt-cube unswap-sqr
6×associate-*l* prod-exp
4×pow1 cube-prod add-log-exp sqr-pow
3×log-prod log-pow
2×pow-to-exp pow-exp *-commutative cbrt-unprod
1×cube-mult exp-prod exp-to-pow unpow3 rem-log-exp
Counts
3 → 70
Calls
3 calls:
5.0ms
(* 0.0021164021164021165 (pow x 5))
6.0ms
(* 0.022222222222222223 (pow x 3))
2.0ms
(log (exp (* 0.0021164021164021165 (pow x 5))))

series13.0ms

Counts
3 → 9
Calls
3 calls:
4.0ms
(* 0.0021164021164021165 (pow x 5))
4.0ms
(* 0.022222222222222223 (pow x 3))
5.0ms
(log (exp (* 0.0021164021164021165 (pow x 5))))

simplify186.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0226281
1897249
24690249
35002249

prune124.0ms

Filtered
49 candidates to 79 candidates (-61.2%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New78179
Fresh000
Picked101
Done011
Total79281

Merged error: 0.4b

Counts
81 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 0.0021164021164021165 (pow x 5))
0.1b
(* 0.022222222222222223 (pow x 3))
0.7b
(log (cbrt (exp (* 0.0021164021164021165 (pow x 5)))))
0.7b
(log (cbrt (exp (* 0.0021164021164021165 (pow x 5)))))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
19×associate-*r*
16×add-exp-log
15×add-cube-cbrt *-un-lft-identity
12×log-prod
8×unpow-prod-down add-cbrt-cube
7×unswap-sqr
6×pow1 cbrt-prod associate-*l* prod-exp
4×cube-prod log-pow add-log-exp sqr-pow
2×pow-to-exp pow1/3 rem-log-exp pow-exp *-commutative cbrt-unprod
1×cube-mult unpow3
Counts
4 → 88
Calls
4 calls:
5.0ms
(* 0.0021164021164021165 (pow x 5))
6.0ms
(* 0.022222222222222223 (pow x 3))
2.0ms
(log (cbrt (exp (* 0.0021164021164021165 (pow x 5)))))
2.0ms
(log (cbrt (exp (* 0.0021164021164021165 (pow x 5)))))

series177.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(* 0.0021164021164021165 (pow x 5))
4.0ms
(* 0.022222222222222223 (pow x 3))
84.0ms
(log (cbrt (exp (* 0.0021164021164021165 (pow x 5)))))
85.0ms
(log (cbrt (exp (* 0.0021164021164021165 (pow x 5)))))

simplify38.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0260511
11031449
25002447

prune259.0ms

Filtered
66 candidates to 100 candidates (-51.5%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New991100
Fresh000
Picked101
Done011
Total1002102

Merged error: 0.4b

Counts
102 → 2

regimes27.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0187
1187

end0.0ms

sample7.0s

Algorithm
intervals
Results
5.0s3258×body2560valid
1.3s2548×body1280valid
227.0ms1206×body640valid
139.0ms8000×pre80true
72.0ms612×body320valid
29.0ms328×body160valid
2.0ms48×body80valid

Profiling

Loading profile data...