Mul x4 acosh Mul Pow acoth pi Mul Pow x2 x0 x0 Mul Add log Add Pow x0 x0 x0 Pow x4 Add x0 1 x7 
Mul x4 Mul Add Mul Mul Add log Add Pow x0 x0 x0 Pow x4 Add x0 1 x7 Mul Pow acoth pi Add Mul Pow x2 x0 x0 -1 Mul Mul acoth pi log acoth pi Add Mul x0 Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow x2 x0 Mul Pow acoth pi Mul Pow x2 x0 x0 Mul x7 Add Mul Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 Pow Add Pow x0 x0 x0 -1 Mul Pow x4 Add Add x0 1 -1 Mul x4 log x4 Pow Mul sqrt Add Mul Pow acoth pi Mul Pow x2 x0 x0 Mul Add log Add Pow x0 x0 x0 Pow x4 Add x0 1 x7 -1 sqrt Add 1 Mul Pow acoth pi Mul Pow x2 x0 x0 Mul Add log Add Pow x0 x0 x0 Pow x4 Add x0 1 x7 -1 