Details

Time bar (total: 26.0s)

sample158.0ms

Algorithm
intervals
Results
89.0ms256×body80valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done2000
52000
41691
3564
2172
157
022

prune36.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.0b

localize61.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sin ky) (sin ky))
0.4b
(/ 1/2 (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
2.5b
(fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
7.3b
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
24×*-un-lft-identity add-cube-cbrt
18×times-frac
15×sqrt-prod
12×pow1
8×add-cbrt-cube add-exp-log
6×associate-/r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×swap-sqr associate-*r* associate-*l* associate-/l*
1×pow2 cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow-plus pow1/2 div-exp pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod fma-udef sqr-sin div-inv sin-mult unswap-sqr
Counts
4 → 99
Calls
4 calls:
22.0ms
(* (sin ky) (sin ky))
4.0ms
(/ 1/2 (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
0.0ms
(fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
3.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

series974.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* (sin ky) (sin ky))
464.0ms
(/ 1/2 (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
174.0ms
(fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
300.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

simplify1.4s

Counts
111 → 111
Iterations
IterNodes
done2003
42003
31947
2766
1338
0159

prune1.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.4b

localize66.0ms

Local error

Found 4 expressions with local error:

6.6b
(sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
6.6b
(sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
7.3b
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))
7.3b
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
26×sqrt-prod
16×add-sqr-sqrt
10×pow1 *-un-lft-identity sqrt-pow1 add-cube-cbrt
6×rem-sqrt-square pow1/2
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 76
Calls
4 calls:
2.0ms
(sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
2.0ms
(sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
1.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))
1.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

series1.5s

Counts
4 → 12
Calls
4 calls:
412.0ms
(sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
422.0ms
(sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
288.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))
329.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

simplify1.2s

Counts
88 → 88
Iterations
IterNodes
done2005
42005
31283
2360
1147
081

prune1.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 1.4b

localize122.0ms

Local error

Found 4 expressions with local error:

2.5b
(fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
6.6b
(sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
7.3b
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))
7.3b
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
16×sqrt-prod
12×add-sqr-sqrt
8×pow1 *-un-lft-identity add-cube-cbrt
6×sqrt-pow1
4×expm1-log1p-u rem-sqrt-square add-cbrt-cube pow1/2 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
1×fma-udef
Counts
4 → 65
Calls
4 calls:
0.0ms
(fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
4.0ms
(sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
3.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))
3.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

series1.2s

Counts
4 → 12
Calls
4 calls:
202.0ms
(fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
490.0ms
(sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
268.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))
289.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

simplify1.3s

Counts
77 → 77
Iterations
IterNodes
done2002
32002
2575
1192
099

prune1.8s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 1.4b

localize99.0ms

Local error

Found 4 expressions with local error:

6.6b
(sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
7.3b
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))
7.3b
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))
27.0b
(posit16->real (real->posit16 (sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
16×sqrt-prod
12×add-sqr-sqrt
8×pow1 *-un-lft-identity add-cube-cbrt
6×sqrt-pow1
4×expm1-log1p-u rem-sqrt-square add-cbrt-cube pow1/2 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
1×remove-posit16
Counts
4 → 65
Calls
4 calls:
2.0ms
(sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
1.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))
1.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))
0.0ms
(posit16->real (real->posit16 (sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))))

series1.4s

Counts
4 → 12
Calls
4 calls:
418.0ms
(sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
296.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))
257.0ms
(sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))
434.0ms
(posit16->real (real->posit16 (sqrt (sqrt (fma (* (/ (* 2 l) Om) (/ (* 2 l) Om)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))))

simplify1.1s

Counts
77 → 77
Iterations
IterNodes
done2001
42001
31358
2376
1161
092

prune2.8s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 1.4b

regimes1.1s

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations
IterNodes
done27
127
023

end0.0ms

sample4.5s

Algorithm
intervals
Results
4.2s7999×body80valid
2.0ms1×body160valid