Mul Add Mul x0 asin x0 x0 Mul log Add Add x0 x0 Mul Add x0 Add -4 pi Mul x0 Mul acoth x5 x0 x0 
Add Mul Mul log Add Add x0 x0 Mul Add x0 Add -4 pi Mul x0 Mul acoth x5 x0 x0 Add Add asin x0 Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Mul Add Mul x0 asin x0 x0 Add Mul x0 Mul Add 2 Add Mul x0 Mul acoth x5 x0 Mul Add x0 Add -4 pi Add Mul acoth x5 x0 Mul x0 acoth x5 Pow Add Add x0 x0 Mul Add x0 Add -4 pi Mul x0 Mul acoth x5 x0 -1 log Add Add x0 x0 Mul Add x0 Add -4 pi Mul x0 Mul acoth x5 x0 