Details

rewrite3.4m (8.4%)

Algorithm

143×	rewrite-expression-head

Calls

465 calls:

9.2s	(sqrt (+ (* (* (- lambda1 lambda2) (* (* (cbrt (log (exp (cos (/ (+ phi1 phi2) 2))))) (cbrt (log (exp (cos (/ (+ phi1 phi2) 2)))))) (cbrt (log (exp (cos (/ (+ phi1 phi2) 2))))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
8.9s	(/ (- (* (* (/ x (sqrt (+ 1 x))) (- x 1)) (+ (* x x) (- 1 x))) (+ (* (sqrt (+ 1 x)) (* (* x x) x)) (sqrt (+ 1 x)))) (* (* (sqrt (+ 1 x)) (- x 1)) (+ (* x x) (- 1 x))))
8.1s	(+ (- (- (* 1/8 (* t (* t c_p))) (* t (* c_p 1/2))) (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)) (* c_n (log (- 1 (/ 1 (+ 1 (exp (- s))))))))
7.5s	(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (+ (log 1/2) (- (* t 1/2) (* (* t t) 1/8))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
6.4s	(- (/ (* (/ x0 (sqrt (- 1 x1))) (/ x0 (- 1 x1))) (* (sqrt (- 1 x1)) (/ (- 1 x1) x0))) (* x0 (* x0 x0)))

Rules

369848×	add-sqr-sqrt
163631×	times-frac
161787×	*-un-lft-identity
150221×	unswap-sqr
132362×	associate-/l*
115400×	cbrt-div
114721×	frac-add
103256×	associate-*r*
101671×	add-cube-cbrt
95462×	associate-*l*
72824×	frac-times
72735×	sqrt-prod
72310×	associate-/r*
58584×	cbrt-prod
51589×	difference-of-squares
35554×	*-commutative
32791×	swap-sqr
20166×	clear-num
20084×	frac-2neg
14665×	distribute-lft-out--
12240×	sqrt-div
11670×	frac-sub
10316×	associate-/l/
6102×	unpow-prod-down
5939×	flip--
5938×	flip3--
5330×	associate-*l/
4411×	log-div
4383×	distribute-lft-out
3977×	flip-+
3976×	flip3-+
3356×	add-exp-log
2068×	add-cbrt-cube
1978×	associate-/r/
1968×	distribute-rgt-neg-in
1921×	pow1
1865×	associate-*r/
1528×	sqr-pow
1339×	prod-exp
1316×	div-inv
1274×	distribute-lft-neg-in
1095×	div-exp
1038×	log-pow
747×	add-log-exp
701×	pow-exp
681×	cbrt-unprod
528×	difference-of-sqr-1
465×	insert-posit16
459×	cbrt-undiv
353×	pow-to-exp
334×	log-prod
249×	exp-prod
242×	pow-prod-down
182×	neg-mul-1
177×	un-div-inv
146×	1-exp
142×	rec-exp
104×	sub-neg
90×	diff-log
83×	distribute-rgt-in distribute-lft-in
79×	+-commutative
66×	pow-prod-up
64×	sum-log
58×	pow1/3
56×	associate-+r+
53×	sqrt-pow1 div-sub
45×	rem-log-exp
44×	pow-plus
40×	rem-sqrt-square
39×	associate--l+ sin-mult
38×	pow-sqr
37×	pow1/2
36×	associate--r+
35×	distribute-rgt-out
30×	distribute-rgt-out--
28×	associate--l- pow2 distribute-neg-frac tan-quot
22×	pow-flip exp-sum
21×	cos-diff
19×	pow3
18×	cube-unmult cos-sum
17×	acos-asin distribute-rgt1-in
16×	sin-diff
15×	exp-diff
14×	associate-+l-
13×	sub-div
12×	log-rec inv-pow rem-exp-log
10×	associate-+l+
9×	pow-unpow
7×	distribute-frac-neg pow-pow rem-cbrt-cube
6×	sin-cos-mult acos-neg
5×	neg-sub0
4×	sin-sum difference-cubes associate--r-
3×	cos-mult asin-acos
2×	associate-+r- neg-log
1×	sqrt-unprod tanh-undef tanh-def exp-to-pow