Details

rewrite1.7s

Algorithm

rewrite-expression-head

Rules

3989×	*-un-lft-identity
3387×	times-frac
3114×	add-sqr-sqrt
2649×	add-cube-cbrt
1700×	prod-diff
1550×	frac-sub
1404×	frac-add
1353×	associate-/r*
1249×	flip3-- flip--
1192×	sqrt-prod
1040×	frac-times
966×	associate-/l*
540×	associate-*l*
537×	associate-*r*
520×	associate-*l/
509×	distribute-lft-out
238×	clear-num frac-2neg
215×	distribute-lft-out--
208×	div-inv
162×	associate-/r/
141×	flip3-+ flip-+
126×	sqrt-div associate-/l/
115×	difference-of-squares
114×	unswap-sqr
109×	*-commutative
104×	fma-neg
52×	associate-*r/
22×	distribute-rgt-in distribute-lft-in associate--r+
16×	add-cbrt-cube add-exp-log
6×	pow1 add-log-exp
5×	cbrt-undiv sub-neg div-exp
4×	expm1-log1p-u insert-posit16 log1p-expm1-u
2×	prod-exp cbrt-unprod
1×	diff-log pow-prod-down

Calls

4 calls:

Slowest

1.1s	(- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))
343.0ms	(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))
20.0ms	(/ (sqrt (+ a t)) (/ t z))
8.0ms	(/ 2.0 (* t 3.0))