Details

Time bar (total: 5.4s)

sample83.0ms

Algorithm
intervals
Results
26.0ms275×body80valid
15.0ms28×body1280valid
14.0ms37×body640valid
4.0ms15×body320valid
3.0ms11×body160valid

simplify65.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
0484516
1484516

prune14.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 25.8b

Counts
2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (cos (* 2.0 x)) (* x (* x (* (pow c 2.0) (pow s 2.0)))))
4.8b
(* x (* x (* (pow c 2.0) (pow s 2.0))))
8.4b
(* x (* (pow c 2.0) (pow s 2.0)))
16.0b
(* (pow c 2.0) (pow s 2.0))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
122×add-exp-log
88×prod-exp
34×add-cbrt-cube
24×add-sqr-sqrt pow-to-exp pow-exp
16×cbrt-unprod
13×associate-*l*
12×add-cube-cbrt unpow-prod-down *-un-lft-identity div-exp
11×pow1
9×associate-*r* unswap-sqr
8×sqr-pow
5×pow-prod-down
4×cbrt-undiv add-log-exp
3×times-frac *-commutative associate-/l*
1×frac-2neg clear-num associate-/r* div-inv
Counts
4 → 128
Calls
4 calls:
10.0ms
(/ (cos (* 2.0 x)) (* x (* x (* (pow c 2.0) (pow s 2.0)))))
9.0ms
(* x (* x (* (pow c 2.0) (pow s 2.0))))
6.0ms
(* x (* (pow c 2.0) (pow s 2.0)))
6.0ms
(* (pow c 2.0) (pow s 2.0))

series243.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(/ (cos (* 2.0 x)) (* x (* x (* (pow c 2.0) (pow s 2.0)))))
58.0ms
(* x (* x (* (pow c 2.0) (pow s 2.0))))
50.0ms
(* x (* (pow c 2.0) (pow s 2.0)))
59.0ms
(* (pow c 2.0) (pow s 2.0))

simplify58.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
049911811
149911811

prune276.0ms

Filtered
82 candidates to 140 candidates (-70.7%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New12812140
Fresh011
Picked101
Done000
Total12913142

Merged error: 10.2b

Counts
142 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (cos (* 2.0 x)) (* x (* x (pow (* c s) 2.0))))
0.3b
(pow (* c s) 2.0)
4.8b
(* x (* x (pow (* c s) 2.0)))
8.4b
(* x (pow (* c s) 2.0))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
50×add-exp-log
26×prod-exp
20×add-cbrt-cube
13×add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity
9×pow1
8×pow-exp
7×cbrt-unprod
6×div-exp associate-*r* associate-*l*
4×pow-to-exp add-log-exp
3×cbrt-undiv pow-unpow times-frac associate-/l* sqr-pow
2×unpow-prod-down pow-pow pow-prod-down *-commutative unswap-sqr
1×frac-2neg clear-num associate-/r* div-inv
Counts
4 → 86
Calls
4 calls:
7.0ms
(/ (cos (* 2.0 x)) (* x (* x (pow (* c s) 2.0))))
5.0ms
(pow (* c s) 2.0)
5.0ms
(* x (* x (pow (* c s) 2.0)))
5.0ms
(* x (pow (* c s) 2.0))

series178.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(/ (cos (* 2.0 x)) (* x (* x (pow (* c s) 2.0))))
14.0ms
(pow (* c s) 2.0)
53.0ms
(* x (* x (pow (* c s) 2.0)))
45.0ms
(* x (pow (* c s) 2.0))

simplify49.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
049531115
149531115

prune219.0ms

Filtered
62 candidates to 98 candidates (-58.1%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New881098
Fresh8412
Picked101
Done000
Total9714111

Merged error: 4.0b

Counts
111 → 14

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
0.2b
(/ (cos (* 2.0 x)) (* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))))
4.2b
(* x (pow (* c s) (* 1/2 2.0)))
4.8b
(* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
247×add-exp-log
182×prod-exp
56×pow-exp
34×add-cbrt-cube
28×pow-to-exp
22×div-exp
16×cbrt-unprod
13×add-sqr-sqrt
11×associate-*r*
10×add-cube-cbrt *-un-lft-identity
7×associate-*l*
6×pow1
4×cbrt-undiv add-log-exp
3×times-frac *-commutative associate-/l* sqr-pow
2×unpow-prod-down unswap-sqr
1×frac-2neg pow-prod-down clear-num associate-/r* div-inv
Counts
4 → 139
Calls
4 calls:
8.0ms
(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
13.0ms
(/ (cos (* 2.0 x)) (* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))))
5.0ms
(* x (pow (* c s) (* 1/2 2.0)))
9.0ms
(* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

series215.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
65.0ms
(/ (cos (* 2.0 x)) (* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))))
49.0ms
(* x (pow (* c s) (* 1/2 2.0)))
53.0ms
(* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

simplify47.0ms

Algorithm
egg-herbie
Counts
151 → 151
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
056601843

prune238.0ms

Filtered
62 candidates to 151 candidates (-143.5%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New1447151
Fresh11213
Picked101
Done000
Total14619165

Merged error: 2.2b

Counts
165 → 19

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (cos (* x 2.0)) x)
0.2b
(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
4.2b
(* x (pow (* c s) (* 1/2 2.0)))
4.8b
(/ (/ (cos (* x 2.0)) x) (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
247×add-exp-log
140×prod-exp
64×div-exp
56×pow-exp
40×times-frac
34×add-cbrt-cube
32×add-sqr-sqrt
29×add-cube-cbrt *-un-lft-identity
28×pow-to-exp
16×associate-/l*
10×cbrt-undiv associate-*r* cbrt-unprod
4×pow1 associate-*l* associate-/r* div-inv add-log-exp
3×sqr-pow
2×unpow-prod-down frac-2neg clear-num *-commutative unswap-sqr
1×associate-/l/
Counts
4 → 172
Calls
4 calls:
3.0ms
(/ (cos (* x 2.0)) x)
7.0ms
(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
5.0ms
(* x (pow (* c s) (* 1/2 2.0)))
11.0ms
(/ (/ (cos (* x 2.0)) x) (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

series166.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(/ (cos (* x 2.0)) x)
46.0ms
(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
47.0ms
(* x (pow (* c s) (* 1/2 2.0)))
69.0ms
(/ (/ (cos (* x 2.0)) x) (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

simplify68.0ms

Algorithm
egg-herbie
Counts
184 → 184
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049632564
149632564

prune253.0ms

Filtered
96 candidates to 184 candidates (-91.7%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New1759184
Fresh11718
Picked011
Done000
Total18617203

Merged error: 2.1b

Counts
203 → 17

regimes631.0ms

Accuracy

0% (0.3b remaining)

Error of 2.6b against oracle of 2.3b and baseline of 2.6b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02126
12126

end0.0ms

sample2.3s

Algorithm
intervals
Results
845.0ms9064×body80valid
410.0ms813×body1280valid
378.0ms1008×body640valid
146.0ms547×body320valid
63.0ms326×body160valid

Profiling

Loading profile data...