Details

rewrite30.6s (3.2%)

Algorithm

145×	rewrite-expression-head

Calls

487 calls:

705.0ms	(* (* (- (/ m (/ v (- 1.0 m))) 1.0) (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m)))
658.0ms	(log (exp (- (/ (pow x0 3) (pow (- 1.0 x1) 6)) (pow x0 3))))
591.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (/ (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3))) (+ lambda1 lambda2))) (* (- phi1 phi2) (- phi1 phi2))))
521.0ms	(- (log (* (sqrt (+ (pow 1.0 3) (pow x 3))) (/ (sqrt (+ 1.0 x)) (- 1.0 x)))) (log (sqrt (+ (* x (- x 1.0)) (* 1.0 1.0)))))
520.0ms	(* (- (/ m (/ v (- 1.0 m))) 1.0) (+ (sqrt 1.0) (sqrt m)))

Rules

5952×	times-frac
5235×	add-sqr-sqrt
5206×	*-un-lft-identity
3849×	add-exp-log
3358×	add-cube-cbrt
2656×	associate-*l/
1990×	add-cbrt-cube
1854×	flip--
1853×	flip3--
1772×	frac-times
1416×	div-exp
1382×	prod-exp
1347×	cbrt-div
1148×	pow1
889×	sqrt-div
853×	associate-*r/
806×	frac-add
778×	difference-of-squares
744×	add-log-exp
693×	sqrt-prod
650×	associate-/l*
618×	associate-*r*
617×	associate-/r*
615×	pow-exp
535×	distribute-lft-out--
522×	unpow-prod-down
518×	cbrt-unprod
510×	cbrt-undiv
490×	associate-*l*
434×	pow-to-exp
393×	associate-/r/
381×	div-inv
373×	distribute-lft-out
352×	cube-prod
329×	cbrt-prod
283×	pow-prod-down
211×	flip-+
210×	flip3-+
187×	log-prod
185×	sqr-pow
176×	log-pow
139×	distribute-rgt-neg-in
134×	unswap-sqr
129×	associate-/l/
123×	clear-num frac-2neg
121×	exp-prod sub-neg
120×	1-exp
110×	*-commutative
98×	cos-mult
93×	sin-mult
82×	diff-log
70×	sqrt-pow1
62×	log-div
58×	frac-sub
56×	distribute-rgt-in distribute-lft-in rec-exp
54×	pow-unpow
52×	sum-log
49×	pow1/2
44×	div-sub
43×	sin-cos-mult
39×	unpow3 cube-mult +-commutative
34×	rem-sqrt-square
33×	pow-prod-up
32×	swap-sqr associate--l+
30×	rem-log-exp
29×	tan-quot
28×	pow1/3
26×	exp-sum
24×	pow-sqr
23×	distribute-rgt-out
21×	sub-div pow-pow
20×	pow-plus
19×	associate--l- associate-+r+
18×	rem-cube-cbrt
17×	associate-+l+
16×	distribute-lft-neg-in cos-diff neg-sub0 sin-diff
15×	cos-sum associate--r+
14×	distribute-frac-neg
11×	associate-+l-
10×	acos-asin neg-log pow2
9×	cube-div
8×	exp-diff
7×	associate--r- sum-cubes rem-cbrt-cube
5×	rem-exp-log inv-pow associate-+r- sin-sum pow-flip
4×	sub0-neg distribute-lft1-in unpow2 asin-acos neg-mul-1 exp-to-pow
3×	acos-neg un-div-inv distribute-rgt-neg-out
2×	sqrt-pow2 sqrt-undiv distribute-neg-frac
1×	difference-cubes sin-neg sqrt-unprod distribute-lft-neg-out distribute-rgt-out-- rem-square-sqrt tanh-undef tanh-def