Details

Time bar (total: 31.0s)

sample603.0ms

Algorithm
intervals
Results
177.0ms78×body1280valid
138.0ms55×body640valid
81.0ms88×body80valid
25.0ms26×body320valid
4.0ms9×body160valid

simplify62.0ms

Calls
1 calls:
Slowest
61.0ms
(* (/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin th))

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 15.5b

localize62.0ms

Local error

Found 4 expressions with local error:

5.2b
(sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))
0.3b
(pow (sin ky) 2)
0.3b
(pow (sin kx) 2)
0.2b
(/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
44×*-un-lft-identity
25×add-sqr-sqrt sqrt-prod
24×times-frac add-cube-cbrt
16×unpow-prod-down
10×distribute-lft-out
8×associate-/r* add-exp-log
6×pow1 add-cbrt-cube
4×sqrt-div insert-posit16 add-log-exp
3×associate-/l*
2×pow-to-exp pow-pow flip3-+ pow-exp associate-/r/ flip-+ unpow2
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg pow1/2 div-exp div-inv
Calls
4 calls:
Slowest
12.0ms
(/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))))
11.0ms
(sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))
1.0ms
(pow (sin ky) 2)
1.0ms
(pow (sin kx) 2)

series268.0ms

Calls
4 calls:
Slowest
130.0ms
(/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))))
91.0ms
(sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))
24.0ms
(pow (sin kx) 2)
23.0ms
(pow (sin ky) 2)

simplify3.1s

Calls
92 calls:
Slowest
424.0ms
(- (log (sin ky)) (log (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))))
292.0ms
(/ (* (* (sin ky) (sin ky)) (sin ky)) (* (* (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))))
276.0ms
(- (+ (* 1/12 (* (pow kx 2) ky)) ky) (* 1/6 (pow ky 3)))
273.0ms
(sqrt (+ (* (pow (sin kx) 2) (pow (sin kx) 2)) (- (* (pow (sin ky) 2) (pow (sin ky) 2)) (* (pow (sin kx) 2) (pow (sin ky) 2)))))
196.0ms
(sqrt (- (* (pow (sin kx) 2) (pow (sin kx) 2)) (* (pow (sin ky) 2) (pow (sin ky) 2))))

prune1.6s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 13.7b

localize8.0ms

Local error

Found 4 expressions with local error:

