Details

rewrite27.2s (3.0%)

Algorithm

109×	rewrite-expression-head

Calls

341 calls:

6.7s	(cbrt (* (+ (+ (/ 1.0 (- x 1.0)) (+ (- (/ 2.0 x)) (/ 2.0 x))) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (+ (+ (/ 1.0 (- x 1.0)) (+ (- (/ 2.0 x)) (/ 2.0 x))) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (+ (+ (/ 1.0 (- x 1.0)) (+ (- (/ 2.0 x)) (/ 2.0 x))) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))))))
1.7s	(+ (+ (/ 1.0 (- x 1.0)) (+ (- (/ 2.0 x)) (/ 2.0 x))) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
1.7s	(+ (+ (/ 1.0 (- x 1.0)) (+ (- (/ 2.0 x)) (/ 2.0 x))) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
1.6s	(+ (+ (/ 1.0 (- x 1.0)) (+ (- (/ 2.0 x)) (/ 2.0 x))) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
649.0ms	(* (/ (fma (* 0.022222222222222223 (* x x)) (* (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (* x x))) (* (* 0.3333333333333333 0.3333333333333333) 0.3333333333333333)) (sqrt (+ (* (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (* x x))) (- (* 0.3333333333333333 0.3333333333333333) (* (* 0.022222222222222223 (* x x)) 0.3333333333333333))))) (/ x (sqrt (+ (* (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (* x x))) (- (* 0.3333333333333333 0.3333333333333333) (* (* 0.022222222222222223 (* x x)) 0.3333333333333333))))))

Rules

26340×	frac-add
10809×	frac-times
7458×	*-un-lft-identity
7043×	flip-+ flip3-+
6402×	add-sqr-sqrt
5876×	cbrt-div
5756×	times-frac
5261×	add-cube-cbrt
5060×	flip3-- flip--
4887×	frac-sub
4013×	prod-diff
2925×	distribute-neg-frac
1913×	pow1
1643×	sqrt-prod
1009×	add-exp-log
944×	log-prod
932×	add-cbrt-cube
802×	associate-+r+
752×	associate-*r/
749×	distribute-lft-out
722×	exp-sum
631×	add-log-exp
474×	pow-prod-up
457×	unpow-prod-down
443×	div-inv
417×	difference-of-squares
411×	associate-*l/
400×	distribute-lft-out--
395×	pow-prod-down
385×	associate-*l*
375×	fma-neg
350×	associate-*r*
331×	expm1-log1p-u log1p-expm1-u
320×	associate-/r/
290×	pow-plus
280×	prod-exp
267×	distribute-rgt-in distribute-lft-in
265×	cbrt-unprod
262×	sqrt-div
261×	associate-/l*
254×	associate-+l+
196×	cbrt-prod
194×	pow-sqr
193×	associate-/r*
162×	log-pow
144×	sqr-pow
140×	sqrt-pow1
129×	div-exp
126×	unswap-sqr
109×	cbrt-undiv pow2
100×	swap-sqr
98×	diff-log
88×	sub-neg
86×	fma-def
84×	distribute-rgt-neg-in
80×	pow1/2
78×	*-commutative
76×	sum-log
74×	tan-quot
56×	exp-prod
51×	frac-2neg clear-num
48×	distribute-lft-neg-in
47×	associate-/l/
42×	pow-unpow log-div
41×	pow1/3
39×	fma-udef
32×	pow3
28×	rem-log-exp
26×	rem-sqrt-square
21×	associate--l+
20×	div-sub
18×	+-commutative
16×	neg-mul-1
14×	complex-mul-def
11×	1-exp pow-exp rec-exp associate--r+
9×	cos-mult neg-log pow-pow
8×	neg-sub0 associate--l- associate-+l-
7×	associate-+r- sqrt-unprod sin-mult pow-to-exp sqr-cos
6×	exp-diff
5×	pow-flip sin-sum distribute-rgt-out
4×	inv-pow hypot-def
3×	sin-cos-mult *.c-commutative sub-div +.c-commutative exp-to-pow cos-sum
2×	expm1-log1p expm1-udef associate-*l*.c distribute-rgt1-in cube-unmult distribute-rgt-neg-out distribute-frac-neg un-div-inv tan-sum exp-neg rem-exp-log rem-cbrt-cube unpow1/3 associate--r- complex-add-def
1×	diff-atan distribute-rgt-out-- frac-2neg.c distribute-neg-out log1p-expm1 sub0-neg rem-square-sqrt diff-sin associate-+l+.c difference-cubes diff-cos log1p-udef