Details

Time bar (total: 5.2s)

sample78.0ms

Algorithm
intervals
Results
25.0ms277×body80valid
13.0ms33×body640valid
12.0ms26×body1280valid
8.0ms15×body320valid
1.0ms9×body160valid

simplify65.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
0484516
1484516

prune12.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: 24.2b

Counts
2 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.9b
(/ (cos (* 2.0 x)) (* x (* x (* (pow c 2.0) (pow s 2.0)))))
3.7b
(* x (* x (* (pow c 2.0) (pow s 2.0))))
8.8b
(* x (* (pow c 2.0) (pow s 2.0)))
15.3b
(* (pow c 2.0) (pow s 2.0))

rewrite43.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:
11.0ms
(/ (cos (* 2.0 x)) (* x (* x (* (pow c 2.0) (pow s 2.0)))))
12.0ms
(* x (* x (* (pow c 2.0) (pow s 2.0))))
7.0ms
(* x (* (pow c 2.0) (pow s 2.0)))
7.0ms
(* (pow c 2.0) (pow s 2.0))

series253.0ms

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

simplify57.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049911811
149911811

prune250.0ms

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

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New13010140
Fresh011
Picked101
Done000
Total13111142

Merged error: 9.1b

Counts
142 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (* c s) 2.0)
0.9b
(/ (cos (* 2.0 x)) (* x (* x (pow (* c s) 2.0))))
3.7b
(* x (* x (pow (* c s) 2.0)))
8.8b
(* x (pow (* c s) 2.0))

rewrite24.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:
4.0ms
(pow (* c s) 2.0)
7.0ms
(/ (cos (* 2.0 x)) (* x (* x (pow (* c s) 2.0))))
5.0ms
(* x (* x (pow (* c s) 2.0)))
5.0ms
(* x (pow (* c s) 2.0))

series186.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(pow (* c s) 2.0)
69.0ms
(/ (cos (* 2.0 x)) (* x (* x (pow (* c s) 2.0))))
54.0ms
(* x (* x (pow (* c s) 2.0)))
49.0ms
(* x (pow (* c s) 2.0))

simplify50.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
049531115
149531115

prune205.0ms

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

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New89998
Fresh4610
Picked101
Done000
Total9415109

Merged error: 3.1b

Counts
109 → 15

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.9b
(/ (cos (* 2.0 x)) (* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))))
3.5b
(* x (pow (* c s) (* 1/2 2.0)))
3.7b
(* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

rewrite43.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)))
12.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)))
10.0ms
(* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

series223.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
70.0ms
(/ (cos (* 2.0 x)) (* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))))
47.0ms
(* x (pow (* c s) (* 1/2 2.0)))
58.0ms
(* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

simplify51.0ms

Algorithm
egg-herbie
Counts
151 → 151
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
056601843

prune206.0ms

Filtered
63 candidates to 151 candidates (-139.7%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New1474151
Fresh31114
Picked011
Done000
Total15016166

Merged error: 1.6b

Counts
166 → 16

localize17.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)))
3.5b
(* x (pow (* c s) (* 1/2 2.0)))
3.8b
(/ (/ (cos (* x 2.0)) x) (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

rewrite39.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:
4.0ms
(/ (cos (* x 2.0)) x)
8.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)))
14.0ms
(/ (/ (cos (* x 2.0)) x) (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

series171.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(/ (cos (* x 2.0)) x)
47.0ms
(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
51.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 (49.0ms)

IterNodesCost
049632564
149632564

prune238.0ms

Filtered
97 candidates to 184 candidates (-89.7%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New1768184
Fresh7714
Picked101
Done011
Total18416200

Merged error: 1.5b

Counts
200 → 16

regimes603.0ms

Accuracy

0% (0.7b remaining)

Error of 2.7b against oracle of 2.1b and baseline of 2.7b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02126
12126

end0.0ms

sample2.3s

Algorithm
intervals
Results
801.0ms9003×body80valid
426.0ms817×body1280valid
340.0ms921×body640valid
152.0ms564×body320valid
58.0ms327×body160valid

Profiling

Loading profile data...