Add x0 Mul Pow Pow x0 Add Mul Add Pow x0 acoth x5 x3 Pow x0 7.38905609893065 -2 atan pi Mul Pow x1 x0 x0 
Add 1 Add Mul Mul Pow x1 x0 x0 Mul Pow Pow x0 Add Mul Add Pow x0 acoth x5 x3 Pow x0 7.38905609893065 -2 Add atan pi -1 Mul atan pi Mul Pow x0 Add Add Mul Add Pow x0 acoth x5 x3 Pow x0 7.38905609893065 -2 -1 Add Add Mul Add Pow x0 acoth x5 x3 Pow x0 7.38905609893065 -2 Mul Mul x0 log x0 Add Mul Pow x0 7.38905609893065 Mul Pow x0 Add acoth x5 -1 acoth x5 Mul Add Pow x0 acoth x5 x3 Mul Pow x0 6.38905609893065 7.38905609893065 Mul Pow Pow x0 Add Mul Add Pow x0 acoth x5 x3 Pow x0 7.38905609893065 -2 atan pi Add Mul x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow x1 x0 