Details

rewrite2.6m

Algorithm

128×	rewrite-expression-head

Calls

410 calls:

Slowest

9.8s	(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 (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))))) (cbrt (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))))))) (cbrt (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))))))) (* (- phi1 phi2) (- phi1 phi2))))
1.1s	(- (- (- (* (log 1/2) c_n) (+ (* (* c_n 1/8) (* s s)) (* (* c_n s) 1/2))) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ 1 (/ 1 (exp t)))))) c_n) (* (+ (- (* (* 1/8 t) t) (* t 1/2)) (log 2)) c_p)))
407.0ms	(- (sqrt (- (* b b) (* (* 3 a) c))) b)
396.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))))
343.0ms	(* (+ (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (- (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1))

Rules

3968311×	associate-*l/
3374996×	cbrt-div
2933776×	frac-times
1945323×	flip--
1945322×	flip3--
753472×	associate-*r/
478396×	sqrt-div
478306×	frac-add
3691×	*-un-lft-identity
3452×	add-sqr-sqrt
2865×	add-exp-log
2840×	times-frac
2145×	add-cube-cbrt
1585×	add-cbrt-cube
1319×	pow1
1146×	prod-exp
952×	div-exp
736×	associate-*r*
694×	add-log-exp
691×	pow-exp
501×	difference-of-squares
499×	associate-*l*
454×	cbrt-unprod
445×	sqrt-prod
431×	cbrt-prod
410×	insert-posit16
385×	distribute-lft-out
347×	associate-/r*
346×	pow-to-exp
343×	cbrt-undiv
324×	associate-/l*
306×	log-prod
284×	pow-prod-down
267×	distribute-lft-out--
230×	div-inv
178×	unswap-sqr
175×	flip-+
174×	flip3-+
156×	swap-sqr
149×	pow-prod-up
128×	tan-quot
125×	1-exp rec-exp
117×	associate-/r/
108×	sub-neg diff-log
103×	*-commutative
99×	pow-sqr
89×	frac-2neg clear-num
82×	pow-plus difference-of-sqr-1
73×	pow1/3
61×	pow2
60×	associate-/l/
57×	log-pow
53×	sqrt-pow1
50×	sum-log
49×	log-div
47×	pow1/2
40×	distribute-rgt-in distribute-lft-in
36×	rem-sqrt-square
35×	+-commutative
30×	unpow-prod-down
29×	rem-log-exp
28×	frac-sub
26×	associate--l+
23×	exp-prod
21×	div-sub
20×	sin-mult distribute-rgt-out--
13×	distribute-rgt-out
12×	difference-of-sqr--1 associate--r+
10×	associate-+r+ acos-asin cos-diff
9×	pow-flip cos-sum
8×	associate--l- associate-+l- associate--r-
7×	sqr-pow inv-pow
6×	sin-sum
5×	distribute-rgt-neg-in
4×	associate-+r- exp-sum sqrt-unprod rem-exp-log distribute-rgt1-in
3×	neg-sub0 exp-diff pow-unpow distribute-frac-neg pow-pow acos-neg
2×	associate-+l+ pow3 neg-log exp-to-pow
1×	cos-mult distribute-lft1-in cube-unmult tanh-undef tanh-def asin-acos rem-cbrt-cube sin-diff