Add x0 asin Add Add Mul Pow Mul Mul acoth x0 Pow x7 Mul x1 csch x3 Mul x0 x4 x0 x0 x0 Add x0 x0 
Add 1 Mul Add Add Add Mul x0 Mul Pow Mul Mul acoth x0 Pow x7 Mul x1 csch x3 Mul x0 x4 Add x0 -1 Add Mul x0 Add Mul Mul x0 x4 Mul Pow x7 Mul x1 csch x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 Pow x7 Mul x1 csch x3 x4 Mul Mul Mul acoth x0 Pow x7 Mul x1 csch x3 Mul x0 x4 log Mul Mul acoth x0 Pow x7 Mul x1 csch x3 Mul x0 x4 Pow Mul Mul acoth x0 Pow x7 Mul x1 csch x3 Mul x0 x4 x0 1 2 Pow sqrt Add 1 Mul -1 Mul Add Add Mul Pow Mul Mul acoth x0 Pow x7 Mul x1 csch x3 Mul x0 x4 x0 x0 x0 Add x0 x0 Add Add Mul Pow Mul Mul acoth x0 Pow x7 Mul x1 csch x3 Mul x0 x4 x0 x0 x0 Add x0 x0 -1 