asinh Add Add cosh x6 x0 Pow x6 Mul Add x0 Mul x0 pi Add x0 Pow acosh pi x0 
Mul Add 1 Mul Pow x6 Add Mul Add x0 Mul x0 pi Add x0 Pow acosh pi x0 -1 Mul Mul x6 log x6 Add Mul Add x0 Pow acosh pi x0 Add 1 pi Mul Add x0 Mul x0 pi Add 1 Mul Pow acosh pi Add x0 -1 Mul acosh pi log acosh pi Pow sqrt Add 1 Mul Add Add cosh x6 x0 Pow x6 Mul Add x0 Mul x0 pi Add x0 Pow acosh pi x0 Add Add cosh x6 x0 Pow x6 Mul Add x0 Mul x0 pi Add x0 Pow acosh pi x0 -1 