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