Pow cosh Add x2 Add sec Pow Mul x3 E asinh x0 E E 
Mul Pow cosh Add x2 Add sec Pow Mul x3 E asinh x0 E Add E -1 Mul E Mul sinh Add x2 Add sec Pow Mul x3 E asinh x0 E Mul Mul tan Pow Mul x3 E asinh x0 sec Pow Mul x3 E asinh x0 Mul Pow Mul x3 E Add asinh x0 -1 Mul Mul Mul x3 E log Mul x3 E Pow sqrt Add 1 Mul x0 x0 -1 