Mul Pow tan acoth x0 Add atan Pow Pow asec pi Mul -4 pi atan E x0 x0 
Add Mul x0 Mul Pow tan acoth x0 Add Add atan Pow Pow asec pi Mul -4 pi atan E x0 -1 Add Mul Add atan Pow Pow asec pi Mul -4 pi atan E x0 Mul Pow sec acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul tan acoth x0 log tan acoth x0 Pow tan acoth x0 Add atan Pow Pow asec pi Mul -4 pi atan E x0 