tan Mul cosh asin acoth Add pi x0 Pow 2 x7 
Mul Pow sec Mul cosh asin acoth Add pi x0 Pow 2 x7 2 Mul Pow 2 x7 Mul sinh asin acoth Add pi x0 Mul Pow Add 1 Mul -1 Mul Add pi x0 Add pi x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth Add pi x0 acoth Add pi x0 -1 