Details

rewrite439.0ms

Algorithm

20×	rewrite-expression-head

Calls

65 calls:

Slowest

95.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
27.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
23.0ms	(* (* (* c c) c) 1/6)
18.0ms	(* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (* (* (- U U*) (- (/ l Om))) n)))))
16.0ms	(+ (* (* (* c c) c) 1/6) (* (pow c 5) 1/120))

Rules

109×	add-sqr-sqrt
108×	*-un-lft-identity add-cube-cbrt
93×	pow1
90×	add-exp-log
83×	add-cbrt-cube
74×	add-log-exp
65×	insert-posit16
43×	associate-*l*
33×	associate-*r*
32×	associate-*r/
24×	log-prod *-commutative
23×	flip3-- flip-- associate-*l/
17×	unpow-prod-down log-pow
15×	exp-prod
10×	sqrt-div
9×	times-frac
8×	pow-prod-down frac-times cbrt-unprod frac-sub sub-neg prod-exp distribute-lft-in distribute-rgt-in
7×	cosh-def
6×	rem-log-exp distribute-neg-frac pow-unpow exp-sum div-inv
5×	sqrt-prod flip3-+ flip-+
4×	distribute-lft-neg-in pow2 pow3 pow-plus +-commutative associate--l+ sum-log distribute-rgt-neg-in log-div
3×	pow1/2 pow-exp associate-/r* pow-to-exp pow-pow associate-/l*
2×	associate-+l+ sinh-def distribute-rgt-neg-out associate-/r/ rem-exp-log acos-asin associate-/l/
1×	exp-to-pow exp-diff div-sub cbrt-undiv unpow2 frac-2neg unpow1/2 div-exp distribute-lft-neg-out rem-sqrt-square clear-num neg-mul-1