Add acos sqrt Pow x3 x0 Add atan Add Pow Mul -4 Add Mul -5 asech x4 x0 Pow x0 coth x7 x0 x0 
Add Mul -1 Mul Mul Pow Mul 2 sqrt Pow x3 x0 -1 Mul Pow x3 Add x0 -1 Mul x3 log x3 Pow sqrt Add 1 Mul -1 Mul sqrt Pow x3 x0 sqrt Pow x3 x0 -1 Add Mul Add Mul Pow Mul -4 Add Mul -5 asech x4 x0 Add Pow x0 coth x7 -1 Add Mul Pow x0 coth x7 -4 Mul Mul Mul -4 Add Mul -5 asech x4 x0 log Mul -4 Add Mul -5 asech x4 x0 Mul Pow x0 Add coth x7 -1 coth x7 1 Pow Add 1 Mul Add Pow Mul -4 Add Mul -5 asech x4 x0 Pow x0 coth x7 x0 Add Pow Mul -4 Add Mul -5 asech x4 x0 Pow x0 coth x7 x0 -1 1 