Mul Pow Add x0 csch x5 Mul x0 Add x7 -3 acsch atanh Mul -1.01010866590799 x7 
Mul acsch atanh Mul -1.01010866590799 x7 Mul Pow Add x0 csch x5 Add Mul x0 Add x7 -3 -1 Add Mul x0 Add x7 -3 Mul Mul Add x0 csch x5 log Add x0 csch x5 Add x7 -3 