log acot Mul sin Pow tan cosh x0 x0 Mul x0 acos x7 
Mul Mul -1 Mul Add Mul Mul x0 acos x7 Mul cos Pow tan cosh x0 x0 Mul Pow tan cosh x0 Add x0 -1 Add Mul x0 Mul Pow sec cosh x0 2 sinh x0 Mul tan cosh x0 log tan cosh x0 Mul sin Pow tan cosh x0 x0 acos x7 Pow Add 1 Mul Mul sin Pow tan cosh x0 x0 Mul x0 acos x7 Mul sin Pow tan cosh x0 x0 Mul x0 acos x7 -1 Pow acot Mul sin Pow tan cosh x0 x0 Mul x0 acos x7 -1 