acosh asech Add Mul Pow x5 Add 1 Add Pow x1 Add x3 x0 1 4 Mul csch x1 Add E 3 
Mul Mul Mul 4 Mul Pow x5 Add Add 1 Add Pow x1 Add x3 x0 1 -1 Mul Mul x5 log x5 Mul Pow x1 Add Add x3 x0 -1 Mul x1 log x1 Pow Mul Mul Add Mul Pow x5 Add 1 Add Pow x1 Add x3 x0 1 4 Mul csch x1 Add E 3 Add Mul Pow x5 Add 1 Add Pow x1 Add x3 x0 1 4 Mul csch x1 Add E 3 sqrt Add 1 Mul -1 Pow Mul Add Mul Pow x5 Add 1 Add Pow x1 Add x3 x0 1 4 Mul csch x1 Add E 3 Add Mul Pow x5 Add 1 Add Pow x1 Add x3 x0 1 4 Mul csch x1 Add E 3 -1 -1 Pow Mul sqrt Add asech Add Mul Pow x5 Add 1 Add Pow x1 Add x3 x0 1 4 Mul csch x1 Add E 3 -1 sqrt Add 1 asech Add Mul Pow x5 Add 1 Add Pow x1 Add x3 x0 1 4 Mul csch x1 Add E 3 -1 