Details

rewrite1.1s (8.3%)

Algorithm

6×	rewrite-expression-head

Calls

11 calls:

201.0ms	(/ (* (* (+ (+ x (sqrt 1.0)) 1.0) (- x (+ (sqrt 1.0) 1.0))) (+ (- 1.0 (sqrt 1.0)) x)) (- x (+ (sqrt 1.0) 1.0)))
193.0ms	(* (* (+ (+ x (sqrt 1.0)) 1.0) (- x (+ (sqrt 1.0) 1.0))) (+ (- 1.0 (sqrt 1.0)) x))
140.0ms	(* (+ (+ x (sqrt 1.0)) 1.0) (- x (+ (sqrt 1.0) 1.0)))
139.0ms	(* (+ (+ x (sqrt 1.0)) 1.0) (- x (+ (sqrt 1.0) 1.0)))
133.0ms	(* (+ x (+ (sqrt 1.0) 1.0)) (+ (- 1.0 (sqrt 1.0)) x))

Rules

400×	*-un-lft-identity
189×	add-sqr-sqrt
132×	times-frac
104×	add-cube-cbrt
97×	distribute-lft-out
87×	prod-diff
76×	frac-times
62×	flip-+ flip3-+
61×	distribute-lft-out--
50×	distribute-lft-in distribute-rgt-in
47×	add-cbrt-cube associate-/r* add-exp-log
38×	associate-*l/
36×	associate-/l/
30×	flip3-- flip--
29×	pow1
26×	associate-*r* associate-*r/
24×	distribute-rgt-out
23×	add-log-exp
21×	difference-of-squares
20×	associate-*l*
12×	distribute-rgt1-in cbrt-unprod sqrt-prod prod-exp
11×	expm1-log1p-u log1p-expm1-u
10×	cbrt-undiv div-exp
9×	associate-/r/
8×	fma-def associate-/l*
7×	pow-prod-down
6×	sum-log swap-sqr
5×	sub-neg div-inv *-commutative
4×	unswap-sqr
3×	frac-2neg clear-num
2×	associate-+l+ associate--l+ +-commutative
1×	div-sub fma-neg pow-prod-up pow2 pow-plus diff-log pow-sqr