Mul exp atan x0 Add exp Pow x7 cosh Add Add x0 acot x0 asinh x0 Add x0 x0 
Add Mul Add exp Pow x7 cosh Add Add x0 acot x0 asinh x0 Add x0 x0 Mul exp atan x0 Pow Add 1 Mul x0 x0 -1 Mul exp atan x0 Add Mul exp Pow x7 cosh Add Add x0 acot x0 asinh x0 Mul Pow x7 Add cosh Add Add x0 acot x0 asinh x0 -1 Mul Mul x7 log x7 Mul sinh Add Add x0 acot x0 asinh x0 Add Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul x0 x0 -1 2 