Add Pow Pow cosh x0 acos E x0 Pow exp Pow x0 acot x2 x3 
Add Mul Pow Pow cosh x0 acos E Add x0 -1 Add Mul x0 Mul Pow cosh x0 Add acos E -1 Mul acos E sinh x0 Mul Pow cosh x0 acos E log Pow cosh x0 acos E Mul Pow exp Pow x0 acot x2 Add x3 -1 Mul x3 Mul exp Pow x0 acot x2 Mul Pow x0 Add acot x2 -1 acot x2 