Details

Time bar (total: 22.4s)

sample208.0ms

Algorithm
intervals
Results
79.0ms112×body1280valid
54.0ms74×body640valid
31.0ms299×body80valid
11.0ms41×body320valid
5.0ms22×body160valid

simplify8.1s

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

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize62.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ 0.5 (exp im))

rewrite28.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 insert-posit16 log1p-expm1-u div-inv add-log-exp
Counts
1 → 30
Calls
1 calls:
26.0ms
(/ 0.5 (exp im))

series46.0ms

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

simplify5.9s

Counts
33 → 33
Iterations
IterNodes
done5001
43740
3884
2306
1113
059

prune372.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify7.0ms

Iterations
IterNodes
done9
19
08

end0.0ms

sample7.6s

Algorithm
intervals
Results
3.2s3084×body1280valid
1.6s2567×body640valid
1.2s8707×body80valid
556.0ms652×body160valid
484.0ms1219×body320valid