csch Mul Mul x0 acsc x3 Mul acoth Mul x1 acot x2 -4 
Mul Mul Mul -1 coth Mul Mul x0 acsc x3 Mul acoth Mul x1 acot x2 -4 csch Mul Mul x0 acsc x3 Mul acoth Mul x1 acot x2 -4 Mul Mul acoth Mul x1 acot x2 -4 acsc x3 