Details

rewrite14.3s

Algorithm

129×	rewrite-expression-head

Calls

407 calls:

Slowest

609.0ms	(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (+ (* 1/2 t) (log 1/2)) (* 1/8 (* t t))) c_p) (- (* c_n (log 1/2)) (+ (* (* (* 1/8 t) t) c_n) (* (* 1/2 t) c_n)))))
550.0ms	(* (/ (exp a) (+ (* (* (exp a) (exp a)) (exp a)) (* (* (exp b) (exp b)) (exp b)))) (+ (* (exp b) (exp b)) (- (* (exp a) (exp a)) (* (exp b) (exp a)))))
496.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2))) (cbrt (cos (/ (+ phi1 phi2) 2)))) (cbrt (cos (/ (+ phi1 phi2) 2))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
357.0ms	(log (+ x (+ x (+ (/ -1/8 (* (* x x) x)) (/ 1/2 x)))))
327.0ms	(sin (- lambda1 lambda2))

Rules

13056×	times-frac
8242×	*-un-lft-identity
8182×	add-sqr-sqrt
5416×	add-cube-cbrt
3620×	add-exp-log
3227×	difference-of-squares
2325×	add-cbrt-cube
2100×	cbrt-prod
1396×	difference-of-sqr-1
1375×	prod-exp
1374×	div-exp
1294×	associate-*l/
1219×	sqrt-prod flip--
1218×	flip3--
1196×	pow1
732×	cbrt-undiv
731×	frac-times
726×	associate-*r*
712×	sqrt-div
698×	pow-exp
687×	add-log-exp
679×	cbrt-unprod
597×	associate-/l* frac-add
517×	associate-/r/
499×	associate-/r*
486×	associate-*l*
476×	div-inv
437×	associate-*r/
407×	insert-posit16
369×	distribute-lft-out
350×	pow-to-exp
270×	distribute-lft-out--
264×	pow-prod-down
222×	log-prod
169×	unswap-sqr
163×	flip-+
162×	flip3-+ swap-sqr
143×	rec-exp
141×	1-exp
125×	log-pow
111×	frac-2neg clear-num
102×	diff-log
100×	pow-prod-up
99×	exp-prod
95×	sub-neg
94×	*-commutative
91×	frac-sub
72×	tan-quot
68×	unpow-prod-down
66×	associate-/l/
64×	pow-plus
63×	pow-sqr
58×	sum-log
55×	sqrt-pow1
53×	pow1/2
40×	cbrt-div pow2
37×	rem-sqrt-square
36×	rem-log-exp log-div
33×	pow1/3
30×	div-sub
29×	pow-flip
27×	distribute-rgt-out--
24×	+-commutative
23×	inv-pow
20×	distribute-rgt-in distribute-lft-in
19×	pow3
17×	associate--l+
16×	sqr-pow
13×	acos-asin
12×	pow-div
11×	cos-diff
10×	difference-of-sqr--1 associate--l- cos-sum
8×	exp-sum neg-mul-1 distribute-rgt-neg-in distribute-lft-neg-in
7×	sum-cubes
6×	pow-unpow sin-mult associate--r+ pow-pow associate-+l- distribute-neg-frac
5×	exp-diff
4×	associate-+l+ associate-+r+ log-rec sqrt-unprod asin-acos
3×	distribute-frac-neg sub-div acos-neg associate--r- distribute-rgt-out
2×	sin-sum cube-unmult tanh-undef rem-exp-log
1×	remove-posit16 cos-mult associate-+r- tanh-def difference-cubes rem-square-sqrt sin-diff distribute-rgt1-in