Details

rewrite15.5s

Algorithm

134×	rewrite-expression-head

Calls

433 calls:

Slowest

452.0ms	(* (* -2 c) (/ 1 (+ (sqrt (- (* b b) (* (* c a) 4))) b)))
399.0ms	(* (+ (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1) (- (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1))
347.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2))) (cbrt (cos (/ (+ phi1 phi2) 2)))) (cbrt (cos (/ (+ phi1 phi2) 2)))))) (* (- phi1 phi2) (- phi1 phi2))))
326.0ms	(+ (+ (* (* (* x x) -1/3) x) x) (* (pow x 5) 2/15))
295.0ms	(+ (+ (* (* (* x x) -1/6) x) x) (* (pow x 5) 3/40))

Rules

5162×	*-un-lft-identity
4628×	add-sqr-sqrt
4463×	times-frac
3314×	add-exp-log
2848×	add-cube-cbrt
1942×	associate-*l/
1930×	add-cbrt-cube
1746×	frac-times
1315×	prod-exp
1156×	pow1
1118×	div-exp
1099×	associate-*r/
1086×	flip--
1085×	flip3--
793×	difference-of-squares
702×	pow-exp
685×	associate-*l*
678×	associate-*r*
660×	add-log-exp
636×	cbrt-prod
587×	frac-add
569×	cbrt-unprod
551×	distribute-lft-out
504×	sqrt-div
476×	frac-sub
463×	cbrt-undiv
452×	distribute-lft-out--
437×	associate-/r*
433×	insert-posit16
425×	associate-/l*
368×	sqrt-prod
353×	pow-to-exp
294×	div-inv
286×	log-prod
236×	pow-prod-down
232×	cbrt-div
224×	associate-/r/
188×	flip-+
187×	flip3-+
181×	swap-sqr
164×	unswap-sqr
155×	1-exp
143×	rec-exp
138×	difference-of-sqr-1
110×	*-commutative
109×	frac-2neg clear-num
101×	sub-neg
91×	log-pow
87×	pow-prod-up
86×	associate-/l/
79×	unpow-prod-down
74×	exp-prod
70×	distribute-rgt-in distribute-lft-in
69×	diff-log
59×	associate--l+ pow-sqr
51×	sum-log distribute-rgt-neg-in
50×	log-div
49×	sqrt-pow1 pow-plus
45×	associate-+l+
44×	sqr-pow
43×	pow1/2
38×	pow2
35×	+-commutative rem-sqrt-square
29×	rem-log-exp
27×	div-sub
26×	pow1/3
21×	tan-quot
16×	pow-flip associate-+r+
15×	inv-pow
13×	cube-prod
12×	pow-unpow
11×	cos-sum cos-diff
10×	exp-sum associate--r+
9×	pow-pow acos-asin
8×	rem-exp-log
7×	associate--l-
6×	associate-+l- associate--r-
5×	exp-diff sin-mult distribute-rgt-out-- distribute-rgt-out
4×	associate-+r- distribute-frac-neg sqrt-unprod difference-cubes
3×	rem-cube-cbrt un-div-inv acos-neg distribute-lft-neg-out distribute-lft-neg-in
2×	remove-posit16 sin-sum unpow3 log-rec exp-to-pow cube-mult
1×	cos-mult distribute-lft1-in unsub-neg sin-cos-mult sub0-neg pow3 neg-mul-1 tanh-undef tanh-def sin-PI/3 asin-acos rem-cbrt-cube sin-diff distribute-rgt1-in