Pow Mul x0 x2 Add x0 Mul acos Mul x0 sqrt tan E x6 
Mul Pow Mul x0 x2 Add Add x0 Mul acos Mul x0 sqrt tan E x6 -1 Add Mul Add x0 Mul acos Mul x0 sqrt tan E x6 x2 Mul Mul Mul x0 x2 log Mul x0 x2 Add 1 Mul x6 Mul -1 Mul sqrt tan E Pow sqrt Add 1 Mul -1 Mul Mul x0 sqrt tan E Mul x0 sqrt tan E -1 