acoth Pow Mul 256 acot Mul x0 tan Mul x3 atanh Add x0 Mul Mul x4 x0 x7 x6 
Mul Mul Pow Mul 256 acot Mul x0 tan Mul x3 atanh Add x0 Mul Mul x4 x0 x7 Add x6 -1 Mul x6 Mul 256 Mul -1 Mul Add tan Mul x3 atanh Add x0 Mul Mul x4 x0 x7 Mul x0 Mul Pow sec Mul x3 atanh Add x0 Mul Mul x4 x0 x7 2 Mul x3 Mul Add 1 Mul x7 x4 Pow Add 1 Mul -1 Mul Add x0 Mul Mul x4 x0 x7 Add x0 Mul Mul x4 x0 x7 -1 Pow Add 1 Mul Mul x0 tan Mul x3 atanh Add x0 Mul Mul x4 x0 x7 Mul x0 tan Mul x3 atanh Add x0 Mul Mul x4 x0 x7 -1 Pow Add 1 Mul -1 Mul Pow Mul 256 acot Mul x0 tan Mul x3 atanh Add x0 Mul Mul x4 x0 x7 x6 Pow Mul 256 acot Mul x0 tan Mul x3 atanh Add x0 Mul Mul x4 x0 x7 x6 -1 