Mul acot Mul -2 Mul x6 2 Add Mul x5 coth acot Mul x0 Mul x0 0.247466461547263 x7 
Mul acot Mul -2 Mul x6 2 Mul x5 Mul Mul -1 Pow csch acot Mul x0 Mul x0 0.247466461547263 2 Mul -1 Mul Add Mul x0 0.247466461547263 Mul x0 0.247466461547263 Pow Add 1 Mul Mul x0 Mul x0 0.247466461547263 Mul x0 Mul x0 0.247466461547263 -1 