Pow Pow Add Mul Mul x0 acosh x0 4 -2 asech Pow 4 acoth pi Pow pi x0 
Mul Pow Pow Add Mul Mul x0 acosh x0 4 -2 asech Pow 4 acoth pi Add Pow pi x0 -1 Add Mul Pow pi x0 Mul Pow Add Mul Mul x0 acosh x0 4 -2 Add asech Pow 4 acoth pi -1 Mul asech Pow 4 acoth pi Mul 4 Add acosh x0 Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Pow Add Mul Mul x0 acosh x0 4 -2 asech Pow 4 acoth pi log Pow Add Mul Mul x0 acosh x0 4 -2 asech Pow 4 acoth pi Mul Pow pi Add x0 -1 Mul pi log pi 