Details

Time bar (total: 23.0s)

sample344.0ms

Algorithm
intervals
Results
119.0ms91×body1280valid
69.0ms24×body320valid
45.0ms58×body640valid
14.0ms71×body80valid
4.0ms12×body160valid

simplify738.0ms

Counts
1 → 1
Iterations
IterNodes
done5000
5632
4140
364
235
123
013

prune38.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 9.7b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite88.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×associate-/r* add-exp-log
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 clear-num frac-2neg sqrt-pow1 pow1/2 div-exp div-inv
Counts
4 → 100
Calls
4 calls:
45.0ms
(/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
6.0ms
(pow (sin kx) 2.0)
5.0ms
(pow (sin ky) 2.0)
27.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

series580.0ms

Counts
4 → 12
Calls
4 calls:
193.0ms
(/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
120.0ms
(pow (sin kx) 2.0)
146.0ms
(pow (sin ky) 2.0)
120.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

simplify902.0ms

Counts
112 → 112
Iterations
IterNodes
done5001
21591
1382
0170

prune778.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 8.6b

localize38.0ms

Local error

Found 4 expressions with local error:

0.4b
(cbrt (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
2.7b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
2.7b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
2.7b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
46×*-un-lft-identity
30×cbrt-prod sqrt-prod
25×add-sqr-sqrt
24×times-frac
22×add-cube-cbrt
12×unpow-prod-down distribute-lft-out
8×sqrt-div
7×pow1
4×flip3-+ add-cbrt-cube add-exp-log flip-+ add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2
2×associate-/r/
1×cbrt-div pow1/3 div-inv
Counts
4 → 90
Calls
4 calls:
30.0ms
(cbrt (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
35.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
25.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
22.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

series616.0ms

Counts
4 → 12
Calls
4 calls:
226.0ms
(cbrt (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
130.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
110.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
150.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

simplify1.8s

Counts
102 → 102
Iterations
IterNodes
done5000
33607
2844
1289
0160

prune919.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 8.6b

localize70.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (sin ky))
2.7b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
2.7b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
2.7b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
15×sqrt-prod
11×add-sqr-sqrt
8×add-cube-cbrt
7×pow1
6×unpow-prod-down sqrt-div distribute-lft-out
4×add-cbrt-cube add-exp-log add-log-exp
3×cbrt-prod rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
1×pow1/3
Counts
4 → 62
Calls
4 calls:
1.0ms
(cbrt (sin ky))
31.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
27.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
26.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

series475.0ms

Counts
4 → 12
Calls
4 calls:
180.0ms
(cbrt (sin ky))
90.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
120.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
85.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

simplify972.0ms

Counts
74 → 74
Iterations
IterNodes
done5000
31796
2503
1179
081

prune805.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 8.6b

localize111.0ms

Local error

Found 4 expressions with local error:

2.7b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
2.7b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
2.7b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
2.7b
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

rewrite156.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
20×sqrt-prod
12×add-sqr-sqrt
8×pow1 unpow-prod-down sqrt-div add-cube-cbrt distribute-lft-out
4×rem-sqrt-square sqrt-pow1 flip3-+ add-cbrt-cube pow1/2 add-exp-log flip-+ add-log-exp
Counts
4 → 68
Calls
4 calls:
46.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
47.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
38.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
23.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

series442.0ms

Counts
4 → 12
Calls
4 calls:
107.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
106.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
98.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
130.0ms
(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

simplify735.0ms

Counts
80 → 80
Iterations
IterNodes
done5000
31299
2334
1121
054

prune754.0ms

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 8.6b

regimes2.1s

Accuracy

0% (1.7b remaining)

Error of 12.7b against oracle of 11.0b and baseline of 12.7b

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done23
123
019

end0.0ms

sample9.3s

Algorithm
intervals
Results
5.4s2672×body1280valid
2.2s1912×body640valid
577.0ms2276×body80valid
495.0ms761×body320valid
186.0ms379×body160valid