Mul E Add acosh Add x0 x0 Add -2 Mul Pow x3 Mul Mul Pow asech x7 x0 Pow -1 pi Pow Mul E Pow x7 x0 pi 4 
Mul E Add Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 Mul 4 Mul Pow x3 Add Mul Mul Pow asech x7 x0 Pow -1 pi Pow Mul E Pow x7 x0 pi -1 Mul Mul x3 log x3 Add Mul Pow Mul E Pow x7 x0 pi Mul Pow -1 pi Mul Pow asech x7 Add x0 -1 Mul asech x7 log asech x7 Mul Mul Pow asech x7 x0 Pow -1 pi Mul Pow Mul E Pow x7 x0 Add pi -1 Mul pi Mul E Mul Pow x7 Add x0 -1 Mul x7 log x7 