Pow Mul exp x0 x0 Mul exp Add 1.17520119364380 pi x0 
Mul Pow Mul exp x0 x0 Add Mul exp Add 1.17520119364380 pi x0 -1 Add Mul Mul exp Add 1.17520119364380 pi x0 Add Mul x0 exp x0 exp x0 Mul Mul Mul exp x0 x0 log Mul exp x0 x0 exp Add 1.17520119364380 pi 