Add Mul 3 Pow sin acoth Mul x0 x0 csch Mul x0 -1 acoth x5 
Mul 3 Mul Pow sin acoth Mul x0 x0 Add csch Mul x0 -1 -1 Add Mul csch Mul x0 -1 Mul cos acoth Mul x0 x0 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Mul Mul sin acoth Mul x0 x0 log sin acoth Mul x0 x0 Mul Mul Mul -1 coth Mul x0 -1 csch Mul x0 -1 -1 