atanh cosh Add Mul x0 3 Pow Pow asinh Add x0 3 asec x0 -2 
Mul Mul sinh Add Mul x0 3 Pow Pow asinh Add x0 3 asec x0 -2 Add 3 Mul Pow Pow asinh Add x0 3 asec x0 3 Mul -2 Mul Pow asinh Add x0 3 Add asec x0 -1 Add Mul asec x0 Pow sqrt Add 1 Mul Add x0 3 Add x0 3 -1 Mul Mul asinh Add x0 3 log asinh Add x0 3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul -1 Mul cosh Add Mul x0 3 Pow Pow asinh Add x0 3 asec x0 -2 cosh Add Mul x0 3 Pow Pow asinh Add x0 3 asec x0 -2 -1 