tan Pow Pow acot Add x5 5 Add acos Add x0 Mul Add x0 sqrt Mul Add x0 Pow x6 x0 atanh pi x7 x0 -5 
Mul Pow sec Pow Pow acot Add x5 5 Add acos Add x0 Mul Add x0 sqrt Mul Add x0 Pow x6 x0 atanh pi x7 x0 -5 2 Mul Pow Pow acot Add x5 5 Add acos Add x0 Mul Add x0 sqrt Mul Add x0 Pow x6 x0 atanh pi x7 x0 6 Mul -5 Mul Pow acot Add x5 5 Add Add acos Add x0 Mul Add x0 sqrt Mul Add x0 Pow x6 x0 atanh pi x7 x0 -1 Mul Mul acot Add x5 5 log acot Add x5 5 Add Mul -1 Mul Add 1 Mul x7 Add 1 Mul Pow Mul 2 sqrt Mul Add x0 Pow x6 x0 atanh pi -1 Mul atanh pi Add 1 Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow sqrt Add 1 Mul -1 Mul Add x0 Mul Add x0 sqrt Mul Add x0 Pow x6 x0 atanh pi x7 Add x0 Mul Add x0 sqrt Mul Add x0 Pow x6 x0 atanh pi x7 -1 1 