Details

Time bar (total: 14.2s)

sample230.0ms

Algorithm
intervals
Results
88.0ms87×body1280valid
51.0ms77×body640valid
37.0ms267×body80valid
28.0ms35×body320valid
7.0ms24×body160valid

simplify933.0ms

Counts
1 → 1

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize34.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ 0.5 (exp im))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
3×associate-/r* add-cbrt-cube associate-/l*
2×add-exp-log
1×pow1 cbrt-undiv clear-num frac-2neg div-exp insert-posit16 div-inv add-log-exp
Counts
1 → 28
Calls
1 calls:
Slowest
8.0ms
(/ 0.5 (exp im))

series15.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
15.0ms
(/ 0.5 (exp im))

simplify4.1s

Counts
31 → 31

prune302.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample8.6s

Algorithm
intervals
Results
3.2s2973×body1280valid
2.0s2428×body640valid
1.7s8492×body80valid
707.0ms655×body160valid
675.0ms1240×body320valid