Mul -4 Mul Add x0 csch Mul x0 Mul x0 asinh asinh acot x4 -2 
Mul -4 Mul -2 Add 1 Mul Mul Mul -1 coth Mul x0 Mul x0 asinh asinh acot x4 csch Mul x0 Mul x0 asinh asinh acot x4 Add Mul x0 asinh asinh acot x4 Mul x0 asinh asinh acot x4 