Mul x2 Pow Add Add x0 x0 Mul x4 Mul x0 Pow sech asinh Add 3 E x0 cosh x0 
Mul x2 Mul Pow Add Add x0 x0 Mul x4 Mul x0 Pow sech asinh Add 3 E x0 Add cosh x0 -1 Add Mul cosh x0 Add 2 Mul x4 Add Pow sech asinh Add 3 E x0 Mul x0 Mul Pow sech asinh Add 3 E Add x0 -1 Mul sech asinh Add 3 E log sech asinh Add 3 E Mul Mul Add Add x0 x0 Mul x4 Mul x0 Pow sech asinh Add 3 E x0 log Add Add x0 x0 Mul x4 Mul x0 Pow sech asinh Add 3 E x0 sinh x0 