Details

Time bar (total: 21.3s)

sample149.0ms

Algorithm
intervals
Results
68.0ms256×body80valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5000
41691
3564
2172
157
022

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize67.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (/ 2 Om) l)
0.5b
(/ 1/2 (sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
1.5b
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
8.5b
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
28×*-un-lft-identity times-frac add-cube-cbrt
15×sqrt-prod
13×associate-*l*
11×add-cbrt-cube add-exp-log
7×pow1
6×associate-/r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* associate-/l*
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 pow-prod-down associate-*l/ *-commutative fma-udef
Counts
4 → 104
Calls
4 calls:
16.0ms
(* (/ 2 Om) l)
5.0ms
(/ 1/2 (sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
0.0ms
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
4.0ms
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

series894.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* (/ 2 Om) l)
392.0ms
(/ 1/2 (sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
168.0ms
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
314.0ms
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

simplify2.6s

Counts
116 → 116
Iterations
IterNodes
done5016
33530
2955
1343
0172

prune884.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.5b

localize80.0ms

Local error

Found 4 expressions with local error:

2.9b
(/ (* l (sin ky)) Om)
3.1b
(/ (* (sin kx) l) Om)
3.1b
(/ (* (sin kx) l) Om)
8.5b
(sqrt (fma 4 (fma (/ (* (sin kx) l) Om) (/ (* (sin kx) l) Om) (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om))) 1))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
19×add-cbrt-cube add-exp-log
12×add-sqr-sqrt
11×*-un-lft-identity add-cube-cbrt
9×associate-/r* times-frac
6×cbrt-undiv div-exp
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg prod-exp sqrt-prod cbrt-unprod div-inv associate-/l*
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 88
Calls
4 calls:
12.0ms
(/ (* l (sin ky)) Om)
20.0ms
(/ (* (sin kx) l) Om)
14.0ms
(/ (* (sin kx) l) Om)
2.0ms
(sqrt (fma 4 (fma (/ (* (sin kx) l) Om) (/ (* (sin kx) l) Om) (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om))) 1))

series634.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(/ (* l (sin ky)) Om)
89.0ms
(/ (* (sin kx) l) Om)
73.0ms
(/ (* (sin kx) l) Om)
384.0ms
(sqrt (fma 4 (fma (/ (* (sin kx) l) Om) (/ (* (sin kx) l) Om) (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om))) 1))

simplify1.3s

Counts
100 → 100
Iterations
IterNodes
done5001
21185
1328
0133

prune951.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

localize462.0ms

Local error

Found 4 expressions with local error:

3.1b
(/ (* (sin kx) l) Om)
3.1b
(/ (* (sin kx) l) Om)
8.5b
(sqrt (fma 4 (fma (posit16->real (real->posit16 (/ (* (sin kx) l) Om))) (/ (* (sin kx) l) Om) (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om))) 1))
44.8b
(posit16->real (real->posit16 (/ (* (sin kx) l) Om)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
14×add-cbrt-cube add-exp-log
10×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
6×associate-/r* times-frac
5×pow1
4×expm1-log1p-u cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-prod
2×clear-num frac-2neg prod-exp cbrt-unprod div-inv associate-/l*
1×rem-sqrt-square sqrt-pow1 pow1/2 remove-posit16
Counts
4 → 75
Calls
4 calls:
12.0ms
(/ (* (sin kx) l) Om)
24.0ms
(/ (* (sin kx) l) Om)
3.0ms
(sqrt (fma 4 (fma (posit16->real (real->posit16 (/ (* (sin kx) l) Om))) (/ (* (sin kx) l) Om) (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om))) 1))
1.0ms
(posit16->real (real->posit16 (/ (* (sin kx) l) Om)))

series622.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(/ (* (sin kx) l) Om)
92.0ms
(/ (* (sin kx) l) Om)
353.0ms
(sqrt (fma 4 (fma (posit16->real (real->posit16 (/ (* (sin kx) l) Om))) (/ (* (sin kx) l) Om) (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om))) 1))
100.0ms
(posit16->real (real->posit16 (/ (* (sin kx) l) Om)))

simplify1.8s

Counts
87 → 87
Iterations
IterNodes
done5006
32558
2681
1225
0105

prune1.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

localize73.0ms

Local error

Found 4 expressions with local error:

3.1b
(/ (* (sin kx) l) Om)
8.5b
(sqrt (fma 4 (fma (posit16->real (real->posit16 (/ (* (sin kx) l) Om))) (posit16->real (real->posit16 (/ (* (sin kx) l) Om))) (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om))) 1))
44.8b
(posit16->real (real->posit16 (/ (* (sin kx) l) Om)))
44.8b
(posit16->real (real->posit16 (/ (* (sin kx) l) Om)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
9×add-cbrt-cube add-exp-log
8×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* times-frac sqrt-prod
2×cbrt-undiv div-exp remove-posit16
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 prod-exp cbrt-unprod div-inv associate-/l*
Counts
4 → 62
Calls
4 calls:
12.0ms
(/ (* (sin kx) l) Om)
1.0ms
(sqrt (fma 4 (fma (posit16->real (real->posit16 (/ (* (sin kx) l) Om))) (posit16->real (real->posit16 (/ (* (sin kx) l) Om))) (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om))) 1))
0.0ms
(posit16->real (real->posit16 (/ (* (sin kx) l) Om)))
0.0ms
(posit16->real (real->posit16 (/ (* (sin kx) l) Om)))

series578.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(/ (* (sin kx) l) Om)
351.0ms
(sqrt (fma 4 (fma (posit16->real (real->posit16 (/ (* (sin kx) l) Om))) (posit16->real (real->posit16 (/ (* (sin kx) l) Om))) (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om))) 1))
71.0ms
(posit16->real (real->posit16 (/ (* (sin kx) l) Om)))
70.0ms
(posit16->real (real->posit16 (/ (* (sin kx) l) Om)))

simplify2.1s

Counts
74 → 74
Iterations
IterNodes
done5018
32549
2680
1224
0105

prune1.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.5b

regimes597.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done25
125
020

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.6s8000×body80valid