Add Mul x0 Add 5 Add x0 Pow Add x5 Pow x0 Add acos x0 Mul Pow acoth x0 Mul E x7 1.41421356237310 x0 1.54308063481524 
Add Add 5 Add x0 Pow Add x5 Pow x0 Add acos x0 Mul Pow acoth x0 Mul E x7 1.41421356237310 x0 Mul x0 Add 1 Mul Pow Add x5 Pow x0 Add acos x0 Mul Pow acoth x0 Mul E x7 1.41421356237310 Add x0 -1 Add Mul x0 Mul Pow x0 Add Add acos x0 Mul Pow acoth x0 Mul E x7 1.41421356237310 -1 Add Add acos x0 Mul Pow acoth x0 Mul E x7 1.41421356237310 Mul Mul x0 log x0 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul 1.41421356237310 Mul Pow acoth x0 Add Mul E x7 -1 Mul Mul E x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add x5 Pow x0 Add acos x0 Mul Pow acoth x0 Mul E x7 1.41421356237310 log Add x5 Pow x0 Add acos x0 Mul Pow acoth x0 Mul E x7 1.41421356237310 