atan Pow x0 tan Pow Add Mul x0 Add Add Pow x6 x0 4 x7 -4 acos Pow x4 E 
Mul Mul Pow x0 Add tan Pow Add Mul x0 Add Add Pow x6 x0 4 x7 -4 acos Pow x4 E -1 Add tan Pow Add Mul x0 Add Add Pow x6 x0 4 x7 -4 acos Pow x4 E Mul Mul x0 log x0 Mul Pow sec Pow Add Mul x0 Add Add Pow x6 x0 4 x7 -4 acos Pow x4 E 2 Mul Pow Add Mul x0 Add Add Pow x6 x0 4 x7 -4 Add acos Pow x4 E -1 Mul acos Pow x4 E Add Add Add Pow x6 x0 4 x7 Mul x0 Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow Add 1 Mul Pow x0 tan Pow Add Mul x0 Add Add Pow x6 x0 4 x7 -4 acos Pow x4 E Pow x0 tan Pow Add Mul x0 Add Add Pow x6 x0 4 x7 -4 acos Pow x4 E -1 