atanh Add atanh Mul Add x7 x0 -5 Pow csc x0 Mul acsch x0 Mul Add -4 Mul x0 x0 E 
Mul Add Mul -5 Pow Add 1 Mul -1 Mul Mul Add x7 x0 -5 Mul Add x7 x0 -5 -1 Mul Pow csc x0 Add Mul acsch x0 Mul Add -4 Mul x0 x0 E -1 Add Mul Mul acsch x0 Mul Add -4 Mul x0 x0 E Mul Mul -1 cot x0 csc x0 Mul Mul csc x0 log csc x0 Add Mul Mul Add -4 Mul x0 x0 E Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul acsch x0 Mul E Add x0 x0 Pow Add 1 Mul -1 Mul Add atanh Mul Add x7 x0 -5 Pow csc x0 Mul acsch x0 Mul Add -4 Mul x0 x0 E Add atanh Mul Add x7 x0 -5 Pow csc x0 Mul acsch x0 Mul Add -4 Mul x0 x0 E -1 