Details

Time bar (total: 901.0ms)

sample104.0ms

Algorithm
intervals
Results
11.0ms29×body2560valid
9.0ms182×body80valid
3.0ms15×body1280valid
2.0ms7×body5120valid
2.0ms11×body640valid
2.0ms9×body320valid
0.0ms3×body160valid

simplify453.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
012324
117324
224324
330324
435324
done35324

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 42.2b

localize33.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* re re) (* im im))
1.5b
(- (sqrt (+ (* re re) (* im im))) re)
31.7b
(sqrt (+ (* re re) (* im im)))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×add-log-exp
6×*-un-lft-identity
4×pow1 add-cube-cbrt sqrt-prod
3×add-cbrt-cube add-exp-log
2×flip3-+ sqrt-div flip-+ difference-of-squares
1×+-commutative rem-sqrt-square sum-log sub-neg sqrt-pow1 flip3-- pow1/2 diff-log flip-- distribute-lft-out--
Counts
3 → 41
Calls
3 calls:
15.0ms
(+ (* re re) (* im im))
58.0ms
(- (sqrt (+ (* re re) (* im im))) re)
14.0ms
(sqrt (+ (* re re) (* im im)))

series157.0ms

Counts
3 → 9
Calls
3 calls:
31.0ms
(+ (* re re) (* im im))
62.0ms
(- (sqrt (+ (* re re) (* im im))) re)
64.0ms
(sqrt (+ (* re re) (* im im)))

simplify56.0ms

Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
07413456