Add Add Pow Pow x0 -3 x6 acoth Add Add x0 Mul x0 Pow Mul x0 2 16 x0 E 
Add Mul Pow Pow x0 -3 Add x6 -1 Mul x6 Mul Pow x0 4 -3 Mul Add Add 1 Add Pow Mul x0 2 16 Mul x0 Mul Pow Mul x0 2 15 18 1 Pow Add 1 Mul -1 Mul Add Add x0 Mul x0 Pow Mul x0 2 16 x0 Add Add x0 Mul x0 Pow Mul x0 2 16 x0 -1 