Pow cosh Mul Add acot Mul pi -3 pi x7 Mul x0 Mul x0 -1 
Mul Pow cosh Mul Add acot Mul pi -3 pi x7 Add Mul x0 Mul x0 -1 -1 Mul Mul cosh Mul Add acot Mul pi -3 pi x7 log cosh Mul Add acot Mul pi -3 pi x7 Add Mul x0 -1 Mul x0 -1 