Add x0 Pow acsch Add x0 Add x3 acosh Pow 2.29038661921934 Add -4 x0 Add 8165619676597685 Add cosh x3 x3 
Add 1 Mul Pow acsch Add x0 Add x3 acosh Pow 2.29038661921934 Add -4 x0 Add Add 8165619676597685 Add cosh x3 x3 -1 Mul Add 8165619676597685 Add cosh x3 x3 Mul Mul -1 Add 1 Mul Mul Pow 2.29038661921934 Add Add -4 x0 -1 3.11910725188884 Pow Mul sqrt Add Pow 2.29038661921934 Add -4 x0 -1 sqrt Add 1 Pow 2.29038661921934 Add -4 x0 -1 Pow Mul Mul Add x0 Add x3 acosh Pow 2.29038661921934 Add -4 x0 Add x0 Add x3 acosh Pow 2.29038661921934 Add -4 x0 sqrt Add 1 Mul -1 Pow Mul Add x0 Add x3 acosh Pow 2.29038661921934 Add -4 x0 Add x0 Add x3 acosh Pow 2.29038661921934 Add -4 x0 -1 -1 