Add Mul Pow Add acoth E cos x3 Pow atanh x0 4.11862641298046 Add x0 -2 acos Add 0.523598775598299 x0 
Add Add Mul Add x0 -2 Mul Pow Add acoth E cos x3 Add Pow atanh x0 4.11862641298046 -1 Mul Mul Add acoth E cos x3 log Add acoth E cos x3 Mul Pow atanh x0 3.11862641298046 Mul 4.11862641298046 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add acoth E cos x3 Pow atanh x0 4.11862641298046 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add 0.523598775598299 x0 Add 0.523598775598299 x0 -1 