Add Add acoth x4 acos x0 Pow asinh Add Mul 2 x0 x4 Add Mul x6 x5 acoth E 
Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow asinh Add Mul 2 x0 x4 Add Add Mul x6 x5 acoth E -1 Mul Add Mul x6 x5 acoth E Mul 2 Pow sqrt Add 1 Mul Add Mul 2 x0 x4 Add Mul 2 x0 x4 -1 