Mul x0 acosh Mul csch E Add x0 Pow Pow x0 x0 exp Mul 1.73205080756888 Pow acosh Mul atanh x0 x7 -1 
Add acosh Mul csch E Add x0 Pow Pow x0 x0 exp Mul 1.73205080756888 Pow acosh Mul atanh x0 x7 -1 Mul x0 Mul Mul csch E Add 1 Mul Pow Pow x0 x0 Add exp Mul 1.73205080756888 Pow acosh Mul atanh x0 x7 -1 -1 Add Mul exp Mul 1.73205080756888 Pow acosh Mul atanh x0 x7 -1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Pow x0 x0 log Pow x0 x0 Mul exp Mul 1.73205080756888 Pow acosh Mul atanh x0 x7 -1 Mul 1.73205080756888 Mul Pow acosh Mul atanh x0 x7 2 Mul -1 Mul Mul x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul atanh x0 x7 -1 sqrt Add 1 Mul atanh x0 x7 -1 Pow Mul sqrt Add Mul csch E Add x0 Pow Pow x0 x0 exp Mul 1.73205080756888 Pow acosh Mul atanh x0 x7 -1 -1 sqrt Add 1 Mul csch E Add x0 Pow Pow x0 x0 exp Mul 1.73205080756888 Pow acosh Mul atanh x0 x7 -1 -1 