Pow Pow Pow Mul x0 x0 atanh Add Add x0 pi Mul x0 asec Add -3 atanh Add pi x7 0.756802495307928 Pow x0 Add x0 x6 
Mul Pow Pow Pow Mul x0 x0 atanh Add Add x0 pi Mul x0 asec Add -3 atanh Add pi x7 0.756802495307928 Add Pow x0 Add x0 x6 -1 Add Mul Pow x0 Add x0 x6 Mul Pow Pow Mul x0 x0 atanh Add Add x0 pi Mul x0 asec Add -3 atanh Add pi x7 -0.243197504692072 Mul 0.756802495307928 Mul Pow Mul x0 x0 Add atanh Add Add x0 pi Mul x0 asec Add -3 atanh Add pi x7 -1 Add Mul atanh Add Add x0 pi Mul x0 asec Add -3 atanh Add pi x7 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Add 1 asec Add -3 atanh Add pi x7 Pow Add 1 Mul -1 Mul Add Add x0 pi Mul x0 asec Add -3 atanh Add pi x7 Add Add x0 pi Mul x0 asec Add -3 atanh Add pi x7 -1 Mul Mul Pow Pow Mul x0 x0 atanh Add Add x0 pi Mul x0 asec Add -3 atanh Add pi x7 0.756802495307928 log Pow Pow Mul x0 x0 atanh Add Add x0 pi Mul x0 asec Add -3 atanh Add pi x7 0.756802495307928 Mul Pow x0 Add Add x0 x6 -1 Add Add x0 x6 Mul x0 log x0 