Mul asin x0 Pow acsc x0 Pow asec pi x0 
Add Mul Pow acsc x0 Pow asec pi x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 Mul Pow acsc x0 Add Pow asec pi x0 -1 Add Mul Pow asec pi x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul acsc x0 log acsc x0 Mul Pow asec pi Add x0 -1 Mul asec pi log asec pi 