Details

rewrite22.9s (5.3%)

Algorithm

143×	rewrite-expression-head

Calls

498 calls:

752.0ms	(/ (cbrt (+ (pow (* (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) (+ 1.0 (/ 2.0 (+ (exp (* -2.0 x)) 1.0)))) 3) (pow (* 1.0 1.0) 3))) (cbrt (+ (* (* (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) (+ 1.0 (/ 2.0 (+ (exp (* -2.0 x)) 1.0)))) (* (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) (+ 1.0 (/ 2.0 (+ (exp (* -2.0 x)) 1.0))))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (* (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) (+ 1.0 (/ 2.0 (+ (exp (* -2.0 x)) 1.0)))) (* 1.0 1.0))))))
742.0ms	(- (- (/ (- 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
500.0ms	(* (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt (+ (sqrt 1.0) (sqrt m)))) (sqrt (+ (sqrt 1.0) (sqrt m)))) (- (sqrt 1.0) (sqrt m)))
433.0ms	(/ (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3)) (+ (* (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) (+ 1.0 (/ 2.0 (+ (exp (* -2.0 x)) 1.0)))) (* 1.0 1.0)))
391.0ms	(* (/ (+ (- (pow b 2) (pow b 2)) (* (* 3.0 a) c)) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (/ 1 (* 3.0 a)))

Rules

6114×	times-frac
6006×	*-un-lft-identity
5570×	add-sqr-sqrt
3641×	add-cube-cbrt
2983×	add-exp-log
1776×	add-cbrt-cube
1188×	pow1
1053×	sqrt-prod
1049×	prod-exp
1037×	associate-*r*
876×	associate-*l/
862×	div-exp
849×	flip--
848×	flip3--
792×	add-log-exp
773×	difference-of-squares
696×	associate-/l*
689×	frac-times
684×	unpow-prod-down
638×	associate-/r*
614×	distribute-lft-out--
534×	distribute-lft-out
443×	cbrt-unprod cube-prod
433×	cbrt-prod
427×	frac-add
412×	associate-*l*
404×	cbrt-div
397×	associate-*r/
384×	pow-exp
371×	cbrt-undiv
354×	associate-/r/
330×	flip-+ div-inv
329×	flip3-+
308×	pow-prod-down
300×	sqrt-div
279×	pow-to-exp
275×	distribute-rgt-neg-in
233×	sqr-pow
182×	log-prod
179×	unswap-sqr
133×	associate-/l/
125×	clear-num frac-2neg
110×	swap-sqr
109×	*-commutative
100×	sub-neg
87×	diff-log
74×	1-exp rec-exp
73×	distribute-lft-neg-in
70×	div-sub
69×	sum-log
62×	pow1/3
61×	frac-sub
60×	unpow3 cube-mult
52×	pow-unpow
50×	log-pow unpow2
42×	+-commutative
40×	log-div
39×	pow1/2 neg-mul-1 sqrt-pow1
38×	neg-sub0
37×	associate-+l-
36×	exp-prod
34×	pow-prod-up
32×	distribute-rgt-in pow-sqr distribute-lft-in
30×	un-div-inv
29×	rem-sqrt-square
27×	sin-mult
25×	neg-log
22×	pow-pow
20×	pow-flip rem-log-exp
19×	cube-div
18×	tan-quot sin-diff
17×	cos-diff pow-plus
16×	distribute-rgt-out associate--l+ associate--r+
14×	associate--l- sum-cubes
13×	rem-cube-cbrt pow2 acos-asin
12×	cos-sum
11×	sin-cos-mult inv-pow distribute-frac-neg associate-+r-
9×	cos-mult
8×	difference-cubes associate-+r+ associate--r-
7×	acos-neg asin-acos
5×	rem-exp-log sin-sum exp-sum rem-cbrt-cube
3×	exp-diff associate-+l+ distribute-rgt-neg-out
2×	distribute-lft1-in sub-div
1×	distribute-neg-out sin-neg unpow1/3 sqrt-unprod unsub-neg rem-square-sqrt tanh-undef sqr-cos cube-neg exp-to-pow tanh-def