Add coth log sinh x0 atan Pow Add acos cot x0 Add x0 -3 sqrt Pow Pow x0 Pow x7 Pow x3 x1 x0 
Add Mul Mul -1 Pow csch log sinh x0 2 Mul cosh x0 Pow sinh x0 -1 Mul Mul Pow Add acos cot x0 Add x0 -3 Add sqrt Pow Pow x0 Pow x7 Pow x3 x1 x0 -1 Add Mul sqrt Pow Pow x0 Pow x7 Pow x3 x1 x0 Add Mul -1 Mul Mul -1 Pow csc x0 2 Pow sqrt Add 1 Mul -1 Mul cot x0 cot x0 -1 1 Mul Mul Add acos cot x0 Add x0 -3 log Add acos cot x0 Add x0 -3 Mul Pow Mul 2 sqrt Pow Pow x0 Pow x7 Pow x3 x1 x0 -1 Mul Pow Pow x0 Pow x7 Pow x3 x1 Add x0 -1 Add Mul x0 Mul Pow x0 Add Pow x7 Pow x3 x1 -1 Pow x7 Pow x3 x1 Mul Pow x0 Pow x7 Pow x3 x1 log Pow x0 Pow x7 Pow x3 x1 Pow Add 1 Mul Pow Add acos cot x0 Add x0 -3 sqrt Pow Pow x0 Pow x7 Pow x3 x1 x0 Pow Add acos cot x0 Add x0 -3 sqrt Pow Pow x0 Pow x7 Pow x3 x1 x0 -1 