acosh Mul Pow cosh Add x0 x4 Pow asech x0 x0 pi 
Mul Mul pi Mul Pow cosh Add x0 x4 Add Pow asech x0 x0 -1 Add Mul Pow asech x0 x0 sinh Add x0 x4 Mul Mul cosh Add x0 x4 log cosh Add x0 x4 Mul Pow asech x0 Add x0 -1 Add Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 log asech x0 Pow Mul sqrt Add Mul Pow cosh Add x0 x4 Pow asech x0 x0 pi -1 sqrt Add 1 Mul Pow cosh Add x0 x4 Pow asech x0 x0 pi -1 