Details

Time bar (total: 8.2s)

sample247.0ms

Algorithm
halfpoints

simplify946.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
6977
5235
4118
383
248
130
016

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (cos y) (exp x))
0.0b
(/ (cos y) (exp x))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×*-un-lft-identity add-cube-cbrt
times-frac
add-cbrt-cube
pow1 add-exp-log
associate-/r* associate-*r* associate-*l* associate-/l*
add-log-exp
cbrt-undiv clear-num frac-2neg div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv unswap-sqr
Counts
2 → 45
Calls
2 calls:
11.0ms
(* (cos y) (exp x))
9.0ms
(/ (cos y) (exp x))

series88.0ms

Counts
2 → 6
Calls
2 calls:
34.0ms
(* (cos y) (exp x))
54.0ms
(/ (cos y) (exp x))

simplify824.0ms

Counts
51 → 51
Iterations
IterNodes
done5001
2685
1159
075

prune321.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify3.0ms

Iterations
IterNodes
done11
111
09

end0.0ms

sample5.7s

Algorithm
halfpoints