tan Mul acot exp x6 Mul asin Pow 0.958924274663138 x0 x0 
Mul Pow sec Mul acot exp x6 Mul asin Pow 0.958924274663138 x0 x0 2 Mul acot exp x6 Add Mul x0 Mul Mul Pow 0.958924274663138 Add x0 -1 0.916981104634553 Pow sqrt Add 1 Mul -1 Mul Pow 0.958924274663138 x0 Pow 0.958924274663138 x0 -1 asin Pow 0.958924274663138 x0 