Add Add Pow cosh x0 -1 Add Add Mul x0 x4 Add -1 Mul x7 acos x7 x0 Mul acot Mul cos x6 x0 x0 
Add Add Mul Pow cosh x0 2 Mul -1 sinh x0 Add x4 1 Add Mul x0 Mul -1 Mul cos x6 Pow Add 1 Mul Mul cos x6 x0 Mul cos x6 x0 -1 acot Mul cos x6 x0 