sin Mul x0 Pow exp sqrt Mul acsch x0 x0 atan x0 
Mul cos Mul x0 Pow exp sqrt Mul acsch x0 x0 atan x0 Add Pow exp sqrt Mul acsch x0 x0 atan x0 Mul x0 Mul Pow exp sqrt Mul acsch x0 x0 Add atan x0 -1 Add Mul atan x0 Mul exp sqrt Mul acsch x0 x0 Mul Pow Mul 2 sqrt Mul acsch x0 x0 -1 Add Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 acsch x0 Mul Mul exp sqrt Mul acsch x0 x0 log exp sqrt Mul acsch x0 x0 Pow Add 1 Mul x0 x0 -1 