Mul acot Mul Pow Pow Add Add x6 x0 x0 x0 Mul x0 Add cosh x0 x0 Mul Mul Pow x3 x0 x6 x0 Add x0 x6 
Add Mul Add x0 x6 Mul -1 Mul Add Mul Mul Mul Pow x3 x0 x6 x0 Mul Pow Pow Add Add x6 x0 x0 x0 Add Mul x0 Add cosh x0 x0 -1 Add Mul Mul x0 Add cosh x0 x0 Mul Pow Add Add x6 x0 x0 Add x0 -1 Add Mul x0 2 Mul Add Add x6 x0 x0 log Add Add x6 x0 x0 Mul Mul Pow Add Add x6 x0 x0 x0 log Pow Add Add x6 x0 x0 x0 Add Add cosh x0 x0 Mul x0 Add sinh x0 1 Mul Pow Pow Add Add x6 x0 x0 x0 Mul x0 Add cosh x0 x0 Add Mul x0 Mul x6 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Pow x3 x0 x6 Pow Add 1 Mul Mul Pow Pow Add Add x6 x0 x0 x0 Mul x0 Add cosh x0 x0 Mul Mul Pow x3 x0 x6 x0 Mul Pow Pow Add Add x6 x0 x0 x0 Mul x0 Add cosh x0 x0 Mul Mul Pow x3 x0 x6 x0 -1 acot Mul Pow Pow Add Add x6 x0 x0 x0 Mul x0 Add cosh x0 x0 Mul Mul Pow x3 x0 x6 x0 