tan acos acos Pow Pow x0 sec acot sin E x1 
Mul Pow sec acos acos Pow Pow x0 sec acot sin E x1 2 Mul -1 Mul Mul -1 Mul Mul Pow Pow x0 sec acot sin E Add x1 -1 Mul x1 Mul Pow x0 Add sec acot sin E -1 sec acot sin E Pow sqrt Add 1 Mul -1 Mul Pow Pow x0 sec acot sin E x1 Pow Pow x0 sec acot sin E x1 -1 Pow sqrt Add 1 Mul -1 Mul acos Pow Pow x0 sec acot sin E x1 acos Pow Pow x0 sec acot sin E x1 -1 