Mul acoth Mul Pow x0 4 atan Add x7 acos x0 csch acot Pow Mul x0 3 x3 
Add Mul csch acot Pow Mul x0 3 x3 Mul Add Mul atan Add x7 acos x0 Mul Pow x0 3 4 Mul Pow x0 4 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add x7 acos x0 Add x7 acos x0 -1 Pow Add 1 Mul -1 Mul Mul Pow x0 4 atan Add x7 acos x0 Mul Pow x0 4 atan Add x7 acos x0 -1 Mul acoth Mul Pow x0 4 atan Add x7 acos x0 Mul Mul Mul -1 coth acot Pow Mul x0 3 x3 csch acot Pow Mul x0 3 x3 Mul -1 Mul Mul Pow Mul x0 3 Add x3 -1 Mul x3 3 Pow Add 1 Mul Pow Mul x0 3 x3 Pow Mul x0 3 x3 -1 