Add Mul x0 Pow acoth x3 Add 0.756802495307928 Pow csc x0 0.500000000000000 x0 
Add Add Pow acoth x3 Add 0.756802495307928 Pow csc x0 0.500000000000000 Mul x0 Mul Pow acoth x3 Add Add 0.756802495307928 Pow csc x0 0.500000000000000 -1 Mul Mul acoth x3 log acoth x3 Mul Pow csc x0 -0.500000000000000 Mul 0.500000000000000 Mul Mul -1 cot x0 csc x0 1 