Mul Pow Mul 3 acot x2 acosh sqrt x0 Add x5 Mul atan E x0 
Add Mul Add x5 Mul atan E x0 Mul Pow Mul 3 acot x2 Add acosh sqrt x0 -1 Mul Mul Mul 3 acot x2 log Mul 3 acot x2 Mul Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add sqrt x0 -1 sqrt Add 1 sqrt x0 -1 Mul Pow Mul 3 acot x2 acosh sqrt x0 atan E 