atan acos Pow Pow x0 E Mul -4 Pow acsch Mul x6 x0 x4 
Mul Mul -1 Mul Mul Pow Pow x0 E Add Mul -4 Pow acsch Mul x6 x0 x4 -1 Add Mul Mul -4 Pow acsch Mul x6 x0 x4 Mul Pow x0 Add E -1 E Mul Mul Pow x0 E log Pow x0 E Mul -4 Mul Pow acsch Mul x6 x0 Add x4 -1 Mul x4 Mul Mul -1 x6 Pow Mul Mul Mul x6 x0 Mul x6 x0 sqrt Add 1 Mul -1 Pow Mul Mul x6 x0 Mul x6 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Pow Pow x0 E Mul -4 Pow acsch Mul x6 x0 x4 Pow Pow x0 E Mul -4 Pow acsch Mul x6 x0 x4 -1 Pow Add 1 Mul acos Pow Pow x0 E Mul -4 Pow acsch Mul x6 x0 x4 acos Pow Pow x0 E Mul -4 Pow acsch Mul x6 x0 x4 -1 