Pow tanh cot Mul Mul sec atanh x0 x2 x2 sqrt pi 
Mul Pow tanh cot Mul Mul sec atanh x0 x2 x2 Add sqrt pi -1 Mul sqrt pi Mul Pow sech cot Mul Mul sec atanh x0 x2 x2 2 Mul Mul -1 Pow csc Mul Mul sec atanh x0 x2 x2 2 Mul x2 Mul x2 Mul Mul tan atanh x0 sec atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 