Mul Add Pow cosh x0 acot x5 8 Add 3 Mul -3 Pow x1 Add x0 x0 
Add Mul Add 3 Mul -3 Pow x1 Add x0 x0 Mul Pow cosh x0 Add acot x5 -1 Mul acot x5 sinh x0 Mul Add Pow cosh x0 acot x5 8 Mul -3 Mul Pow x1 Add Add x0 x0 -1 Mul Mul x1 log x1 2 