Details

rewrite29.9s (5.9%)

Algorithm

106×	rewrite-expression-head

Calls

357 calls:

1.5s	(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.3s	(* (/ x (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ (/ (pow (/ 1 a) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y))
1.1s	(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.0s	(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0)))))
911.0ms	(* t (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0))))

Rules

5086×	times-frac
4542×	add-sqr-sqrt
4052×	*-un-lft-identity
3835×	associate-*l/
3650×	associate-*r/
3039×	add-cube-cbrt
2485×	add-exp-log
2477×	flip-- flip3--
2435×	frac-sub
2173×	frac-times
1355×	add-cbrt-cube
1094×	sqrt-div
1065×	prod-exp
1037×	associate-*r*
947×	pow1
912×	flip-+ flip3-+
762×	sqrt-prod
710×	associate-*l*
707×	associate-/l/
688×	cbrt-prod
617×	div-exp
554×	add-log-exp
476×	difference-of-squares
427×	cbrt-unprod
389×	unpow-prod-down
376×	distribute-lft-out--
374×	associate-/l*
321×	associate-/r*
281×	pow-prod-down
251×	cbrt-undiv
239×	div-inv
229×	associate-/r/
226×	cbrt-div
194×	unswap-sqr
174×	pow-exp
162×	distribute-rgt-in distribute-lft-in
159×	distribute-lft-out
149×	pow-to-exp
145×	distribute-rgt-neg-in
144×	sub-neg
127×	*-commutative
125×	1-exp
124×	sub-div
117×	distribute-lft-neg-in
116×	log-prod
99×	sqrt-pow1
96×	exp-prod
88×	rec-exp
68×	exp-sum
67×	sqr-pow
65×	pow1/2 clear-num frac-2neg
61×	log-pow
60×	pow1/3
57×	pow-pow
56×	diff-log
55×	sum-log
53×	pow-unpow
48×	associate-+r+
40×	neg-mul-1
32×	tan-quot
31×	rem-sqrt-square
30×	cube-prod sin-mult
29×	pow-prod-up
28×	associate--r+
26×	+-commutative
25×	neg-sub0 associate-+l-
24×	cos-mult
21×	associate-+l+
18×	neg-log log-div
17×	un-div-inv pow-flip
16×	inv-pow frac-add unpow-prod-up
13×	swap-sqr
12×	rem-exp-log
11×	exp-diff pow-sqr
10×	pow-sub unpow3 cube-mult
9×	exp-neg associate--l+ div-sub distribute-neg-frac
8×	associate--l-
6×	associate-+r-
5×	distribute-lft-neg-out log-rec unpow2
4×	cube-div sqrt-unprod distribute-neg-in distribute-frac-neg
3×	pow-div distribute-rgt-out-- pow2 pow-plus
2×	cos-sum rem-cube-cbrt sqrt-undiv mul-1-neg e-exp-1 distribute-rgt-out tan-sum distribute-rgt-neg-out
1×	rem-square-sqrt rem-cbrt-cube rem-log-exp