acsch coth acot Mul x0 Pow x0 Add 1 x7 
Mul Mul -1 Mul Mul -1 Pow csch acot Mul x0 Pow x0 Add 1 x7 2 Mul -1 Mul Add Pow x0 Add 1 x7 Mul x0 Mul Pow x0 Add Add 1 x7 -1 Add 1 x7 Pow Add 1 Mul Mul x0 Pow x0 Add 1 x7 Mul x0 Pow x0 Add 1 x7 -1 Pow Mul Mul coth acot Mul x0 Pow x0 Add 1 x7 coth acot Mul x0 Pow x0 Add 1 x7 sqrt Add 1 Mul -1 Pow Mul coth acot Mul x0 Pow x0 Add 1 x7 coth acot Mul x0 Pow x0 Add 1 x7 -1 -1 