Details

Time bar (total: 21.7s)

sample110.0ms

Algorithm
intervals
Results
81.0ms256×body80valid

simplify2.3s

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

prune28.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize59.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (/ 2 Om) l) (* (/ 2 Om) l))
0.3b
(* (sin ky) (sin ky))
1.3b
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
6.1b
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
51×pow1
42×add-cbrt-cube add-exp-log
22×prod-exp cbrt-unprod
18×pow-prod-down
12×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
6×cbrt-undiv div-exp
5×associate-*l/ pow-sqr pow-prod-up
4×expm1-log1p-u swap-sqr associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
3×pow-plus sqrt-prod
2×pow2 *-commutative
1×frac-times rem-sqrt-square sqrt-pow1 pow1/2 associate-*r/ fma-udef sqr-sin sin-mult unswap-sqr
Counts
4 → 107
Calls
4 calls:
46.0ms
(* (* (/ 2 Om) l) (* (/ 2 Om) l))
20.0ms
(* (sin ky) (sin ky))
0.0ms
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
5.0ms
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

series512.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* (* (/ 2 Om) l) (* (/ 2 Om) l))
36.0ms
(* (sin ky) (sin ky))
150.0ms
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
274.0ms
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

simplify1.7s

Counts
119 → 119
Iterations
IterNodes
done5000
21368
1395
0155

prune708.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.8b

localize90.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sin ky) (sin ky))
1.3b
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1)
6.1b
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1))
33.9b
(posit16->real (real->posit16 (* (sin ky) (sin ky))))

rewrite14.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:
11.0ms
(* (sin ky) (sin ky))
0.0ms
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1)
1.0ms
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1))
0.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))

series522.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* (sin ky) (sin ky))
177.0ms
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1)
283.0ms
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1))
33.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))

simplify1.7s

Counts
80 → 80
Iterations
IterNodes
done5012
32029
2696
1244
0110

prune937.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.8b

localize51.0ms

Local error

Found 4 expressions with local error:

1.5b
(/ (sin kx) (/ Om l))
3.2b
(/ (* l (sin ky)) Om)
3.2b
(/ (* l (sin ky)) Om)
6.1b
(sqrt (fma (+ (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om)) (* (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)))) 4 1))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
81×times-frac
52×add-sqr-sqrt
51×*-un-lft-identity add-cube-cbrt
19×associate-/r* add-cbrt-cube add-exp-log
7×cbrt-undiv div-exp div-inv
5×pow1 associate-/l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg sqrt-prod
2×prod-exp cbrt-unprod
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-/r/
Counts
4 → 137
Calls
4 calls:
9.0ms
(/ (sin kx) (/ Om l))
17.0ms
(/ (* l (sin ky)) Om)
15.0ms
(/ (* l (sin ky)) Om)
2.0ms
(sqrt (fma (+ (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om)) (* (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)))) 4 1))

series632.0ms

Counts
4 → 12
Calls
4 calls:
93.0ms
(/ (sin kx) (/ Om l))
74.0ms
(/ (* l (sin ky)) Om)
94.0ms
(/ (* l (sin ky)) Om)
371.0ms
(sqrt (fma (+ (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om)) (* (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)))) 4 1))

simplify1.7s

Counts
149 → 149
Iterations
IterNodes
done5007
21884
1587
0238

prune1.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.8b

localize123.0ms

Local error

Found 4 expressions with local error:

6.1b
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1))
33.9b
(posit16->real (real->posit16 (* (sin ky) (sin ky))))
33.9b
(posit16->real (real->posit16 (* (sin ky) (sin ky))))
33.9b
(posit16->real (real->posit16 (* (sin ky) (sin ky))))

rewrite4.0ms

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

series397.0ms

Counts
4 → 12
Calls
4 calls:
291.0ms
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1))
33.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))
40.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))
33.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))

simplify3.2s

Counts
61 → 61
Iterations
IterNodes
done5000
44318
3717
2229
199
056

prune937.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.8b

regimes540.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
done26
126
021

end0.0ms

sample4.0s

Algorithm
intervals
Results
3.7s8000×body80valid