asin Pow acot Add 0.642092615934331 x6 x0 
Mul Mul Pow acot Add 0.642092615934331 x6 Add x0 -1 Mul acot Add 0.642092615934331 x6 log acot Add 0.642092615934331 x6 Pow sqrt Add 1 Mul -1 Mul Pow acot Add 0.642092615934331 x6 x0 Pow acot Add 0.642092615934331 x6 x0 -1 