Mul acosh asin Add x0 E Add x5 Add Mul x4 Pow x1 Mul x0 csch x0 x0 
Add Mul Add x5 Add Mul x4 Pow x1 Mul x0 csch x0 x0 Mul Pow sqrt Add 1 Mul -1 Mul Add x0 E Add x0 E -1 Pow Mul sqrt Add asin Add x0 E -1 sqrt Add 1 asin Add x0 E -1 Mul acosh asin Add x0 E Add Mul x4 Mul Pow x1 Add Mul x0 csch x0 -1 Mul Mul x1 log x1 Add csch x0 Mul x0 Mul Mul -1 coth x0 csch x0 1 