Mul pi Pow asin Add 1 E Mul -1 Add -7.08616739573719 Add E acoth Mul Pow x0 2 log x1 
Mul pi Mul Pow asin Add 1 E Add Mul -1 Add -7.08616739573719 Add E acoth Mul Pow x0 2 log x1 -1 Mul Mul asin Add 1 E log asin Add 1 E Mul -1 Mul Mul log x1 Mul x0 2 Pow Add 1 Mul -1 Mul Mul Pow x0 2 log x1 Mul Pow x0 2 log x1 -1 