Details

Time bar (total: 26.4s)

sample455.0ms

Algorithm
intervals
Results
217.0ms83×body1280valid
54.0ms52×body640valid
20.0ms89×body80valid
17.0ms21×body320valid
5.0ms11×body160valid

simplify1.0s

Counts
1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.1b

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
0.3b
(pow (sin ky) 2.0)
0.3b
(pow (sin kx) 2.0)
1.8b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

rewrite151.0ms

Algorithm
rewrite-expression-head
Rules
46×*-un-lft-identity
27×add-sqr-sqrt
26×add-cube-cbrt
25×sqrt-prod
24×times-frac
16×unpow-prod-down
10×distribute-lft-out
8×add-exp-log associate-/r*
7×pow1
6×pow-unpow add-cbrt-cube
4×sqrt-div add-log-exp
3×associate-/l*
2×pow-to-exp pow-pow flip3-+ pow-exp associate-/r/ flip-+ sqr-pow
1×cbrt-undiv rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 div-exp clear-num div-inv
Counts
4 → 100
Calls
4 calls:
48.0ms
(/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
4.0ms
(pow (sin ky) 2.0)
7.0ms
(pow (sin kx) 2.0)
79.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

series629.0ms

Counts
4 → 12
Calls
4 calls:
201.0ms
(/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
137.0ms
(pow (sin ky) 2.0)
178.0ms
(pow (sin kx) 2.0)
111.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

simplify1.4s

Counts
112 → 112

prune669.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 10.2b

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ (sin ky) 1) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
0.3b
(pow (sin ky) 2.0)
0.3b
(pow (sin kx) 2.0)
1.8b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
185×times-frac
160×*-un-lft-identity
101×add-sqr-sqrt
100×add-cube-cbrt
75×sqrt-prod
36×unpow-prod-down
30×distribute-lft-out
13×add-exp-log associate-/l*
10×div-inv
9×add-cbrt-cube
8×associate-/r*
7×pow1
6×pow-unpow
5×div-exp
4×sqrt-div add-log-exp
3×cbrt-undiv
2×pow-to-exp pow-pow flip3-+ pow-exp associate-/r/ flip-+ sqr-pow
1×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 1-exp clear-num associate-/l/
Counts
4 → 194
Calls
4 calls:
70.0ms
(/ (/ (sin ky) 1) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
4.0ms
(pow (sin ky) 2.0)
4.0ms
(pow (sin kx) 2.0)
41.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

series674.0ms

Counts
4 → 12
Calls
4 calls:
212.0ms
(/ (/ (sin ky) 1) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
150.0ms
(pow (sin ky) 2.0)
191.0ms
(pow (sin kx) 2.0)
122.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

simplify1.0s

Counts
206 → 206

prune865.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 10.2b

localize57.0ms

Local error

Found 4 expressions with local error:

1.8b
(sqrt (+ (* (* (cbrt (pow (sin kx) 2.0)) (cbrt (pow (sin kx) 2.0))) (cbrt (pow (sin kx) 2.0))) (pow (sin ky) 2.0)))
14.9b
(cbrt (pow (sin kx) 2.0))
14.9b
(cbrt (pow (sin kx) 2.0))
14.9b
(cbrt (pow (sin kx) 2.0))

rewrite169.0ms

Algorithm
rewrite-expression-head
Rules
21×cbrt-prod
12×add-sqr-sqrt
11×add-cube-cbrt *-un-lft-identity
9×unpow-prod-down
5×pow1
4×add-exp-log add-cbrt-cube add-log-exp
3×pow1/3 sqrt-prod sqr-pow
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
Counts
4 → 60
Calls
4 calls:
149.0ms
(sqrt (+ (* (* (cbrt (pow (sin kx) 2.0)) (cbrt (pow (sin kx) 2.0))) (cbrt (pow (sin kx) 2.0))) (pow (sin ky) 2.0)))
6.0ms
(cbrt (pow (sin kx) 2.0))
6.0ms
(cbrt (pow (sin kx) 2.0))
6.0ms
(cbrt (pow (sin kx) 2.0))

series967.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(sqrt (+ (* (* (cbrt (pow (sin kx) 2.0)) (cbrt (pow (sin kx) 2.0))) (cbrt (pow (sin kx) 2.0))) (pow (sin ky) 2.0)))
250.0ms
(cbrt (pow (sin kx) 2.0))
316.0ms
(cbrt (pow (sin kx) 2.0))
267.0ms
(cbrt (pow (sin kx) 2.0))

simplify1.0s

Counts
72 → 72

prune549.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 10.2b

localize45.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (sin ky) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
0.4b
(* (/ 1 (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (/ (sin ky) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) 1))
1.8b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
1.8b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

rewrite531.0ms

Algorithm
rewrite-expression-head
Rules
434×times-frac
379×add-sqr-sqrt
314×sqrt-prod
281×*-un-lft-identity
154×add-cube-cbrt
121×associate-*r*
67×add-exp-log
63×unswap-sqr
39×associate-*l*
36×unpow-prod-down distribute-lft-out
35×div-exp
27×add-cbrt-cube
24×sqrt-div
20×prod-exp
13×1-exp
11×associate-/r*
10×cbrt-undiv associate-/r/
8×pow1
7×flip3-+ flip-+
6×cbrt-unprod div-inv
5×rec-exp
4×add-log-exp
3×associate-/l*
2×rem-sqrt-square sqrt-pow1 pow1/2
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative
Counts
4 → 356
Calls
4 calls:
55.0ms
(/ (sin ky) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
361.0ms
(* (/ 1 (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (/ (sin ky) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) 1))
32.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
31.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

series644.0ms

Counts
4 → 12
Calls
4 calls:
228.0ms
(/ (sin ky) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
174.0ms
(* (/ 1 (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (/ (sin ky) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) 1))
126.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
115.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

simplify882.0ms

Counts
368 → 368

prune2.0s

Pruning

25 alts after pruning (23 fresh and 2 done)

Merged error: 10.2b

regimes1.8s

Accuracy

-78% (2.4b remaining)

Error of 13.6b against oracle of 11.3b and baseline of 12.6b

bsearch0.0ms

simplify881.0ms

end0.0ms

sample9.9s

Algorithm
intervals
Results
5.5s2678×body1280valid
2.2s1868×body640valid
794.0ms2344×body80valid
617.0ms751×body320valid
248.0ms359×body160valid