Details

Time bar (total: 9.6s)

sample120.0ms

Algorithm
intervals
Results
60.0ms48×body1280valid
20.0ms43×body640valid
17.0ms142×body80valid
5.0ms15×body320valid
2.0msbody160valid

simplify7.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
197
2107
done107

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.7b

localize15.0ms

Local error

Found 2 expressions with local error:

0.5b
(- (cos x) (cos (+ x 1.0)))
1.1b
(cos (+ x 1.0))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt *-un-lft-identity add-log-exp
pow1 cos-sum add-cbrt-cube add-exp-log add-cube-cbrt
sub-neg flip3-- diff-log diff-cos flip-- distribute-lft-out-- associate--r- difference-of-squares
Counts
2 → 24
Calls
2 calls:
26.0ms
(- (cos x) (cos (+ x 1.0)))
18.0ms
(cos (+ x 1.0))

series126.0ms

Counts
2 → 6
Calls
2 calls:
88.0ms
(- (cos x) (cos (+ x 1.0)))
38.0ms
(cos (+ x 1.0))

simplify1.1s

Counts
30 → 30
Iterations

Useful iterations: done (1.1s)

IterNodesCost
063327
1132313
2323297
31010290
done5000287

prune150.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize30.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (sin x) (sin 1.0))
0.1b
(* (- 1 (cos 1.0)) (cos x))
0.3b
(+ (* (- 1 (cos 1.0)) (cos x)) (* (sin x) (sin 1.0)))
1.0b
(- 1 (cos 1.0))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
14×*-un-lft-identity
associate-*l*
pow1 add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
associate-*r*
associate-*l/ difference-of-squares
flip3-- flip-- sin-mult
pow-prod-down frac-add prod-exp *-commutative cbrt-unprod distribute-lft-out-- unswap-sqr
+-commutative sum-log sub-neg flip3-+ diff-log flip-+
Counts
4 → 70
Calls
4 calls:
23.0ms
(* (sin x) (sin 1.0))
47.0ms
(* (- 1 (cos 1.0)) (cos x))
52.0ms
(+ (* (- 1 (cos 1.0)) (cos x)) (* (sin x) (sin 1.0)))
12.0ms
(- 1 (cos 1.0))

series808.0ms

Counts
4 → 10
Calls
4 calls:
201.0ms
(* (sin x) (sin 1.0))
234.0ms
(* (- 1 (cos 1.0)) (cos x))
371.0ms
(+ (* (- 1 (cos 1.0)) (cos x)) (* (sin x) (sin 1.0)))
0.0ms
(- 1 (cos 1.0))

simplify1.6s

Counts
80 → 80
Iterations

Useful iterations: done (1.6s)

IterNodesCost
0156992
1395924
21700860
done5001858

prune458.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.1b

regimes103.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01320
11820
done1820

end0.0ms

sample4.9s

Algorithm
intervals
Results
1.9s1500×body1280valid
1.2s1273×body640valid
909.0ms4279×body80valid
305.0ms626×body320valid
106.0ms322×body160valid