Pow Pow x5 Add pi x1 Mul Pow cosh exp x7 x0 cot x3 
Mul Pow Pow x5 Add pi x1 Add Mul Pow cosh exp x7 x0 cot x3 -1 Mul Mul Pow x5 Add pi x1 log Pow x5 Add pi x1 Mul cot x3 Mul Pow cosh exp x7 Add x0 -1 Mul cosh exp x7 log cosh exp x7 