Details

rewrite17.8s (2.7%)

Algorithm

74×	rewrite-expression-head

Calls

190 calls:

1.6s	(* (+ (* (+ (* (+ (+ (* x (pow y 2)) (* z y)) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
1.4s	(/ (+ (* (+ (* (* (* (cbrt y) (cbrt y)) (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
751.0ms	(/ (+ (* (+ (* (+ (+ (* x (pow y 2)) (* z y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
596.0ms	(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
489.0ms	(* (cbrt (- y 1.0)) (cbrt (- y 1.0)))

Rules

1609×	*-un-lft-identity
1568×	add-sqr-sqrt
979×	add-cube-cbrt
872×	times-frac
613×	pow1
596×	cbrt-prod
593×	add-exp-log
482×	add-cbrt-cube
455×	associate-*r*
372×	sqrt-prod
304×	associate-*l*
296×	sqrt-div
286×	frac-times
263×	add-log-exp
260×	flip-- flip3--
204×	cbrt-div
185×	associate-*l/
174×	prod-exp
173×	unpow-prod-down
172×	distribute-lft-out
170×	pow-prod-down
163×	flip-+ associate-*r/ flip3-+
148×	sqrt-pow1
147×	difference-of-squares
145×	cbrt-unprod
140×	distribute-lft-out--
139×	unswap-sqr
121×	pow1/3
110×	associate-/r*
108×	swap-sqr
90×	cube-prod
87×	log-prod
85×	distribute-rgt-in distribute-lft-in
76×	pow1/2
74×	pow-prod-up
73×	*-commutative
69×	associate-/l*
65×	div-exp
64×	div-inv
56×	associate-/r/
42×	cbrt-undiv associate-/l/
40×	pow-sqr
37×	sub-neg
30×	associate-+r+
29×	frac-add
23×	sum-log
20×	clear-num frac-2neg
17×	+-commutative diff-log
15×	1-exp pow-unpow rec-exp associate--l+ sqr-pow
14×	pow-exp
13×	pow-plus rem-sqrt-square pow2 log-pow
12×	distribute-rgt-out
11×	frac-sub
8×	pow-to-exp associate-+l+ unpow2
7×	pow-pow
6×	div-sub
5×	sqrt-unprod
4×	pow-flip cube-mult unpow3 rem-cube-cbrt un-div-inv inv-pow cube-div
3×	rem-square-sqrt distribute-lft-neg-in distribute-rgt-neg-in
2×	associate-+l- rem-cbrt-cube distribute-rgt-neg-out rem-log-exp
1×	neg-mul-1 associate-+r- unsub-neg