Details

Time bar (total: 9.5s)

sample93.0ms

Algorithm
intervals
Results
40.0ms70×body1280valid
12.0ms33×body640valid
11.0ms125×body80valid
6.0ms20×body320valid
2.0msbody160valid

simplify6.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
088
1118
done118

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.5b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* 3.0 pi) (sin (+ x y)))
2.4b
(sin (+ x y))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
add-log-exp
add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube sin-sum add-exp-log add-cube-cbrt
+-commutative associate-+r+ sum-log flip3-+ flip-+
Counts
2 → 20
Calls
2 calls:
80.0ms
(+ (* 3.0 pi) (sin (+ x y)))
18.0ms
(sin (+ x y))

series91.0ms

Counts
2 → 6
Calls
2 calls:
57.0ms
(+ (* 3.0 pi) (sin (+ x y)))
34.0ms
(sin (+ x y))

simplify2.6s

Counts
26 → 26
Iterations

Useful iterations: 2 (92.0ms)

IterNodesCost
047272
1119258
2309242
3857242
42464242
done5001242

prune173.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 3.0 pi) (* (sin x) (cos y)))
0.1b
(+ (+ (* 3.0 pi) (* (sin x) (cos y))) (* (cos x) (sin y)))
0.1b
(* (cos x) (sin y))
0.2b
(* (sin x) (cos y))

rewrite144.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*
sum-log
+-commutative flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
associate-+l+ sin-cos-mult
Counts
4 → 61
Calls
4 calls:
18.0ms
(+ (* 3.0 pi) (* (sin x) (cos y)))
75.0ms
(+ (+ (* 3.0 pi) (* (sin x) (cos y))) (* (cos x) (sin y)))
25.0ms
(* (cos x) (sin y))
24.0ms
(* (sin x) (cos y))

series424.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(+ (* 3.0 pi) (* (sin x) (cos y)))
150.0ms
(+ (+ (* 3.0 pi) (* (sin x) (cos y))) (* (cos x) (sin y)))
90.0ms
(* (cos x) (sin y))
84.0ms
(* (sin x) (cos y))

simplify1.3s

Counts
73 → 73
Iterations

Useful iterations: done (1.3s)

IterNodesCost
0133898
1348838
21516788
done5001784

prune517.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

regimes320.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01315
11815
done1815

end0.0ms

sample3.7s

Algorithm
intervals
Results
1.5s2181×body1280valid
757.0ms1266×body640valid
466.0ms3785×body80valid
358.0ms539×body320valid
42.0ms203×body160valid
32.0ms31×body2560valid