Pow x0 atan Pow Mul pi Add acoth log Mul csch Add x0 x0 x0 x7 tan Mul x3 Mul Add x0 x0 16 
Mul Pow x0 Add atan Pow Mul pi Add acoth log Mul csch Add x0 x0 x0 x7 tan Mul x3 Mul Add x0 x0 16 -1 Add atan Pow Mul pi Add acoth log Mul csch Add x0 x0 x0 x7 tan Mul x3 Mul Add x0 x0 16 Mul Mul x0 log x0 Mul Mul Pow Mul pi Add acoth log Mul csch Add x0 x0 x0 x7 Add tan Mul x3 Mul Add x0 x0 16 -1 Add Mul tan Mul x3 Mul Add x0 x0 16 Mul pi Mul Mul Add Mul x0 Mul Mul Mul -1 coth Add x0 x0 csch Add x0 x0 2 csch Add x0 x0 Pow Mul csch Add x0 x0 x0 -1 Pow Add 1 Mul -1 Mul log Mul csch Add x0 x0 x0 log Mul csch Add x0 x0 x0 -1 Mul Mul Mul pi Add acoth log Mul csch Add x0 x0 x0 x7 log Mul pi Add acoth log Mul csch Add x0 x0 x0 x7 Mul Pow sec Mul x3 Mul Add x0 x0 16 2 Mul x3 18 Pow Add 1 Mul Pow Mul pi Add acoth log Mul csch Add x0 x0 x0 x7 tan Mul x3 Mul Add x0 x0 16 Pow Mul pi Add acoth log Mul csch Add x0 x0 x0 x7 tan Mul x3 Mul Add x0 x0 16 -1 