Pow Add x0 Mul x0 x3 Add acot sinh x0 tan Add x0 asinh x0 
Mul Pow Add x0 Mul x0 x3 Add Add acot sinh x0 tan Add x0 asinh x0 -1 Add Mul Add acot sinh x0 tan Add x0 asinh x0 Add 1 x3 Mul Mul Add x0 Mul x0 x3 log Add x0 Mul x0 x3 Add Mul -1 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 Mul Pow sec Add x0 asinh x0 2 Add 1 Pow sqrt Add 1 Mul x0 x0 -1 