Add x0 Add acosh x5 tan Mul Pow Add Pow sqrt acot x6 x0 Add x0 x6 4 -3 
Add 1 Mul Pow sec Mul Pow Add Pow sqrt acot x6 x0 Add x0 x6 4 -3 2 Mul -3 Mul Pow Add Pow sqrt acot x6 x0 Add x0 x6 3 Mul 4 Add Mul Pow sqrt acot x6 Add x0 -1 Mul sqrt acot x6 log sqrt acot x6 1 