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