Add Pow x0 Add 2.18503986326152 acos acot Mul x0 2 Add 2 Pow acoth x6 Add -7.08616739573719 x0 
Add Mul Pow x0 Add Add 2.18503986326152 acos acot Mul x0 2 -1 Add Add 2.18503986326152 acos acot Mul x0 2 Mul Mul x0 log x0 Mul -1 Mul Mul -1 Mul 2 Pow Add 1 Mul Mul x0 2 Mul x0 2 -1 Pow sqrt Add 1 Mul -1 Mul acot Mul x0 2 acot Mul x0 2 -1 Mul Pow acoth x6 Add Add -7.08616739573719 x0 -1 Mul acoth x6 log acoth x6 