csc Pow sec acoth sech tanh cot x1 x0 
Mul Mul Mul -1 cot Pow sec acoth sech tanh cot x1 x0 csc Pow sec acoth sech tanh cot x1 x0 Mul Pow sec acoth sech tanh cot x1 Add x0 -1 Mul sec acoth sech tanh cot x1 log sec acoth sech tanh cot x1 