Pow csc Mul x0 -4 asinh Mul x0 asin atanh Add Add x0 Pow acoth x0 Mul x0 x4 1 
Mul Pow csc Mul x0 -4 Add asinh Mul x0 asin atanh Add Add x0 Pow acoth x0 Mul x0 x4 1 -1 Add Mul asinh Mul x0 asin atanh Add Add x0 Pow acoth x0 Mul x0 x4 1 Mul Mul Mul -1 cot Mul x0 -4 csc Mul x0 -4 -4 Mul Mul csc Mul x0 -4 log csc Mul x0 -4 Mul Add asin atanh Add Add x0 Pow acoth x0 Mul x0 x4 1 Mul x0 Mul Mul Add 1 Mul Pow acoth x0 Add Mul x0 x4 -1 Add Mul Mul x0 x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 x4 Pow Add 1 Mul -1 Mul Add Add x0 Pow acoth x0 Mul x0 x4 1 Add Add x0 Pow acoth x0 Mul x0 x4 1 -1 Pow sqrt Add 1 Mul -1 Mul atanh Add Add x0 Pow acoth x0 Mul x0 x4 1 atanh Add Add x0 Pow acoth x0 Mul x0 x4 1 -1 Pow sqrt Add 1 Mul Mul x0 asin atanh Add Add x0 Pow acoth x0 Mul x0 x4 1 Mul x0 asin atanh Add Add x0 Pow acoth x0 Mul x0 x4 1 -1 