asin sech Pow x0 Pow acosh pi x0 
Mul Mul Mul tanh Pow x0 Pow acosh pi x0 Mul -1 sech Pow x0 Pow acosh pi x0 Mul Pow x0 Add Pow acosh pi x0 -1 Add Pow acosh pi x0 Mul Mul x0 log x0 Mul Pow acosh pi Add x0 -1 Mul acosh pi log acosh pi Pow sqrt Add 1 Mul -1 Mul sech Pow x0 Pow acosh pi x0 sech Pow x0 Pow acosh pi x0 -1 