Details

Time bar (total: 20.3s)

sample234.0ms

Algorithm
intervals
Results
86.0ms53×body2560valid
79.0ms101×body1280valid
36.0ms61×body640valid
9.0ms22×body320valid
4.0ms17×body160valid
0.0msbody80valid

simplify9.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1109
2119
done119

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 55.9b

localize73.0ms

Local error

Found 2 expressions with local error:

2.3b
(- (cos x) (cos (+ x (/ 1.0 x))))
28.6b
(cos (+ x (/ 1.0 x)))

rewrite80.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:
44.0ms
(- (cos x) (cos (+ x (/ 1.0 x))))
35.0ms
(cos (+ x (/ 1.0 x)))

series66.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(- (cos x) (cos (+ x (/ 1.0 x))))
13.0ms
(cos (+ x (/ 1.0 x)))

simplify1.4s

Counts
30 → 30
Iterations

Useful iterations: 3 (417.0ms)

IterNodesCost
067409
1134389
2383357
31425356
done5001356

prune198.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 26.8b

localize33.0ms

Local error

Found 3 expressions with local error:

0.4b
(* (sin (/ (+ x (+ x (/ 1.0 x))) 2)) (sin (- (/ (/ 1.0 x) 2))))
28.4b
(sin (- (/ (/ 1.0 x) 2)))
28.8b
(sin (/ (+ x (+ x (/ 1.0 x))) 2))

rewrite475.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt
pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
associate-*r* associate-*l* add-log-exp
sin-neg
neg-sub0 pow-prod-down prod-exp sin-diff *-commutative distribute-rgt-neg-out cbrt-unprod sin-mult unswap-sqr
Counts
3 → 36
Calls
3 calls:
315.0ms
(* (sin (/ (+ x (+ x (/ 1.0 x))) 2)) (sin (- (/ (/ 1.0 x) 2))))
39.0ms
(sin (- (/ (/ 1.0 x) 2)))
119.0ms
(sin (/ (+ x (+ x (/ 1.0 x))) 2))

series236.0ms

Counts
3 → 9
Calls
3 calls:
125.0ms
(* (sin (/ (+ x (+ x (/ 1.0 x))) 2)) (sin (- (/ (/ 1.0 x) 2))))
93.0ms
(sin (- (/ (/ 1.0 x) 2)))
18.0ms
(sin (/ (+ x (+ x (/ 1.0 x))) 2))

simplify8.3s

Counts
45 → 45
Iterations

Useful iterations: 3 (2.4s)

IterNodesCost
087918
1193912
2651760
34616722
done5000722

prune282.0ms

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 26.6b

regimes392.0ms

Accuracy

0% (0.4b remaining)

Error of 25.8b against oracle of 25.4b and baseline of 25.8b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01723
12323
22523
done2523

end0.0ms

sample8.5s

Algorithm
intervals
Results
2.9s2961×body1280valid
2.9s1586×body2560valid
1.4s1895×body640valid
442.0ms915×body320valid
266.0ms477×body160valid
98.0ms166×body80valid