atanh Add Pow x0 Add x0 x0 Add x4 sinh acot exp atan Pow x0 Add x0 E 
Mul Add Mul Pow x0 Add Add x0 x0 -1 Add Add x0 x0 Mul Mul x0 log x0 2 Mul cosh acot exp atan Pow x0 Add x0 E Mul -1 Mul Mul exp atan Pow x0 Add x0 E Mul Mul Pow x0 Add Add x0 E -1 Add Add x0 E Mul x0 log x0 Pow Add 1 Mul Pow x0 Add x0 E Pow x0 Add x0 E -1 Pow Add 1 Mul exp atan Pow x0 Add x0 E exp atan Pow x0 Add x0 E -1 Pow Add 1 Mul -1 Mul Add Pow x0 Add x0 x0 Add x4 sinh acot exp atan Pow x0 Add x0 E Add Pow x0 Add x0 x0 Add x4 sinh acot exp atan Pow x0 Add x0 E -1 