Pow Mul Mul pi Mul -2 x6 Add exp asech x6 x4 Add Mul pi 2 x0 
Mul Pow Mul Mul pi Mul -2 x6 Add exp asech x6 x4 Add Add Mul pi 2 x0 -1 Mul Mul Mul pi Mul -2 x6 Add exp asech x6 x4 log Mul Mul pi Mul -2 x6 Add exp asech x6 x4 