atan Pow Mul -1 acsch Mul x2 x6 Add 4 x0 
Mul Mul Pow Mul -1 acsch Mul x2 x6 Add Add 4 x0 -1 Mul Mul -1 acsch Mul x2 x6 log Mul -1 acsch Mul x2 x6 Pow Add 1 Mul Pow Mul -1 acsch Mul x2 x6 Add 4 x0 Pow Mul -1 acsch Mul x2 x6 Add 4 x0 -1 