Add Add Mul x0 Mul acoth Add 4 Add x0 csch E 1.24904577239825 Mul x7 Add x3 x3 Pow sech asinh x0 x0 
Add Add Mul acoth Add 4 Add x0 csch E 1.24904577239825 Mul x0 Mul 1.24904577239825 Pow Add 1 Mul -1 Mul Add 4 Add x0 csch E Add 4 Add x0 csch E -1 Mul Pow sech asinh x0 Add x0 -1 Add Mul x0 Mul Mul tanh asinh x0 Mul -1 sech asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul sech asinh x0 log sech asinh x0 