Mul Pow acoth Pow atan Mul Add x7 atan x0 pi x0 x0 Add Add x0 x3 pi 
Add Mul Add Add x0 x3 pi Mul Pow acoth Pow atan Mul Add x7 atan x0 pi x0 Add x0 -1 Add Mul x0 Mul Mul Pow atan Mul Add x7 atan x0 pi Add x0 -1 Add Mul x0 Mul Mul pi Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Mul Add x7 atan x0 pi Mul Add x7 atan x0 pi -1 Mul atan Mul Add x7 atan x0 pi log atan Mul Add x7 atan x0 pi Pow Add 1 Mul -1 Mul Pow atan Mul Add x7 atan x0 pi x0 Pow atan Mul Add x7 atan x0 pi x0 -1 Mul acoth Pow atan Mul Add x7 atan x0 pi x0 log acoth Pow atan Mul Add x7 atan x0 pi x0 Pow acoth Pow atan Mul Add x7 atan x0 pi x0 x0 