Mul x0 Add Pow acos Mul x0 4.64209261593433 acoth x3 x0 
Add Add Pow acos Mul x0 4.64209261593433 acoth x3 x0 Mul x0 Add Mul Pow acos Mul x0 4.64209261593433 Add acoth x3 -1 Mul acoth x3 Mul -1 Mul 4.64209261593433 Pow sqrt Add 1 Mul -1 Mul Mul x0 4.64209261593433 Mul x0 4.64209261593433 -1 1 