Details

Time bar (total: 10.4s)

sample219.0ms

Algorithm
halfpoints
Results

simplify1.1s

Counts
1 → 1

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize35.0ms

Local error

Found 2 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×*-un-lft-identity add-cube-cbrt
9×times-frac
6×add-cbrt-cube
4×pow1 add-exp-log
3×associate-/r* associate-*r* associate-*l* associate-/l*
2×insert-posit16 add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv unswap-sqr
Counts
2 → 47
Calls
2 calls:
Slowest
21.0ms
(* (cos y) (exp x))
15.0ms
(/ (cos y) (exp x))

series75.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
45.0ms
(/ (cos y) (exp x))
29.0ms
(* (cos y) (exp x))

simplify1.4s

Counts
53 → 53

prune597.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample6.9s

Algorithm
halfpoints
Results