Details

rewrite2.4s (0.9%)

Algorithm

17×	rewrite-expression-head

Calls

57 calls:

236.0ms	(* U (* 2 (* n (+ (/ -2 (/ Om (* l l))) (- t (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))))))
180.0ms	(sqrt (* U (* 2 (* n (+ (/ -2 (/ Om (* l l))) (- t (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))))))
172.0ms	(* U (* 2 (* n (+ (/ -2 (/ Om (* l l))) (- t (* (/ (/ 1 (/ 1 (* (cbrt l) (cbrt l)))) Om) (* (/ (/ n (/ Om (cbrt l))) (/ 1 l)) (- U U*))))))))
165.0ms	(* U (* 2 (* n (+ (/ -2 (* (/ 1 l) (/ Om l))) (- t (* (/ (/ 1 (/ 1 (* (cbrt l) (cbrt l)))) Om) (* (/ (/ (* (cbrt n) (cbrt n)) (/ 1 (* (cbrt (cbrt l)) (cbrt (cbrt l))))) 1) (* (/ (/ (cbrt n) (/ Om (cbrt (cbrt l)))) (/ 1 l)) (- U U*)))))))))
162.0ms	(* U (* 2 (* n (+ (/ -2 (* (/ 1 l) (/ Om l))) (- t (* (/ (/ 1 (/ 1 (* (cbrt l) (cbrt l)))) Om) (* (/ (/ n (/ Om (cbrt l))) (/ 1 l)) (- U U*))))))))

Rules

17071×	times-frac
7502×	add-sqr-sqrt
7219×	*-un-lft-identity
7166×	add-cube-cbrt
4954×	associate-*l*
4056×	cbrt-prod
635×	div-inv
319×	add-exp-log
247×	pow1
236×	add-cbrt-cube
126×	associate-*r/
111×	div-exp
85×	prod-exp
72×	pow-prod-down
71×	unswap-sqr
67×	cbrt-unprod
66×	cbrt-undiv
60×	sinh-def sqrt-pow1
59×	associate-/r/ associate-*r*
58×	distribute-rgt-in distribute-lft-in
57×	add-log-exp insert-posit16
45×	pow-prod-up
36×	sqrt-prod
32×	pow1/2
30×	frac-times
26×	associate-*l/
20×	flip3-- flip-- frac-add
19×	associate-/r*
17×	pow-plus
16×	distribute-lft-out-- difference-of-squares sqrt-div *-commutative
14×	cbrt-div swap-sqr
12×	log-pow
11×	associate-/l*
10×	flip3-+ flip-+
9×	exp-prod log-prod 1-exp rec-exp pow3 pow-sqr
8×	sub-neg
7×	pow2
4×	acos-asin
3×	rem-log-exp pow1/3 unpow-prod-down frac-2neg sqrt-unprod clear-num rem-cbrt-cube pow-unpow
2×	associate-/l/ distribute-lft-out
1×	div-sub rem-square-sqrt pow-to-exp pow-exp rem-sqrt-square sqr-pow cosh-def pow-pow