Mul cosh Mul x0 Add x3 Mul coth acot Mul x0 Mul x3 Add x0 x0 2 Mul x2 tan Pow acsc x1 -4 
Mul Mul x2 tan Pow acsc x1 -4 Mul sinh Mul x0 Add x3 Mul coth acot Mul x0 Mul x3 Add x0 x0 2 Add Add x3 Mul coth acot Mul x0 Mul x3 Add x0 x0 2 Mul x0 Mul 2 Mul Mul -1 Pow csch acot Mul x0 Mul x3 Add x0 x0 2 Mul -1 Mul Add Mul x3 Add x0 x0 Mul x0 Mul x3 2 Pow Add 1 Mul Mul x0 Mul x3 Add x0 x0 Mul x0 Mul x3 Add x0 x0 -1 