Mul asinh sinh Mul x3 Mul tanh x0 x0 x0 
Add Mul x0 Mul Mul cosh Mul x3 Mul tanh x0 x0 Mul x3 Add Mul x0 Pow sech x0 2 tanh x0 Pow sqrt Add 1 Mul sinh Mul x3 Mul tanh x0 x0 sinh Mul x3 Mul tanh x0 x0 -1 asinh sinh Mul x3 Mul tanh x0 x0 