Details

rewrite353.0ms

Algorithm

19×	rewrite-expression-head

Calls

59 calls:

Slowest

31.0ms	(* (* (sinh c) (sinh c)) (sinh c))
29.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
23.0ms	(* (* (- U U*) (- (/ l Om))) n)
18.0ms	(* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (* (* (- U U*) (- (/ l Om))) n)))))
17.0ms	(cbrt (* (* (sinh c) (sinh c)) (sinh c)))

Rules

110×	pow1
100×	add-sqr-sqrt
97×	add-cube-cbrt *-un-lft-identity
90×	add-exp-log
87×	add-cbrt-cube
63×	add-log-exp
59×	insert-posit16
54×	sinh-def
46×	associate-*l/
44×	associate-*r/
33×	associate-*l*
31×	associate-*r*
30×	frac-times
25×	flip3-- flip--
21×	log-prod
18×	*-commutative
16×	log-pow
14×	sqrt-div pow-prod-down cbrt-unprod prod-exp cbrt-div sqrt-prod
13×	exp-prod
12×	pow-plus
10×	pow-prod-up
9×	times-frac
8×	distribute-lft-in frac-sub sub-neg distribute-rgt-in
6×	distribute-neg-frac pow3 pow2
5×	rem-log-exp pow1/2 flip3-+ flip-+ div-inv
4×	distribute-lft-neg-in associate--l+ pow-unpow distribute-rgt-neg-in associate-/l*
3×	exp-sum unpow-prod-up rem-sqrt-square associate-/r* acos-asin
2×	associate-+l+ pow1/3 sum-log frac-2neg distribute-rgt-neg-out associate-/r/ rem-cbrt-cube clear-num +-commutative associate-/l/ cbrt-prod
1×	div-sub rem-exp-log cbrt-undiv div-exp distribute-lft-neg-out neg-mul-1 pow-to-exp