Details

rewrite23.5s

Algorithm

121×	rewrite-expression-head

Calls

399 calls:

Slowest

2.1s	(/ (- (* (sqrt (fma b b (* a (* c -4)))) (fma b b (* a (* c -4)))) (* b (* b b))) (* a (* 2 (+ (* (sqrt (fma c (* -4 a) (* b b))) (sqrt (fma c (* -4 a) (* b b)))) (+ (* b b) (* (sqrt (fma c (* -4 a) (* b b))) b))))))
1.3s	(* (* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m))) (- 1 (sqrt m)))
1.1s	(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
573.0ms	(/ (fma -9/2 (* (* a c) b) (* 27/8 (/ (* (* a c) (* a c)) b))) (* (* 3 a) (+ (* (sqrt (fma -3 (* c a) (* b b))) (sqrt (fma -3 (* c a) (* b b)))) (+ (* b b) (* (sqrt (fma -3 (* c a) (* b b))) b)))))
514.0ms	(- (log 2) (- (/ 3/32 (* (* x x) (* x x))) (log x)))

Rules

66738×	add-sqr-sqrt
60206×	*-un-lft-identity
54697×	times-frac
54252×	associate-/l*
51788×	add-cube-cbrt
49181×	frac-times
31547×	associate-/r*
25949×	cbrt-div
25921×	associate-/l/
10930×	frac-sub
10254×	frac-add
9880×	prod-diff
8345×	clear-num
8256×	frac-2neg
8022×	associate-*l*
7321×	unpow-prod-down
7048×	associate-*r*
5577×	unswap-sqr
5410×	log-div
4148×	div-inv
3961×	sqrt-prod
3204×	difference-of-squares
3011×	swap-sqr
2340×	distribute-lft-out add-exp-log
2061×	associate-*l/
1924×	sqr-pow
1838×	*-commutative
1398×	pow1
1269×	cbrt-prod
1204×	associate-*r/
1133×	distribute-lft-out--
1071×	add-cbrt-cube
1018×	associate--r+
901×	prod-exp
821×	div-exp
701×	pow-exp
659×	associate-/r/
620×	fma-neg
551×	add-log-exp
408×	expm1-log1p-u
402×	log1p-expm1-u
399×	insert-posit16
389×	flip-+
388×	flip3-+
372×	log-pow
350×	associate-+r-
349×	pow-to-exp
236×	flip--
235×	flip3--
227×	difference-of-sqr-1
220×	log-prod
206×	cbrt-unprod
199×	cbrt-undiv
189×	distribute-lft-in distribute-rgt-in
187×	pow-prod-down un-div-inv
151×	fma-def
144×	cube-unmult
138×	1-exp
136×	rec-exp
130×	exp-prod
121×	distribute-rgt-neg-in
120×	pow-prod-up
93×	cube-prod
90×	fma-udef
85×	distribute-lft-neg-in
83×	sqrt-pow1
82×	pow-sqr
78×	distribute-neg-frac
74×	difference-cubes
73×	pow1/2
72×	sqrt-div
69×	sub-neg
68×	pow-plus
65×	exp-sum diff-log
50×	associate-+r+
45×	pow2
44×	pow1/3 distribute-neg-in
37×	rem-sqrt-square
36×	tan-quot
34×	pow-pow
33×	sin-sum pow-flip
28×	+-commutative
27×	cube-mult unpow3
25×	cos-sum
22×	associate-+l+ sum-log
21×	exp-diff
20×	pow-unpow pow3
19×	neg-mul-1
18×	div-sub
17×	inv-pow
16×	rem-cbrt-cube
15×	sub-div
14×	associate-+l- rem-log-exp associate--r-
13×	log1p-udef
11×	associate--l+ log1p-expm1 rem-exp-log
9×	neg-sub0 distribute-rgt-out
8×	exp-neg
6×	log-rec
5×	sin-mult acos-asin expm1-def
4×	expm1-log1p sqrt-unprod distribute-rgt-out-- rem-square-sqrt
3×	expm1-udef
2×	cos-mult distribute-rgt1-in rem-cube-cbrt distribute-rgt-neg-out hypot-udef cube-div cos-diff
1×	quot-tan distribute-lft-neg-out sqrt-undiv distribute-frac-neg neg-log tanh-undef tanh-def asin-acos acos-neg unpow1/3 sin-diff