Add Add Mul Pow acsch Pow Mul x0 Pow acos x0 Add Add x5 x0 x0 x0 x0 acoth x0 x0 pi 
Add Add Mul acoth x0 Mul Pow acsch Pow Mul x0 Pow acos x0 Add Add x5 x0 x0 x0 Add x0 -1 Add Mul x0 Mul Mul -1 Mul Pow Mul x0 Pow acos x0 Add Add x5 x0 x0 Add x0 -1 Add Mul x0 Add Pow acos x0 Add Add x5 x0 x0 Mul x0 Mul Pow acos x0 Add Add Add x5 x0 x0 -1 Add Mul Add Add x5 x0 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 log acos x0 2 Mul Mul x0 Pow acos x0 Add Add x5 x0 x0 log Mul x0 Pow acos x0 Add Add x5 x0 x0 Pow Mul Mul Pow Mul x0 Pow acos x0 Add Add x5 x0 x0 x0 Pow Mul x0 Pow acos x0 Add Add x5 x0 x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 Pow acos x0 Add Add x5 x0 x0 x0 Pow Mul x0 Pow acos x0 Add Add x5 x0 x0 x0 -1 -1 Mul acsch Pow Mul x0 Pow acos x0 Add Add x5 x0 x0 x0 log acsch Pow Mul x0 Pow acos x0 Add Add x5 x0 x0 x0 Mul Pow acsch Pow Mul x0 Pow acos x0 Add Add x5 x0 x0 x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 