Details

Time bar (total: 30.9s)

sample349.0ms

Algorithm
intervals
Results
295.0ms256×body80valid

simplify3.5s

Counts
1 → 1
Iterations
IterNodes
57210
41654
3464
2156
157
022

prune35.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.9b

localize74.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1/2 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ (* l 2) Om) (/ (* l 2) Om))) 1)))
0.3b
(* (sin ky) (sin ky))
3.2b
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ (* l 2) Om) (/ (* l 2) Om)))
7.5b
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ (* l 2) Om) (/ (* l 2) Om))) 1))

rewrite883.0ms

Algorithm
rewrite-expression-head
Rules
55×add-cbrt-cube add-exp-log
29×add-sqr-sqrt
26×prod-exp cbrt-unprod
25×*-un-lft-identity add-cube-cbrt
18×times-frac
17×pow1
15×sqrt-prod
13×frac-times cbrt-undiv div-exp
9×sin-mult
7×associate-*l/ associate-*r/
6×associate-/r* flip3-+ associate-*l* flip-+
4×sqrt-div associate-*r* pow-prod-down frac-add insert-posit16 add-log-exp
3×swap-sqr associate-/l*
2×associate-/r/ *-commutative unswap-sqr
1×pow2 rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow-plus pow1/2 pow-sqr pow-prod-up sqr-sin div-inv
Counts
4 → 137
Calls
4 calls:
128.0ms
(/ 1/2 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ (* l 2) Om) (/ (* l 2) Om))) 1)))
11.0ms
(* (sin ky) (sin ky))
116.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ (* l 2) Om) (/ (* l 2) Om)))
621.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ (* l 2) Om) (/ (* l 2) Om))) 1))

series1.1s

Counts
4 → 12
Calls
4 calls:
356.0ms
(/ 1/2 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ (* l 2) Om) (/ (* l 2) Om))) 1)))
25.0ms
(* (sin ky) (sin ky))
280.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ (* l 2) Om) (/ (* l 2) Om)))
406.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ (* l 2) Om) (/ (* l 2) Om))) 1))

simplify1.4s

Counts
149 → 149
Iterations
IterNodes
22994
1756
0289

prune2.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

localize65.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))
3.9b
(sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))
3.9b
(sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))
7.5b
(sqrt (+ (* (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om)) (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))) 1))

rewrite433.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
14×sqrt-div
13×add-cbrt-cube add-exp-log sqrt-prod
11×*-un-lft-identity add-cube-cbrt
9×pow1
8×sin-mult
7×associate-*r*
6×associate-*l*
5×flip3-+ flip-+
4×frac-add prod-exp cbrt-unprod insert-posit16 add-log-exp
3×frac-times rem-sqrt-square sqrt-pow1 times-frac pow1/2 associate-*l/
2×cbrt-undiv div-exp unswap-sqr
1×pow-prod-down associate-*r/ *-commutative div-inv
Counts
4 → 88
Calls
4 calls:
83.0ms
(* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))
24.0ms
(sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))
23.0ms
(sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))
302.0ms
(sqrt (+ (* (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om)) (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))) 1))

series911.0ms

Counts
4 → 12
Calls
4 calls:
272.0ms
(* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))
101.0ms
(sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))
117.0ms
(sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))
421.0ms
(sqrt (+ (* (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om)) (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))) 1))

simplify3.6s

Counts
100 → 100
Iterations
IterNodes
35368
21355
1455
0186

prune2.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.7b

localize86.0ms

Local error

Found 4 expressions with local error:

3.9b
(sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))
3.9b
(sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))
7.5b
(sqrt (+ (* (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om)) (posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))) 1))
49.3b
(posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))

rewrite215.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×sqrt-prod
8×sqrt-div
7×pow1 *-un-lft-identity add-cube-cbrt
4×add-cbrt-cube add-exp-log insert-posit16 sin-mult add-log-exp
3×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
2×frac-add
1×remove-posit16
Counts
4 → 59
Calls
4 calls:
11.0ms
(sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))
21.0ms
(sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))
181.0ms
(sqrt (+ (* (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om)) (posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))) 1))
0.0ms
(posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))

series936.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))
105.0ms
(sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))
461.0ms
(sqrt (+ (* (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om)) (posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))) 1))
231.0ms
(posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))

simplify1.4s

Counts
71 → 71
Iterations
IterNodes
32781
2784
1295
0134

prune2.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.7b

localize149.0ms

Local error

Found 4 expressions with local error:

8.1b
(cbrt (sqrt (+ (* (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om)) (posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))) 1)))
49.3b
(posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))
49.3b
(posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))
49.3b
(posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×sqrt-prod remove-posit16
2×cbrt-div sqrt-div
1×flip3-+ pow1/3 flip-+
Counts
4 → 44
Calls
4 calls:
142.0ms
(cbrt (sqrt (+ (* (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om)) (posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))) 1)))
0.0ms
(posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))
0.0ms
(posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))
1.0ms
(posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))

series1.1s

Counts
4 → 12
Calls
4 calls:
365.0ms
(cbrt (sqrt (+ (* (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om)) (posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))) 1)))
228.0ms
(posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))
257.0ms
(posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))
266.0ms
(posit16->real (real->posit16 (* (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (/ (* l 2) Om))))

simplify1.0s

Counts
56 → 56
Iterations
IterNodes
32289
2629
1243
0117

prune2.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.7b

regimes637.0ms

Accuracy

0% (0.8b remaining)

Error of 1.5b against oracle of 0.7b and baseline of 1.5b

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
229
129
022

end0.0ms

sample3.6s

Algorithm
intervals
Results
3.4s8000×body80valid