Add Add asech x5 Add Mul sec x5 Mul Add 1.54308063481524 x3 Pow acosh Mul x2 pi x0 Pow x0 x0 Mul x0 sech x0 
Add Add Mul sec x5 Mul Add 1.54308063481524 x3 Mul Pow acosh Mul x2 pi Add x0 -1 Mul acosh Mul x2 pi log acosh Mul x2 pi Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add sech x0 Mul x0 Mul tanh x0 Mul -1 sech x0 