Details

rewrite2.5m (5.2%)

Algorithm

910×	rewrite-expression-head

Calls

2612 calls:

3.2s	(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
3.1s	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.6s	(* (/ (- y z) (* (* (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z)))) (cbrt (cbrt (- a z)))) (cbrt (- a z)))) (/ t (cbrt (- a z))))
1.6s	(* y (* (* (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y))))) (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))))
1.5s	(/ (- (* (* z (sqrt (+ a t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))

Rules

45805×	times-frac
38712×	*-un-lft-identity
36901×	add-sqr-sqrt
26469×	add-cube-cbrt
12451×	associate-*r/
12427×	add-exp-log
9593×	add-cbrt-cube
8590×	cbrt-div
8366×	sqrt-prod
7517×	pow1
7372×	frac-times
6956×	associate-*r*
6781×	frac-sub
6548×	cbrt-prod
5805×	associate-*l/
5107×	flip3-- flip--
4984×	associate-*l*
4842×	unpow-prod-down
4110×	add-log-exp
3922×	prod-exp
3463×	associate-/r*
3363×	difference-of-squares
3246×	distribute-lft-out--
3129×	cbrt-unprod
3060×	distribute-lft-out
2814×	flip-+ flip3-+
2805×	tanh-def
2688×	div-exp
2391×	associate-/r/
2261×	pow-prod-down
2241×	div-inv
2193×	associate-/l*
2081×	sqrt-div
1914×	cbrt-undiv
1576×	unswap-sqr
1342×	log-prod
1209×	associate-/l/
1207×	distribute-rgt-in distribute-lft-in
976×	pow1/3
859×	swap-sqr
850×	*-commutative
781×	cube-prod
736×	sqrt-pow1
701×	sub-neg
558×	sqr-pow
537×	clear-num frac-2neg
525×	sum-log
414×	associate--l+
389×	pow-prod-up
338×	1-exp
329×	rec-exp
323×	associate-+r+
322×	diff-log
321×	pow1/2
309×	pow-sqr
300×	+-commutative
268×	associate-+l+
232×	pow-exp
231×	log-pow
204×	pow-unpow
180×	frac-add
161×	pow-to-exp
145×	pow-plus
129×	sub-div
122×	exp-sum
121×	div-sub
117×	pow2
111×	pow-pow
109×	rem-sqrt-square
106×	distribute-rgt-out
98×	distribute-rgt-out-- pow-flip
97×	associate--r+
96×	exp-prod
94×	unpow2
81×	inv-pow
77×	distribute-rgt-neg-in
76×	distribute-lft-neg-in
71×	un-div-inv
62×	log-div
60×	cube-div
54×	unpow3 cube-mult
46×	rem-log-exp
45×	associate-+l-
41×	sinh-def
39×	distribute-lft-neg-out
32×	distribute-rgt1-in distribute-lft1-in
31×	rem-cube-cbrt count-2
26×	sum-cubes
19×	associate-+r- cosh-def neg-mul-1
18×	unsub-neg rem-cbrt-cube
17×	sqrt-unprod
16×	rem-square-sqrt
15×	difference-cubes associate--r-
13×	associate--l-
12×	distribute-rgt-neg-out
11×	unpow1/3
10×	rem-exp-log
8×	pow-div neg-sub0
6×	exp-to-pow
5×	log-rec sqrt-pow2 neg-log distribute-neg-frac
4×	exp-diff diff-cos distribute-frac-neg
3×	cos-diff unpow-prod-up
2×	cos-sum mul-1-neg e-exp-1 pow-sub tan-quot sin-mult
1×	sqrt-undiv sin-cos-mult pow3 exp-neg remove-double-div