Details

rewrite1.1m (1.9%)

Algorithm

853×	rewrite-expression-head

Calls

2241 calls:

1.5s	(* (* (* (* (exp (/ (* t t) 2.0)) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (- (* 0.5 x) y)) (cbrt (sqrt 2.0)))
905.0ms	(* (* (- (* 0.5 x) y) (* (sqrt z) (exp (/ t (/ 2.0 t))))) (sqrt 2.0))
764.0ms	(* (* x (/ (pow a (- 1.0)) (exp (cbrt (pow (- b (fma (log z) y (* t (log a)))) 3))))) (/ 1 y))
621.0ms	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
586.0ms	(* (/ (/ (- (pow x 3) (pow 2.0 3)) (sqrt (fma x (fma x (fma x (+ 43.3400022514 x) 263.505074721) 313.399215894) 47.066876606))) (sqrt (fma x (fma x (fma x (+ 43.3400022514 x) 263.505074721) 313.399215894) 47.066876606))) (/ (fma x (fma x (fma x (fma 4.16438922228 x 78.6994924154) 137.519416416) y) z) (fma 2.0 (+ x 2.0) (* x x))))

Rules

79503×	times-frac
63812×	*-un-lft-identity
61435×	add-sqr-sqrt
43929×	add-cube-cbrt
12875×	prod-diff
12092×	sqrt-prod
11175×	cbrt-prod
10771×	add-exp-log
7802×	add-cbrt-cube
7694×	difference-of-squares
6147×	distribute-lft-out--
5494×	pow1
4509×	associate-*r*
4456×	associate-/l*
4267×	associate-*l*
4107×	distribute-lft-out
3932×	unpow-prod-down
3832×	associate-/r*
3465×	div-inv
3284×	cube-prod
3150×	prod-exp
2916×	add-log-exp
2913×	div-exp
2379×	associate-/r/
2244×	log1p-expm1-u
2242×	expm1-log1p-u
2172×	cbrt-unprod
1763×	cbrt-undiv
1743×	distribute-rgt-in distribute-lft-in
1738×	sqr-pow
1473×	flip3-- flip--
1356×	pow-prod-down
1235×	fma-def
1107×	associate-+r+
1069×	associate-*l/
1040×	cbrt-div
1031×	unswap-sqr
918×	swap-sqr
897×	flip-+ flip3-+
895×	associate-*r/
798×	fma-neg
748×	pow1/3
740×	frac-times
714×	log-prod
592×	*-commutative
513×	frac-2neg clear-num
459×	distribute-rgt-neg-in
452×	distribute-lft-neg-in
441×	1-exp
404×	difference-of-sqr--1
389×	fma-udef
385×	sqrt-div
380×	log-pow
369×	associate-/l/
362×	frac-sub
330×	sub-neg
322×	associate-+l+
315×	rec-exp
241×	sqrt-pow1
208×	tanh-def
207×	sum-log
200×	pow-prod-up
197×	pow-unpow pow1/2
188×	unpow3 cube-mult
187×	associate--l+
186×	difference-cubes
170×	pow-sqr
164×	diff-log
154×	neg-mul-1
142×	+-commutative
106×	pow-exp
105×	pow-pow
102×	div-sub
101×	difference-of-sqr-1
98×	cos-sum
91×	rem-sqrt-square
90×	frac-add
87×	pow-plus
82×	pow2
78×	pow-flip
75×	pow-to-exp
68×	un-div-inv
66×	inv-pow
61×	distribute-rgt-out-- exp-neg
53×	exp-sum
50×	neg-sub0
48×	cube-div
45×	exp-diff
41×	rem-cube-cbrt
35×	rem-log-exp
34×	distribute-rgt-out
33×	log-div
31×	distribute-rgt-neg-out
27×	associate-+r- sub-div exp-prod
25×	distribute-lft-neg-out cosh-def
22×	associate--r+
21×	hypot-def
17×	sum-cubes unsub-neg
15×	rem-cbrt-cube
14×	associate-+l-
12×	sqrt-unprod sinh-def cos-diff
11×	distribute-lft1-in rem-square-sqrt
10×	rem-exp-log
8×	pow3 diff-cos expm1-def
7×	distribute-rgt1-in count-2
6×	associate--r-
5×	unpow-prod-up distribute-frac-neg neg-log unpow2
4×	expm1-log1p expm1-udef sqrt-pow2 tan-quot
3×	log1p-expm1 log1p-udef exp-to-pow
2×	sqrt-undiv associate--l- distribute-neg-in e-exp-1
1×	sin-cos-mult distribute-neg-frac hypot-udef remove-double-div unpow1/3