Details

rewrite9.1s

Algorithm

15×	rewrite-expression-head

Calls

44 calls:

Slowest

1.9s	(sqrt (* (cbrt (* (cbrt (* 2 n)) U)) (- (- t (* (/ l (/ Om l)) 2)) (* (* (* (/ l Om) (/ l Om)) n) (- U U*)))))
1.8s	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.2s	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
1.1s	(sqrt (* (* (cbrt (* 2 n)) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.1s	(sqrt (* (cbrt (* (cbrt (* 2 n)) U)) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

Rules

2306×	frac-times
2265×	associate-*l/
1688×	add-sqr-sqrt
1240×	frac-sub
1213×	*-un-lft-identity
1153×	flip3-- flip--
1026×	associate-/l*
977×	add-cube-cbrt
974×	associate-/r*
822×	associate-*r/
727×	associate-*l*
630×	sqrt-div
359×	unswap-sqr
340×	clear-num
331×	associate-*r*
324×	frac-2neg
319×	times-frac
232×	sqrt-prod
187×	cbrt-prod
172×	add-exp-log
137×	add-cbrt-cube
132×	distribute-lft-out--
123×	pow1
85×	swap-sqr
81×	exp-prod
76×	unpow-prod-down
75×	difference-of-squares
67×	prod-exp
54×	add-log-exp
51×	*-commutative
48×	cbrt-unprod
44×	insert-posit16
39×	pow-prod-down
32×	un-div-inv
27×	log-pow
21×	sub-neg rem-sqrt-square
19×	div-exp
18×	distribute-lft-in distribute-rgt-in
16×	unpow2 sqr-pow div-inv
15×	log-prod cbrt-undiv
11×	sqrt-pow1
10×	associate--l+
8×	pow-exp
7×	rem-log-exp
4×	pow1/2 associate--r+ diff-log pow-to-exp
3×	exp-sum rem-exp-log acos-asin
2×	sinh-def associate-/l/ associate-/r/
1×	exp-to-pow div-sub associate--l- asin-acos associate--r-