Add Mul Add Pow Add asec atan x0 Mul Pow Add acoth pi x0 x0 x7 x0 x0 2 Add acot x2 Add x0 7.38905609893065 
Add Mul 2 Add Mul Pow Add asec atan x0 Mul Pow Add acoth pi x0 x0 x7 Add x0 -1 Add Mul x0 Add Mul Pow Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul atan x0 atan x0 -1 atan x0 atan x0 -1 Mul x7 Mul Pow Add acoth pi x0 Add x0 -1 Add x0 Mul Add acoth pi x0 log Add acoth pi x0 Mul Add asec atan x0 Mul Pow Add acoth pi x0 x0 x7 log Add asec atan x0 Mul Pow Add acoth pi x0 x0 x7 1 1 