Details

Time bar (total: 32.2s)

sample600.0ms

Algorithm
intervals
Results
223.0ms86×body1280valid
91.0ms59×body640valid
26.0ms30×body320valid
21.0ms72×body80valid
5.0ms9×body160valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
73496
61008
5394
4173
382
247
125
013

prune22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.2b

localize45.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (sin ky) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))))
0.3b
(* (sin ky) (sin ky))
0.3b
(* (sin kx) (sin kx))
2.5b
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
28×*-un-lft-identity add-cube-cbrt
19×pow1
18×times-frac
15×sqrt-prod
10×add-cbrt-cube add-exp-log
6×associate-/r* sqrt-div swap-sqr associate-*r* associate-*l* sin-mult
4×insert-posit16 add-log-exp
3×associate-/r/ associate-/l*
2×pow2 flip3-+ pow-plus pow-prod-down frac-add prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod flip-+ sqr-sin unswap-sqr
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-exp div-inv
Counts
4 → 116
Calls
4 calls:
46.0ms
(/ (sin ky) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))))
22.0ms
(* (sin ky) (sin ky))
23.0ms
(* (sin kx) (sin kx))
23.0ms
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))

series361.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(/ (sin ky) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))))
33.0ms
(* (sin ky) (sin ky))
33.0ms
(* (sin kx) (sin kx))
151.0ms
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))

simplify1.5s

Counts
128 → 128
Iterations
IterNodes
33163
21209
1431
0191

prune869.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 11.1b

localize54.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (sin kx))
0.6b
(cbrt (sin kx))
0.6b
(cbrt (sin kx))
2.5b
(sqrt (+ (* (* (cbrt (sin kx)) (cbrt (sin kx))) (* (cbrt (sin kx)) (sin kx))) (* (sin ky) (sin ky))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
5×pow1
4×add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×pow1/3 sqrt-prod
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
Counts
4 → 52
Calls
4 calls:
1.0ms
(cbrt (sin kx))
1.0ms
(cbrt (sin kx))
1.0ms
(cbrt (sin kx))
59.0ms
(sqrt (+ (* (* (cbrt (sin kx)) (cbrt (sin kx))) (* (cbrt (sin kx)) (sin kx))) (* (sin ky) (sin ky))))

series593.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(cbrt (sin kx))
154.0ms
(cbrt (sin kx))
171.0ms
(cbrt (sin kx))
125.0ms
(sqrt (+ (* (* (cbrt (sin kx)) (cbrt (sin kx))) (* (cbrt (sin kx)) (sin kx))) (* (sin ky) (sin ky))))

simplify5.0s

Counts
64 → 64
Iterations
IterNodes
47021
31937
2571
1187
081

prune501.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 11.1b

localize68.0ms

Local error

Found 4 expressions with local error:

0.4b
(cbrt (/ (sin ky) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))))
2.5b
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))
2.5b
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))
2.5b
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
20×*-un-lft-identity add-cube-cbrt
18×times-frac sqrt-prod
12×sqrt-div
8×sin-mult
7×pow1
4×flip3-+ add-cbrt-cube frac-add add-exp-log flip-+ insert-posit16 add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2 associate-/r/
1×cbrt-div pow1/3 div-inv
Counts
4 → 86
Calls
4 calls:
11.0ms
(cbrt (/ (sin ky) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))))
12.0ms
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))
21.0ms
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))
21.0ms
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))

series527.0ms

Counts
4 → 12
Calls
4 calls:
229.0ms
(cbrt (/ (sin ky) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))))
117.0ms
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))
92.0ms
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))
89.0ms
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))

simplify3.5s

Counts
98 → 98
Iterations
IterNodes
45321
31825
2690
1311
0172

prune831.0ms

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 11.1b

localize72.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sin kx) (sin kx))
0.4b
(/ (sin ky) (sqrt (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))))
2.5b
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))
2.5b
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
42×sqrt-prod
36×add-sqr-sqrt
32×*-un-lft-identity add-cube-cbrt
27×times-frac
13×pow1
12×sqrt-div
9×associate-/r*
8×add-cbrt-cube add-exp-log
7×sin-mult
4×insert-posit16 add-log-exp
3×flip3-+ swap-sqr associate-*r* associate-*l* frac-add associate-/r/ flip-+ associate-/l*
2×rem-sqrt-square sqrt-pow1 pow1/2
1×pow2 cbrt-undiv clear-num frac-2neg pow-plus div-exp pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod sqr-sin div-inv unswap-sqr
Counts
4 → 117
Calls
4 calls:
16.0ms
(* (sin kx) (sin kx))
33.0ms
(/ (sin ky) (sqrt (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))))
30.0ms
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))
24.0ms
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))

series944.0ms

Counts
4 → 12
Calls
4 calls:
439.0ms
(* (sin kx) (sin kx))
228.0ms
(/ (sin ky) (sqrt (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))))
140.0ms
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))
137.0ms
(sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))

simplify1.3s

Counts
129 → 129
Iterations
IterNodes
32682
21163
1425
0199

prune817.0ms

Pruning

16 alts after pruning (13 fresh and 3 done)

Merged error: 11.1b

regimes1.1s

Accuracy

0% (1.3b remaining)

Error of 12.5b against oracle of 11.2b and baseline of 12.5b

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
219
119
015

end0.0ms

sample11.6s

Algorithm
intervals
Results
5.8s2634×body1280valid
3.1s1905×body640valid
1.4s780×body320valid
698.0ms2313×body80valid
242.0ms368×body160valid