Mul Mul coth atanh Mul x2 25 acos Pow Mul x0 Mul x7 Add atan Mul x7 x0 x0 x1 x0 
Add Mul x0 Mul coth atanh Mul x2 25 Mul -1 Mul Mul Pow Mul x0 Mul x7 Add atan Mul x7 x0 x0 Add x1 -1 Mul x1 Add Mul x7 Add atan Mul x7 x0 x0 Mul x0 Mul x7 Add Mul x7 Pow Add 1 Mul Mul x7 x0 Mul x7 x0 -1 1 Pow sqrt Add 1 Mul -1 Mul Pow Mul x0 Mul x7 Add atan Mul x7 x0 x0 x1 Pow Mul x0 Mul x7 Add atan Mul x7 x0 x0 x1 -1 Mul coth atanh Mul x2 25 acos Pow Mul x0 Mul x7 Add atan Mul x7 x0 x0 x1 