Details

Time bar (total: 14.0s)

sample69.0ms

Algorithm
intervals
Results
19.0ms182×body80valid
18.0ms30×body1280valid
11.0ms25×body640valid
3.0ms10×body320valid
2.0msbody160valid

simplify9.0ms

Counts
1 → 1
Iterations
IterNodes
310
210
19
06

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.1b

localize43.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (cos (+ x 1)) cosx)
2.0b
(cos (+ x 1))

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

series146.0ms

Counts
2 → 6
Calls
2 calls:
104.0ms
(- (cos (+ x 1)) cosx)
42.0ms
(cos (+ x 1))

simplify4.1s

Counts
31 → 31
Iterations
IterNodes
65246
51896
4820
3388
2189
1104
055

prune391.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize45.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- (* (cos x) (cos 1)) (* (sin x) (sin 1))) cosx)
0.1b
(* (sin x) (sin 1))
0.2b
(- (* (cos x) (cos 1)) (* (sin x) (sin 1)))
0.3b
(* (cos x) (cos 1))

rewrite230.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
11×add-log-exp
10×*-un-lft-identity
pow1 add-cbrt-cube add-exp-log add-cube-cbrt
associate-*r* associate-*l*
diff-log insert-posit16
sub-neg cos-mult sin-mult
flip3-- pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod flip-- unswap-sqr
associate--l- frac-sub distribute-lft-out-- sub-div difference-of-squares
Counts
4 → 74
Calls
4 calls:
127.0ms
(- (- (* (cos x) (cos 1)) (* (sin x) (sin 1))) cosx)
28.0ms
(* (sin x) (sin 1))
51.0ms
(- (* (cos x) (cos 1)) (* (sin x) (sin 1)))
23.0ms
(* (cos x) (cos 1))

series1.1s

Counts
4 → 12
Calls
4 calls:
364.0ms
(- (- (* (cos x) (cos 1)) (* (sin x) (sin 1))) cosx)
210.0ms
(* (sin x) (sin 1))
355.0ms
(- (* (cos x) (cos 1)) (* (sin x) (sin 1)))
198.0ms
(* (cos x) (cos 1))

simplify2.6s

Counts
86 → 86
Iterations
IterNodes
33084
2929
1357
0154

prune1.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

regimes225.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
215
115
013

end0.0ms

sample3.5s

Algorithm
intervals
Results
1.3s169×body160valid
730.0ms6011×body80valid
575.0ms765×body1280valid
427.0ms708×body640valid
163.0ms347×body320valid