Mul Pow Pow x4 x0 Mul Mul Add x0 Mul acot x0 x0 sec cosh x7 x0 x0 
Add Mul x0 Mul Pow Pow x4 x0 Add Mul Mul Add x0 Mul acot x0 x0 sec cosh x7 x0 -1 Add Mul Mul Mul Add x0 Mul acot x0 x0 sec cosh x7 x0 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Mul Pow x4 x0 log Pow x4 x0 Add Mul x0 Mul sec cosh x7 Add 1 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 acot x0 Mul Add x0 Mul acot x0 x0 sec cosh x7 Pow Pow x4 x0 Mul Mul Add x0 Mul acot x0 x0 sec cosh x7 x0 