coth acosh cot tan Mul x0 x1 
Mul Mul -1 Pow csch acosh cot tan Mul x0 x1 2 Mul Mul Mul -1 Pow csc tan Mul x0 x1 2 Mul Pow sec Mul x0 x1 2 x1 Pow Mul sqrt Add cot tan Mul x0 x1 -1 sqrt Add 1 cot tan Mul x0 x1 -1 