Details

rewrite4.5s (1.4%)

Algorithm

29×	rewrite-expression-head

Calls

86 calls:

1.4s	(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*))))))))
255.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
246.0ms	(* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
230.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
204.0ms	(cbrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))

Rules

2526×	associate-*r/
900×	cbrt-div
785×	flip-- flip3--
624×	frac-sub
540×	frac-times
380×	add-sqr-sqrt
360×	sqrt-div
267×	*-un-lft-identity
240×	pow1
223×	sqrt-prod
221×	add-cube-cbrt add-exp-log
155×	add-cbrt-cube
133×	unpow-prod-down
109×	associate-*r*
92×	sqrt-pow1
90×	associate-*l/
87×	add-log-exp
72×	prod-exp
54×	associate-*l*
51×	pow-prod-down
50×	unswap-sqr
48×	times-frac
47×	pow1/2
43×	pow-unpow
38×	cbrt-unprod
37×	pow-pow
35×	cube-prod
30×	distribute-rgt-in sub-neg distribute-lft-in log-prod
27×	log-pow
25×	sqr-pow
24×	pow-exp
23×	difference-of-squares distribute-lft-out--
19×	pow-to-exp
16×	rem-sqrt-square unpow-prod-up associate--l+
15×	pow-prod-up
14×	*-commutative
13×	exp-prod pow1/3
9×	sqrt-pow2
8×	pow-plus swap-sqr div-exp pow-sub associate-/r*
6×	associate-/l* pow-sqr cbrt-prod
5×	rem-log-exp
4×	unpow3 cube-mult div-inv
3×	cbrt-undiv pow2
2×	associate-/l/ sinh-def acos-asin associate-/r/ clear-num frac-2neg
1×	rem-square-sqrt div-sub rem-cube-cbrt rem-exp-log sqrt-unprod pow3 exp-lft-cube exp-to-pow