Details

rewrite19.3s (3.4%)

Algorithm

150×	rewrite-expression-head

Calls

507 calls:

1.7s	(pow (/ (/ (- (pow (pow (/ x (+ x 1.0)) 3) 3) (pow (pow (/ (+ x 1.0) (- x 1.0)) 3) 3)) (fma (pow (/ (+ x 1.0) (- x 1.0)) 3) (+ (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) (pow (/ x (+ x 1.0)) 6))) (fma (/ (+ x 1.0) (- x 1.0)) (+ (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0))))) 3)
1.1s	(- (pow (pow (/ x (+ x 1.0)) 3) 3) (pow (pow (/ (+ x 1.0) (- x 1.0)) 3) 3))
735.0ms	(/ (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) (fma (/ (+ x 1.0) (- x 1.0)) (+ (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0)))))
480.0ms	(+ (+ (log 2) (log (sqrt x))) (- (- (log (sqrt x)) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))
372.0ms	(+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))

Rules

61004×	*-un-lft-identity
58818×	times-frac
42542×	add-sqr-sqrt
40274×	unpow-prod-down
39845×	cube-prod
25292×	add-cube-cbrt
18977×	prod-diff
8682×	distribute-lft-out
8472×	distribute-lft-out--
7960×	difference-of-squares
3273×	add-exp-log
2972×	associate-/r/
2887×	sqr-pow
1989×	add-cbrt-cube
1976×	associate-/l*
1948×	div-inv
1665×	sqrt-prod
1219×	div-exp
1208×	pow1
974×	cbrt-prod
960×	prod-exp
946×	flip-+
945×	flip3-+
902×	unpow3 cube-mult
875×	associate-+r+
854×	associate-*r*
793×	flip--
792×	flip3--
751×	add-log-exp
706×	distribute-rgt-neg-in
567×	cbrt-undiv
526×	associate-/r*
512×	expm1-log1p-u
507×	log1p-expm1-u
506×	associate--l+
482×	associate-*l*
460×	fma-neg
434×	cbrt-unprod
375×	pow-exp
374×	log-pow
270×	pow-to-exp
267×	distribute-lft-neg-in
240×	log-prod
239×	fma-def
194×	unswap-sqr
175×	pow-prod-down
164×	distribute-rgt-in distribute-lft-in
160×	exp-prod
127×	clear-num frac-2neg
126×	associate-/l/
107×	associate-*r/
98×	*-commutative sub-neg
92×	cbrt-div
91×	sqrt-pow1
90×	pow-unpow
89×	swap-sqr neg-mul-1
88×	frac-times diff-log
85×	pow1/2
83×	1-exp
82×	sqrt-div
81×	exp-sum
75×	associate-*l/
66×	div-sub
65×	rec-exp pow-pow
60×	cos-sum
53×	sum-log
51×	pow1/3
50×	sin-mult
39×	unpow2
37×	difference-cubes log-div
35×	cube-div sin-cos-mult
32×	rem-sqrt-square
31×	+-commutative
28×	neg-sub0 tan-quot frac-sub
26×	distribute-rgt-out--
24×	fma-udef
23×	sin-sum
22×	pow-prod-up rem-log-exp
19×	rem-cube-cbrt cos-diff frac-add pow-sqr
18×	associate--l- associate-+l- sin-diff
16×	neg-log
14×	sum-cubes distribute-frac-neg distribute-rgt-out acos-asin
13×	associate-+l+ pow-plus associate-+r-
12×	pow2
10×	rem-exp-log cos-mult
8×	acos-neg sub-div expm1-udef rem-cbrt-cube
7×	exp-diff log1p-udef
6×	log1p-expm1 associate--r+
5×	asin-acos
4×	expm1-log1p
3×	inv-pow hypot-udef pow-flip hypot-def distribute-rgt-neg-out
2×	un-div-inv distribute-lft1-in sqrt-unprod pow3 associate--r-
1×	sqrt-pow2 distribute-lft-neg-out unpow-prod-up rem-square-sqrt