atanh cot Mul Mul pi Mul x0 x0 tan Mul x1 E 
Mul Mul Mul -1 Pow csc Mul Mul pi Mul x0 x0 tan Mul x1 E 2 Mul tan Mul x1 E Mul pi Add x0 x0 Pow Add 1 Mul -1 Mul cot Mul Mul pi Mul x0 x0 tan Mul x1 E cot Mul Mul pi Mul x0 x0 tan Mul x1 E -1 