Details

rewrite59.7s (4.8%)

Algorithm

878×	rewrite-expression-head

Calls

2489 calls:

1.2s	(* (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.2s	(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.1s	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (sqrt c)) (- b 0.5))) (* (log (sqrt c)) (- b 0.5)))
720.0ms	(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
681.0ms	(* (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))) (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))))

Rules

35053×	times-frac
33245×	*-un-lft-identity
31760×	add-sqr-sqrt
21919×	add-cube-cbrt
10983×	add-exp-log
8485×	add-cbrt-cube
6594×	pow1
6035×	cbrt-prod
6019×	associate-*r*
4432×	sqrt-prod
4180×	associate-*l*
4174×	cbrt-div
3732×	add-log-exp
3262×	prod-exp
3247×	difference-of-squares
3209×	distribute-lft-out--
3149×	associate-/r*
2909×	associate-*r/
2798×	frac-times
2666×	associate-*l/
2664×	distribute-lft-out
2616×	cbrt-unprod
2519×	flip-- flip3--
2495×	div-exp
2371×	flip-+ flip3-+
2339×	associate-/l*
2019×	unpow-prod-down
1896×	associate-/r/
1866×	pow-prod-down
1803×	div-inv
1672×	cbrt-undiv
1428×	log-prod
1399×	unswap-sqr
1209×	distribute-rgt-in distribute-lft-in
904×	pow1/3
862×	swap-sqr
853×	frac-sub
852×	sqrt-div
791×	*-commutative
700×	associate-/l/
670×	sub-neg
627×	distribute-rgt-neg-in
604×	distribute-lft-neg-in
596×	sqrt-pow1
514×	clear-num frac-2neg
456×	log-pow
454×	exp-prod
431×	sum-log
378×	sqr-pow
360×	pow1/2
354×	pow-exp
350×	pow-prod-up
283×	associate-+l+
281×	associate-+r+
267×	cube-prod
266×	1-exp
260×	rec-exp
258×	diff-log
256×	+-commutative
250×	exp-sum
242×	pow-sqr
234×	associate--l+
222×	frac-add
215×	pow-unpow
183×	pow-to-exp
165×	neg-mul-1
132×	div-sub
125×	rem-sqrt-square
110×	pow-plus
99×	pow-pow
96×	pow2
90×	unpow-prod-up
88×	unpow2
70×	cosh-def
65×	pow-flip
62×	associate--r+
60×	inv-pow
56×	log-div
51×	un-div-inv
47×	rem-log-exp
45×	tanh-def
40×	distribute-rgt-out--
38×	associate-+l-
35×	distribute-neg-frac
28×	rem-exp-log sqrt-unprod
26×	distribute-rgt-neg-out
22×	distribute-rgt-out sinh-def
21×	unpow3 cube-mult
19×	cube-div distribute-lft-neg-out rem-square-sqrt
18×	exp-diff
17×	associate-+r- sub-div
14×	unpow1/3 unsub-neg
12×	sum-cubes
11×	difference-cubes associate--r-
9×	rem-cube-cbrt
8×	associate--l-
7×	sqrt-undiv rem-cbrt-cube
6×	distribute-rgt1-in
5×	distribute-lft1-in diff-cos count-2 neg-sub0 log-rec
4×	distribute-neg-in pow-sub exp-to-pow
3×	sqrt-pow2 cos-diff
2×	pow-div cos-sum distribute-neg-out e-exp-1 pow3 distribute-frac-neg neg-log tan-quot
1×	sin-cos-mult exp-lft-sqr cube-unmult exp-neg mul-1-neg