Details

rewrite34.9s (3.1%)

Algorithm

103×	rewrite-expression-head

Calls

289 calls:

1.5s	(+ (* (* (* 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)) (+ (* (fma 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (- (* (sqrt 6.0) (sqrt 6.0)))) (* x1 x1)) (* (fma 6.0 -1 6.0) (* x1 x1))))
1.4s	(+ (* (* (* 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)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
1.3s	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
1.2s	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
1.2s	(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

Rules

5725×	times-frac
5650×	*-un-lft-identity
5522×	add-sqr-sqrt
4627×	add-cube-cbrt
2899×	prod-diff
1489×	add-exp-log
1338×	add-cbrt-cube
1145×	pow1
930×	distribute-rgt-in distribute-lft-in
586×	sqrt-prod
562×	associate-*r*
549×	add-log-exp
507×	div-inv
477×	prod-exp
443×	associate-*l*
421×	cbrt-unprod
363×	pow-prod-down
347×	div-exp
342×	difference-of-squares
328×	associate-/l*
304×	distribute-lft-out
289×	log1p-expm1-u expm1-log1p-u
286×	associate-/r*
285×	cbrt-undiv
282×	associate-*r/
280×	frac-times
272×	associate-+l+
245×	distribute-lft-out-- flip3-- flip--
221×	flip-+ flip3-+
211×	fma-neg
191×	associate-/r/
178×	unpow-prod-down
156×	associate-*l/
128×	pow-prod-up
125×	distribute-rgt-neg-in
117×	distribute-lft-neg-in
100×	sum-log frac-sub sqrt-pow1
95×	sub-neg
89×	fma-def
88×	sqrt-div unswap-sqr
87×	associate-/l/
78×	sqr-pow
76×	exp-neg
73×	*-commutative
65×	clear-num frac-2neg
62×	neg-sub0
60×	frac-add
57×	exp-diff
53×	diff-log pow-sqr
52×	pow-plus
45×	pow1/2 associate--l+
42×	fma-udef
41×	cbrt-prod
39×	associate-+r+ neg-mul-1
32×	swap-sqr
30×	div-sub
26×	+-commutative cbrt-div
25×	rem-sqrt-square
24×	pow2 1-exp rec-exp
22×	un-div-inv
20×	log-prod
19×	pow1/3
15×	log-pow
11×	pow3 exp-prod
8×	cube-unmult
7×	cube-prod hypot-def
6×	pow-unpow pow-flip distribute-frac-neg rem-cbrt-cube
5×	associate--l- inv-pow distribute-lft-neg-out pow-to-exp exp-sum pow-exp
4×	rem-log-exp log-div
3×	neg-log
2×	hypot-udef expm1-udef associate-+l- pow-pow
1×	rem-exp-log sqrt-undiv unpow3 distribute-lft1-in sqrt-unprod expm1-log1p cube-mult rem-square-sqrt +-inverses distribute-rgt-out-- sum-cubes