Pow exp Pow Add x2 x0 acot tan cot x5 cosh x0 
Mul Pow exp Pow Add x2 x0 acot tan cot x5 Add cosh x0 -1 Add Mul cosh x0 Mul exp Pow Add x2 x0 acot tan cot x5 Mul Pow Add x2 x0 Add acot tan cot x5 -1 acot tan cot x5 Mul Mul exp Pow Add x2 x0 acot tan cot x5 log exp Pow Add x2 x0 acot tan cot x5 sinh x0 