atan Pow x7 Add acsch x2 Add x0 Add x0 E 
Mul Mul Pow x7 Add Add acsch x2 Add x0 Add x0 E -1 Mul Mul x7 log x7 2 Pow Add 1 Mul Pow x7 Add acsch x2 Add x0 Add x0 E Pow x7 Add acsch x2 Add x0 Add x0 E -1 