Details

rewrite1.1s

Algorithm

19×	rewrite-expression-head

Calls

63 calls:

Slowest

62.0ms	(+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120))
57.0ms	(* (* (- n) (- U U*)) (/ l Om))
57.0ms	(* (* U 2) (* n (- t (* (/ l Om) (- (* 2 l) (- (/ (* n (* U* l)) Om) (/ (* U (* n l)) Om)))))))
55.0ms	(* (* (* U 2) n) (- t (* (/ l Om) (- (* 2 l) (* (* (- n) (- U U*)) (/ l Om))))))
50.0ms	(sqrt (* (* (* U 2) n) (- t (* (/ l Om) (- (* 2 l) (* (* (- n) (- U U*)) (/ l Om)))))))

Rules

263×	pow1
219×	add-exp-log
212×	add-sqr-sqrt
209×	add-cbrt-cube
179×	*-un-lft-identity
153×	add-cube-cbrt
83×	pow-prod-down prod-exp
79×	cbrt-unprod
74×	associate-*l*
69×	times-frac
68×	associate-*r*
67×	add-log-exp
63×	insert-posit16
60×	sinh-def
57×	associate-*r/
32×	frac-times distribute-lft-in distribute-rgt-in
31×	associate-*l/
24×	pow-prod-up
23×	log-pow
21×	log-prod
20×	flip3-- sub-neg flip-- *-commutative
19×	unpow-prod-down exp-prod
18×	unswap-sqr
16×	pow-plus
15×	sqrt-pow1
14×	div-exp cbrt-undiv cbrt-div
13×	distribute-lft-out-- difference-of-squares
11×	associate-/r*
8×	pow2 sqr-pow sqrt-prod pow-sqr
7×	associate-/l* div-inv
6×	rem-log-exp sqrt-div swap-sqr pow-unpow
4×	pow-to-exp pow1/2 pow-exp pow3 distribute-lft-neg-out
3×	exp-sum frac-2neg clear-num
2×	pow1/3 associate-/l/ flip3-+ cube-unmult sum-log associate-/r/ rem-sqrt-square acos-asin rem-cbrt-cube +-commutative flip-+ cbrt-prod pow-pow
1×	div-sub rem-exp-log