Details

Time bar (total: 18.9s)

sample258.0ms

Algorithm
intervals
Results
116.0ms101×body1280valid
40.0ms65×body640valid
24.0ms153×body80valid
13.0ms354×pre80true
10.0ms22×body320valid
9.0msbody2560valid
2.0msbody160valid

simplify2.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01315
12415
25215
312315
440915
5251215
done500115

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.2b

localize27.0ms

Local error

Found 2 expressions with local error:

0.3b
(- (cos (+ p0 (* pR t))) (cos p0))
6.7b
(cos (+ p0 (* pR t)))

rewrite46.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:
25.0ms
(- (cos (+ p0 (* pR t))) (cos p0))
20.0ms
(cos (+ p0 (* pR t)))

series135.0ms

Counts
2 → 6
Calls
2 calls:
92.0ms
(- (cos (+ p0 (* pR t))) (cos p0))
43.0ms
(cos (+ p0 (* pR t)))

simplify3.0s

Counts
30 → 30
Iterations

Useful iterations: 4 (729.0ms)

IterNodesCost
062371
1115355
2290337
3808331
42699329
done5000329

prune231.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 1.7b

localize37.0ms

Local error

Found 2 expressions with local error:

7.0b
(sin (/ (+ (+ p0 (* pR t)) p0) 2))
9.0b
(sin (/ (* pR t) 2))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
Counts
2 → 14
Calls
2 calls:
71.0ms
(sin (/ (+ (+ p0 (* pR t)) p0) 2))
7.0ms
(sin (/ (* pR t) 2))

series74.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(sin (/ (+ (+ p0 (* pR t)) p0) 2))
28.0ms
(sin (/ (* pR t) 2))

simplify2.7s

Counts
20 → 20
Iterations

Useful iterations: 3 (64.0ms)

IterNodesCost
033218
150218
293186
3159182
4243182
5464182
6942182
71630182
83496182
done5004182

prune185.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 1.7b

regimes207.0ms

Accuracy

0% (0.3b remaining)

Error of 2.6b against oracle of 2.2b and baseline of 2.6b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01925
12525
done2525

end0.0ms

sample9.6s

Algorithm
intervals
Results
3.8s2924×body1280valid
1.7s1875×body640valid
845.0ms5089×body80valid
697.0ms816×body320valid
680.0ms11343×pre80true
672.0ms276×body2560valid
179.0ms363×body160valid