5.2b
(sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))
0.3b
(pow (sin ky) 2)
0.3b
(pow (sin kx) 2)
0.2b
(/ 1 (/ (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (sin ky)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
28×associate-/r*
24×times-frac
23×add-sqr-sqrt
22×add-cube-cbrt
20×sqrt-prod
14×unpow-prod-down
9×add-exp-log
8×distribute-lft-out
7×pow1
4×add-cbrt-cube insert-posit16 add-log-exp
2×pow-to-exp rec-exp pow-pow sqrt-div pow-exp div-inv unpow2
1×rem-sqrt-square clear-num frac-2neg flip3-+ pow1/2 div-exp associate-/r/ flip-+ pow-flip inv-pow
Calls
4 calls:
Slowest
8.0ms
(sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))
6.0ms
(/ 1 (/ (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (sin ky)))
1.0ms
(pow (sin ky) 2)
1.0ms
(pow (sin kx) 2)

series284.0ms

Calls
4 calls:
Slowest
162.0ms
(/ 1 (/ (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (sin ky)))
80.0ms
(sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))
25.0ms
(pow (sin kx) 2)
17.0ms
(pow (sin ky) 2)

simplify1.6s

Calls
60 calls:
Slowest
227.0ms
(sqrt (- (* (pow (sin kx) 2) (pow (sin kx) 2)) (* (pow (sin ky) 2) (pow (sin ky) 2))))
212.0ms
(- (+ (* 1/12 (* (pow kx 2) ky)) ky) (* 1/6 (pow ky 3)))
111.0ms
(- (+ (pow kx 2) (* 2/45 (pow kx 6))) (* 1/3 (pow kx 4)))
102.0ms
(sqrt (+ (pow (pow (sin kx) 2) 3) (pow (pow (sin ky) 2) 3)))
68.0ms
(- (+ (* 2/45 (pow ky 6)) (pow ky 2)) (* 1/3 (pow ky 4)))

prune1.8s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 13.7b

localize21.0ms

Local error

Found 4 expressions with local error:

5.2b
(sqrt (+ (* (* (cbrt (sin kx)) (sin kx)) (pow (cbrt (sin kx)) 2)) (pow (sin ky) 2)))
0.6b
(cbrt (sin kx))
0.6b
(cbrt (sin kx))
0.5b
(pow (cbrt (sin kx)) 2)

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×cbrt-prod *-un-lft-identity add-cube-cbrt
6×unpow-prod-down
5×pow1 add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp
3×pow1/3 sqrt-prod
2×pow-pow sqrt-div
1×pow-to-exp rem-sqrt-square flip3-+ pow1/2 pow-exp flip-+ unpow2
Calls
4 calls:
Slowest
35.0ms
(sqrt (+ (* (* (cbrt (sin kx)) (sin kx)) (pow (cbrt (sin kx)) 2)) (pow (sin ky) 2)))
3.0ms
(pow (cbrt (sin kx)) 2)
1.0ms
(cbrt (sin kx))
1.0ms
(cbrt (sin kx))

series538.0ms

Calls
4 calls:
Slowest
156.0ms
(cbrt (sin kx))
150.0ms
(pow (cbrt (sin kx)) 2)
136.0ms
(cbrt (sin kx))
96.0ms
(sqrt (+ (* (* (cbrt (sin kx)) (sin kx)) (pow (cbrt (sin kx)) 2)) (pow (sin ky) 2)))

simplify1.8s

Calls
33 calls:
Slowest
476.0ms
(sqrt (+ (pow (* (* (cbrt (sin kx)) (sin kx)) (pow (cbrt (sin kx)) 2)) 3) (pow (pow (sin ky) 2) 3)))
292.0ms
(sqrt (- (* (* (* (cbrt (sin kx)) (sin kx)) (pow (cbrt (sin kx)) 2)) (* (* (cbrt (sin kx)) (sin kx)) (pow (cbrt (sin kx)) 2))) (* (pow (sin ky) 2) (pow (sin ky) 2))))
210.0ms
(- (+ (* 1/12 (* (pow kx 2) ky)) ky) (* 1/6 (pow ky 3)))
146.0ms
(- (pow kx 1/3) (+ (* 1/18 (pow (pow kx 7) 1/3)) (* 1/3240 (pow (pow kx 13) 1/3))))
137.0ms
(- (pow kx 1/3) (+ (* 1/18 (pow (pow kx 7) 1/3)) (* 1/3240 (pow (pow kx 13) 1/3))))

prune1.5s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 13.7b

localize48.0ms

Local error

Found 4 expressions with local error:

5.2b
(sqrt (+ (* (* (* (cbrt (* (cbrt (sin kx)) (cbrt (sin kx)))) (cbrt (cbrt (sin kx)))) (sin kx)) (pow (cbrt (sin kx)) 2)) (pow (sin ky) 2)))
0.6b
(cbrt (cbrt (sin kx)))
0.6b
(cbrt (sin kx))
0.6b
(cbrt (sin kx))

rewrite130.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
10×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×pow1/3 sqrt-prod
2×sqrt-div
1×rem-sqrt-square flip3-+ pow1/2 flip-+
Calls
4 calls:
Slowest
124.0ms
(sqrt (+ (* (* (* (cbrt (* (cbrt (sin kx)) (cbrt (sin kx)))) (cbrt (cbrt (sin kx)))) (sin kx)) (pow (cbrt (sin kx)) 2)) (pow (sin ky) 2)))
2.0ms
(cbrt (cbrt (sin kx)))
1.0ms
(cbrt (sin kx))
1.0ms
(cbrt (sin kx))

series575.0ms

Calls
4 calls:
Slowest
191.0ms
(cbrt (cbrt (sin kx)))
137.0ms
(cbrt (sin kx))
134.0ms
(cbrt (sin kx))
112.0ms
(sqrt (+ (* (* (* (cbrt (* (cbrt (sin kx)) (cbrt (sin kx)))) (cbrt (cbrt (sin kx)))) (sin kx)) (pow (cbrt (sin kx)) 2)) (pow (sin ky) 2)))

simplify2.0s

Calls
30 calls:
Slowest
308.0ms
(sqrt (+ (pow (* (* (* (cbrt (* (cbrt (sin kx)) (cbrt (sin kx)))) (cbrt (cbrt (sin kx)))) (sin kx)) (pow (cbrt (sin kx)) 2)) 3) (pow (pow (sin ky) 2) 3)))
294.0ms
(- (+ (* 1/12 (* (pow kx 2) ky)) ky) (* 1/6 (pow ky 3)))
277.0ms
(sqrt (sqrt (+ (* (* (* (cbrt (* (cbrt (sin kx)) (cbrt (sin kx)))) (cbrt (cbrt (sin kx)))) (sin kx)) (pow (cbrt (sin kx)) 2)) (pow (sin ky) 2))))
210.0ms
(sqrt (* (cbrt (+ (* (* (* (cbrt (* (cbrt (sin kx)) (cbrt (sin kx)))) (cbrt (cbrt (sin kx)))) (sin kx)) (pow (cbrt (sin kx)) 2)) (pow (sin ky) 2))) (cbrt (+ (* (* (* (cbrt (* (cbrt (sin kx)) (cbrt (sin kx)))) (cbrt (cbrt (sin kx)))) (sin kx)) (pow (cbrt (sin kx)) 2)) (pow (sin ky) 2)))))
200.0ms
(sqrt (+ (* (* (* (cbrt (* (cbrt (sin kx)) (cbrt (sin kx)))) (cbrt (cbrt (sin kx)))) (sin kx)) (pow (cbrt (sin kx)) 2)) (pow (sin ky) 2)))

prune1.3s

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 13.6b

regimes1.9s

Accuracy

58.8% (0.6b remaining)

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

bsearch21.0ms

end0.0ms

sample11.8s

Algorithm
intervals
Results
6.9s2725×body1280valid
3.0s1811×body640valid
746.0ms2368×body80valid
620.0ms748×body320valid
235.0ms348×body160valid