Mul sech pi Pow x0 Pow sech x5 asinh Mul x0 x0 
Mul sech pi Mul Pow x0 Add Pow sech x5 asinh Mul x0 x0 -1 Add Pow sech x5 asinh Mul x0 x0 Mul Mul x0 log x0 Mul Pow sech x5 Add asinh Mul x0 x0 -1 Mul Mul sech x5 log sech x5 Mul Add x0 x0 Pow sqrt Add 1 Mul Mul x0 x0 Mul x0 x0 -1 