sec Pow Mul x0 Pow Pow log coth x4 x0 x0 Mul Add -3 Mul Pow 2 x0 x0 x0 
Mul Mul tan Pow Mul x0 Pow Pow log coth x4 x0 x0 Mul Add -3 Mul Pow 2 x0 x0 x0 sec Pow Mul x0 Pow Pow log coth x4 x0 x0 Mul Add -3 Mul Pow 2 x0 x0 x0 Mul Pow Mul x0 Pow Pow log coth x4 x0 x0 Add Mul Add -3 Mul Pow 2 x0 x0 x0 -1 Add Mul Mul Add -3 Mul Pow 2 x0 x0 x0 Add Pow Pow log coth x4 x0 x0 Mul x0 Mul Pow Pow log coth x4 x0 Add x0 -1 Add Mul x0 Mul Pow log coth x4 Add x0 -1 Mul log coth x4 log log coth x4 Mul Pow log coth x4 x0 log Pow log coth x4 x0 Mul Mul Mul x0 Pow Pow log coth x4 x0 x0 log Mul x0 Pow Pow log coth x4 x0 x0 Add Mul x0 Add Mul x0 Mul Pow 2 Add x0 -1 2.69314718055995 Pow 2 x0 Add -3 Mul Pow 2 x0 x0 