Pow asinh Pow x0 2 Mul sech x0 x1 
Mul Pow asinh Pow x0 2 Add Mul sech x0 x1 -1 Add Mul Mul sech x0 x1 Mul Mul x0 2 Pow sqrt Add 1 Mul Pow x0 2 Pow x0 2 -1 Mul Mul asinh Pow x0 2 log asinh Pow x0 2 Mul x1 Mul tanh x0 Mul -1 sech x0 