Details

rewrite54.1s (5.3%)

Algorithm

115×	rewrite-expression-head

Calls

443 calls:

2.4s	(* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
2.0s	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (* (* (cbrt (/ (* c0 (* d d)) (* (* w h) (* D D)))) (cbrt (/ (* c0 (* d d)) (* (* w h) (* D D))))) (cbrt (/ (* c0 (* d d)) (* (* w h) (* D D)))))) (* M M))))
1.5s	(sqrt (* (* (cbrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))) (cbrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))) (cbrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))))
1.5s	(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
1.4s	(* (* (* (pow (cbrt t) 3.0) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (sin k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

Rules

43593×	add-exp-log
30774×	prod-exp
20720×	pow-exp
15722×	div-exp
13094×	times-frac
10516×	pow-to-exp
6500×	add-sqr-sqrt
6033×	*-un-lft-identity
5579×	add-cube-cbrt
4404×	unpow-prod-down
2942×	associate-*r/
2410×	add-cbrt-cube
2340×	cube-prod
2231×	rec-exp 1-exp
1988×	sqrt-prod
1196×	pow1
1161×	associate-*l*
1103×	sqr-pow
958×	flip3-- flip--
954×	cbrt-div
922×	cbrt-unprod
850×	associate-*r*
770×	frac-times
631×	frac-sub
630×	sqrt-div
625×	unpow3 cube-mult
584×	cbrt-prod
538×	add-log-exp
477×	associate-/l*
441×	associate-/r*
426×	cbrt-undiv
377×	associate-*l/
360×	div-inv
356×	pow-prod-down
352×	pow-unpow
286×	unswap-sqr
232×	difference-of-squares
217×	associate-/r/
153×	flip-+ flip3-+
152×	*-commutative
144×	exp-prod
128×	distribute-lft-out
125×	sqrt-pow1
120×	distribute-lft-out--
113×	log-pow
95×	clear-num tan-quot frac-2neg
84×	distribute-lft-neg-in distribute-rgt-neg-in
78×	distribute-rgt-in distribute-lft-in
74×	cube-div
68×	pow1/2
65×	unpow2
61×	sub-neg
60×	pow1/3
57×	pow-pow
53×	associate-/l/
51×	rem-sqrt-square
35×	sum-log
31×	log-prod
29×	swap-sqr
27×	pow-sub
26×	frac-add
25×	+-commutative div-sub
22×	pow-neg neg-mul-1
18×	pow-prod-up associate--l+
16×	neg-sub0
15×	rem-cube-cbrt un-div-inv
14×	diff-log
12×	pow-flip
10×	pow-sqr
9×	pow-plus associate-+r+ inv-pow
8×	associate-+l+
7×	asin-acos rem-log-exp
6×	cos-sum associate--r+
5×	pow2
4×	rem-exp-log exp-sum associate-+r- log-div
3×	exp-diff distribute-rgt-out-- cos-diff distribute-neg-frac
2×	unpow-prod-up rem-cbrt-cube
1×	sqrt-undiv sqrt-pow2 sqrt-unprod pow3 neg-log rem-square-sqrt distribute-frac-neg acos-asin sub-div associate--r- mul0 associate-+l-