Add x0 sin acot Pow Pow Add atanh Add x0 sqrt exp x5 3 cosh x0 sinh Pow x3 -1 
Add 1 Mul cos acot Pow Pow Add atanh Add x0 sqrt exp x5 3 cosh x0 sinh Pow x3 -1 Mul -1 Mul Mul Pow Pow Add atanh Add x0 sqrt exp x5 3 cosh x0 Add sinh Pow x3 -1 -1 Mul sinh Pow x3 -1 Mul Pow Add atanh Add x0 sqrt exp x5 3 Add cosh x0 -1 Add Mul cosh x0 Pow Add 1 Mul -1 Mul Add x0 sqrt exp x5 Add x0 sqrt exp x5 -1 Mul Mul Add atanh Add x0 sqrt exp x5 3 log Add atanh Add x0 sqrt exp x5 3 sinh x0 Pow Add 1 Mul Pow Pow Add atanh Add x0 sqrt exp x5 3 cosh x0 sinh Pow x3 -1 Pow Pow Add atanh Add x0 sqrt exp x5 3 cosh x0 sinh Pow x3 -1 -1 