Details

Time bar (total: 39.4s)

sample431.0ms

Algorithm
intervals
Results
244.0ms81×body1280valid
86.0ms63×body640valid
27.0ms27×body320valid
21.0ms73×body80valid
14.0ms12×body160valid

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
done5000
43399
3699
2192
174
032

prune44.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize120.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)))
0.5b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
2.0b
(- (cos x) (cos y))

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
184×add-sqr-sqrt
183×prod-diff
172×*-un-lft-identity
164×add-cube-cbrt
110×times-frac
82×distribute-rgt-in distribute-lft-in
14×sqrt-prod
12×associate-*r* div-inv
11×pow1 add-cbrt-cube add-exp-log
10×associate-*r/
9×flip3-- flip--
8×add-log-exp
7×associate-*l* difference-of-squares
6×sub-neg fma-neg
4×expm1-log1p-u frac-times pow-prod-down prod-exp cbrt-unprod log1p-expm1-u distribute-lft-out--
2×diff-log associate-*l/ *-commutative unswap-sqr
1×diff-cos
Counts
4 → 291
Calls
4 calls:
107.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
63.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
7.0ms
(- 3.0 (sqrt 5.0))
7.0ms
(- (cos x) (cos y))

series394.0ms

Counts
4 → 10
Calls
4 calls:
188.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
116.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
90.0ms
(- (cos x) (cos y))

simplify945.0ms

Counts
301 → 301
Iterations
IterNodes
done5001
12011
0738

prune2.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize95.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.3b
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.5b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
2.0b
(- (cos x) (cos y))

rewrite541.0ms

Algorithm
rewrite-expression-head
Rules
183×prod-diff
182×add-sqr-sqrt
172×*-un-lft-identity
164×add-cube-cbrt
110×times-frac
93×distribute-rgt-in distribute-lft-in
36×associate-*r/
35×flip3-- flip--
32×frac-times
20×pow1 add-cbrt-cube add-exp-log
18×associate-*r*
16×associate-*l/
12×div-inv
10×pow-prod-down prod-exp cbrt-unprod
8×associate-*l*
7×sub-neg
6×add-log-exp difference-of-squares
4×expm1-log1p-u sqrt-prod log1p-expm1-u distribute-lft-out--
3×fma-neg *-commutative
2×diff-cos unswap-sqr
1×diff-log
Counts
4 → 327
Calls
4 calls:
341.0ms
(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
99.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
58.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
7.0ms
(- (cos x) (cos y))

series684.0ms

Counts
4 → 12
Calls
4 calls:
313.0ms
(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
176.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
112.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
83.0ms
(- (cos x) (cos y))

simplify1.1s

Counts
339 → 339
Iterations
IterNodes
done5001
12251
0751

prune3.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize129.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0)))
0.4b
(* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))))
2.0b
(- (cos x) (cos y))
2.8b
(log (pow (exp (- (cos x) (cos y))) (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))))))

rewrite419.0ms

Algorithm
rewrite-expression-head
Rules
408×prod-diff
377×add-sqr-sqrt
369×distribute-rgt-in *-un-lft-identity distribute-lft-in
363×add-cube-cbrt
272×times-frac
182×log-prod
164×unpow-prod-up
30×div-inv
14×unpow-prod-down
13×flip3-- flip--
12×sub-neg associate-*l* associate-*r/ add-exp-log
11×pow1 add-cbrt-cube exp-sum
8×frac-times
7×associate-*r*
6×add-log-exp
5×difference-of-squares
4×expm1-log1p-u pow-prod-down associate-*l/ prod-exp cbrt-unprod log1p-expm1-u
3×fma-neg rem-log-exp sqrt-prod distribute-lft-out--
2×*-commutative
1×pow-to-exp diff-log pow-exp log-pow diff-cos unswap-sqr sqr-pow
Counts
4 → 535
Calls
4 calls:
127.0ms
(* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0)))
154.0ms
(* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))))
7.0ms
(- (cos x) (cos y))
77.0ms
(log (pow (exp (- (cos x) (cos y))) (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))))))

series993.0ms

