Mul asec x7 Pow acsc Mul 1.17520119364380 sech x1 Mul x0 x0 
Mul asec x7 Mul Pow acsc Mul 1.17520119364380 sech x1 Add Mul x0 x0 -1 Mul Mul acsc Mul 1.17520119364380 sech x1 log acsc Mul 1.17520119364380 sech x1 Add x0 x0 