Details

rewrite20.9s (2.6%)

Algorithm

138×	rewrite-expression-head

Calls

433 calls:

886.0ms	(* (/ (/ (* m (+ 1.0 m)) (sqrt (+ 1.0 m))) (sqrt v)) (/ (/ (- 1.0 m) (sqrt (+ 1.0 m))) (sqrt v)))
596.0ms	(sqrt (* (cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))) (cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))))
531.0ms	(* (/ (exp a) (+ (exp (* 3 b)) (exp (+ (+ a a) a)))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))
453.0ms	(/ 2.0 (+ (+ (* (* 1/12 (* x x)) (* x x)) 2) (* x x)))
431.0ms	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

Rules

18111×	associate-*l/
13643×	flip--
13642×	flip3--
13478×	frac-times
9216×	cbrt-div
8981×	frac-add
5402×	times-frac
4891×	*-un-lft-identity
4752×	sqrt-div
4725×	associate-*r/
4711×	add-sqr-sqrt
3317×	add-cube-cbrt
2200×	add-exp-log
1981×	add-cbrt-cube
1228×	pow1
1029×	sqrt-prod
747×	associate-*r*
689×	prod-exp
615×	add-log-exp
610×	cbrt-unprod
562×	associate-*l*
547×	associate-/l*
534×	div-exp
494×	difference-of-squares
470×	associate-/r*
453×	cbrt-undiv
405×	distribute-lft-out--
385×	distribute-lft-out
321×	pow-prod-down
306×	div-inv
303×	flip-+
302×	flip3-+
297×	log-prod
194×	associate-/r/
182×	cbrt-prod
157×	unswap-sqr
133×	sin-mult
108×	*-commutative
104×	frac-2neg clear-num
95×	distribute-rgt-neg-in
93×	distribute-lft-neg-in pow-prod-up
87×	sub-neg
79×	associate-/l/
73×	pow-plus
71×	cube-unmult
67×	pow3
60×	sum-cubes
59×	swap-sqr
54×	diff-log
52×	pow1/3
50×	sqrt-pow1
46×	div-sub
44×	log-pow pow-sqr
42×	distribute-rgt-in pow1/2 distribute-lft-in
40×	pow-unpow
38×	sum-log
37×	rem-sqrt-square
32×	rem-log-exp 1-exp
31×	neg-mul-1
30×	log-div
29×	+-commutative
28×	pow2
27×	rec-exp unpow-prod-down
24×	tan-quot
21×	frac-sub distribute-rgt-out
20×	exp-prod
16×	sin-diff
15×	cos-diff
12×	associate--l+ cos-sum rem-cbrt-cube
11×	sqr-pow
10×	sin-cos-mult
9×	sin-sum associate-+r+
8×	pow-flip exp-sum
7×	distribute-frac-neg acos-asin
6×	neg-sub0 associate-+r- inv-pow
5×	distribute-lft1-in associate--l- pow-exp pow-to-exp un-div-inv
4×	cos-mult
3×	associate-+l+ neg-log exp-to-pow distribute-neg-frac rem-exp-log acos-neg count-2 distribute-rgt1-in
2×	unsub-neg associate--r+ asin-acos
1×	distribute-rgt-out-- sqrt-unprod tanh-undef tanh-def pow-pow