atan cosh Add Mul sech x2 Add exp acoth x0 asin x0 x7 
Mul Mul sinh Add Mul sech x2 Add exp acoth x0 asin x0 x7 Mul sech x2 Add Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul cosh Add Mul sech x2 Add exp acoth x0 asin x0 x7 cosh Add Mul sech x2 Add exp acoth x0 asin x0 x7 -1 