Details

rewrite6.1s (0.8%)

Algorithm

45×	rewrite-expression-head

Calls

129 calls:

559.0ms	(* (* (* (* x 18.0) y) z) t)
384.0ms	(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
338.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
295.0ms	(* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t)
207.0ms	(* (* (* (* x 18.0) y) z) t)

Rules

1298×	*-un-lft-identity
1223×	add-sqr-sqrt
995×	add-cube-cbrt
991×	times-frac
507×	add-exp-log
418×	prod-diff
391×	add-cbrt-cube
333×	pow1
195×	prod-exp
193×	distribute-rgt-neg-in
190×	add-log-exp
185×	distribute-lft-neg-in
184×	associate-*l*
170×	associate-*r*
160×	sqrt-prod
143×	associate-/r*
137×	fma-neg
129×	log1p-expm1-u expm1-log1p-u
127×	cbrt-unprod
101×	pow-prod-down
95×	distribute-lft-out
84×	associate-/l*
76×	distribute-lft-out--
72×	cbrt-prod
64×	difference-of-squares
63×	div-inv
61×	div-exp
58×	distribute-rgt-in distribute-lft-in
54×	flip3-- flip--
46×	associate-*r/
44×	unswap-sqr
43×	neg-mul-1
42×	cbrt-undiv associate-+r+ sub-neg
39×	*-commutative
35×	associate-/r/
27×	fma-def associate-*l/
26×	log-pow
25×	exp-sum
23×	flip-+ flip3-+
22×	diff-log cbrt-div
21×	fma-udef clear-num frac-2neg
20×	pow-to-exp pow1/3 pow-exp
18×	sqrt-div
15×	frac-times
14×	associate-/l/
13×	unpow-prod-down log-prod
11×	sum-log
10×	associate-+l+
8×	pow1/2 exp-prod sqrt-pow1
7×	distribute-neg-frac
6×	rem-sqrt-square tan-quot associate-+l- +-commutative neg-sub0 swap-sqr div-sub
5×	neg-log sqr-pow associate--l- frac-add 1-exp rec-exp
4×	pow-unpow frac-sub rem-exp-log log-div
3×	exp-diff inv-pow pow-flip associate--l+
2×	un-div-inv pow-sqr acos-asin pow-prod-up tan-sum cos-sum pow-pow
1×	pow-plus sqrt-unprod associate-+r- sub-div pow2 distribute-frac-neg