Add Add atan Pow acoth x0 Add x6 x3 1.76274717403909 Add Mul asin acos acoth sech x0 2 cot E 
Add Mul Mul Pow acoth x0 Add Add x6 x3 -1 Mul Add x6 x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow acoth x0 Add x6 x3 Pow acoth x0 Add x6 x3 -1 Mul 2 Mul Mul -1 Mul Mul Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul sech x0 sech x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth sech x0 acoth sech x0 -1 Pow sqrt Add 1 Mul -1 Mul acos acoth sech x0 acos acoth sech x0 -1 