acoth Add x0 Add x0 Mul x1 Pow Mul x0 sech sech x4 3 
Mul Add 1 Add 1 Mul x1 Mul Pow Mul x0 sech sech x4 2 Mul 3 sech sech x4 Pow Add 1 Mul -1 Mul Add x0 Add x0 Mul x1 Pow Mul x0 sech sech x4 3 Add x0 Add x0 Mul x1 Pow Mul x0 sech sech x4 3 -1 