Details

rewrite10.5s (2.4%)

Algorithm

20×	rewrite-expression-head

Calls

59 calls:

1.2s	(/ (* e (sin v)) (+ 1.0 (* e (cos v))))
682.0ms	(* (- m) (- (/ (* m (- 1.0 m)) v) 1.0))
602.0ms	(/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) (* 2.0 a))
514.0ms	(* m (/ (- 1.0 m) v))
454.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

Rules

298×	add-exp-log
296×	add-cbrt-cube
295×	add-sqr-sqrt
241×	*-un-lft-identity
203×	add-cube-cbrt
171×	times-frac
103×	pow1
92×	prod-exp cbrt-unprod
86×	associate-*r*
81×	add-log-exp
69×	cbrt-undiv div-exp
67×	associate-*l*
49×	associate-/r*
46×	associate-*r/
41×	flip-- flip3--
37×	associate-/l*
25×	difference-of-squares
23×	div-inv
21×	sub-neg
20×	pow-prod-down
19×	sqrt-prod distribute-lft-out-- unswap-sqr
18×	cbrt-div
17×	*-commutative clear-num frac-2neg
16×	associate-/l/ cbrt-prod
14×	distribute-rgt-in distribute-lft-in
12×	pow1/3 frac-times
10×	flip3-+ flip-+
9×	associate-/r/
8×	associate-+r+
6×	diff-log associate-*l/ cos-diff
5×	+-commutative sum-log
4×	swap-sqr sqrt-div cos-sum frac-add associate-+l+
3×	distribute-lft-neg-out distribute-lft-neg-in distribute-rgt-neg-in div-sub
2×	pow-sqr rem-sqrt-square pow-prod-up pow1/2 sin-sum sqrt-pow1
1×	sin-diff pow-plus unsub-neg distribute-rgt-out sin-mult neg-mul-1 pow2