Add Pow atan x0 Pow x0 x0 acot Add Mul acosh Mul x4 log x0 x0 Pow Pow sqrt x0 cot sinh x0 x7 
Add Mul Pow atan x0 Add Pow x0 x0 -1 Add Mul Pow x0 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul -1 Mul Add Add Mul x0 Mul Mul x4 Pow x0 -1 Pow Mul sqrt Add Mul x4 log x0 -1 sqrt Add 1 Mul x4 log x0 -1 acosh Mul x4 log x0 Mul Pow Pow sqrt x0 cot sinh x0 Add x7 -1 Mul x7 Mul Pow sqrt x0 Add cot sinh x0 -1 Add Mul cot sinh x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul Mul -1 Pow csc sinh x0 2 cosh x0 Pow Add 1 Mul Add Mul acosh Mul x4 log x0 x0 Pow Pow sqrt x0 cot sinh x0 x7 Add Mul acosh Mul x4 log x0 x0 Pow Pow sqrt x0 cot sinh x0 x7 -1 