Details

Time bar (total: 20.5s)

sample133.0ms

Algorithm
intervals
Results
97.0ms256×body80valid

simplify1.9s

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

prune22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize77.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))

rewrite90.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:
72.0ms
(* (* (/ 2 Om) l) (* (/ 2 Om) l))
11.0ms
(* (sin ky) (sin ky))
0.0ms
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
3.0ms
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

series537.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(* (* (/ 2 Om) l) (* (/ 2 Om) l))
32.0ms
(* (sin ky) (sin ky))
170.0ms
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
297.0ms
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

simplify1.6s

Counts
119 → 119
Iterations
IterNodes
done5000
21368
1395
0155

prune886.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.8b

localize99.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))))

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

series524.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (sin ky) (sin ky))
195.0ms
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1)
281.0ms
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1))
19.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))

simplify1.8s

Counts
80 → 80
Iterations
IterNodes
done5012
32029
2696
1244
0110

prune1.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.8b

localize76.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))

rewrite68.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:
20.0ms
(/ (sin kx) (/ Om l))
22.0ms
(/ (* l (sin ky)) Om)
21.0ms
(/ (* l (sin ky)) Om)
1.0ms
(sqrt (fma (+ (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om)) (* (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)))) 4 1))

series631.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(/ (sin kx) (/ Om l))
62.0ms
(/ (* l (sin ky)) Om)
62.0ms
(/ (* l (sin ky)) Om)
411.0ms
(sqrt (fma (+ (* (/ (* l (sin ky)) Om) (/ (* l (sin ky)) Om)) (* (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)))) 4 1))

simplify2.1s

Counts
149 → 149
Iterations
IterNodes
done5007
21884
1587
0238

prune1.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.8b

localize124.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))))
0.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))

series355.0ms

Counts
4 → 12
Calls
4 calls:
281.0ms
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1))
27.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))
20.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))
26.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))

simplify3.1s

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

prune862.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.8b

regimes525.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done26
126
021

end0.0ms

sample2.6s

Algorithm
intervals
Results
2.3s8000×body80valid