Details

rewrite126.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 150

Calls

4 calls:

76.0ms	(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
5.0ms	(+ 2.30753 (* x 0.27061))
15.0ms	(* x (+ 0.99229 (* x 0.04481)))
23.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))