Pow acos Mul cosh Mul x0 Add atanh x0 4 -1 Add cosh Mul Mul x0 x0 cot Mul x0 x0 x7 
Mul Pow acos Mul cosh Mul x0 Add atanh x0 4 -1 Add Add cosh Mul Mul x0 x0 cot Mul x0 x0 x7 -1 Add Mul Add cosh Mul Mul x0 x0 cot Mul x0 x0 x7 Mul -1 Mul Mul -1 Mul sinh Mul x0 Add atanh x0 4 Add Add atanh x0 4 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul cosh Mul x0 Add atanh x0 4 -1 Mul cosh Mul x0 Add atanh x0 4 -1 -1 Mul Mul acos Mul cosh Mul x0 Add atanh x0 4 -1 log acos Mul cosh Mul x0 Add atanh x0 4 -1 Mul sinh Mul Mul x0 x0 cot Mul x0 x0 Add Mul cot Mul x0 x0 Add x0 x0 Mul Mul x0 x0 Mul Mul -1 Pow csc Mul x0 x0 2 Add x0 x0 