Pow x5 Add x0 Mul Mul x0 acot atan sqrt x0 Add acosh pi pi 
Mul Pow x5 Add Add x0 Mul Mul x0 acot atan sqrt x0 Add acosh pi pi -1 Mul Mul x5 log x5 Add 1 Mul Add acosh pi pi Add acot atan sqrt x0 Mul x0 Mul -1 Mul Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 Pow Add 1 Mul atan sqrt x0 atan sqrt x0 -1 