Counts
4 → 12
Calls
4 calls:
136.0ms
(* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0)))
231.0ms
(* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))))
93.0ms
(- (cos x) (cos y))
532.0ms
(log (pow (exp (- (cos x) (cos y))) (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))))))

simplify1.7s

Counts
547 → 547
Iterations
IterNodes
done5004
13466
01168

prune4.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize230.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3)) (- (sin y) (/ (sin x) 16.0))) (sqrt 2.0))
2.0b
(- (cos x) (cos y))
2.8b
(log (pow (exp (- (cos x) (cos y))) (/ (* (* (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3)) (- (sin y) (/ (sin x) 16.0))) (sqrt 2.0)) (+ (* (sin x) (sin x)) (+ (* (/ (sin y) 16.0) (/ (sin y) 16.0)) (* (sin x) (/ (sin y) 16.0)))))))
7.5b
(/ (* (* (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3)) (- (sin y) (/ (sin x) 16.0))) (sqrt 2.0)) (+ (* (sin x) (sin x)) (+ (* (/ (sin y) 16.0) (/ (sin y) 16.0)) (* (sin x) (/ (sin y) 16.0)))))

rewrite658.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt *-un-lft-identity
23×add-cube-cbrt
21×associate-*l/
19×add-exp-log
18×log-prod add-cbrt-cube prod-diff
14×unpow-prod-down
13×flip3-- flip--
11×exp-sum
9×frac-times pow1
8×frac-add associate-*r/ associate-/l/
7×associate-/r/
6×associate-*r* prod-exp cbrt-unprod add-log-exp
5×sin-mult
4×expm1-log1p-u log1p-expm1-u
3×cbrt-undiv associate-/r* times-frac fma-neg div-exp rem-log-exp pow-prod-down sqrt-prod
2×sub-neg flip3-+ flip-+
1×pow-to-exp clear-num frac-2neg diff-log associate-*l* pow-exp log-pow *-commutative div-inv diff-cos associate-/l* distribute-lft-out-- difference-of-squares sqr-pow
Counts
4 → 131
Calls
4 calls:
251.0ms
(* (* (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3)) (- (sin y) (/ (sin x) 16.0))) (sqrt 2.0))
8.0ms
(- (cos x) (cos y))
27.0ms
(log (pow (exp (- (cos x) (cos y))) (/ (* (* (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3)) (- (sin y) (/ (sin x) 16.0))) (sqrt 2.0)) (+ (* (sin x) (sin x)) (+ (* (/ (sin y) 16.0) (/ (sin y) 16.0)) (* (sin x) (/ (sin y) 16.0)))))))
366.0ms
(/ (* (* (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3)) (- (sin y) (/ (sin x) 16.0))) (sqrt 2.0)) (+ (* (sin x) (sin x)) (+ (* (/ (sin y) 16.0) (/ (sin y) 16.0)) (* (sin x) (/ (sin y) 16.0)))))

series1.7s

Counts
4 → 12
Calls
4 calls:
310.0ms
(* (* (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3)) (- (sin y) (/ (sin x) 16.0))) (sqrt 2.0))
81.0ms
(- (cos x) (cos y))
864.0ms
(log (pow (exp (- (cos x) (cos y))) (/ (* (* (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3)) (- (sin y) (/ (sin x) 16.0))) (sqrt 2.0)) (+ (* (sin x) (sin x)) (+ (* (/ (sin y) 16.0) (/ (sin y) 16.0)) (* (sin x) (/ (sin y) 16.0)))))))
482.0ms
(/ (* (* (- (pow (sin x) 3) (pow (/ (sin y) 16.0) 3)) (- (sin y) (/ (sin x) 16.0))) (sqrt 2.0)) (+ (* (sin x) (sin x)) (+ (* (/ (sin y) 16.0) (/ (sin y) 16.0)) (* (sin x) (/ (sin y) 16.0)))))

simplify591.0ms

Counts
143 → 143
Iterations
IterNodes
done5001
11123
0390

prune2.9s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

regimes417.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done60
160
048

end0.0ms

sample12.9s

Algorithm
intervals
Results
6.7s2750×body1280valid
3.5s1864×body640valid
1.2s745×body320valid
897.0ms2301×body80valid
316.0ms340×body160valid