Mul x7 Pow acosh Pow sqrt x0 Add 3 csch csc Pow x4 2 Pow Pow x0 x0 3 
Mul x7 Mul Pow acosh Pow sqrt x0 Add 3 csch csc Pow x4 2 Add Pow Pow x0 x0 3 -1 Add Mul Pow Pow x0 x0 3 Mul Mul Pow sqrt x0 Add Add 3 csch csc Pow x4 2 -1 Mul Add 3 csch csc Pow x4 2 Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add Pow sqrt x0 Add 3 csch csc Pow x4 2 -1 sqrt Add 1 Pow sqrt x0 Add 3 csch csc Pow x4 2 -1 Mul Mul acosh Pow sqrt x0 Add 3 csch csc Pow x4 2 log acosh Pow sqrt x0 Add 3 csch csc Pow x4 2 Mul Pow Pow x0 x0 2 Mul 3 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 