Pow cosh coth acos x2 Pow cosh asinh x0 Mul Mul x0 4 5.15782128234958 
Mul Pow cosh coth acos x2 Add Pow cosh asinh x0 Mul Mul x0 4 5.15782128234958 -1 Mul Mul cosh coth acos x2 log cosh coth acos x2 Mul Pow cosh asinh x0 Add Mul Mul x0 4 5.15782128234958 -1 Add Mul Mul Mul x0 4 5.15782128234958 Mul sinh asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul cosh asinh x0 log cosh asinh x0 9.15782128234958 