Add Mul asech Mul x0 atanh Mul 4 x6 sinh x0 x6 
Add Mul sinh x0 Mul atanh Mul 4 x6 Pow Mul Mul Mul x0 atanh Mul 4 x6 Mul x0 atanh Mul 4 x6 sqrt Add 1 Mul -1 Pow Mul Mul x0 atanh Mul 4 x6 Mul x0 atanh Mul 4 x6 -1 -1 Mul asech Mul x0 atanh Mul 4 x6 cosh x0 