Pow x0 sec atanh Mul Mul pi x0 x4 
Mul Pow x0 Add sec atanh Mul Mul pi x0 x4 -1 Add sec atanh Mul Mul pi x0 x4 Mul Mul x0 log x0 Mul Mul tan atanh Mul Mul pi x0 x4 sec atanh Mul Mul pi x0 x4 Mul Mul x4 pi Pow Add 1 Mul -1 Mul Mul Mul pi x0 x4 Mul Mul pi x0 x4 -1 