Add x7 Pow Mul x0 pi Mul Mul pi acot x0 sec Mul Pow x0 cosh x0 x0 
Mul Pow Mul x0 pi Add Mul Mul pi acot x0 sec Mul Pow x0 cosh x0 x0 -1 Add Mul Mul Mul pi acot x0 sec Mul Pow x0 cosh x0 x0 pi Mul Mul Mul x0 pi log Mul x0 pi Add Mul sec Mul Pow x0 cosh x0 x0 Mul pi Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul pi acot x0 Mul Mul tan Mul Pow x0 cosh x0 x0 sec Mul Pow x0 cosh x0 x0 Add Mul x0 Mul Pow x0 Add cosh x0 -1 Add cosh x0 Mul Mul x0 log x0 sinh x0 Pow x0 cosh x0 