acot tan asin Pow acot Mul log Add x0 1 x0 0.250000000000000 
Mul -1 Mul Mul Pow sec asin Pow acot Mul log Add x0 1 x0 0.250000000000000 2 Mul Mul Pow acot Mul log Add x0 1 x0 -0.750000000000000 Mul 0.250000000000000 Mul -1 Mul Add Mul x0 Pow Add x0 1 -1 log Add x0 1 Pow Add 1 Mul Mul log Add x0 1 x0 Mul log Add x0 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow acot Mul log Add x0 1 x0 0.250000000000000 Pow acot Mul log Add x0 1 x0 0.250000000000000 -1 Pow Add 1 Mul tan asin Pow acot Mul log Add x0 1 x0 0.250000000000000 tan asin Pow acot Mul log Add x0 1 x0 0.250000000000000 -1 