Details

rewrite9.3s

Algorithm

113×	rewrite-expression-head

Calls

346 calls:

Slowest

508.0ms	(/ (* x (fma (* (* x (* x 1/45)) (* x (* x 1/45))) (* x (* x 1/45)) 1/27)) (+ (* (* x (* x 1/45)) (* x (* x 1/45))) (- (* 1/3 1/3) (* (* x (* x 1/45)) 1/3))))
214.0ms	(/ (- 0 (+ (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
174.0ms	(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
163.0ms	(* (sin (/ eps 2)) (- (* (cos (* eps 1/2)) (cos x)) (* (sin (* eps 1/2)) (sin x))))
125.0ms	(/ (/ (sqrt (+ 1 (- x x))) (sqrt (+ (sqrt (+ x 1)) (sqrt x)))) (/ (* (sqrt x) (sqrt (+ x 1))) (/ (sqrt (+ 1 (- x x))) (sqrt (+ (sqrt (+ x 1)) (sqrt x))))))

Rules

34183×	times-frac
31635×	*-un-lft-identity
23062×	sqrt-prod
14382×	add-sqr-sqrt
12574×	add-cube-cbrt
8926×	distribute-lft-out
3684×	prod-diff
1978×	distribute-lft-out--
1712×	pow1
1123×	add-exp-log
1021×	add-cbrt-cube
830×	div-inv
791×	associate-/r/
754×	difference-of-squares
629×	associate-/r*
567×	cbrt-prod
548×	add-log-exp
471×	pow-prod-up
453×	associate-/l*
437×	sqrt-div
411×	associate-*l*
400×	fma-neg
339×	expm1-log1p-u log1p-expm1-u
335×	associate-*r*
334×	insert-posit16
327×	flip-+ flip3-+
308×	pow-prod-down
286×	associate-+l+
267×	div-exp
260×	unpow-prod-down
232×	prod-exp
226×	cbrt-unprod
218×	cbrt-undiv
212×	pow-sqr
193×	log-prod
191×	pow-plus
185×	flip3-- flip--
146×	unswap-sqr
137×	fma-def
136×	pow2
131×	distribute-rgt-neg-in
117×	distribute-lft-neg-in
111×	swap-sqr
104×	pow-unpow
81×	sqr-pow
73×	frac-2neg clear-num
72×	diff-log
69×	sub-neg
64×	*-commutative
58×	associate-/l/
53×	cbrt-div
50×	sqrt-pow1
48×	pow1/2
46×	sum-log
45×	associate-*l/
41×	neg-mul-1
36×	associate-*r/
33×	rem-sqrt-square
32×	fma-udef
31×	pow1/3
30×	tan-quot div-sub log-pow
27×	+-commutative
23×	1-exp
22×	pow-flip
20×	frac-times rec-exp
19×	distribute-rgt-in distribute-lft-in log-div
15×	inv-pow
14×	difference-of-sqr-1
13×	associate-+r+ complex-mul-def
12×	frac-sub sin-mult hypot-def rem-log-exp frac-add
11×	expm1-udef pow-exp pow-to-exp
10×	neg-sub0 neg-log associate--r+
9×	associate--l- log1p-udef
8×	pow-pow associate-+l-
7×	cos-mult sqrt-undiv associate--l+ distribute-rgt-out
6×	expm1-log1p log1p-expm1 sqr-sin log1p-def
5×	associate-+r- sqrt-unprod
3×	sin-sum sin-cos-mult cube-unmult *.c-commutative sub-div +.c-commutative cos-sum exp-prod distribute-rgt-out--
2×	exp-diff associate-*l*.c tan-sum frac-2neg-c exp-neg complex-add-def
1×	diff-atan distribute-rgt1-in quot-tan pow3 distribute-frac-neg distribute-lft1-in hypot-1-def sub0-neg rem-square-sqrt sqr-cos associate-+l+.c diff-sin diff-cos unsub-neg associate--r- expm1-def