tan Pow atanh acos Add Mul pi -3 4 Add E Add acoth x0 1 
Mul Pow sec Pow atanh acos Add Mul pi -3 4 Add E Add acoth x0 1 2 Mul Pow atanh acos Add Mul pi -3 4 Add Add E Add acoth x0 1 -1 Mul Mul atanh acos Add Mul pi -3 4 log atanh acos Add Mul pi -3 4 Pow Add 1 Mul -1 Mul x0 x0 -1 