Details

rewrite8.3s (3.0%)

Algorithm

124×	rewrite-expression-head

Calls

403 calls:

842.0ms	(- (/ (/ (pow 1.0 3) (fma (cos x) (+ 1.0 (cos x)) (* 1.0 1.0))) (sin x)) (/ (/ (pow (cos x) 3) (fma (cos x) (+ 1.0 (cos x)) (* 1.0 1.0))) (sin x)))
67.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (/ (- x 1.0) (cbrt 1.0))))
66.0ms	(/ (/ 1 (/ (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) c)) a)
59.0ms	(log (exp (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma (cos x) (+ 1.0 (cos x)) (* 1.0 1.0))) (sin x))))
54.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

Rules

70714×	times-frac
41057×	*-un-lft-identity
39271×	add-sqr-sqrt
35876×	add-cube-cbrt
20985×	prod-diff
8137×	unpow-prod-down
7174×	cube-prod
2886×	sqrt-prod
2767×	sqr-pow
2321×	unpow3 cube-mult
1632×	div-inv
1519×	add-exp-log
1488×	difference-of-squares
1377×	distribute-lft-out
1219×	distribute-lft-out--
1039×	add-cbrt-cube
775×	associate-/l*
770×	fma-neg
706×	add-log-exp
650×	pow1
619×	associate-/r/
554×	associate-*r*
517×	associate-+l+
493×	div-exp
444×	cbrt-prod
433×	distribute-rgt-neg-in
430×	associate-/r*
388×	log-prod
387×	log1p-expm1-u expm1-log1p-u
370×	log-pow
354×	associate-*l*
326×	flip-- flip3--
322×	exp-prod
321×	prod-exp
250×	cbrt-undiv
237×	distribute-lft-neg-in
216×	flip-+ flip3-+
182×	unswap-sqr
173×	cbrt-unprod
154×	sqrt-div
140×	fma-def
124×	diff-log
118×	sub-neg
104×	exp-sum
99×	1-exp
80×	clear-num frac-2neg
79×	neg-mul-1
76×	pow-unpow unpow2
75×	sqrt-pow1
74×	associate-/l/ rec-exp
66×	associate-*l/
61×	pow-prod-down
58×	pow1/2
55×	associate-+r+
51×	pow-to-exp pow-exp
50×	associate-*r/
49×	log-div
47×	pow1/3
42×	*-commutative cbrt-div
40×	distribute-rgt-in sum-log distribute-lft-in
39×	tan-quot
36×	rem-sqrt-square
35×	frac-times
32×	swap-sqr
31×	fma-udef
28×	+-commutative div-sub
27×	rem-log-exp
24×	complex-mul-def
21×	pow-pow associate--l+
19×	neg-sub0
17×	associate--l- pow-flip frac-sub
15×	inv-pow associate--r+
14×	frac-add
13×	neg-log
12×	cube-div hypot-def pow-prod-up
11×	difference-cubes
10×	distribute-rgt-out-- associate-+l-
9×	pow-sqr
7×	exp-diff rem-cube-cbrt
6×	*.c-commutative
5×	associate-+r- sub-div sin-mult cos-mult
4×	rem-exp-log un-div-inv sqrt-unprod pow2 +.c-commutative pow-plus complex-add-def
3×	difference-of-sqr-1 exp-to-pow
2×	expm1-def frac-2neg.c associate--r- exp-neg pow-sub distribute-frac-neg associate-*l*.c cos-sum tan-sum associate-+l+.c pow-neg sin-sum rem-cbrt-cube
1×	sub0-neg sin-cos-mult sqrt-pow2 unpow1/3 distribute-lft-neg-out diff-atan diff-cos rem-square-sqrt distribute-rgt-neg-out sqrt-undiv diff-sin