Details

Time bar (total: 5.4s)

sample77.0ms

Algorithm
intervals
Results
30.0ms280×body80valid
11.0ms32×body640valid
9.0ms19×body1280valid
5.0ms19×body320valid
2.0ms12×body160valid

simplify55.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
0484516
1484516

prune13.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: 26.0b

Counts
2 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x)))
3.4b
(* (* x (pow s 2.0)) x)
9.5b
(* x (pow s 2.0))
16.5b
(* (pow c 2.0) (* (* x (pow s 2.0)) x))

rewrite40.0ms

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

series256.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x)))
38.0ms
(* (* x (pow s 2.0)) x)
34.0ms
(* x (pow s 2.0))
95.0ms
(* (pow c 2.0) (* (* x (pow s 2.0)) x))

simplify56.0ms

Algorithm
egg-herbie
Counts
127 → 127
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049541594
149541594

prune263.0ms

Filtered
72 candidates to 127 candidates (-76.4%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New11710127
Fresh011
Picked101
Done000
Total11811129

Merged error: 11.4b

Counts
129 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(cos (* 2.0 x))
0.4b
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
3.4b
(* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)
16.5b
(* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
390×add-exp-log
322×prod-exp
77×pow-to-exp pow-exp
47×add-cbrt-cube
43×div-exp
26×cbrt-unprod
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×associate-*l*
6×pow1
5×cbrt-undiv
4×associate-*r* add-log-exp
3×unpow-prod-down times-frac associate-/l*
2×*-commutative
1×frac-2neg pow-prod-down clear-num associate-/r* div-inv sqr-pow
Counts
4 → 163
Calls
4 calls:
2.0ms
(cos (* 2.0 x))
16.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
11.0ms
(* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)
14.0ms
(* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))

series222.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(cos (* 2.0 x))
85.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
41.0ms
(* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)
93.0ms
(* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))

simplify62.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
050002675

prune245.0ms

Filtered
62 candidates to 175 candidates (-182.3%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1714175
Fresh1910
Picked011
Done000
Total17214186

Merged error: 9.9b

Counts
186 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x (pow s (/ 2.0 2))) (* x (pow s (/ 2.0 2))))
0.2b
(cos (* 2.0 x))
0.4b
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s (/ 2.0 2))) (* x (pow s (/ 2.0 2))))))
16.5b
(* (pow c 2.0) (* (* x (pow s (/ 2.0 2))) (* x (pow s (/ 2.0 2)))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
467×add-exp-log
382×prod-exp
90×pow-to-exp pow-exp
59×add-cbrt-cube
52×div-exp
34×cbrt-unprod
11×pow1
10×add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity associate-*l*
6×cbrt-undiv
4×unpow-prod-down add-log-exp
3×times-frac associate-/l* unswap-sqr
2×associate-*r* *-commutative sqr-pow
1×pow2 frac-2neg pow-plus swap-sqr pow-prod-down clear-num associate-/r* pow-sqr pow-prod-up div-inv
Counts
4 → 193
Calls
4 calls:
10.0ms
(* (* x (pow s (/ 2.0 2))) (* x (pow s (/ 2.0 2))))
2.0ms
(cos (* 2.0 x))
18.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s (/ 2.0 2))) (* x (pow s (/ 2.0 2))))))
17.0ms
(* (pow c 2.0) (* (* x (pow s (/ 2.0 2))) (* x (pow s (/ 2.0 2)))))

series220.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* (* x (pow s (/ 2.0 2))) (* x (pow s (/ 2.0 2))))
2.0ms
(cos (* 2.0 x))
87.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s (/ 2.0 2))) (* x (pow s (/ 2.0 2))))))
94.0ms
(* (pow c 2.0) (* (* x (pow s (/ 2.0 2))) (* x (pow s (/ 2.0 2)))))

simplify61.0ms

Algorithm
egg-herbie
Counts
205 → 205
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
050603093

prune243.0ms

Filtered
62 candidates to 205 candidates (-230.6%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New2014205
Fresh5712
Picked011
Done101
Total20712219

Merged error: 0.5b

Counts
219 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(cos (* 2.0 x))
0.4b
(/ (cos (* 2.0 x)) (* (* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2)))) (* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2))))))
5.2b
(* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2))))
5.2b
(* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2))))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
701×add-exp-log
577×prod-exp
144×pow-to-exp pow-exp
122×div-exp
61×add-cbrt-cube
33×cbrt-unprod
10×cbrt-undiv
8×pow1 add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×add-log-exp
3×times-frac associate-/l*
2×associate-*r* pow-prod-down *-commutative
1×frac-2neg clear-num associate-/r* div-inv
Counts
4 → 206
Calls
4 calls:
2.0ms
(cos (* 2.0 x))
27.0ms
(/ (cos (* 2.0 x)) (* (* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2)))) (* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2))))))
8.0ms
(* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2))))
9.0ms
(* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2))))

series210.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(cos (* 2.0 x))
86.0ms
(/ (cos (* 2.0 x)) (* (* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2)))) (* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2))))))
62.0ms
(* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2))))
59.0ms
(* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2))))

simplify49.0ms

Algorithm
egg-herbie
Counts
218 → 218
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
050994016

prune207.0ms

Filtered
56 candidates to 218 candidates (-289.3%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New2126218
Fresh4610
Picked101
Done101
Total21812230

Merged error: 0.3b

Counts
230 → 12

regimes624.0ms

Accuracy

0% (2.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01732
11732

end0.0ms

sample2.2s

Algorithm
intervals
Results
790.0ms8933×body80valid
378.0ms793×body1280valid
312.0ms926×body640valid
154.0ms612×body320valid
52.0ms299×body160valid

Profiling

Loading profile data...