Pow Mul x1 Mul cosh asec asinh x0 3 x3 
Mul Pow Mul x1 Mul cosh asec asinh x0 3 Add x3 -1 Mul x3 Mul x1 Mul 3 Mul sinh asec asinh x0 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asinh x0 asinh x0 -1 asinh x0 asinh x0 -1 