acot Pow Add Mul Mul pi sec Mul pi Mul x0 coth x4 -3 1 x0 
Mul -1 Mul Mul Pow Add Mul Mul pi sec Mul pi Mul x0 coth x4 -3 1 Add x0 -1 Add Mul x0 Mul -3 Mul pi Mul Mul tan Mul pi Mul x0 coth x4 sec Mul pi Mul x0 coth x4 Mul pi coth x4 Mul Add Mul Mul pi sec Mul pi Mul x0 coth x4 -3 1 log Add Mul Mul pi sec Mul pi Mul x0 coth x4 -3 1 Pow Add 1 Mul Pow Add Mul Mul pi sec Mul pi Mul x0 coth x4 -3 1 x0 Pow Add Mul Mul pi sec Mul pi Mul x0 coth x4 -3 1 x0 -1 