Mul Pow x2 sqrt x0 Mul asech x0 Pow sinh x0 Mul asech x3 Mul x0 x2 
Add Mul Mul asech x0 Pow sinh x0 Mul asech x3 Mul x0 x2 Mul Pow x2 Add sqrt x0 -1 Mul Mul x2 log x2 Pow Mul 2 sqrt x0 -1 Mul Pow x2 sqrt x0 Add Mul Pow sinh x0 Mul asech x3 Mul x0 x2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul Pow sinh x0 Add Mul asech x3 Mul x0 x2 -1 Add Mul Mul asech x3 Mul x0 x2 cosh x0 Mul Mul sinh x0 log sinh x0 Mul asech x3 x2 