asech atan Pow x0 sqrt Add x4 sec Mul Mul x0 cot x6 pi 
Mul Mul Mul Pow x0 Add sqrt Add x4 sec Mul Mul x0 cot x6 pi -1 Add sqrt Add x4 sec Mul Mul x0 cot x6 pi Mul Mul x0 log x0 Mul Pow Mul 2 sqrt Add x4 sec Mul Mul x0 cot x6 pi -1 Mul Mul tan Mul Mul x0 cot x6 pi sec Mul Mul x0 cot x6 pi Mul pi cot x6 Pow Add 1 Mul Pow x0 sqrt Add x4 sec Mul Mul x0 cot x6 pi Pow x0 sqrt Add x4 sec Mul Mul x0 cot x6 pi -1 Pow Mul Mul atan Pow x0 sqrt Add x4 sec Mul Mul x0 cot x6 pi atan Pow x0 sqrt Add x4 sec Mul Mul x0 cot x6 pi sqrt Add 1 Mul -1 Pow Mul atan Pow x0 sqrt Add x4 sec Mul Mul x0 cot x6 pi atan Pow x0 sqrt Add x4 sec Mul Mul x0 cot x6 pi -1 -1 