acosh log Pow csch Mul 4 Add x5 E acos x0 
Mul Mul Mul Pow csch Mul 4 Add x5 E Add acos x0 -1 Mul Mul csch Mul 4 Add x5 E log csch Mul 4 Add x5 E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Pow csch Mul 4 Add x5 E acos x0 -1 Pow Mul sqrt Add log Pow csch Mul 4 Add x5 E acos x0 -1 sqrt Add 1 log Pow csch Mul 4 Add x5 E acos x0 -1 