exp atan Pow Pow cosh x0 x5 Add x0 Add -1 x0 
Mul exp atan Pow Pow cosh x0 x5 Add x0 Add -1 x0 Mul Mul Pow Pow cosh x0 x5 Add Add x0 Add -1 x0 -1 Add Mul Add x0 Add -1 x0 Mul Pow cosh x0 Add x5 -1 Mul x5 sinh x0 Mul Mul Pow cosh x0 x5 log Pow cosh x0 x5 2 Pow Add 1 Mul Pow Pow cosh x0 x5 Add x0 Add -1 x0 Pow Pow cosh x0 x5 Add x0 Add -1 x0 -1 