Add acoth Mul x1 Pow Pow Add pi acsch x0 Pow cos acosh pi asin x0 x0 x0 
Add Mul Mul x1 Mul Pow Pow Add pi acsch x0 Pow cos acosh pi asin x0 Add x0 -1 Add Mul x0 Mul Pow Add pi acsch x0 Add Pow cos acosh pi asin x0 -1 Add Mul Pow cos acosh pi asin x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Add pi acsch x0 log Add pi acsch x0 Mul Pow cos acosh pi Add asin x0 -1 Mul Mul cos acosh pi log cos acosh pi Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Add pi acsch x0 Pow cos acosh pi asin x0 log Pow Add pi acsch x0 Pow cos acosh pi asin x0 Pow Add 1 Mul -1 Mul Mul x1 Pow Pow Add pi acsch x0 Pow cos acosh pi asin x0 x0 Mul x1 Pow Pow Add pi acsch x0 Pow cos acosh pi asin x0 x0 -1 1 