Add Pow acoth Mul Pow Mul x0 x0 Add 3 x6 x3 Add x0 1 E 
Mul Pow acoth Mul Pow Mul x0 x0 Add 3 x6 x3 Add Add x0 1 -1 Add Mul Add x0 1 Mul Mul x3 Mul Pow Mul x0 x0 Add Add 3 x6 -1 Mul Add 3 x6 Add x0 x0 Pow Add 1 Mul -1 Mul Mul Pow Mul x0 x0 Add 3 x6 x3 Mul Pow Mul x0 x0 Add 3 x6 x3 -1 Mul acoth Mul Pow Mul x0 x0 Add 3 x6 x3 log acoth Mul Pow Mul x0 x0 Add 3 x6 x3 