Details

rewrite2.1m (6.7%)

Algorithm

117×	rewrite-expression-head

Calls

448 calls:

18.8s	(* (/ (/ (/ (sqrt 2.0) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (/ (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (tan k)) l) (cbrt l))) (sin k)) (/ (sqrt 2.0) (* (+ (pow (/ k t) 2.0) (+ 1.0 1.0)) (/ (pow (cbrt t) 3.0) (cbrt l)))))
8.8s	(* (* (* 2.0 n) (+ t (- (* (* (* (* (pow (/ 1 (* (cbrt Om) (cbrt Om))) (/ 2.0 2)) n) (pow (/ l (cbrt Om)) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om))))) U)
7.9s	(sqrt (* (* (* 2.0 n) (+ t (- (* (* (* (* (pow (/ 1 (* (cbrt Om) (cbrt Om))) (/ 2.0 2)) n) (pow (/ l (cbrt Om)) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om))))) U))
3.6s	(/ (/ (/ (sqrt 2.0) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (/ (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (tan k)) l) (cbrt l))) (sin k))
3.0s	(/ (- (* (* (* (+ 0.5 1.0) (- 1.0 0.5)) (* 1.0 (* (+ 0.5 1.0) (- 1.0 0.5)))) (* (hypot 1.0 x) (+ (* 1.0 1.0) (* 0.5 (- 0.5 1.0))))) (* (* (+ 0.5 1.0) (- 1.0 0.5)) (* (* 0.5 1.0) (+ (pow 0.5 3) (pow 1.0 3))))) (* (+ (* 1.0 1.0) (* 0.5 (- 0.5 1.0))) (* (+ 0.5 1.0) (- 1.0 0.5))))

Rules

404847×	times-frac
147041×	add-sqr-sqrt
142485×	*-un-lft-identity
140216×	add-cube-cbrt
60464×	cbrt-prod
43851×	frac-times
40069×	associate-*r/
38603×	sqrt-prod
29798×	associate-*l*
21852×	flip-+ flip3-+
18448×	add-exp-log
18340×	associate-*l/
16225×	unpow-prod-down
14279×	div-inv
13549×	flip3-- flip--
13307×	sqr-pow
12616×	frac-sub
11875×	associate-/l*
8353×	prod-exp
8315×	div-exp
6362×	associate-/l/
4043×	difference-of-squares
3792×	pow-exp
3061×	add-cbrt-cube
2100×	associate-*r*
2034×	associate-/r*
1833×	pow-to-exp
1638×	associate-/r/
1134×	cbrt-undiv
1070×	pow1
938×	cbrt-unprod
903×	distribute-lft-out--
807×	unpow2
583×	add-log-exp
481×	1-exp
475×	rec-exp
353×	unswap-sqr
302×	pow-prod-down
272×	sqrt-div
249×	cube-prod
243×	distribute-lft-out
237×	pow-unpow
176×	sqrt-pow1
132×	log-pow
126×	exp-prod
121×	*-commutative
109×	frac-2neg clear-num
91×	frac-add
80×	pow1/2
72×	pow1/3
69×	unpow3 rem-sqrt-square cube-mult
56×	distribute-rgt-neg-in
55×	sum-log
47×	log-prod
43×	distribute-rgt-in distribute-lft-in
42×	sub-div
41×	distribute-lft-neg-in pow-pow
35×	sub-neg
34×	+-commutative
30×	cbrt-div
29×	div-sub
28×	pow-sub
24×	swap-sqr
20×	exp-sum
19×	neg-sub0 diff-log
14×	associate-+l+
13×	tan-quot pow-neg
11×	pow-flip rem-cube-cbrt cube-div
9×	associate--l+ inv-pow pow-prod-up
7×	associate-+l- pow-sqr
6×	neg-log associate--r+ distribute-neg-frac cos-sum rem-log-exp
5×	neg-mul-1
4×	rem-cbrt-cube acos-asin
3×	associate-+r+ pow2 pow-plus asin-acos cos-diff un-div-inv
2×	rem-exp-log
1×	associate-+r- sqrt-undiv mul0 distribute-frac-neg sqrt-unprod associate--l- rem-square-sqrt unsub-neg associate--r-