exp acosh Add Add E Mul Add acosh x4 4 acosh pi Mul Add x0 E E 
Mul exp acosh Add Add E Mul Add acosh x4 4 acosh pi Mul Add x0 E E Mul E Pow Mul sqrt Add Add Add E Mul Add acosh x4 4 acosh pi Mul Add x0 E E -1 sqrt Add 1 Add Add E Mul Add acosh x4 4 acosh pi Mul Add x0 E E -1 