Details

Time bar (total: 37.8s)

sample156.0ms

Algorithm
intervals
Results
131.0ms256×body80valid

simplify4.7s

Counts
1 → 1
Iterations
IterNodes
57482
41754
3519
2162
155
022

prune38.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize55.0ms

Local error

Found 4 expressions with local error:

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

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

series879.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* (sin kx) (sin kx))
390.0ms
(/ 1/2 (sqrt (fma (* (/ l (/ Om 2)) (/ l (/ Om 2))) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1)))
144.0ms
(fma (* (/ l (/ Om 2)) (/ l (/ Om 2))) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1)
324.0ms
(sqrt (fma (* (/ l (/ Om 2)) (/ l (/ Om 2))) (fma (sin ky) (sin ky) (* (sin kx) (sin kx))) 1))

simplify1.1s

Counts
111 → 111
Iterations
IterNodes
32245
2759
1315
0159

prune2.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.6b

localize79.0ms

Local error

Found 4 expressions with local error:

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

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
225×times-frac
132×add-sqr-sqrt
131×*-un-lft-identity add-cube-cbrt
39×associate-/r*
19×add-cbrt-cube add-exp-log
15×div-inv
9×cbrt-undiv div-exp associate-/l*
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-/r/ sqrt-prod
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 235
Calls
4 calls:
20.0ms
(/ l (/ Om (sin ky)))
18.0ms
(/ (sin kx) (/ Om l))
19.0ms
(/ (sin kx) (/ Om l))
2.0ms
(sqrt (fma 4 (+ (* (/ l (/ Om (sin ky))) (/ l (/ Om (sin ky)))) (* (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)))) 1))

series667.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(/ l (/ Om (sin ky)))
118.0ms
(/ (sin kx) (/ Om l))
102.0ms
(/ (sin kx) (/ Om l))
347.0ms
(sqrt (fma 4 (+ (* (/ l (/ Om (sin ky))) (/ l (/ Om (sin ky)))) (* (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)))) 1))

simplify1.3s

Counts
247 → 247
Iterations
IterNodes
22324
1806
0330

prune5.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.6b

localize67.0ms

Local error

Found 4 expressions with local error:

2.3b
(/ l (/ Om (sin ky)))
3.4b
(log (exp (/ (sin kx) (/ Om l))))
3.5b
(/ (sin kx) (/ Om l))
3.5b
(/ (sin kx) (/ Om l))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
291×times-frac
166×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
45×log-pow
44×exp-prod
39×associate-/r*
19×add-cbrt-cube add-exp-log div-inv
9×cbrt-undiv div-exp associate-/l*
5×pow1
4×expm1-log1p-u associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×log-prod clear-num frac-2neg
1×rem-log-exp
Counts
4 → 278
Calls
4 calls:
13.0ms
(/ l (/ Om (sin ky)))
9.0ms
(log (exp (/ (sin kx) (/ Om l))))
10.0ms
(/ (sin kx) (/ Om l))
12.0ms
(/ (sin kx) (/ Om l))

series417.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(/ l (/ Om (sin ky)))
103.0ms
(log (exp (/ (sin kx) (/ Om l))))
107.0ms
(/ (sin kx) (/ Om l))
101.0ms
(/ (sin kx) (/ Om l))

simplify4.3s

Counts
290 → 290
Iterations
IterNodes
22652
1856
0408

prune6.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.6b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.0ms

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

series1.9s

Counts
4 → 12
Calls
4 calls:
323.0ms
(sqrt (fma 4 (+ (* (/ l (/ Om (sin ky))) (/ l (/ Om (sin ky)))) (* (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)))) 1))
465.0ms
(cbrt (sqrt (fma 4 (+ (* (/ l (/ Om (sin ky))) (/ l (/ Om (sin ky)))) (* (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)))) 1)))
546.0ms
(cbrt (sqrt (fma 4 (+ (* (/ l (/ Om (sin ky))) (/ l (/ Om (sin ky)))) (* (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)))) 1)))
520.0ms
(cbrt (sqrt (fma 4 (+ (* (/ l (/ Om (sin ky))) (/ l (/ Om (sin ky)))) (* (/ (sin kx) (/ Om l)) (/ (sin kx) (/ Om l)))) 1)))

simplify2.1s

Counts
79 → 79
Iterations
IterNodes
42808
3896
2332
1147
080

prune1.6s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

regimes597.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify16.0ms

Iterations
IterNodes
227
127
024

end0.0ms

sample4.0s

Algorithm
intervals
Results
3.3s8000×body80valid