Pow Add -5 x3 tan Pow pi acoth x0 
Mul Pow Add -5 x3 Add tan Pow pi acoth x0 -1 Mul Mul Add -5 x3 log Add -5 x3 Mul Pow sec Pow pi acoth x0 2 Mul Pow pi Add acoth x0 -1 Mul Mul pi log pi Pow Add 1 Mul -1 Mul x0 x0 -1 