Add 3.52532008581609 Mul -1 acsch exp Pow x0 sqrt Mul acosh x0 Add Pow x0 x5 Add x0 sqrt pi 
Mul -1 Mul Mul -1 Mul exp Pow x0 sqrt Mul acosh x0 Add Pow x0 x5 Add x0 sqrt pi Mul Pow x0 Add sqrt Mul acosh x0 Add Pow x0 x5 Add x0 sqrt pi -1 Add sqrt Mul acosh x0 Add Pow x0 x5 Add x0 sqrt pi Mul Mul x0 log x0 Mul Pow Mul 2 sqrt Mul acosh x0 Add Pow x0 x5 Add x0 sqrt pi -1 Add Mul Add Pow x0 x5 Add x0 sqrt pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Add Mul Pow x0 Add x5 -1 x5 1 Pow Mul Mul exp Pow x0 sqrt Mul acosh x0 Add Pow x0 x5 Add x0 sqrt pi exp Pow x0 sqrt Mul acosh x0 Add Pow x0 x5 Add x0 sqrt pi sqrt Add 1 Mul -1 Pow Mul exp Pow x0 sqrt Mul acosh x0 Add Pow x0 x5 Add x0 sqrt pi exp Pow x0 sqrt Mul acosh x0 Add Pow x0 x5 Add x0 sqrt pi -1 -1 