Details

rewrite19.7s (2.8%)

Algorithm

70×	rewrite-expression-head

Calls

174 calls:

631.0ms	(* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t))))
614.0ms	(* (/ 1 t) (/ (- (+ x y) z) 2.0))
601.0ms	(/ (* (- (* z z) (* 1.0 1.0)) (+ x y)) (- z 1.0))
588.0ms	(/ (+ x y) 10.0)
521.0ms	(* (sqrt (- (* x x) y)) (* (sqrt (sqrt (- (* x x) y))) (sqrt (sqrt (- (* x x) y)))))

Rules

1566×	*-un-lft-identity
1519×	add-sqr-sqrt
928×	add-cube-cbrt
863×	times-frac
607×	pow1
603×	cbrt-prod
592×	add-exp-log
454×	add-cbrt-cube
433×	associate-*r*
372×	sqrt-prod
296×	sqrt-div
283×	associate-*l*
281×	frac-times
258×	flip-- flip3--
239×	add-log-exp
204×	cbrt-div
198×	unpow-prod-down
192×	prod-exp
173×	associate-*l/
172×	distribute-lft-out pow-prod-down
162×	associate-*r/
151×	cbrt-unprod
149×	difference-of-squares
148×	sqrt-pow1
144×	flip-+ distribute-lft-out-- flip3-+
134×	unswap-sqr pow1/3
126×	swap-sqr
98×	associate-/r*
90×	cube-prod
80×	pow-prod-up
76×	pow1/2
67×	*-commutative
64×	div-exp
61×	distribute-rgt-in div-inv distribute-lft-in
57×	associate-/l*
46×	associate-/r/ pow-sqr
39×	log-prod
38×	cbrt-undiv
37×	sub-neg
36×	associate-/l/
29×	frac-add
28×	pow-exp
19×	pow-unpow sum-log
17×	diff-log
16×	pow-plus clear-num frac-2neg pow2
15×	associate--l+
14×	1-exp rec-exp
13×	+-commutative distribute-rgt-out rem-sqrt-square
11×	frac-sub pow-to-exp
10×	pow-pow sqr-pow
9×	log-pow
8×	associate-+l+
6×	div-sub associate-+r+
5×	sqrt-unprod
4×	pow-flip cube-mult unpow3 rem-cube-cbrt inv-pow cube-div
3×	rem-square-sqrt distribute-lft-neg-in distribute-rgt-neg-in
2×	associate-+l- un-div-inv rem-cbrt-cube distribute-lft-neg-out rem-log-exp unpow2
1×	associate-+r- neg-mul-1 unsub-neg