Pow Pow acoth Pow Pow x0 Mul x7 x0 acos Add x0 Mul x0 x0 Add x0 Add E 22423.7272039511 x0 
Mul Pow Pow acoth Pow Pow x0 Mul x7 x0 acos Add x0 Mul x0 x0 Add x0 Add E 22423.7272039511 Add x0 -1 Add Mul x0 Mul Pow acoth Pow Pow x0 Mul x7 x0 acos Add x0 Mul x0 x0 Add Add x0 Add E 22423.7272039511 -1 Add Mul Add x0 Add E 22423.7272039511 Mul Mul Pow Pow x0 Mul x7 x0 Add acos Add x0 Mul x0 x0 -1 Add Mul acos Add x0 Mul x0 x0 Mul Pow x0 Add Mul x7 x0 -1 Add Mul x7 x0 Mul Mul x0 log x0 x7 Mul Mul Pow x0 Mul x7 x0 log Pow x0 Mul x7 x0 Mul -1 Mul Add 1 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Add x0 Mul x0 x0 Add x0 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow Pow x0 Mul x7 x0 acos Add x0 Mul x0 x0 Pow Pow x0 Mul x7 x0 acos Add x0 Mul x0 x0 -1 Mul acoth Pow Pow x0 Mul x7 x0 acos Add x0 Mul x0 x0 log acoth Pow Pow x0 Mul x7 x0 acos Add x0 Mul x0 x0 Mul Pow acoth Pow Pow x0 Mul x7 x0 acos Add x0 Mul x0 x0 Add x0 Add E 22423.7272039511 log Pow acoth Pow Pow x0 Mul x7 x0 acos Add x0 Mul x0 x0 Add x0 Add E 22423.7272039511 