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