Mul asinh sec Mul x0 x2 Add x7 Pow Add x2 pi Pow Add 1 Mul x0 -4 x0 
Add Mul Add x7 Pow Add x2 pi Pow Add 1 Mul x0 -4 x0 Mul Mul Mul tan Mul x0 x2 sec Mul x0 x2 x2 Pow sqrt Add 1 Mul sec Mul x0 x2 sec Mul x0 x2 -1 Mul asinh sec Mul x0 x2 Mul Pow Add x2 pi Add Pow Add 1 Mul x0 -4 x0 -1 Mul Mul Add x2 pi log Add x2 pi Mul Pow Add 1 Mul x0 -4 Add x0 -1 Add Mul x0 -4 Mul Add 1 Mul x0 -4 log Add 1 Mul x0 -4 