Details

Time bar (total: 22.9s)

sample106.0ms

Algorithm
intervals
Results
78.0ms256×body80valid

simplify940.0ms

Counts
1 → 1

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.4b

localize42.0ms

Local error

Found 4 expressions with local error:

8.0b
(sqrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
1.7b
(fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1)
0.3b
(* (sin kx) (sin kx))
0.3b
(* (/ (* l 2) Om) (/ (* l 2) Om))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
42×add-cbrt-cube add-exp-log
22×add-sqr-sqrt
19×pow1
17×*-un-lft-identity add-cube-cbrt
16×prod-exp cbrt-unprod
12×cbrt-undiv times-frac div-exp
10×swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
3×sqrt-prod
2×pow2 pow-plus pow-prod-down pow-sqr *-commutative pow-prod-up unswap-sqr
1×frac-times rem-sqrt-square sqrt-pow1 pow1/2 associate-*l/ associate-*r/ fma-udef sqr-sin sin-mult
Counts
4 → 116
Calls
4 calls:
Slowest
53.0ms
(* (/ (* l 2) Om) (/ (* l 2) Om))
22.0ms
(* (sin kx) (sin kx))
3.0ms
(sqrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
0.0ms
(fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1)

series679.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
350.0ms
(sqrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
223.0ms
(fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1)
63.0ms
(* (/ (* l 2) Om) (/ (* l 2) Om))
43.0ms
(* (sin kx) (sin kx))

simplify771.0ms

Counts
138 → 128

prune2.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.4b

localize82.0ms

Local error

Found 4 expressions with local error:

14.0b
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
14.0b
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
14.0b
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
9.9b
(sqrt (* (cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1)) (cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
12×pow1
9×cbrt-prod sqrt-pow1 pow1/3
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 rem-sqrt-square pow-plus pow1/2 sqrt-prod
Counts
4 → 64
Calls
4 calls:
Slowest
9.0ms
(sqrt (* (cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1)) (cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))))
1.0ms
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
1.0ms
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
1.0ms
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))

series1.8s

Counts
4 → 12
Calls
4 calls:
Slowest
506.0ms
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
459.0ms
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
420.0ms
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
395.0ms
(sqrt (* (cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1)) (cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))))

simplify1.7s

Counts
81 → 76

prune1.6s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.4b

localize79.0ms

Local error

Found 4 expressions with local error:

14.0b
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
14.0b
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
14.0b
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
9.9b
(sqrt (* (cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1)) (cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
12×pow1
9×cbrt-prod sqrt-pow1 pow1/3
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 rem-sqrt-square pow-plus pow1/2 sqrt-prod
Counts
4 → 64
Calls
4 calls:
Slowest
10.0ms
(sqrt (* (cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1)) (cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))))
2.0ms
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
1.0ms
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
1.0ms
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))

series1.8s

Counts
4 → 12
Calls
4 calls:
Slowest
462.0ms
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
449.0ms
(sqrt (* (cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1)) (cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))))
445.0ms
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))
441.0ms
(cbrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))

simplify1.1s

Counts
81 → 76

prune1.9s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.4b

localize59.0ms

Local error

Found 4 expressions with local error:

35.0b
(posit16->real (real->posit16 (* (sin kx) (sin kx))))
8.0b
(sqrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (posit16->real (real->posit16 (* (sin kx) (sin kx))))) 1))
1.7b
(fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (posit16->real (real->posit16 (* (sin kx) (sin kx))))) 1)
0.3b
(* (sin kx) (sin kx))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt pow1
9×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×swap-sqr associate-*r* associate-*l* sqrt-prod
1×pow2 rem-sqrt-square sqrt-pow1 pow-plus pow1/2 pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod fma-udef sqr-sin remove-posit16 sin-mult unswap-sqr
Counts
4 → 68
Calls
4 calls:
Slowest
11.0ms
(* (sin kx) (sin kx))
1.0ms
(sqrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (posit16->real (real->posit16 (* (sin kx) (sin kx))))) 1))
0.0ms
(posit16->real (real->posit16 (* (sin kx) (sin kx))))
0.0ms
(fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (posit16->real (real->posit16 (* (sin kx) (sin kx))))) 1)

series543.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
301.0ms
(sqrt (fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (posit16->real (real->posit16 (* (sin kx) (sin kx))))) 1))
183.0ms
(fma (* (/ (* l 2) Om) (/ (* l 2) Om)) (fma (sin ky) (sin ky) (posit16->real (real->posit16 (* (sin kx) (sin kx))))) 1)
34.0ms
(* (sin kx) (sin kx))
24.0ms
(posit16->real (real->posit16 (* (sin kx) (sin kx))))

simplify725.0ms

Counts
82 → 80

prune2.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.4b

regimes444.0ms

Accuracy

0% (0.0b remaining)

Error of 0.6b against oracle of 0.6b and baseline of 0.6b

bsearch5.0ms

end0.0ms

sample3.8s

Algorithm
intervals
Results
3.6s8000×body80valid