Details

rewrite20.4s (4.0%)

Algorithm

146×	rewrite-expression-head

Calls

509 calls:

616.0ms	(sqrt (+ (- (+ (* (pow lambda2 2) (pow (- (* (cos (* 0.5 phi2)) (cos (* 0.5 phi1))) (* (sin (* 0.5 phi2)) (sin (* 0.5 phi1)))) 2)) (* (pow (- (* (cos (* phi2 0.5)) (cos (* phi1 0.5))) (* (sin (* phi2 0.5)) (sin (* phi1 0.5)))) 2) (pow lambda1 2))) (* 2 (* lambda2 (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) lambda1)))) (* (- phi1 phi2) (- phi1 phi2))))
380.0ms	(* (- (/ (/ 1 v) (/ 1 (* m (- 1.0 m)))) 1.0) (- 1.0 m))
347.0ms	(- (+ (* (pow lambda2 2) (pow (- (* (cos (* 0.5 phi2)) (cos (* 0.5 phi1))) (* (sin (* 0.5 phi2)) (sin (* 0.5 phi1)))) 2)) (* (pow (- (* (cos (* phi2 0.5)) (cos (* phi1 0.5))) (* (sin (* phi2 0.5)) (sin (* phi1 0.5)))) 2) (pow lambda1 2))) (* 2 (* lambda2 (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) lambda1))))
340.0ms	(* (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)))
304.0ms	(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

Rules

7876×	times-frac
6843×	*-un-lft-identity
6380×	add-sqr-sqrt
4263×	add-cube-cbrt
2973×	add-exp-log
1877×	add-cbrt-cube
1320×	pow1
1298×	sqrt-prod
996×	prod-exp
929×	associate-*r*
891×	div-exp
869×	difference-of-squares
862×	distribute-lft-out--
855×	add-log-exp
846×	associate-/l*
647×	associate-/r*
529×	unpow-prod-down
487×	flip--
486×	flip3--
476×	cbrt-unprod
428×	div-inv
414×	cbrt-undiv
410×	distribute-lft-out
381×	pow-exp
358×	associate-*l*
325×	cbrt-prod
310×	distribute-rgt-neg-in
294×	pow-prod-down
293×	associate-/r/
281×	pow-to-exp
268×	cube-prod
245×	associate-*l/
222×	sqrt-div
219×	associate-*r/
214×	log-prod
209×	frac-times
186×	sqr-pow
169×	unswap-sqr
156×	flip-+
155×	flip3-+
133×	sub-neg
123×	frac-add
122×	clear-num frac-2neg diff-log
118×	associate-/l/
108×	*-commutative
93×	pow-prod-up
76×	log-pow
70×	cbrt-div
67×	sum-log
63×	pow-sqr div-sub
57×	pow-unpow unpow3 1-exp cube-mult
56×	swap-sqr
54×	distribute-rgt-in distribute-lft-in
51×	exp-prod
49×	pow-plus
48×	distribute-lft-neg-in
47×	pow1/3 rec-exp
41×	pow1/2 sqrt-pow1
40×	log-div
38×	pow2
37×	cube-div neg-sub0
36×	associate--r+
35×	unpow2
34×	+-commutative
33×	rem-log-exp pow-pow
32×	tan-quot
31×	rem-sqrt-square
30×	frac-sub
27×	neg-log associate-+l-
21×	sin-diff
20×	cos-sum
19×	sin-sum acos-asin
18×	rem-cube-cbrt associate--l-
17×	associate-+r+ cos-diff pow-flip cos-mult
16×	neg-mul-1 sin-mult
15×	exp-sum
14×	inv-pow associate--l+
12×	associate--r-
11×	sin-cos-mult distribute-rgt-out tanh-def
9×	rem-exp-log
8×	associate-+r- sum-cubes
6×	exp-diff
5×	distribute-frac-neg rem-cbrt-cube
4×	asin-acos
3×	acos-neg associate-+l+ unsub-neg log-rec
2×	sin-neg sub-div distribute-lft1-in sqrt-unprod sin-asin distribute-rgt-neg-out
1×	un-div-inv rem-square-sqrt sqrt-undiv cos-acos tanh-undef cube-neg distribute-neg-frac