Details

rewrite2.0m (3.0%)

Algorithm

896×	rewrite-expression-head

Calls

2580 calls:

3.3s	(* (* (- y z) (* (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z)))) (cbrt (/ 1 (- (+ t 1.0) z))))) (- a x))
2.6s	(/ (+ (* (* (- (/ x y) (/ z y)) 4.0) (* (* (- (/ x y) (/ z y)) 4.0) (* (- (/ x y) (/ z y)) 4.0))) (* 2.0 (* 2.0 2.0))) (- (* (* (- (/ x y) (/ z y)) 4.0) (* (- (/ x y) (/ z y)) 4.0)) (* 2.0 (- (* (- (/ x y) (/ z y)) 4.0) 2.0))))
2.4s	(+ (+ (* (* (* y (* (cbrt z) (cbrt z))) (/ (cbrt z) t)) 1.0) (/ (log 1.0) t)) (/ (* y (* z z)) (/ t 0.5)))
1.5s	(/ (- (+ (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (+ (* (+ (* x y) (* z t)) (* a b)) (* (* a b) (+ (+ (* x y) (* z t)) (* a b))))) (* (* c i) (* c i))) (- (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
683.0ms	(* (cbrt (+ (+ (+ x y) y) x)) (cbrt (+ (+ (+ x y) y) x)))

Rules

40777×	times-frac
37611×	*-un-lft-identity
36367×	add-sqr-sqrt
24168×	add-cube-cbrt
15935×	add-exp-log
10693×	add-cbrt-cube
7880×	pow1
6617×	cbrt-prod
6601×	associate-*r*
5347×	prod-exp
4676×	associate-*l*
4504×	div-exp
4083×	add-log-exp
4011×	difference-of-squares
4010×	cbrt-div
3829×	distribute-lft-out--
3773×	cbrt-unprod
3697×	associate-/r*
3477×	frac-times
3466×	sqrt-prod
3154×	distribute-lft-out
2716×	cbrt-undiv
2688×	associate-*r/
2624×	flip3-- flip--
2595×	associate-*l/
2590×	flip-+ flip3-+
2306×	pow-prod-down
2221×	associate-/l*
2156×	associate-/r/
2130×	div-inv
1473×	unswap-sqr
1285×	sqrt-div
1219×	log-prod
1103×	distribute-rgt-in distribute-lft-in
1083×	swap-sqr
909×	pow1/3
846×	*-commutative
745×	sub-neg
703×	sqrt-pow1
645×	frac-sub
576×	pow-prod-up associate-/l/
539×	frac-2neg clear-num
534×	sum-log
515×	1-exp
491×	rec-exp
391×	pow1/2
360×	associate--l+
342×	pow-sqr
335×	frac-add
321×	diff-log
317×	associate-+r+
296×	+-commutative
284×	log-pow
240×	pow-plus
223×	associate-+l+
192×	exp-prod
173×	exp-sum
159×	pow2
128×	unpow-prod-up
125×	div-sub
112×	rem-sqrt-square
105×	unpow-prod-down
84×	sub-div
81×	pow-flip
80×	pow-unpow
70×	pow3
68×	associate--r+
65×	pow-exp log-div
63×	inv-pow
56×	rem-log-exp
52×	cube-unmult
45×	un-div-inv
44×	associate-+l-
43×	pow-to-exp
41×	distribute-rgt-out-- distribute-rgt-out
38×	tanh-def rem-exp-log
35×	sqr-pow
32×	distribute-lft-neg-out pow-pow
28×	associate-+r- difference-cubes
25×	sqrt-unprod
23×	distribute-rgt-neg-out
22×	distribute-rgt-neg-in
21×	distribute-lft-neg-in
20×	unsub-neg
18×	exp-diff rem-cbrt-cube sinh-def
15×	cosh-def distribute-neg-frac rem-square-sqrt
14×	cos-mult
13×	associate--l-
12×	sum-cubes unpow1/3
11×	tan-quot
10×	exp-to-pow associate--r-
9×	sqr-cos
7×	neg-mul-1 distribute-rgt1-in
6×	distribute-lft1-in diff-cos count-2
4×	sqrt-undiv
3×	cos-diff
2×	neg-sub0 pow-sub sin-mult cos-sum e-exp-1
1×	neg-log exp-neg