Mul asech x0 Pow Add Add Pow Add x7 x0 x0 atan Mul x0 pi x0 -3 
Add Mul Pow Add Add Pow Add x7 x0 x0 atan Mul x0 pi x0 -3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul Pow Add Add Pow Add x7 x0 x0 atan Mul x0 pi x0 4 Mul -3 Add Add Mul Pow Add x7 x0 Add x0 -1 Add x0 Mul Add x7 x0 log Add x7 x0 Mul pi Pow Add 1 Mul Mul x0 pi Mul x0 pi -1 1 