Mul Add Mul acos Pow atan Mul cosh x0 acot x0 x0 x0 x0 -4 
Mul -4 Add Add Mul x0 Mul -1 Mul Mul Pow atan Mul cosh x0 acot x0 Add x0 -1 Add Mul x0 Mul Add Mul acot x0 sinh x0 Mul cosh x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Mul cosh x0 acot x0 Mul cosh x0 acot x0 -1 Mul atan Mul cosh x0 acot x0 log atan Mul cosh x0 acot x0 Pow sqrt Add 1 Mul -1 Mul Pow atan Mul cosh x0 acot x0 x0 Pow atan Mul cosh x0 acot x0 x0 -1 acos Pow atan Mul cosh x0 acot x0 x0 1 