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