Mul log Mul x0 Add pi acsch cosh atan Add x1 Mul x0 -2 Pow x1 acos csc x6 
Mul Pow x1 acos csc x6 Mul Add Add pi acsch cosh atan Add x1 Mul x0 -2 Mul x0 Mul Mul -1 Mul sinh atan Add x1 Mul x0 -2 Mul -2 Pow Add 1 Mul Add x1 Mul x0 -2 Add x1 Mul x0 -2 -1 Pow Mul Mul cosh atan Add x1 Mul x0 -2 cosh atan Add x1 Mul x0 -2 sqrt Add 1 Mul -1 Pow Mul cosh atan Add x1 Mul x0 -2 cosh atan Add x1 Mul x0 -2 -1 -1 Pow Mul x0 Add pi acsch cosh atan Add x1 Mul x0 -2 -1 