Details

rewrite948.0ms

Algorithm

rewrite-expression-head

Rules

5600×	frac-sub
2442×	associate-/l*
2163×	associate-/r*
2068×	add-sqr-sqrt
1900×	frac-times
1495×	*-un-lft-identity
1468×	flip3-+ flip-+
1309×	associate-*r*
1246×	add-cube-cbrt
1186×	associate-*r/
1051×	flip3-- flip--
827×	associate-*l*
607×	sqrt-prod
404×	unswap-sqr
275×	*-commutative
268×	clear-num frac-2neg
236×	sqrt-div
234×	associate-/l/
121×	distribute-lft-out
93×	times-frac
50×	associate-*l/
16×	add-cbrt-cube add-exp-log
8×	associate--r+ difference-of-squares
6×	pow1 add-log-exp
4×	distribute-rgt-in cbrt-undiv distribute-lft-in div-exp associate--l+ insert-posit16 distribute-lft-out--
3×	sub-neg prod-exp cbrt-unprod
2×	+-commutative div-inv
1×	diff-log pow-prod-down

Calls

4 calls:

Slowest

593.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
41.0ms	(/ (* z (sqrt (+ t a))) t)
16.0ms	(/ 2.0 (* t 3.0))
15.0ms	(* z (sqrt (+ t a)))