Details

rewrite25.7s (4.5%)

Algorithm

122×	rewrite-expression-head

Calls

365 calls:

2.1s	(* (+ (/ (sqrt 1.0) (sqrt (sqrt x))) (/ (sqrt 1.0) (sqrt (sqrt (+ x 1.0))))) (- (/ (sqrt 1.0) (sqrt (sqrt x))) (/ (sqrt 1.0) (sqrt (sqrt (+ x 1.0))))))
1.6s	(+ (- (/ (/ 1.0 (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
1.5s	(cbrt (* (* (- (/ (sqrt 1.0) (sqrt (sqrt x))) (/ (sqrt 1.0) (sqrt (sqrt (+ x 1.0))))) (- (/ (sqrt 1.0) (sqrt (sqrt x))) (/ (sqrt 1.0) (sqrt (sqrt (+ x 1.0)))))) (- (/ (sqrt 1.0) (sqrt (sqrt x))) (/ (sqrt 1.0) (sqrt (sqrt (+ x 1.0)))))))
1.4s	(* (+ (* (pow (/ 1 x) 1/4) (sqrt 1.0)) (/ (sqrt 1.0) (sqrt (sqrt (+ x 1.0))))) (- (/ (sqrt 1.0) (sqrt (sqrt x))) (/ (sqrt 1.0) (sqrt (sqrt (+ x 1.0))))))
806.0ms	(- (* (cbrt (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt -1) (cbrt (- x))))

Rules

107803×	sqrt-prod
86003×	times-frac
67511×	*-un-lft-identity
59181×	add-sqr-sqrt
55591×	add-cube-cbrt
42923×	prod-diff
7690×	distribute-rgt-in distribute-lft-in
5184×	distribute-lft-out
2784×	associate-+l+
2701×	sqrt-div
2193×	div-inv
1899×	associate-/r/
1328×	difference-of-squares
975×	add-exp-log
908×	flip-+ flip3-+
900×	fma-neg
817×	distribute-lft-out--
804×	add-cbrt-cube
738×	unpow-prod-down
730×	associate-/l*
629×	pow1
585×	associate-*r*
579×	add-log-exp
502×	cbrt-prod
368×	cube-prod
355×	log1p-expm1-u
353×	expm1-log1p-u
351×	flip-- flip3--
332×	sqr-pow
331×	associate-/r*
323×	associate-*l*
302×	distribute-rgt-neg-in
294×	distribute-lft-neg-in
250×	cbrt-div
215×	div-exp
180×	prod-exp
178×	frac-times
164×	cbrt-undiv
152×	unswap-sqr
138×	log-pow
124×	cbrt-unprod
121×	fma-def
117×	exp-prod
109×	pow-unpow
105×	pow1/3
104×	associate-*l/
98×	neg-mul-1
94×	sub-neg
93×	diff-log
92×	log-prod
83×	swap-sqr
71×	frac-sub
69×	associate-*r/
65×	frac-2neg clear-num
62×	associate-/l/
61×	cube-mult pow-prod-down unpow3 exp-sum
56×	unpow2
48×	sqrt-pow1
46×	*-commutative
40×	pow1/2
38×	tan-quot
37×	pow-to-exp pow-exp
32×	rem-sqrt-square pow-prod-up
31×	fma-udef
28×	pow-pow div-sub
24×	pow-sqr sum-log
20×	frac-add
19×	distribute-rgt-out
18×	+-commutative associate--l+
16×	difference-cubes log-div pow-plus
15×	rec-exp 1-exp
13×	complex-mul-def
12×	pow2
10×	rem-log-exp
9×	distribute-lft1-in
7×	pow-flip associate--r+
6×	rem-cube-cbrt neg-sub0
5×	inv-pow associate--l- hypot-def
4×	cube-div expm1-log1p expm1-udef *.c-commutative
3×	exp-diff distribute-rgt-out-- log1p-udef log1p-expm1 +.c-commutative sqrt-undiv distribute-frac-neg associate-+l- sin-sum
2×	rem-exp-log sin-cos-mult pow3 exp-neg complex-add-def neg-log cos-sum sin-mult tan-sum rem-cbrt-cube frac-2neg.c exp-to-pow
1×	associate-+l+.c sqrt-unprod distribute-rgt1-in diff-atan sub-div count-2 diff-cos rem-square-sqrt associate-*l*.c diff-sin