cosh acoth Pow x0 Add Mul pi x0 asin x0 
Mul sinh acoth Pow x0 Add Mul pi x0 asin x0 Mul Mul Pow x0 Add Add Mul pi x0 asin x0 -1 Add Add Mul pi x0 asin x0 Mul Mul x0 log x0 Add pi Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow x0 Add Mul pi x0 asin x0 Pow x0 Add Mul pi x0 asin x0 -1 