Mul 1.15782128234958 Mul acot Pow x0 x0 Pow Pow Add x3 sec asin x0 x0 log x0 
Mul 1.15782128234958 Add Mul Pow Pow Add x3 sec asin x0 x0 log x0 Mul -1 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul Pow x0 x0 Pow x0 x0 -1 Mul acot Pow x0 x0 Mul Pow Pow Add x3 sec asin x0 x0 Add log x0 -1 Add Mul log x0 Mul Pow Add x3 sec asin x0 Add x0 -1 Add Mul x0 Mul Mul tan asin x0 sec asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Add x3 sec asin x0 log Add x3 sec asin x0 Mul Mul Pow Add x3 sec asin x0 x0 log Pow Add x3 sec asin x0 x0 Pow x0 -1 