Details

Time bar (total: 7.9s)

analyze1.1s

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
18.7%81.1%0.1%8
26.5%72.9%0.5%9
38.2%60.7%1.1%10
41.7%54.9%3.4%11
47.6%47.4%5%12
53.4%39.4%7.2%13
54.9%34.5%10.6%14

sample64.0ms

Algorithm
intervals
Results
17.0ms196×body80valid
13.0ms22×body1280valid
7.0ms20×body640valid
4.0ms50×body80invalid
4.0ms13×body320valid
2.0ms4×body1280invalid
1.0ms6×body320invalid
1.0ms4×body640invalid
1.0ms5×body160valid
1.0ms4×body160invalid

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: 26.6b

Counts
2 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (cos (* 2.0 x)) (* x (* x (* (pow c 2.0) (pow s 2.0)))))
6.8b
(* x (* x (* (pow c 2.0) (pow s 2.0))))
7.1b
(* x (* (pow c 2.0) (pow s 2.0)))
16.6b
(* (pow c 2.0) (pow s 2.0))

rewrite41.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))))
6.0ms
(* x (* (pow c 2.0) (pow s 2.0)))
7.0ms
(* (pow c 2.0) (pow s 2.0))

series246.0ms

Counts
4 → 12
Calls
4 calls:
77.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))))
54.0ms
(* x (* (pow c 2.0) (pow s 2.0)))
56.0ms
(* (pow c 2.0) (pow s 2.0))

simplify44.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
049561811
149561811

prune234.0ms

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

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1319140
Fresh011
Picked101
Done000
Total13210142

Merged error: 11.0b

Counts
142 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (* c s) 2.0)
0.5b
(/ (cos (* 2.0 x)) (* x (* x (pow (* c s) 2.0))))
6.8b
(* x (* x (pow (* c s) 2.0)))
7.1b
(* x (pow (* c s) 2.0))

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

series183.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(pow (* c s) 2.0)
67.0ms
(/ (cos (* 2.0 x)) (* x (* x (pow (* c s) 2.0))))
55.0ms
(* x (* x (pow (* c s) 2.0)))
46.0ms
(* x (pow (* c s) 2.0))

simplify70.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049511113
149511113

prune191.0ms

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

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New89998
Fresh549
Picked101
Done000
Total9513108

Merged error: 4.8b

Counts
108 → 13

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
0.5b
(/ (cos (* 2.0 x)) (* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))))
5.7b
(* x (pow (* c s) (* 1/2 2.0)))
6.8b
(* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

rewrite40.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:
7.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)))
9.0ms
(* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

series217.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
68.0ms
(/ (cos (* 2.0 x)) (* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))))
46.0ms
(* x (pow (* c s) (* 1/2 2.0)))
57.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
054661843

prune186.0ms

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

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1474151
Fresh3912
Picked101
Done000
Total15113164

Merged error: 2.6b

Counts
164 → 13

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (cos (* 2.0 x)) (* (* x (* x (pow (* c s) (* 1/2 2.0)))) (pow (* c s) (/ 2.0 2))))
1.5b
(* x (* x (pow (* c s) (* 1/2 2.0))))
5.7b
(* x (pow (* c s) (* 1/2 2.0)))
6.4b
(* (* x (* x (pow (* c s) (* 1/2 2.0)))) (pow (* c s) (/ 2.0 2)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
220×add-exp-log
155×prod-exp
44×pow-exp
34×add-cbrt-cube
25×div-exp
22×pow-to-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 → 130
Calls
4 calls:
10.0ms
(/ (cos (* 2.0 x)) (* (* x (* x (pow (* c s) (* 1/2 2.0)))) (pow (* c s) (/ 2.0 2))))
6.0ms
(* x (* x (pow (* c s) (* 1/2 2.0))))
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)))

series222.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(/ (cos (* 2.0 x)) (* (* x (* x (pow (* c s) (* 1/2 2.0)))) (pow (* c s) (/ 2.0 2))))
54.0ms
(* x (* x (pow (* c s) (* 1/2 2.0))))
46.0ms
(* x (pow (* c s) (* 1/2 2.0)))
56.0ms
(* (* x (* x (pow (* c s) (* 1/2 2.0)))) (pow (* c s) (/ 2.0 2)))

simplify61.0ms

Algorithm
egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
053511918

prune151.0ms

Filtered
64 candidates to 142 candidates (-121.9%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New1357142
Fresh4812
Picked101
Done000
Total14015155

Merged error: 2.4b

Counts
155 → 15

regimes526.0ms

Accuracy

45.1% (2.5b remaining)

Error of 4.5b against oracle of 2.0b and baseline of 6.6b

bsearch1.2s

Steps
ItersRangePoint
9
5.530061759139379e+151
1.3055923188283869e+159
1.1274878712839377e+158
4
1.9287812788274806e-202
3.3787812025623645e-202
2.0020234743380518e-202
6
-1.1964430648090703e-195
-1.7117227108033188e-196
-1.1028652727373659e-195

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04561
14561

end0.0ms

analyze1.0s

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
18.7%81.1%0.1%8
26.5%72.9%0.5%9
38.2%60.7%1.1%10
41.7%54.9%3.4%11
47.6%47.4%5%12
53.4%39.4%7.2%13
54.9%34.5%10.6%14

sample1.9s

Algorithm
intervals
Results
542.0ms6022×body80valid
343.0ms685×body1280valid
241.0ms690×body640valid
157.0ms1798×body80invalid
101.0ms402×body320valid
78.0ms236×body640invalid
57.0ms125×body1280invalid
47.0ms200×body320invalid
35.0ms201×body160valid
18.0ms107×body160invalid

Profiling

Loading profile data...