Details

rewrite16.3s (6.9%)

Algorithm

102×	rewrite-expression-head

Calls

346 calls:

3.5s	(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
3.0s	(- (- (+ (- (* (* x (* 18.0 y)) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
2.5s	(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
587.0ms	(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
509.0ms	(/ (* (* x (* (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)

Rules

6718×	times-frac
5036×	*-un-lft-identity
4804×	add-sqr-sqrt
3844×	add-cube-cbrt
1981×	add-exp-log
1523×	cbrt-prod
1184×	add-cbrt-cube
909×	prod-exp
897×	pow1
697×	distribute-rgt-neg-in
685×	unpow-prod-down
680×	associate-*r*
657×	distribute-lft-neg-in
569×	add-log-exp
562×	cube-prod
539×	associate-*l*
396×	flip-- flip3--
374×	cbrt-unprod
357×	associate-/l*
340×	cbrt-div associate-/r*
339×	div-inv
333×	div-exp
319×	distribute-lft-out--
305×	frac-times
303×	distribute-lft-out
279×	associate-*r/
259×	difference-of-squares
239×	pow-prod-down
217×	neg-mul-1
204×	associate-/r/
189×	log-prod
184×	cbrt-undiv
176×	associate-*l/
174×	pow-exp
172×	sqrt-prod
169×	unswap-sqr
159×	flip-+ flip3-+
156×	distribute-rgt-in distribute-lft-in
155×	pow-to-exp
116×	sub-neg
113×	*-commutative
105×	frac-sub
84×	pow1/3
82×	sqrt-div
77×	log-pow
75×	swap-sqr
72×	diff-log
68×	sum-log
65×	clear-num frac-2neg
54×	associate-/l/ associate-+r+
51×	sqr-pow
42×	sin-mult sqrt-pow1
36×	distribute-rgt-out--
34×	tan-quot
33×	+-commutative
31×	1-exp rec-exp
29×	associate-+l+
28×	pow1/2
26×	exp-sum
25×	pow-unpow rem-sqrt-square associate--l+
24×	frac-add
23×	associate-+l-
22×	unpow3 cube-mult
20×	pow-prod-up
18×	associate--r+
17×	neg-sub0 cos-mult
15×	cube-div pow-pow
14×	pow-sqr
13×	pow-plus
12×	neg-log exp-prod log-div
11×	inv-pow pow-flip associate--l-
10×	unpow2
9×	sub-div div-sub
8×	pow2
7×	rem-cube-cbrt
5×	un-div-inv log-rec
4×	distribute-frac-neg rem-cbrt-cube distribute-rgt-neg-out distribute-neg-frac
3×	rem-exp-log
2×	exp-diff cos-sum associate-+r- tan-sum
1×	pow3 distribute-lft-neg-out cube-unmult unpow1/2 distribute-rgt-out sqrt-unprod rem-log-exp