Details

Time bar (total: 621.0ms)

sample28.0ms

Algorithm
intervals
Results
6.0ms190×body80valid
5.0ms27×body2560valid
3.0ms13×body5120valid
2.0ms12×body1280valid
1.0ms7×body640valid
0.0ms5×body320valid
0.0ms2×body160valid

simplify15.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01215
11715
22415
32915
43315
done3315

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.6b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
0.9b
(- (sqrt (+ (* re re) (* im im))) re)
27.4b
(sqrt (+ (* re re) (* im im)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×pow1
6×*-un-lft-identity
5×sqrt-prod add-log-exp
4×add-cube-cbrt sqrt-div
3×add-exp-log sqrt-pow1 add-cbrt-cube
2×flip3-- pow1/2 associate-*r/ flip-- difference-of-squares
1×sub-neg rem-sqrt-square flip3-+ diff-log pow-prod-down flip-+ distribute-lft-out--
Counts
3 → 43
Calls
3 calls:
12.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
18.0ms
(- (sqrt (+ (* re re) (* im im))) re)
6.0ms
(sqrt (+ (* re re) (* im im)))

series273.0ms

Counts
3 → 9
Calls
3 calls:
177.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
51.0ms
(- (sqrt (+ (* re re) (* im im))) re)
45.0ms
(sqrt (+ (* re re) (* im im)))

simplify248.0ms

Iterations

Useful iterations: 2 (68.0ms)

IterNodesCost
0106776
1232671
2759621