sqrt Add x0 Add acos acoth x0 Pow Mul x0 Add pi Mul Mul x0 x0 acosh pi cosh x0 
Mul Pow Mul 2 sqrt Add x0 Add acos acoth x0 Pow Mul x0 Add pi Mul Mul x0 x0 acosh pi cosh x0 -1 Add 1 Add Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Mul Pow Mul x0 Add pi Mul Mul x0 x0 acosh pi Add cosh x0 -1 Add Mul cosh x0 Add Add pi Mul Mul x0 x0 acosh pi Mul x0 Mul acosh pi Add x0 x0 Mul Mul Mul x0 Add pi Mul Mul x0 x0 acosh pi log Mul x0 Add pi Mul Mul x0 x0 acosh pi sinh x0 