Details

Time bar (total: 24.1s)

sample169.0ms

Algorithm
intervals
Results
139.0ms256×body80valid

simplify2.0s

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

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.8b

localize56.0ms

Local error

Found 4 expressions with local error:

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

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

series922.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (sin ky) (sin ky))
430.0ms
(/ 1/2 (sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)))
186.0ms
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1)
281.0ms
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (* (sin ky) (sin ky))) 1))

simplify2.4s

Counts
111 → 111
Iterations
IterNodes
done5001
32034
2753
1325
0153

prune991.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.6b

localize110.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1/2 (sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1)))
2.6b
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1)
6.6b
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1))
37.6b
(posit16->real (real->posit16 (* (sin ky) (sin ky))))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
20×*-un-lft-identity add-cube-cbrt
18×times-frac
15×sqrt-prod
6×associate-/r* add-cbrt-cube add-exp-log
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l*
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-exp fma-udef div-inv remove-posit16
Counts
4 → 80
Calls
4 calls:
5.0ms
(/ 1/2 (sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1)))
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))))

series878.0ms

Counts
4 → 12
Calls
4 calls:
406.0ms
(/ 1/2 (sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1)))
174.0ms
(fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1)
278.0ms
(sqrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1))
21.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))

simplify2.3s

Counts
92 → 92
Iterations
IterNodes
done5002
32359
2631
1240
0130

prune1.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.6b

localize62.0ms

Local error

Found 4 expressions with local error:

3.0b
(* (/ l Om) (sin ky))
3.2b
(/ (sin kx) (/ Om l))
3.2b
(/ (sin kx) (/ Om l))
6.6b
(sqrt (fma (fma (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)) (* (* (/ l Om) (sin ky)) (* (/ l Om) (sin ky)))) 4 1))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
160×times-frac
103×add-sqr-sqrt
97×*-un-lft-identity add-cube-cbrt
26×associate-/r*
19×add-cbrt-cube add-exp-log
13×associate-*l*
11×div-inv
7×pow1 cbrt-undiv div-exp
6×associate-/l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* sqrt-prod
2×clear-num frac-2neg prod-exp associate-/r/ cbrt-unprod unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 pow-prod-down associate-*l/ *-commutative
Counts
4 → 197
Calls
4 calls:
26.0ms
(* (/ l Om) (sin ky))
19.0ms
(/ (sin kx) (/ Om l))
11.0ms
(/ (sin kx) (/ Om l))
1.0ms
(sqrt (fma (fma (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)) (* (* (/ l Om) (sin ky)) (* (/ l Om) (sin ky)))) 4 1))

series692.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(* (/ l Om) (sin ky))
94.0ms
(/ (sin kx) (/ Om l))
105.0ms
(/ (sin kx) (/ Om l))
391.0ms
(sqrt (fma (fma (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)) (* (* (/ l Om) (sin ky)) (* (/ l Om) (sin ky)))) 4 1))

simplify1.7s

Counts
209 → 209
Iterations
IterNodes
done5000
21724
1596
0249

prune1.9s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize97.0ms

Local error

Found 4 expressions with local error:

11.0b
(cbrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1))
37.6b
(posit16->real (real->posit16 (* (sin ky) (sin ky))))
37.6b
(posit16->real (real->posit16 (* (sin ky) (sin ky))))
37.6b
(posit16->real (real->posit16 (* (sin ky) (sin ky))))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod remove-posit16
1×pow1/3
Counts
4 → 47
Calls
4 calls:
8.0ms
(cbrt (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))))

series416.0ms

Counts
4 → 12
Calls
4 calls:
334.0ms
(cbrt (fma (* (* (/ 2 Om) l) (* (/ 2 Om) l)) (fma (sin kx) (sin kx) (posit16->real (real->posit16 (* (sin ky) (sin ky))))) 1))
35.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))
24.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))
23.0ms
(posit16->real (real->posit16 (* (sin ky) (sin ky))))

simplify2.6s

Counts
59 → 59
Iterations
IterNodes
done5000
43935
31024
2311
1121
065

prune931.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.6b

regimes666.0ms

Accuracy

0% (0.0b remaining)

Error of 0.5b against oracle of 0.5b and baseline of 0.5b

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done24
124
020

end0.0ms

sample4.0s

Algorithm
intervals
Results
3.7s8000×body80valid