Details

Time bar (total: 1.9s)

sample29.0ms

Algorithm
intervals
Results
20.0ms337×body80valid

simplify26.0ms

Calls
1 calls:
Slowest
26.0ms
(- (* x.re y.re) (* x.im y.im))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* x.re y.re) (* x.im y.im))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
9×*-un-lft-identity
4×associate-*l* distribute-lft-out-- difference-of-squares unswap-sqr
3×add-log-exp
1×pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16 flip--
Calls
1 calls:
Slowest
31.0ms
(- (* x.re y.re) (* x.im y.im))

series70.0ms

Calls
1 calls:
Slowest
70.0ms
(- (* x.re y.re) (* x.im y.im))

simplify414.0ms

Calls
16 calls:
Slowest
144.0ms
(/ (exp (* x.re y.re)) (exp (* x.im y.im)))
31.0ms
(- (* (sqrt x.re) (sqrt y.re)) (* (sqrt x.im) (sqrt y.im)))
29.0ms
(- (* x.re y.re) (* x.im y.im))
27.0ms
(- (* y.re x.re) (* y.im x.im))
24.0ms
(- (* x.re y.re) (* x.im y.im))

prune210.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

end0.0ms

sample1.1s

Algorithm
intervals
Results
774.0ms10445×body80valid