sec Mul Add asinh asin x0 1953125 x0 
Mul Mul tan Mul Add asinh asin x0 1953125 x0 sec Mul Add asinh asin x0 1953125 x0 Add Mul x0 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul asin x0 asin x0 -1 Add asinh asin x0 1953125 