Mul x0 Pow Add pi atanh x0 Pow acos Add tan Add x0 x4 Pow x0 x6 x0 
Add Pow Add pi atanh x0 Pow acos Add tan Add x0 x4 Pow x0 x6 x0 Mul x0 Mul Pow Add pi atanh x0 Add Pow acos Add tan Add x0 x4 Pow x0 x6 x0 -1 Add Mul Pow acos Add tan Add x0 x4 Pow x0 x6 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add pi atanh x0 log Add pi atanh x0 Mul Pow acos Add tan Add x0 x4 Pow x0 x6 Add x0 -1 Add Mul x0 Mul -1 Mul Add Pow sec Add x0 x4 2 Mul Pow x0 Add x6 -1 x6 Pow sqrt Add 1 Mul -1 Mul Add tan Add x0 x4 Pow x0 x6 Add tan Add x0 x4 Pow x0 x6 -1 Mul acos Add tan Add x0 x4 Pow x0 x6 log acos Add tan Add x0 x4 Pow x0 x6 