Mul Pow x0 Add acoth E 5 Add Add cosh Pow x0 Pow x0 asech x0 Add Add x0 x0 pi x4 
Add Mul Add Add cosh Pow x0 Pow x0 asech x0 Add Add x0 x0 pi x4 Mul Pow x0 Add Add acoth E 5 -1 Add acoth E 5 Mul Pow x0 Add acoth E 5 Add Mul sinh Pow x0 Pow x0 asech x0 Mul Pow x0 Add Pow x0 asech x0 -1 Add Pow x0 asech x0 Mul Mul x0 log x0 Mul Pow x0 Add asech x0 -1 Add asech x0 Mul Mul x0 log x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 2 