Details

rewrite18.9s

Algorithm

127×	rewrite-expression-head

Calls

391 calls:

Slowest

1.1s	(* (- (/ (/ m (/ (sqrt v) 1)) (/ (sqrt v) (- 1 m))) 1) (- 1 m))
830.0ms	(/ (/ (- (pow (pow (/ 2 (+ 1 (exp (* -2 x)))) 3) 3) (pow (pow 1 3) 3)) (+ (* (pow (/ 2 (+ 1 (exp (* -2 x)))) 3) (pow (/ 2 (+ 1 (exp (* -2 x)))) 3)) (+ (* (pow 1 3) (pow 1 3)) (* (pow (/ 2 (+ 1 (exp (* -2 x)))) 3) (pow 1 3))))) (+ (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (+ (* 1 1) (* (/ 2 (+ 1 (exp (* -2 x)))) 1))))
643.0ms	(- (pow (pow (/ 2 (+ 1 (exp (* -2 x)))) 3) 3) (pow (pow 1 3) 3))
636.0ms	(+ (+ (* (* (* x x) -1/6) x) x) (* (pow x 5) 3/40))
439.0ms	(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))))) (* (- phi1 phi2) (- phi1 phi2))))

Rules

30332×	associate-*l/
21461×	times-frac
20732×	frac-times
16501×	flip--
16500×	flip3--
16107×	add-sqr-sqrt
15704×	cbrt-div
13648×	*-un-lft-identity
8668×	add-cube-cbrt
6233×	associate-*r/
6044×	sqrt-div
6030×	frac-add
4426×	unpow-prod-down
4368×	cube-prod
4363×	difference-of-squares
3089×	sqrt-prod
3028×	add-exp-log
1620×	add-cbrt-cube
1250×	associate-/l*
1212×	distribute-lft-out--
1210×	prod-exp
1170×	sqr-pow
1047×	pow1
1036×	div-exp
873×	cbrt-prod
705×	pow-exp
605×	associate-*l*
586×	add-log-exp
572×	div-inv
564×	distribute-lft-out
487×	associate-*r*
486×	associate-/r/
477×	associate-/r*
442×	cbrt-unprod
391×	insert-posit16
375×	cbrt-undiv
353×	pow-to-exp
291×	log-prod
274×	flip-+
273×	flip3-+
224×	pow-prod-down
154×	1-exp
152×	difference-of-sqr-1
151×	rec-exp
144×	swap-sqr
119×	unswap-sqr
106×	exp-prod
105×	frac-2neg clear-num
96×	*-commutative
91×	pow-prod-up
87×	cube-mult
82×	sub-neg
69×	associate-/l/
65×	log-div
63×	diff-log
61×	associate--l+ log-pow pow-sqr
52×	pow-plus
51×	associate-+l+
44×	sum-log
43×	distribute-rgt-neg-in
42×	distribute-rgt-in distribute-lft-in
38×	sqrt-pow1 pow1/2
35×	associate-+r+ cube-div
34×	pow2
30×	+-commutative rem-sqrt-square tan-quot
28×	associate--r+ div-sub
27×	pow1/3
21×	pow-flip rem-log-exp
20×	frac-sub distribute-lft-neg-in
18×	associate--l- difference-cubes pow-unpow
16×	inv-pow
13×	associate-+l- acos-asin
11×	neg-sub0 pow-pow cos-diff
10×	associate--r- distribute-rgt-out
9×	exp-diff
8×	rem-cube-cbrt neg-mul-1
7×	cos-mult associate-+r- cos-sum exp-neg distribute-rgt-out--
6×	sin-sum sin-mult
5×	pow3 un-div-inv
4×	unpow3 neg-log
3×	distribute-frac-neg sin-PI/3 acos-neg distribute-rgt1-in
2×	exp-sum rem-cbrt-cube
1×	sqrt-undiv cube-unmult log-rec sqrt-unprod tanh-undef tanh-def asin-acos rem-exp-log sub-div sin-diff