Mul Pow x0 asech exp Pow Add x0 -2 Add x0 x0 acoth Add Add x3 3 0.995054753686730 
Mul acoth Add Add x3 3 0.995054753686730 Mul Pow x0 Add asech exp Pow Add x0 -2 Add x0 x0 -1 Add asech exp Pow Add x0 -2 Add x0 x0 Mul Mul x0 log x0 Mul Mul exp Pow Add x0 -2 Add x0 x0 Mul Pow Add x0 -2 Add Add x0 x0 -1 Add Add x0 x0 Mul Mul Add x0 -2 log Add x0 -2 2 Pow Mul Mul exp Pow Add x0 -2 Add x0 x0 exp Pow Add x0 -2 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul exp Pow Add x0 -2 Add x0 x0 exp Pow Add x0 -2 Add x0 x0 -1 -1 