Pow Pow 2 acos x0 Mul asinh acoth pi x4 
Mul Pow Pow 2 acos x0 Add Mul asinh acoth pi x4 -1 Mul Mul asinh acoth pi x4 Mul Pow 2 Add acos x0 -1 Mul 2.69314718055995 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 