Details

rewrite22.6s (2.9%)

Algorithm

101×	rewrite-expression-head

Calls

285 calls:

1.6s	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
1.4s	(- (+ (exp (* x (- eps 1.0))) (/ (exp (* x (- eps 1.0))) eps)) (/ (exp (- (* x (+ eps 1.0)))) eps))
898.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)))))
851.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)) (* (+ (- 6.0) (* (sqrt 6.0) (sqrt 6.0))) (* x1 x1))))
834.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)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

Rules

6701×	times-frac
6661×	*-un-lft-identity
6495×	add-sqr-sqrt
5160×	add-cube-cbrt
3012×	prod-diff
1371×	add-exp-log
1277×	add-cbrt-cube
982×	sqrt-prod
876×	pow1
867×	distribute-rgt-in distribute-lft-in
640×	associate-*r/
618×	add-log-exp
609×	associate-*r*
543×	difference-of-squares
500×	div-inv
456×	prod-exp
437×	cbrt-unprod
416×	associate-*l*
412×	distribute-lft-out--
410×	flip3-- flip--
404×	associate-+l+
396×	frac-times
388×	distribute-lft-out cbrt-div
365×	associate-/l*
309×	associate-/r*
287×	expm1-log1p-u
286×	div-exp
285×	log1p-expm1-u
269×	pow-prod-down
246×	cbrt-undiv
243×	fma-neg
228×	associate-*l/
193×	flip-+ flip3-+
171×	frac-add
168×	cbrt-prod
165×	associate-/r/
158×	unpow-prod-down
139×	sum-log
126×	distribute-rgt-neg-in
118×	distribute-lft-neg-in
112×	exp-sum
101×	frac-sub
99×	unswap-sqr
91×	sub-neg
77×	sqr-pow fma-def exp-neg
75×	*-commutative
71×	associate-/l/
66×	diff-log
64×	neg-sub0
58×	exp-diff frac-2neg clear-num
55×	pow-prod-up
48×	pow1/3
46×	swap-sqr
42×	pow-plus
40×	log-prod sqrt-pow1 neg-mul-1
39×	associate--l+
38×	pow1/2
35×	sqrt-div
33×	pow-sqr
31×	fma-udef
30×	associate-+r+
26×	+-commutative
24×	div-sub distribute-neg-in
21×	rem-sqrt-square
20×	un-div-inv
19×	pow2 log-pow
16×	1-exp
11×	associate--l-
10×	rec-exp log-div
7×	pow-flip pow3 distribute-frac-neg sqrt-unprod associate--r+
6×	exp-prod
5×	pow-exp neg-log pow-to-exp hypot-def distribute-rgt-out
4×	distribute-lft-neg-out cube-prod
3×	pow-unpow inv-pow rem-log-exp
2×	associate-+r- log1p-expm1 hypot-udef rem-exp-log rem-cbrt-cube associate--r- log1p-udef
1×	expm1-log1p expm1-udef unpow3 pow-pow rem-square-sqrt cube-mult unsub-neg