sec Mul x0 Mul tanh asin x0 x0 
Mul Mul tan Mul x0 Mul tanh asin x0 x0 sec Mul x0 Mul tanh asin x0 x0 Add Mul tanh asin x0 x0 Mul x0 Add Mul x0 Mul Pow sech asin x0 2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 tanh asin x0 