Details

Time bar (total: 16.1s)

sample141.0ms

Algorithm
intervals
Results
69.0ms109×body1280valid
38.0ms87×body640valid
10.0ms31×body320valid
3.0ms16×body160valid
1.0ms13×body80valid

simplify9.0ms

Counts
1 → 1
Iterations
IterNodes
done10
210
19
06

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 54.9b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite102.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
associate--l- sub-neg flip3-- diff-log diff-cos flip-- distribute-lft-out-- difference-of-squares
Counts
2 → 24
Calls
2 calls:
24.0ms
(cos (+ x 1.0))
77.0ms
(- (cos (+ x 1.0)) (cos 1.0))

series260.0ms

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

simplify4.5s

Counts
30 → 30
Iterations
IterNodes
done5001
44646
3979
2311
1129
062

prune233.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize36.0ms

Local error

Found 2 expressions with local error:

0.2b
(* (sin (/ x 2)) (sin (/ (+ 1.0 (+ x 1.0)) 2)))
0.9b
(sin (/ (+ 1.0 (+ x 1.0)) 2))

rewrite203.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
pow-prod-down prod-exp *-commutative cbrt-unprod sin-mult unswap-sqr
Counts
2 → 26
Calls
2 calls:
135.0ms
(* (sin (/ x 2)) (sin (/ (+ 1.0 (+ x 1.0)) 2)))
67.0ms
(sin (/ (+ 1.0 (+ x 1.0)) 2))

series169.0ms

Counts
2 → 6
Calls
2 calls:
124.0ms
(* (sin (/ x 2)) (sin (/ (+ 1.0 (+ x 1.0)) 2)))
45.0ms
(sin (/ (+ 1.0 (+ x 1.0)) 2))

simplify3.7s

Counts
32 → 32
Iterations
IterNodes
done5001
33101
2528
1161
073

prune241.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.3b

regimes100.0ms

Accuracy

99.7% (0.1b remaining)

Error of 0.5b against oracle of 0.4b and baseline of 26.4b

bsearch158.0ms

Steps
ItersRangePoint
11
6.39684937763006e-15
11427567992489.943
401435.71508590865
6
-60759235271928696.0
-11699278342059982.0
-17243517846109498.0

simplify13.0ms

Iterations
IterNodes
done35
135
028

end0.0ms

sample6.1s

Algorithm
intervals
Results
2.6s3178×body1280valid
1.6s2542×body640valid
1.4s1211×body320valid
213.0ms627×body160valid
67.0ms442×body80valid