Add Add Pow Mul x0 x0 Add Pow Pow Add x3 Add -3 x0 4 2 asec x5 Pow x5 sqrt acoth x0 x0 
Add Add Mul Pow Mul x0 x0 Add Add Pow Pow Add x3 Add -3 x0 4 2 asec x5 -1 Add Mul Add Pow Pow Add x3 Add -3 x0 4 2 asec x5 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Pow Add x3 Add -3 x0 4 Mul 2 Mul Pow Add x3 Add -3 x0 3 4 Mul Pow x5 Add sqrt acoth x0 -1 Mul Mul x5 log x5 Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 1 