acsch Mul Add Mul Pow x0 Add x3 x7 atanh x5 atanh Mul x0 E Mul -4 E 
Mul Mul -1 Mul Mul -4 E Add Mul atanh x5 Mul Pow x0 Add Add x3 x7 -1 Add x3 x7 Mul E Pow Add 1 Mul -1 Mul Mul x0 E Mul x0 E -1 Pow Mul Mul Mul Add Mul Pow x0 Add x3 x7 atanh x5 atanh Mul x0 E Mul -4 E Mul Add Mul Pow x0 Add x3 x7 atanh x5 atanh Mul x0 E Mul -4 E sqrt Add 1 Mul -1 Pow Mul Mul Add Mul Pow x0 Add x3 x7 atanh x5 atanh Mul x0 E Mul -4 E Mul Add Mul Pow x0 Add x3 x7 atanh x5 atanh Mul x0 E Mul -4 E -1 -1 