Add Add x0 x4 Pow Mul Add x5 acosh x3 -5 exp Add x0 Pow exp x0 acot x5 
Add 1 Mul Pow Mul Add x5 acosh x3 -5 Add exp Add x0 Pow exp x0 acot x5 -1 Mul Mul Mul Add x5 acosh x3 -5 log Mul Add x5 acosh x3 -5 Mul exp Add x0 Pow exp x0 acot x5 Add 1 Mul Pow exp x0 Add acot x5 -1 Mul acot x5 exp x0 