tan Pow asin x5 Pow Pow acot x0 x0 tan acos x3 
Mul Pow sec Pow asin x5 Pow Pow acot x0 x0 tan acos x3 2 Mul Pow asin x5 Add Pow Pow acot x0 x0 tan acos x3 -1 Mul Mul asin x5 log asin x5 Mul Pow Pow acot x0 x0 Add tan acos x3 -1 Mul tan acos x3 Mul Pow acot x0 Add x0 -1 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 