Mul Pow Add x3 asec x0 Mul x0 Add Mul x5 x0 -4 Mul Mul atanh x0 x7 Mul pi x6 
Add Mul Mul Mul atanh x0 x7 Mul pi x6 Mul Pow Add x3 asec x0 Add Mul x0 Add Mul x5 x0 -4 -1 Add Mul Mul x0 Add Mul x5 x0 -4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul Add x3 asec x0 log Add x3 asec x0 Add Add Mul x5 x0 -4 Mul x0 x5 Mul Pow Add x3 asec x0 Mul x0 Add Mul x5 x0 -4 Mul Mul pi x6 Mul x7 Pow Add 1 Mul -1 Mul x0 x0 -1 