Mul cos Pow acoth acsch x1 Mul x0 exp x0 x0 
Add Mul x0 Mul Mul -1 sin Pow acoth acsch x1 Mul x0 exp x0 Mul Pow acoth acsch x1 Add Mul x0 exp x0 -1 Mul Mul acoth acsch x1 log acoth acsch x1 Add exp x0 Mul x0 exp x0 cos Pow acoth acsch x1 Mul x0 exp x0 