atanh Add Mul Add acsch Add Mul x0 exp x0 5 Mul log x0 E x0 x4 
Mul Add Mul x0 Add Mul Mul -1 Add exp x0 Mul x0 exp x0 Pow Mul Mul Add Mul x0 exp x0 5 Add Mul x0 exp x0 5 sqrt Add 1 Mul -1 Pow Mul Add Mul x0 exp x0 5 Add Mul x0 exp x0 5 -1 -1 Mul E Pow x0 -1 Add acsch Add Mul x0 exp x0 5 Mul log x0 E Pow Add 1 Mul -1 Mul Add Mul Add acsch Add Mul x0 exp x0 5 Mul log x0 E x0 x4 Add Mul Add acsch Add Mul x0 exp x0 5 Mul log x0 E x0 x4 -1 