Mul Mul Pow acoth Add x7 Pow x4 x0 Add Mul x1 sqrt x2 sqrt x0 1.44224957030741 x4 
Mul x4 Mul 1.44224957030741 Mul Pow acoth Add x7 Pow x4 x0 Add Add Mul x1 sqrt x2 sqrt x0 -1 Add Mul Add Mul x1 sqrt x2 sqrt x0 Mul Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow Add 1 Mul -1 Mul Add x7 Pow x4 x0 Add x7 Pow x4 x0 -1 Mul Mul acoth Add x7 Pow x4 x0 log acoth Add x7 Pow x4 x0 Pow Mul 2 sqrt x0 -1 