Pow Add Add Pow sqrt x0 x3 acot E Pow x0 E acosh x2 
Mul Pow Add Add Pow sqrt x0 x3 acot E Pow x0 E Add acosh x2 -1 Mul acosh x2 Add Mul Pow sqrt x0 Add x3 -1 Mul x3 Pow Mul 2 sqrt x0 -1 Mul Pow x0 Add E -1 E 