Details

rewrite6.8s (3.6%)

Algorithm

102×	rewrite-expression-head

Calls

344 calls:

282.0ms	(* (/ (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- (+ t 1.0) z))) 1) (* (/ (/ (cbrt (- y z)) (cbrt (- (+ t 1.0) z))) (cbrt (- (+ t 1.0) z))) (- a x)))
279.0ms	(/ (* (* x (/ (pow (/ 1 a) (/ 1.0 2)) (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) (/ (pow (/ 1 a) (/ 1.0 2)) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
209.0ms	(* (/ (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- (+ t 1.0) z))) 1) (* (/ (/ (* (cbrt (* (cbrt (- y z)) (cbrt (- y z)))) (cbrt (cbrt (- y z)))) (cbrt (- (+ t 1.0) z))) (cbrt (- (+ t 1.0) z))) (- a x)))
188.0ms	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
182.0ms	(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))

Rules

7181×	times-frac
4932×	*-un-lft-identity
4699×	add-sqr-sqrt
3799×	add-cube-cbrt
3624×	add-exp-log
1424×	prod-exp
1353×	add-cbrt-cube
1337×	div-exp
932×	cbrt-prod
814×	pow1
742×	associate-/r*
705×	associate-*l*
700×	unpow-prod-down
541×	associate-*r*
510×	add-log-exp
477×	flip-- flip3--
462×	cbrt-unprod
427×	cbrt-div
396×	pow-exp
342×	associate-/r/
330×	cbrt-undiv distribute-rgt-neg-in
326×	associate-/l*
324×	frac-times
310×	distribute-lft-neg-in
309×	distribute-lft-out--
302×	div-inv
300×	difference-of-squares
296×	sqrt-prod
285×	distribute-lft-out
251×	associate-*r/
222×	associate-*l/
214×	distribute-rgt-in distribute-lft-in
210×	pow-to-exp
203×	pow-prod-down
155×	flip-+ flip3-+
150×	1-exp
147×	sub-neg
145×	log-prod
140×	unswap-sqr
124×	exp-sum
117×	*-commutative frac-sub
114×	sqrt-div
101×	neg-mul-1
98×	rec-exp
82×	pow1/3
79×	tan-quot
77×	sqr-pow
70×	associate-+l+
68×	clear-num frac-2neg
60×	associate-+r+
58×	associate-/l/
50×	diff-log
49×	log-pow
45×	sqrt-pow1
43×	sum-log
34×	sin-mult
31×	pow1/2
30×	swap-sqr
28×	rem-sqrt-square cube-prod cos-mult associate--r+
27×	frac-add
23×	+-commutative
20×	pow-unpow exp-prod
18×	pow-prod-up
16×	sub-div
15×	inv-pow pow-flip associate--l+
12×	pow-sqr pow-plus neg-sub0 associate-+l- log-div
11×	cube-div
10×	pow-pow distribute-lft-neg-out unpow2
9×	un-div-inv neg-log div-sub
8×	pow2 log-rec
7×	associate--l-
6×	rem-exp-log unpow3 cube-mult
3×	exp-diff distribute-frac-neg rem-cbrt-cube
2×	cos-sum rem-cube-cbrt unpow1/3 associate-+r- distribute-neg-in unpow-prod-up tan-sum distribute-neg-frac rem-log-exp
1×	sqrt-unprod pow3 exp-neg pow-sub distribute-rgt-neg-out