Add Add Mul Add x0 -4 x0 acosh x7 log Pow coth acot asec cbrt Mul x1 -3 csch x0 
Add Add x0 Add x0 -4 Mul Mul Pow coth acot asec cbrt Mul x1 -3 Add csch x0 -1 Mul Mul coth acot asec cbrt Mul x1 -3 log coth acot asec cbrt Mul x1 -3 Mul Mul -1 coth x0 csch x0 Pow Pow coth acot asec cbrt Mul x1 -3 csch x0 -1 