Add -0.785398163397448 atanh Add cot Pow acoth x3 x0 sech x0 
Mul Add Mul Mul -1 Pow csc Pow acoth x3 x0 2 Mul Pow acoth x3 Add x0 -1 Mul acoth x3 log acoth x3 Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul Add cot Pow acoth x3 x0 sech x0 Add cot Pow acoth x3 x0 sech x0 -1 