atan Add x0 Add Mul x6 x0 Pow acosh Add Mul x5 4 cot Mul Add pi 5 pi x4 
Mul Add 1 x6 Pow Add 1 Mul Add x0 Add Mul x6 x0 Pow acosh Add Mul x5 4 cot Mul Add pi 5 pi x4 Add x0 Add Mul x6 x0 Pow acosh Add Mul x5 4 cot Mul Add pi 5 pi x4 -1 