Details

Time bar (total: 13.2s)

sample130.0ms

Algorithm
intervals
Results
45.0ms86×body1280valid
28.0ms302×body80valid
22.0ms71×body640valid
7.0ms35×body320valid
3.0ms22×body160valid

simplify4.3s

Counts
1 → 1
Iterations
IterNodes
done5000
84594
72791
61848
5764
4238
3102
259
123
010

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ 0.5 (exp im))

rewrite7.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×expm1-log1p-u pow1 cbrt-undiv clear-num frac-2neg div-exp log1p-expm1-u div-inv add-log-exp
Counts
1 → 29
Calls
1 calls:
6.0ms
(/ 0.5 (exp im))

series15.0ms

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

simplify2.5s

Counts
32 → 32
Iterations
IterNodes
done5062
43861
3912
2307
1112
058

prune210.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations
IterNodes
done9
19
08

end0.0ms

sample6.1s

Algorithm
intervals
Results
2.2s3037×body1280valid
1.7s2478×body640valid
1.2s8617×body80valid
376.0ms1291×body320valid
92.0ms594×body160valid