Details

Time bar (total: 579.0ms)

sample31.0ms

Algorithm
intervals
Results
8.0ms18×body2560valid
7.0ms192×body80valid
3.0ms17×body1280valid
2.0ms13×body640valid
1.0ms6×body5120valid
1.0ms7×body320valid
0.0ms3×body160valid

simplify8.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01215
12215
22315
done2315

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.4b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(sqrt (* 2.0 (+ (sqrt (+ (* re re) (* im im))) re)))
0.6b
(+ (sqrt (+ (* re re) (* im im))) re)
27.4b
(sqrt (+ (* re re) (* im im)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1
6×*-un-lft-identity
5×add-sqr-sqrt add-log-exp
4×add-cube-cbrt sqrt-div sqrt-prod
3×add-exp-log sqrt-pow1 flip3-+ add-cbrt-cube flip-+
2×pow1/2 associate-*r/
1×+-commutative rem-sqrt-square pow-prod-down sum-log distribute-lft-out
Counts
3 → 40
Calls
3 calls:
11.0ms
(sqrt (* 2.0 (+ (sqrt (+ (* re re) (* im im))) re)))
13.0ms
(+ (sqrt (+ (* re re) (* im im))) re)
4.0ms
(sqrt (+ (* re re) (* im im)))

series269.0ms

Counts
3 → 9
Calls
3 calls:
183.0ms
(sqrt (* 2.0 (+ (sqrt (+ (* re re) (* im im))) re)))
47.0ms
(+ (sqrt (+ (* re re) (* im im))) re)
40.0ms
(sqrt (+ (* re re) (* im im)))

simplify228.0ms

Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
099722
1245617
2711569