Pow x0 Mul x0 Mul x0 Mul 2 acos asin asech Mul x4 pi 
Mul Pow x0 Add Mul x0 Mul x0 Mul 2 acos asin asech Mul x4 pi -1 Add Mul x0 Mul x0 Mul 2 acos asin asech Mul x4 pi Mul Mul x0 log x0 Add Mul x0 Mul 2 acos asin asech Mul x4 pi Mul x0 Mul 2 acos asin asech Mul x4 pi 