Details

rewrite41.3s (5.9%)

Algorithm

107×	rewrite-expression-head

Calls

317 calls:

4.1s	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1) x1) (* (- 6.0) (* x1 x1))))
4.1s	(+ (/ (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 x1) 1.0)) (+ (* (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1) x1) (* (- 6.0) (* x1 x1))))
2.0s	(- (+ (/ (exp (* x (- eps 1.0))) eps) (exp (* x (- eps 1.0)))) (/ (exp (- (* x (+ eps 1.0)))) eps))
1.9s	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1)) (* (- 6.0) (* x1 x1))))
1.8s	(- (+ (/ (exp (* x (- eps 1.0))) eps) (exp (* x (- eps 1.0)))) (/ (exp (- (* x (+ eps 1.0)))) eps))

Rules

11256×	times-frac
9824×	*-un-lft-identity
9326×	add-sqr-sqrt
7352×	add-cube-cbrt
3234×	prod-diff
3041×	add-exp-log
2717×	add-cbrt-cube
2233×	sqrt-prod
1229×	prod-exp
1096×	pow1
1093×	cbrt-unprod
1051×	associate-*r*
922×	distribute-rgt-in distribute-lft-in
888×	div-exp
737×	cbrt-undiv
728×	div-inv
705×	difference-of-squares
676×	frac-times
662×	distribute-lft-out--
600×	add-log-exp
579×	distribute-lft-out
569×	associate-/l*
546×	associate-/r*
537×	associate-*l*
412×	associate-*r/
398×	associate-+l+
369×	pow-prod-down
364×	flip3-- flip--
334×	associate-/r/
317×	expm1-log1p-u log1p-expm1-u
312×	swap-sqr
309×	flip-+ flip3-+
307×	associate-*l/
244×	fma-neg
222×	cbrt-prod
197×	distribute-rgt-neg-in
164×	associate-/l/
159×	unswap-sqr
156×	distribute-lft-neg-in
109×	sum-log
108×	frac-sub
99×	fma-def
91×	sqrt-pow1 unpow-prod-down
89×	exp-prod
88×	*-commutative
80×	exp-neg
78×	frac-2neg clear-num
77×	sub-neg
69×	neg-sub0
67×	pow-prod-up
65×	associate--r+
62×	exp-diff
58×	diff-log
55×	exp-sum
53×	cbrt-div
52×	sqr-pow neg-mul-1
51×	sqrt-div log-pow
48×	distribute-neg-in
44×	pow-sqr
43×	1-exp rec-exp
41×	frac-add
39×	pow1/2
38×	log-prod
35×	div-sub
33×	pow1/3
28×	pow-plus fma-udef
26×	rem-sqrt-square
25×	pow-exp pow-to-exp
21×	un-div-inv
20×	pow2 +-commutative
18×	associate-+r+
10×	distribute-lft-neg-out
8×	associate--l- hypot-def
7×	associate-+r- neg-log rem-exp-log
6×	pow-flip pow-unpow inv-pow
5×	sqrt-undiv rem-log-exp
4×	associate--l+ distribute-frac-neg associate-+l- unsub-neg
3×	log-div
2×	pow-div pow3 sqrt-unprod pow-pow hypot-udef rem-square-sqrt
1×	distribute-rgt-out-- cube-unmult sub-div exp-to-pow unpow1/3 rem-cbrt-cube associate--r-