csc log Pow sec acoth x3 Mul x0 x0 
Mul Mul Mul -1 cot log Pow sec acoth x3 Mul x0 x0 csc log Pow sec acoth x3 Mul x0 x0 Mul Mul Pow sec acoth x3 Add Mul x0 x0 -1 Mul Mul sec acoth x3 log sec acoth x3 Add x0 x0 Pow Pow sec acoth x3 Mul x0 x0 -1 