Pow Add x0 sinh x0 acoth Add asinh acos Mul log x0 atan x3 x2 
Mul Pow Add x0 sinh x0 Add acoth Add asinh acos Mul log x0 atan x3 x2 -1 Add Mul acoth Add asinh acos Mul log x0 atan x3 x2 Add 1 cosh x0 Mul Mul Add x0 sinh x0 log Add x0 sinh x0 Mul Mul Mul -1 Mul Mul atan x3 Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul log x0 atan x3 Mul log x0 atan x3 -1 Pow sqrt Add 1 Mul acos Mul log x0 atan x3 acos Mul log x0 atan x3 -1 Pow Add 1 Mul -1 Mul Add asinh acos Mul log x0 atan x3 x2 Add asinh acos Mul log x0 atan x3 x2 -1 