Details

rewrite1.3s (0.4%)

Algorithm

29×	rewrite-expression-head

Calls

96 calls:

106.0ms	(* (- U* U) (* (/ (* (cbrt l) (cbrt n)) (cbrt Om)) (/ (* (cbrt l) (cbrt n)) (cbrt Om))))
76.0ms	(* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (* (- U* U) (* (/ (* (cbrt l) (cbrt n)) (cbrt Om)) (/ (* (cbrt l) (cbrt n)) (cbrt Om)))) (/ (cbrt l) (/ (cbrt Om) (cbrt n))))))))))
75.0ms	(* (* 1/6 (* c c)) c)
72.0ms	(* (* 1/6 (* c c)) c)
67.0ms	(* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n))))))))

Rules

658×	add-sqr-sqrt
499×	*-un-lft-identity
463×	times-frac
457×	add-cube-cbrt
286×	add-exp-log
269×	pow1
245×	sqrt-prod
226×	add-cbrt-cube
218×	unpow-prod-down
143×	associate-*r*
96×	add-log-exp insert-posit16
94×	prod-exp
83×	associate-*l*
81×	pow-prod-down
74×	cbrt-unprod
69×	unswap-sqr
57×	associate-/r*
56×	associate-*r/
52×	swap-sqr
49×	sqrt-pow1
48×	distribute-lft-in distribute-rgt-in
46×	exp-prod log-pow
40×	unpow-prod-up sub-neg sqr-pow
31×	div-exp cbrt-undiv
30×	pow-unpow
29×	pow1/2 div-inv
28×	log-prod
22×	pow-pow
21×	distribute-lft-out-- difference-of-squares
20×	pow-to-exp pow-exp
19×	flip3-- flip--
17×	associate-/l*
16×	rem-sqrt-square cbrt-prod *-commutative
15×	frac-times
14×	pow-sub
12×	pow1/3
11×	associate-*l/
10×	sqrt-div
8×	associate-/r/
6×	rem-log-exp sin-sum pow-prod-up sqrt-pow2 pow-sqr
5×	frac-2neg clear-num
4×	exp-sum pow2
2×	sinh-def rem-exp-log associate-/l/ pow-plus acos-asin
1×	div-sub