Mul x4 Add sec Pow acoth x0 acsc x0 x0 
Mul x4 Add Mul Mul tan Pow acoth x0 acsc x0 sec Pow acoth x0 acsc x0 Mul Pow acoth x0 Add acsc x0 -1 Add Mul acsc x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 1 