Details

Time bar (total: 15.2s)

sample163.0ms

Algorithm
intervals
Results
58.0ms43×body640valid
52.0ms48×body1280valid
24.0ms142×body80valid
11.0ms15×body320valid
3.0msbody160valid

simplify10.0ms

Counts
1 → 1
Iterations
IterNodes
310
210
19
06

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.7b

localize28.0ms

Local error

Found 2 expressions with local error:

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

rewrite53.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 insert-posit16
associate--l- sub-neg flip3-- diff-log diff-cos flip-- distribute-lft-out-- difference-of-squares
Counts
2 → 26
Calls
2 calls:
32.0ms
(- (cos (+ x 1)) (cos x))
20.0ms
(cos (+ x 1))

series121.0ms

Counts
2 → 6
Calls
2 calls:
68.0ms
(- (cos (+ x 1)) (cos x))
54.0ms
(cos (+ x 1))

simplify2.9s

Counts
32 → 32
Iterations
IterNodes
53201
41325
3554
2259
1130
064

prune385.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.3b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite176.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
11×add-log-exp
pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
associate-*r* associate-*l*
insert-posit16
cos-mult
sum-log flip3-+ diff-log pow-prod-down prod-exp *-commutative frac-sub cbrt-unprod flip-+ unswap-sqr
+-commutative sub-neg flip3-- flip-- sin-mult associate--r+
Counts
4 → 69
Calls
4 calls:
36.0ms
(* (sin x) (sin 1))
33.0ms
(+ (* (sin x) (sin 1)) (cos x))
27.0ms
(* (cos x) (cos 1))
79.0ms
(- (* (cos x) (cos 1)) (+ (* (sin x) (sin 1)) (cos x)))

series985.0ms

Counts
4 → 12
Calls
4 calls:
215.0ms
(* (sin x) (sin 1))
183.0ms
(+ (* (sin x) (sin 1)) (cos x))
206.0ms
(* (cos x) (cos 1))
380.0ms
(- (* (cos x) (cos 1)) (+ (* (sin x) (sin 1)) (cos x)))

simplify4.7s

Counts
81 → 81
Iterations
IterNodes
35090
21283
1393
0151

prune1.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.1b

regimes122.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
217
117
013

end0.0ms

sample4.4s

Algorithm
intervals
Results
1.5s1500×body1280valid
1.2s1273×body640valid
832.0ms4279×body80valid
507.0ms626×body320valid
102.0ms322×body160valid