Mul exp Mul x0 x2 acoth Add Add x0 Mul cosh acosh atanh x5 acos x0 -3 
Add Mul acoth Add Add x0 Mul cosh acosh atanh x5 acos x0 -3 Mul exp Mul x0 x2 x2 Mul exp Mul x0 x2 Mul Add 1 Mul cosh acosh atanh x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add Add x0 Mul cosh acosh atanh x5 acos x0 -3 Add Add x0 Mul cosh acosh atanh x5 acos x0 -3 -1 