Add x0 tan asinh cot Pow atan x0 acot Mul -1 x3 
Add 1 Mul Pow sec asinh cot Pow atan x0 acot Mul -1 x3 2 Mul Mul Mul -1 Pow csc Pow atan x0 acot Mul -1 x3 2 Mul Pow atan x0 Add acot Mul -1 x3 -1 Mul acot Mul -1 x3 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul cot Pow atan x0 acot Mul -1 x3 cot Pow atan x0 acot Mul -1 x3 -1 