Details

Time bar (total: 24.1s)

sample191.0ms

Algorithm
intervals
Results
81.0ms112×body1280valid
34.0ms74×body640valid
29.0ms299×body80valid
12.0ms41×body320valid
4.0ms22×body160valid

simplify7.3s

Counts
1 → 1
Iterations
IterNodes
done3212
103212
93063
82876
72355
61348
5617
4210
386
257
123
010

prune35.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize109.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ 0.5 (exp im))

rewrite33.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:
31.0ms
(/ 0.5 (exp im))

series30.0ms

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

simplify9.6s

Counts
31 → 31
Iterations
IterNodes
done5015
44575
3936
2297
1110
057

prune403.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify8.0ms

Iterations
IterNodes
done12
112
09

end0.0ms

sample6.5s

Algorithm
intervals
Results
2.3s3084×body1280valid
1.7s2567×body640valid
1.4s8707×body80valid
414.0ms1219×body320valid
177.0ms652×body160valid