Add x5 asin acot sqrt Pow x0 log x1 
Mul Mul -1 Mul Mul Pow Mul 2 sqrt Pow x0 log x1 -1 Mul Pow x0 Add log x1 -1 log x1 Pow Add 1 Mul sqrt Pow x0 log x1 sqrt Pow x0 log x1 -1 Pow sqrt Add 1 Mul -1 Mul acot sqrt Pow x0 log x1 acot sqrt Pow x0 log x1 -1 