cot Pow Pow asech x7 acsch acoth Add pi x3 Pow x0 12.5296666080493 
Mul Mul -1 Pow csc Pow Pow asech x7 acsch acoth Add pi x3 Pow x0 12.5296666080493 2 Mul Pow Pow asech x7 acsch acoth Add pi x3 Add Pow x0 12.5296666080493 -1 Mul Mul Pow asech x7 acsch acoth Add pi x3 log Pow asech x7 acsch acoth Add pi x3 Mul Pow x0 11.5296666080493 12.5296666080493 