acosh acosh Mul x0 acsch Add Add x6 1.17520119364380 pi 
Mul Mul acsch Add Add x6 1.17520119364380 pi Pow Mul sqrt Add Mul x0 acsch Add Add x6 1.17520119364380 pi -1 sqrt Add 1 Mul x0 acsch Add Add x6 1.17520119364380 pi -1 Pow Mul sqrt Add acosh Mul x0 acsch Add Add x6 1.17520119364380 pi -1 sqrt Add 1 acosh Mul x0 acsch Add Add x6 1.17520119364380 pi -1 