Add Pow Pow x1 sqrt asech Pow Mul x0 Pow x2 Add x0 x0 x2 x2 Add Mul Pow acoth pi x0 Add x2 acos x0 -5 
Add Mul Pow Pow x1 sqrt asech Pow Mul x0 Pow x2 Add x0 x0 x2 Add x2 -1 Mul x2 Mul Pow x1 Add sqrt asech Pow Mul x0 Pow x2 Add x0 x0 x2 -1 Mul Mul x1 log x1 Mul Pow Mul 2 sqrt asech Pow Mul x0 Pow x2 Add x0 x0 x2 -1 Mul Mul Pow Mul x0 Pow x2 Add x0 x0 Add x2 -1 Mul x2 Add Pow x2 Add x0 x0 Mul x0 Mul Pow x2 Add Add x0 x0 -1 Mul Mul x2 log x2 2 Pow Mul Mul Pow Mul x0 Pow x2 Add x0 x0 x2 Pow Mul x0 Pow x2 Add x0 x0 x2 sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 Pow x2 Add x0 x0 x2 Pow Mul x0 Pow x2 Add x0 x0 x2 -1 -1 Add Mul Add x2 acos x0 Mul Pow acoth pi Add x0 -1 Mul acoth pi log acoth pi Mul Pow acoth pi x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 