atan Add x0 Mul Add Add x7 x4 x0 Mul Mul -4 Mul Add Mul -3 x0 Pow x0 x0 cosh acoth x0 1.17520119364380 
Mul Add 1 Add Mul Mul -4 Mul Add Mul -3 x0 Pow x0 x0 cosh acoth x0 1.17520119364380 Mul Add Add x7 x4 x0 Mul 1.17520119364380 Mul -4 Add Mul cosh acoth x0 Add -3 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Add Mul -3 x0 Pow x0 x0 Mul sinh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add x0 Mul Add Add x7 x4 x0 Mul Mul -4 Mul Add Mul -3 x0 Pow x0 x0 cosh acoth x0 1.17520119364380 Add x0 Mul Add Add x7 x4 x0 Mul Mul -4 Mul Add Mul -3 x0 Pow x0 x0 cosh acoth x0 1.17520119364380 -1 