Details

rewrite27.5s (3.5%)

Algorithm

100×	rewrite-expression-head

Calls

271 calls:

3.0s	(+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
3.0s	(+ (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (/ x (* 2.0 y)))
1.9s	(- (+ (exp (* x (- eps 1.0))) (/ (exp (* x (- eps 1.0))) eps)) (/ (exp (- (* x (+ eps 1.0)))) eps))
953.0ms	(+ (* (* (* 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)) (* (* (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))))
940.0ms	(+ (* (* (* 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))))

Rules

6685×	times-frac
6502×	*-un-lft-identity
6314×	add-sqr-sqrt
5199×	add-cube-cbrt
3542×	prod-diff
1265×	add-exp-log
1213×	add-cbrt-cube
891×	pow1
869×	distribute-rgt-in distribute-lft-in
678×	associate-*r/
590×	associate-*r*
580×	div-inv
557×	add-log-exp
551×	sqrt-prod
459×	associate-*l*
439×	prod-exp
421×	cbrt-unprod
409×	frac-times
407×	difference-of-squares
404×	associate-+l+
398×	flip3-- flip--
377×	unpow-prod-down
364×	distribute-lft-out
335×	cbrt-div
333×	distribute-lft-out--
315×	pow-prod-down
294×	associate-/l*
272×	expm1-log1p-u
271×	log1p-expm1-u
239×	associate-/r*
228×	fma-neg
226×	div-exp associate-*l/
211×	cbrt-undiv
194×	cbrt-prod
189×	flip-+ flip3-+
170×	associate-/r/
160×	frac-add
153×	distribute-rgt-neg-in
150×	sqr-pow
142×	distribute-lft-neg-in
115×	sum-log
113×	exp-sum
104×	unswap-sqr
99×	frac-sub
88×	sub-neg
78×	fma-def
77×	exp-neg
75×	*-commutative
69×	associate-/l/
64×	neg-sub0
59×	diff-log
58×	exp-diff
57×	frac-2neg clear-num
49×	swap-sqr
48×	neg-mul-1
44×	pow-prod-up
37×	sqrt-pow1 pow1/3 pow1/2
36×	fma-udef
30×	pow-sqr
29×	sqrt-div
24×	associate--l+ log-pow distribute-neg-in
23×	+-commutative
22×	rem-sqrt-square
21×	pow-plus un-div-inv div-sub
20×	log-prod
19×	associate-+r+
13×	pow2 exp-prod
9×	1-exp rec-exp hypot-def
8×	associate--l- distribute-frac-neg
7×	sqrt-unprod
6×	distribute-lft-neg-out distribute-rgt-out log-div
5×	neg-log
4×	associate--r+ rem-log-exp
3×	pow-exp pow-unpow pow-to-exp
2×	pow-flip cube-unmult pow3 inv-pow hypot-udef rem-exp-log associate--r-
1×	log1p-expm1 pow-pow rem-square-sqrt rem-cbrt-cube log1p-udef