sinh Pow x4 Mul atanh x0 Add 1 Mul sin Mul -4 asech x2 x0 
Mul cosh Pow x4 Mul atanh x0 Add 1 Mul sin Mul -4 asech x2 x0 Mul Pow x4 Add Mul atanh x0 Add 1 Mul sin Mul -4 asech x2 x0 -1 Mul Mul x4 log x4 Add Mul Add 1 Mul sin Mul -4 asech x2 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 sin Mul -4 asech x2 