Add acosh cot atanh cos Mul x1 x0 E 
Mul Mul Mul -1 Pow csc atanh cos Mul x1 x0 2 Mul Mul Mul -1 sin Mul x1 x0 x1 Pow Add 1 Mul -1 Mul cos Mul x1 x0 cos Mul x1 x0 -1 Pow Mul sqrt Add cot atanh cos Mul x1 x0 -1 sqrt Add 1 cot atanh cos Mul x1 x0 -1 