tanh Pow Mul Add acos x0 0.850918128239322 0.0156250000000000 x0 
Mul Pow sech Pow Mul Add acos x0 0.850918128239322 0.0156250000000000 x0 2 Mul Pow Mul Add acos x0 0.850918128239322 0.0156250000000000 Add x0 -1 Add Mul x0 Mul 0.0156250000000000 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add acos x0 0.850918128239322 0.0156250000000000 log Mul Add acos x0 0.850918128239322 0.0156250000000000 