Details

Time bar (total: 6.0s)

sample59.0ms

Algorithm
intervals
Results
19.0ms283×body80valid
11.0ms31×body1280valid
8.0ms31×body640valid
4.0ms19×body320valid
2.0ms14×body160valid

simplify40.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0278
1688
22438
312668
450018

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.5b

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(cos (* 2.0 x))
4.5b
(* (* x (pow sin 2.0)) x)
8.8b
(* x (pow sin 2.0))
19.7b
(* (pow cos 2.0) (* (* x (pow sin 2.0)) x))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
62×add-exp-log
46×prod-exp
20×add-cbrt-cube
15×add-sqr-sqrt
11×associate-*r* associate-*l*
10×pow-to-exp add-cube-cbrt *-un-lft-identity pow-exp cbrt-unprod
7×unpow-prod-down
6×pow1
4×add-log-exp
3×*-commutative unswap-sqr sqr-pow
1×pow-prod-down
Counts
4 → 85
Calls
4 calls:
2.0ms
(cos (* 2.0 x))
5.0ms
(* (* x (pow sin 2.0)) x)
5.0ms
(* x (pow sin 2.0))
9.0ms
(* (pow cos 2.0) (* (* x (pow sin 2.0)) x))

series540.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(cos (* 2.0 x))
143.0ms
(* (* x (pow sin 2.0)) x)
131.0ms
(* x (pow sin 2.0))
253.0ms
(* (pow cos 2.0) (* (* x (pow sin 2.0)) x))

simplify46.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0318509
11471435
25001435

prune221.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 16.5b

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (cos (* 2.0 x)) (* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
0.2b
(cos (* 2.0 x))
4.5b
(* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)
19.7b
(* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))

rewrite47.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:
14.0ms
(/ (cos (* 2.0 x)) (* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
2.0ms
(cos (* 2.0 x))
9.0ms
(* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)
12.0ms
(* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))

series722.0ms

Counts
4 → 12
Calls
4 calls:
283.0ms
(/ (cos (* 2.0 x)) (* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
12.0ms
(cos (* 2.0 x))
148.0ms
(* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)
279.0ms
(* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))

simplify92.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
05481952
125151327
250021315

prune255.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 2.4b

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(cos (* 2.0 x))
0.3b
(* (fabs (* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2))))) (fabs (* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2))))))
5.8b
(* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2))))
5.8b
(* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
58×add-exp-log
43×prod-exp
17×associate-*l*
16×add-cbrt-cube
14×add-sqr-sqrt pow-to-exp pow-exp
12×add-cube-cbrt *-un-lft-identity
11×pow1
7×cbrt-unprod
6×unpow-prod-down
5×associate-*r*
4×add-log-exp
3×swap-sqr *-commutative
2×sqr-pow
1×pow2 pow-plus pow-prod-down pow-sqr pow-prod-up unswap-sqr
Counts
4 → 92
Calls
4 calls:
2.0ms
(cos (* 2.0 x))
3.0ms
(* (fabs (* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2))))) (fabs (* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2))))))
7.0ms
(* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2))))
7.0ms
(* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2))))

series480.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(cos (* 2.0 x))
33.0ms
(* (fabs (* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2))))) (fabs (* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2))))))
211.0ms
(* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2))))
223.0ms
(* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2))))

simplify39.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0255955
1936791
25001729

prune307.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (cos (* 2.0 x)) (pow (fabs (* (pow (* (pow sin 1.0) (pow cos 1.0)) 1.0) x)) 2))
0.2b
(cos (* 2.0 x))
0.3b
(pow (fabs (* (pow (* (pow sin 1.0) (pow cos 1.0)) 1.0) x)) 2)
4.0b
(* (pow (* (pow sin 1.0) (pow cos 1.0)) 1.0) x)

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
36×add-exp-log
28×add-sqr-sqrt
25×add-cube-cbrt *-un-lft-identity
24×times-frac
21×prod-exp
18×pow-exp
16×unpow-prod-down
9×pow-to-exp
8×associate-/r* add-cbrt-cube
7×sqr-pow
5×pow1 associate-*l* unpow2
4×add-log-exp
3×pow-unpow div-exp associate-*r* associate-/l*
2×unswap-sqr
1×cbrt-undiv pow-pow frac-2neg clear-num *-commutative cbrt-unprod div-inv
Counts
4 → 105
Calls
4 calls:
5.0ms
(/ (cos (* 2.0 x)) (pow (fabs (* (pow (* (pow sin 1.0) (pow cos 1.0)) 1.0) x)) 2))
2.0ms
(cos (* 2.0 x))
2.0ms
(pow (fabs (* (pow (* (pow sin 1.0) (pow cos 1.0)) 1.0) x)) 2)
6.0ms
(* (pow (* (pow sin 1.0) (pow cos 1.0)) 1.0) x)

series444.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(/ (cos (* 2.0 x)) (pow (fabs (* (pow (* (pow sin 1.0) (pow cos 1.0)) 1.0) x)) 2))
12.0ms
(cos (* 2.0 x))
28.0ms
(pow (fabs (* (pow (* (pow sin 1.0) (pow cos 1.0)) 1.0) x)) 2)
309.0ms
(* (pow (* (pow sin 1.0) (pow cos 1.0)) 1.0) x)

simplify44.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
03461354
112231233
250011224

prune348.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.0b

regimes441.0ms

Accuracy

11.3% (1.9b remaining)

Error of 2.1b against oracle of 0.1b and baseline of 2.3b

bsearch89.0ms

Steps
ItersRangePoint
10
-1.4216602953710114e+189
-3.125231726081502e+173
-1.4232336328867122e+183

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03528
13628
23628

end0.0ms

sample1.7s

Algorithm
intervals
Results
616.0ms9031×body80valid
341.0ms837×body1280valid
258.0ms950×body640valid
116.0ms563×body320valid
42.0ms302×body160valid