sqrt Pow 1.00009080398202 Pow Mul 2 Add x0 acoth acos x7 x0 
Mul Pow Mul 2 sqrt Pow 1.00009080398202 Pow Mul 2 Add x0 acoth acos x7 x0 -1 Mul Pow 1.00009080398202 Add Pow Mul 2 Add x0 acoth acos x7 x0 -1 Mul 1.00018160384161 Mul Pow Mul 2 Add x0 acoth acos x7 Add x0 -1 Add Mul x0 2 Mul Mul 2 Add x0 acoth acos x7 log Mul 2 Add x0 acoth acos x7 