Add Add Pow x4 -4 acsch Pow Mul x1 2 acsch Pow x0 Mul 2 Mul Mul x0 atan x0 x6 Mul x0 x6 
Add Mul Mul -1 Mul Pow Mul x1 2 Add acsch Pow x0 Mul 2 Mul Mul x0 atan x0 x6 -1 Mul Mul Mul x1 2 log Mul x1 2 Mul Mul -1 Mul Pow x0 Add Mul 2 Mul Mul x0 atan x0 x6 -1 Add Mul 2 Mul Mul x0 atan x0 x6 Mul Mul x0 log x0 Mul 2 Mul x6 Add atan x0 Mul x0 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Pow x0 Mul 2 Mul Mul x0 atan x0 x6 Pow x0 Mul 2 Mul Mul x0 atan x0 x6 sqrt Add 1 Mul -1 Pow Mul Pow x0 Mul 2 Mul Mul x0 atan x0 x6 Pow x0 Mul 2 Mul Mul x0 atan x0 x6 -1 -1 Pow Mul Mul Pow Mul x1 2 acsch Pow x0 Mul 2 Mul Mul x0 atan x0 x6 Pow Mul x1 2 acsch Pow x0 Mul 2 Mul Mul x0 atan x0 x6 sqrt Add 1 Mul -1 Pow Mul Pow Mul x1 2 acsch Pow x0 Mul 2 Mul Mul x0 atan x0 x6 Pow Mul x1 2 acsch Pow x0 Mul 2 Mul Mul x0 atan x0 x6 -1 -1 x6 