Details

rewrite254.0ms

Algorithm

rewrite-expression-head

Rules

27×	add-sqr-sqrt *-un-lft-identity
23×	add-cube-cbrt
18×	log-prod
12×	associate--l+
11×	associate-+l+ add-log-exp
9×	distribute-rgt-in distribute-lft-in times-frac
8×	add-exp-log add-cbrt-cube
7×	pow1
6×	prod-diff
5×	associate-*l*
4×	expm1-log1p-u associate-*r* log1p-expm1-u
3×	fma-def associate-/r* associate-/l*
2×	sub-neg flip3-- flip3-+ diff-log associate-*l/ sum-log flip-- flip-+ associate-/l/
1×	cbrt-undiv +-commutative associate-+l- frac-2neg fma-neg div-exp pow-prod-down prod-exp clear-num log-pow *-commutative cbrt-unprod div-inv distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr

Counts

4 → 116

Calls

4 calls:

107.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
46.0ms	(* (- x 0.5) (log x))
29.0ms	(- (* (- x 0.5) (log x)) x)
68.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)