Add Mul x0 x7 Pow Mul Pow Mul -1.17520119364380 x0 Pow acoth x3 Mul asech pi Pow Add -2 Add x0 x2 E x6 Add x0 x0 
Add x7 Mul Pow Mul Pow Mul -1.17520119364380 x0 Pow acoth x3 Mul asech pi Pow Add -2 Add x0 x2 E x6 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul x6 Mul Pow Mul -1.17520119364380 x0 Add Pow acoth x3 Mul asech pi Pow Add -2 Add x0 x2 E -1 Add Mul Pow acoth x3 Mul asech pi Pow Add -2 Add x0 x2 E -1.17520119364380 Mul Mul Mul -1.17520119364380 x0 log Mul -1.17520119364380 x0 Mul Pow acoth x3 Add Mul asech pi Pow Add -2 Add x0 x2 E -1 Mul Mul acoth x3 log acoth x3 Mul asech pi Mul Pow Add -2 Add x0 x2 Add E -1 E Mul Mul Mul Pow Mul -1.17520119364380 x0 Pow acoth x3 Mul asech pi Pow Add -2 Add x0 x2 E x6 log Mul Pow Mul -1.17520119364380 x0 Pow acoth x3 Mul asech pi Pow Add -2 Add x0 x2 E x6 2 