Add Add x0 Pow Pow x3 sec Pow Pow x0 acoth E Add -4 Mul x0 Add Add x3 E x0 x0 Mul Add -3 Add -3 x0 x0 
Add Add 1 Mul Pow Pow x3 sec Pow Pow x0 acoth E Add -4 Mul x0 Add Add x3 E x0 Add x0 -1 Add Mul x0 Mul Pow x3 Add sec Pow Pow x0 acoth E Add -4 Mul x0 Add Add x3 E x0 -1 Mul Mul x3 log x3 Mul Mul tan Pow Pow x0 acoth E Add -4 Mul x0 Add Add x3 E x0 sec Pow Pow x0 acoth E Add -4 Mul x0 Add Add x3 E x0 Mul Pow Pow x0 acoth E Add Add -4 Mul x0 Add Add x3 E x0 -1 Add Mul Add -4 Mul x0 Add Add x3 E x0 Mul Pow x0 Add acoth E -1 acoth E Mul Mul Pow x0 acoth E log Pow x0 acoth E Add Add Add x3 E x0 x0 Mul Pow x3 sec Pow Pow x0 acoth E Add -4 Mul x0 Add Add x3 E x0 log Pow x3 sec Pow Pow x0 acoth E Add -4 Mul x0 Add Add x3 E x0 Add x0 Add -3 Add -3 x0 