Details

rewrite2.1s (0.9%)

Algorithm

17×	rewrite-expression-head

Calls

53 calls:

Slowest

327.0ms	(* U (* 2 (* n (+ (/ -2 (/ Om (* l l))) (- t (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))))))
316.0ms	(sqrt (* U (* 2 (* n (+ (/ -2 (/ Om (* l l))) (- t (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))))))
220.0ms	(+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)
196.0ms	(+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)
132.0ms	(sqrt (+ (* (/ -2 (/ 1 (* (cbrt l) (cbrt l)))) (* (/ n (/ (/ Om l) (cbrt l))) (* U 2))) (* (* U 2) (* n (- t (* (/ (/ 1 (/ 1 (* (cbrt l) (cbrt l)))) Om) (* (/ (/ n (/ Om (cbrt l))) (/ 1 l)) (- U U*))))))))

Rules

10884×	times-frac
4847×	add-sqr-sqrt
4645×	*-un-lft-identity
4601×	add-cube-cbrt
3401×	associate-*l*
825×	cbrt-prod
476×	div-inv
473×	add-exp-log
411×	add-cbrt-cube
209×	pow1
163×	prod-exp
153×	div-exp
147×	cbrt-unprod
123×	cbrt-undiv
73×	pow-prod-down
66×	associate-*r/
63×	add-log-exp
61×	associate-/r/
58×	unswap-sqr
53×	insert-posit16 sqrt-prod
52×	associate-*r*
44×	distribute-rgt-in distribute-lft-in
27×	sqrt-pow1
21×	pow-prod-up
20×	pow1/2 flip3-- sub-neg flip-- sqrt-div
19×	*-commutative
17×	associate-*l/
16×	distribute-lft-out-- difference-of-squares
14×	frac-add
10×	frac-times
8×	associate-/l* unpow-prod-down log-pow swap-sqr
7×	flip-+ flip3-+
6×	log-prod 1-exp sum-log rec-exp exp-prod associate-/r*
5×	pow-sqr
4×	rem-sqrt-square sqr-pow
3×	pow2 pow-plus acos-asin
2×	associate-+l+ rem-log-exp distribute-lft-out sinh-def associate-/l/ frac-2neg cube-unmult pow3 pow-exp sqrt-unprod clear-num pow-to-exp +-commutative
1×	div-sub rem-square-sqrt