tanh Add x0 Pow x0 Pow Pow cot tan Mul Add x1 8 atan x3 x0 Add -2 sqrt Mul x0 x1 
Mul Pow sech Add x0 Pow x0 Pow Pow cot tan Mul Add x1 8 atan x3 x0 Add -2 sqrt Mul x0 x1 2 Add 1 Mul Pow x0 Add Pow Pow cot tan Mul Add x1 8 atan x3 x0 Add -2 sqrt Mul x0 x1 -1 Add Pow Pow cot tan Mul Add x1 8 atan x3 x0 Add -2 sqrt Mul x0 x1 Mul Mul x0 log x0 Mul Pow Pow cot tan Mul Add x1 8 atan x3 x0 Add Add -2 sqrt Mul x0 x1 -1 Add Mul Add -2 sqrt Mul x0 x1 Mul Pow cot tan Mul Add x1 8 atan x3 Add x0 -1 Mul cot tan Mul Add x1 8 atan x3 log cot tan Mul Add x1 8 atan x3 Mul Mul Pow cot tan Mul Add x1 8 atan x3 x0 log Pow cot tan Mul Add x1 8 atan x3 x0 Mul Pow Mul 2 sqrt Mul x0 x1 -1 x1 