Details

Time bar (total: 2.3m)

sample685.0ms

Algorithm
intervals
Results
372.0ms81×body1280valid
208.0ms74×body640valid
33.0ms73×body80valid
29.0ms17×body320valid
12.0ms11×body160valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5000
42752
3622
2177
174
032

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize119.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.4b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
2.1b
(- (cos x) (cos y))

rewrite461.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
31×associate-*l*
22×*-un-lft-identity
18×associate-*r*
12×add-cube-cbrt
11×pow1 add-cbrt-cube add-exp-log
10×associate-*r/ sqrt-prod
9×flip3-- flip-- difference-of-squares unswap-sqr
8×add-log-exp
6×sub-neg
5×distribute-lft-out--
4×distribute-rgt-in frac-times distribute-lft-in pow-prod-down prod-exp cbrt-unprod insert-posit16
3×times-frac *-commutative
2×diff-log associate-*l/
1×diff-cos
Counts
4 → 119
Calls
4 calls:
320.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
106.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
14.0ms
(- 3.0 (sqrt 5.0))
14.0ms
(- (cos x) (cos y))

series484.0ms

Counts
4 → 10
Calls
4 calls:
221.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
170.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
92.0ms
(- (cos x) (cos y))

simplify2.2s

Counts
129 → 129
Iterations
IterNodes
done5018
22266
1695
0260

prune1.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.3b

localize100.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
0.4b
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.4b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
2.1b
(- (cos x) (cos y))

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
89×add-sqr-sqrt associate-*l*
36×associate-*r* associate-*r/
35×flip3-- flip--
33×*-un-lft-identity
32×frac-times
25×unswap-sqr
20×pow1 add-cbrt-cube add-exp-log
19×add-cube-cbrt
16×associate-*l/
15×sqrt-prod
12×difference-of-squares
10×pow-prod-down prod-exp cbrt-unprod
7×sub-neg distribute-lft-out--
6×distribute-rgt-in distribute-lft-in *-commutative add-log-exp
5×times-frac
4×insert-posit16
2×diff-cos
1×diff-log
Counts
4 → 194
Calls
4 calls:
1.4s
(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
353.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
80.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
16.0ms
(- (cos x) (cos y))

series803.0ms

Counts
4 → 12
Calls
4 calls:
316.0ms
(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
215.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
160.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
112.0ms
(- (cos x) (cos y))

simplify3.8s

Counts
206 → 206
Iterations
IterNodes
done5000
24515
11009
0317

prune2.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.2b

localize163.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
0.3b
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
0.3b
(* (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
2.1b
(- (cos x) (cos y))

rewrite571.0ms

Algorithm
rewrite-expression-head
Rules
88×add-sqr-sqrt
63×associate-*l*
43×*-un-lft-identity
31×sqrt-prod
27×add-cube-cbrt
22×times-frac
21×associate-*r*
16×add-cbrt-cube associate-*l/ add-exp-log
15×difference-of-squares unswap-sqr
13×pow1
10×associate-*r/
9×flip3-- flip--
8×distribute-lft-out--
6×prod-exp cbrt-unprod associate-/l* add-log-exp
5×sub-neg pow-prod-down
4×distribute-rgt-in frac-times distribute-lft-in *-commutative insert-posit16
3×associate-/r*
2×associate-/l/
1×cbrt-undiv clear-num frac-2neg diff-log div-exp div-inv diff-cos
Counts
4 → 167
Calls
4 calls:
63.0ms
(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
75.0ms
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
408.0ms
(* (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
18.0ms
(- (cos x) (cos y))

series690.0ms

Counts
4 → 12
Calls
4 calls:
154.0ms
(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
200.0ms
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
265.0ms
(* (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
71.0ms
(- (cos x) (cos y))

simplify2.7s

Counts
179 → 179
Iterations
IterNodes
done5006
23067
1913
0334

prune2.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize154.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (sqrt 2.0) (* (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0)))))
0.5b
(* (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))))
2.1b
(- (cos x) (cos y))
7.3b
(cbrt (* (* (* (sqrt 2.0) (* (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))))) (sqrt (sqrt 2.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0)))))

rewrite55.2s

Algorithm
rewrite-expression-head
Rules
2460×frac-times
1675×flip3-- flip--
1454×associate-*r/
1446×associate-*l/
1221×add-sqr-sqrt
800×unswap-sqr
728×cbrt-div
439×associate-*l*
313×associate-*r*
310×cbrt-prod
285×sqrt-prod
175×*-un-lft-identity
122×swap-sqr
61×pow1
55×add-cube-cbrt
53×difference-of-squares
45×distribute-lft-out--
42×*-commutative
34×add-cbrt-cube add-exp-log
32×distribute-rgt-in distribute-lft-in
30×pow-prod-down
26×times-frac
21×prod-exp cbrt-unprod
13×sub-neg
6×add-log-exp
4×pow-sqr pow-prod-up insert-posit16
2×pow-plus
1×pow2 pow1/3 diff-log diff-cos
Counts
4 → 1464
Calls
4 calls:
3.6s
(* (sqrt 2.0) (* (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0)))))
841.0ms
(* (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))))
10.0ms
(- (cos x) (cos y))
50.5s
(cbrt (* (* (* (sqrt 2.0) (* (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))))) (sqrt (sqrt 2.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0)))))

series968.0ms

Counts
4 → 12
Calls
4 calls:
321.0ms
(* (sqrt 2.0) (* (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0)))))
240.0ms
(* (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))))
100.0ms
(- (cos x) (cos y))
306.0ms
(cbrt (* (* (* (sqrt 2.0) (* (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0))))) (sqrt (sqrt 2.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (sin x) (/ (sin y) 16.0)))))

simplify7.9s

Counts
1476 → 1476
Iterations
IterNodes
done5001
03540

prune27.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

regimes292.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify21.0ms

Iterations
IterNodes
done59
159
044

end0.0ms

sample20.6s

Algorithm
intervals
Results
10.6s2667×body1280valid
5.7s1777×body640valid
1.8s758×body320valid
1.7s2433×body80valid
449.0ms365×body160valid