Details

rewrite2.4m (3.5%)

Algorithm

876×	rewrite-expression-head

Calls

2444 calls:

3.6s	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (sqrt c)) (- b 0.5))) (* (log (sqrt c)) (- b 0.5)))
3.2s	(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.7s	(* x (+ (+ (+ (+ y z) z) y) t))
1.4s	(* (cbrt (- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))) (cbrt (- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))))
1.3s	(* (/ (/ (/ y (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))) (* (cbrt (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))) (cbrt (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))))) (/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (cbrt (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))))

Rules

52081×	times-frac
43083×	*-un-lft-identity
41519×	add-sqr-sqrt
27763×	add-cube-cbrt
11472×	add-exp-log
9039×	add-cbrt-cube
7172×	associate-*r*
6621×	pow1
5588×	cbrt-prod
5090×	distribute-lft-out--
4907×	difference-of-squares
4803×	associate-*l*
4481×	sqrt-prod
4077×	associate-/r*
3990×	cbrt-div
3883×	associate-*r/
3720×	add-log-exp
3408×	prod-exp
3320×	flip-- flip3--
2856×	frac-times
2848×	cbrt-unprod
2699×	distribute-lft-out
2676×	div-exp
2613×	associate-*l/
2438×	associate-/r/
2431×	associate-/l*
2341×	div-inv
1968×	pow-prod-down
1964×	cbrt-undiv
1915×	flip-+ flip3-+
1713×	distribute-lft-neg-in distribute-rgt-neg-in
1562×	unswap-sqr
1359×	sqrt-div
920×	unpow-prod-down
901×	distribute-rgt-in distribute-lft-in
894×	log-prod
884×	swap-sqr
857×	frac-sub
813×	*-commutative
782×	pow1/3
685×	associate-/l/
659×	sub-neg
561×	sqrt-pow1
518×	clear-num frac-2neg
507×	frac-add
501×	distribute-neg-frac
497×	neg-mul-1
454×	sum-log
320×	pow1/2
311×	1-exp
300×	cube-prod
283×	pow-prod-up
270×	diff-log
267×	rec-exp associate--l+
264×	+-commutative
247×	tanh-def
237×	associate-+r+
234×	pow-unpow
221×	pow-sqr
205×	associate-+l+
203×	sqr-pow
169×	pow-exp
159×	log-pow
130×	div-sub
128×	pow-to-exp
113×	rem-sqrt-square
97×	pow-plus
96×	log-div
92×	pow-pow
89×	pow2
77×	associate--r+
65×	pow-flip
61×	distribute-rgt-out--
59×	inv-pow
58×	exp-prod
55×	sub-div
44×	distribute-rgt-out
42×	associate-+l-
41×	exp-sum rem-log-exp
34×	un-div-inv
33×	difference-of-sqr-1 unpow2
27×	associate-+r- distribute-rgt-neg-out
24×	cube-div
23×	sum-cubes cosh-def
22×	sqrt-unprod unsub-neg unpow3 cube-mult
19×	exp-diff
18×	rem-square-sqrt
15×	neg-sub0 sinh-def
11×	rem-cube-cbrt unpow-prod-up associate--r-
10×	neg-log
9×	unpow1/3 associate--l-
8×	rem-exp-log distribute-lft-neg-out rem-cbrt-cube
7×	distribute-rgt1-in pow-sub
6×	difference-cubes sqrt-pow2 distribute-lft1-in count-2
5×	distribute-frac-neg
4×	pow3 diff-cos
3×	cos-diff
2×	cos-sum exp-neg tan-quot sin-mult cos-mult exp-to-pow
1×	sqrt-undiv sin-cos-mult e-exp-1