cosh Pow acos Mul -4 asinh Add x3 E Pow Add E 1 x0 
Mul sinh Pow acos Mul -4 asinh Add x3 E Pow Add E 1 x0 Mul Pow acos Mul -4 asinh Add x3 E Add Pow Add E 1 x0 -1 Mul Mul acos Mul -4 asinh Add x3 E log acos Mul -4 asinh Add x3 E Mul Pow Add E 1 Add x0 -1 Mul Add E 1 log Add E 1 