acosh Mul Pow Add x0 cosh x0 x2 Add Mul Add Add x4 cbrt pi x7 3 x6 
Mul Mul Add Mul Add Add x4 cbrt pi x7 3 x6 Mul Pow Add x0 cosh x0 Add x2 -1 Mul x2 Add 1 sinh x0 Pow Mul sqrt Add Mul Pow Add x0 cosh x0 x2 Add Mul Add Add x4 cbrt pi x7 3 x6 -1 sqrt Add 1 Mul Pow Add x0 cosh x0 x2 Add Mul Add Add x4 cbrt pi x7 3 x6 -1 