cot exp sec Add acoth Mul x0 x0 E 
Mul Mul -1 Pow csc exp sec Add acoth Mul x0 x0 E 2 Mul exp sec Add acoth Mul x0 x0 E Mul Mul tan Add acoth Mul x0 x0 E sec Add acoth Mul x0 x0 E Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 