Mul Pow Add sqrt x6 Pow acoth Mul Mul x6 x0 x0 Mul x6 Mul Mul x5 x0 x0 Add -1 x0 x0 
Add Mul x0 Mul Pow Add sqrt x6 Pow acoth Mul Mul x6 x0 x0 Mul x6 Mul Mul x5 x0 x0 Add Add -1 x0 -1 Add Mul Add -1 x0 Mul Pow acoth Mul Mul x6 x0 x0 Add Mul x6 Mul Mul x5 x0 x0 -1 Add Mul Mul x6 Mul Mul x5 x0 x0 Mul Add Mul x0 x6 Mul x6 x0 Pow Add 1 Mul -1 Mul Mul Mul x6 x0 x0 Mul Mul x6 x0 x0 -1 Mul Mul acoth Mul Mul x6 x0 x0 log acoth Mul Mul x6 x0 x0 Mul x6 Add Mul x0 x5 Mul x5 x0 Mul Add sqrt x6 Pow acoth Mul Mul x6 x0 x0 Mul x6 Mul Mul x5 x0 x0 log Add sqrt x6 Pow acoth Mul Mul x6 x0 x0 Mul x6 Mul Mul x5 x0 x0 Pow Add sqrt x6 Pow acoth Mul Mul x6 x0 x0 Mul x6 Mul Mul x5 x0 x0 Add -1 x0 