Mul Add x0 acoth E Add Mul Pow 0.785398163397448 x0 cot x7 atanh x4 
Add Add Mul Pow 0.785398163397448 x0 cot x7 atanh x4 Mul Add x0 acoth E Mul cot x7 Mul Pow 0.785398163397448 Add x0 -1 0.543833688126958 