Add -4 atanh Add Add -4 exp Mul Mul x0 Mul acosh acsch x1 Mul x0 0.204147620001286 x0 Mul x0 Mul x0 x0 
Mul Add Mul exp Mul Mul x0 Mul acosh acsch x1 Mul x0 0.204147620001286 x0 Add Mul x0 Add Mul acosh acsch x1 Mul x0 0.204147620001286 Mul x0 Mul acosh acsch x1 0.204147620001286 Mul x0 Mul acosh acsch x1 Mul x0 0.204147620001286 Add Mul x0 x0 Mul x0 Add x0 x0 Pow Add 1 Mul -1 Mul Add Add -4 exp Mul Mul x0 Mul acosh acsch x1 Mul x0 0.204147620001286 x0 Mul x0 Mul x0 x0 Add Add -4 exp Mul Mul x0 Mul acosh acsch x1 Mul x0 0.204147620001286 x0 Mul x0 Mul x0 x0 -1 