Pow Add Mul x3 pi asinh Mul x0 x2 sech x0 
Mul Pow Add Mul x3 pi asinh Mul x0 x2 Add sech x0 -1 Add Mul sech x0 Mul x2 Pow sqrt Add 1 Mul Mul x0 x2 Mul x0 x2 -1 Mul Mul Add Mul x3 pi asinh Mul x0 x2 log Add Mul x3 pi asinh Mul x0 x2 Mul tanh x0 Mul -1 sech x0 