Add Add Pow x2 1.85081571768093 x0 Add acsch acoth Pow x0 pi Mul -1 Add Pow Pow x0 2 Add -5 x0 sqrt Add x0 x0 
Add 1 Add Mul Mul -1 Mul Mul Pow x0 Add pi -1 pi Pow Add 1 Mul -1 Mul Pow x0 pi Pow x0 pi -1 Pow Mul Mul acoth Pow x0 pi acoth Pow x0 pi sqrt Add 1 Mul -1 Pow Mul acoth Pow x0 pi acoth Pow x0 pi -1 -1 Mul -1 Add Mul Pow Pow x0 2 Add Add -5 x0 -1 Add Mul Add -5 x0 Mul x0 2 Mul Pow x0 2 log Pow x0 2 Mul Pow Mul 2 sqrt Add x0 x0 -1 2 