Add Mul Mul 2 asech Pow Mul atanh cosh x0 atanh x2 -2 x0 Mul x0 sinh x0 
Add Add Mul x0 Mul 2 Mul Mul Pow Mul atanh cosh x0 atanh x2 3 Mul -2 Mul atanh x2 Mul sinh x0 Pow Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Pow Mul Mul Pow Mul atanh cosh x0 atanh x2 -2 Pow Mul atanh cosh x0 atanh x2 -2 sqrt Add 1 Mul -1 Pow Mul Pow Mul atanh cosh x0 atanh x2 -2 Pow Mul atanh cosh x0 atanh x2 -2 -1 -1 Mul 2 asech Pow Mul atanh cosh x0 atanh x2 -2 Add sinh x0 Mul x0 cosh x0 