Mul x0 Mul x0 acot Pow Mul acsch x1 x0 Pow x0 Add 3 exp x5 
Add Mul x0 acot Pow Mul acsch x1 x0 Pow x0 Add 3 exp x5 Mul x0 Add acot Pow Mul acsch x1 x0 Pow x0 Add 3 exp x5 Mul x0 Mul -1 Mul Mul Pow Mul acsch x1 x0 Add Pow x0 Add 3 exp x5 -1 Add Mul Pow x0 Add 3 exp x5 acsch x1 Mul Mul Mul acsch x1 x0 log Mul acsch x1 x0 Mul Pow x0 Add Add 3 exp x5 -1 Add 3 exp x5 Pow Add 1 Mul Pow Mul acsch x1 x0 Pow x0 Add 3 exp x5 Pow Mul acsch x1 x0 Pow x0 Add 3 exp x5 -1 