Details

Time bar (total: 23.9s)

sample613.0ms

Algorithm
intervals
Results
558.0ms256×body80valid

simplify11.2s

Counts
1 → 1
Iterations
IterNodes
done5000
54254
41004
3309
2129
152
022

prune51.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.7b

localize115.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow (sin ky) 2.0)
0.4b
(/ 1.0 (sqrt (fma (pow (* 2.0 (/ l Om)) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)) 1.0)))
2.2b
(fma (pow (* 2.0 (/ l Om)) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)) 1.0)
9.8b
(sqrt (fma (pow (* 2.0 (/ l Om)) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)) 1.0))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
22×add-cube-cbrt *-un-lft-identity
18×times-frac
15×sqrt-prod
7×add-exp-log
6×pow1 associate-/r* add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×unpow-prod-down pow-unpow associate-/l*
1×cbrt-undiv pow-to-exp rem-sqrt-square pow-pow frac-2neg sqrt-pow1 pow1/2 div-exp pow-exp clear-num fma-udef div-inv sqr-pow
Counts
4 → 85
Calls
4 calls:
8.0ms
(pow (sin ky) 2.0)
14.0ms
(/ 1.0 (sqrt (fma (pow (* 2.0 (/ l Om)) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)) 1.0)))
1.0ms
(fma (pow (* 2.0 (/ l Om)) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)) 1.0)
7.0ms
(sqrt (fma (pow (* 2.0 (/ l Om)) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)) 1.0))

series2.3s

Counts
4 → 12
Calls
4 calls:
259.0ms
(pow (sin ky) 2.0)
846.0ms
(/ 1.0 (sqrt (fma (pow (* 2.0 (/ l Om)) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)) 1.0)))
450.0ms
(fma (pow (* 2.0 (/ l Om)) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)) 1.0)
734.0ms
(sqrt (fma (pow (* 2.0 (/ l Om)) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)) 1.0))

simplify3.6s

Counts
97 → 97
Iterations
IterNodes
done5001
32465
2837
1348
0168

prune1.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.6b

localize24.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune1.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.6b

regimes895.0ms

Accuracy

0% (0.4b remaining)

Error of 1.7b against oracle of 1.3b and baseline of 1.7b

bsearch0.0ms

simplify10.0ms

Iterations
IterNodes
done25
125
021

end0.0ms

sample3.6s

Algorithm
intervals
Results
3.2s7999×body80valid
1.0ms1×body160valid