Add x7 asech cot Pow x7 Mul x0 sqrt Pow Add Pow Mul x0 atanh x0 x0 3 atanh x3 
Mul Mul Mul -1 Pow csc Pow x7 Mul x0 sqrt Pow Add Pow Mul x0 atanh x0 x0 3 atanh x3 2 Mul Pow x7 Add Mul x0 sqrt Pow Add Pow Mul x0 atanh x0 x0 3 atanh x3 -1 Mul Mul x7 log x7 Add sqrt Pow Add Pow Mul x0 atanh x0 x0 3 atanh x3 Mul x0 Mul Pow Mul 2 sqrt Pow Add Pow Mul x0 atanh x0 x0 3 atanh x3 -1 Mul Pow Add Pow Mul x0 atanh x0 x0 3 Add atanh x3 -1 Mul atanh x3 Mul Pow Mul x0 atanh x0 Add x0 -1 Add Mul x0 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 atanh x0 log Mul x0 atanh x0 Pow Mul Mul cot Pow x7 Mul x0 sqrt Pow Add Pow Mul x0 atanh x0 x0 3 atanh x3 cot Pow x7 Mul x0 sqrt Pow Add Pow Mul x0 atanh x0 x0 3 atanh x3 sqrt Add 1 Mul -1 Pow Mul cot Pow x7 Mul x0 sqrt Pow Add Pow Mul x0 atanh x0 x0 3 atanh x3 cot Pow x7 Mul x0 sqrt Pow Add Pow Mul x0 atanh x0 x0 3 atanh x3 -1 -1 