Pow Add 3 Add sec asech x2 log x0 Add Mul x0 x3 -4 
Mul Pow Add 3 Add sec asech x2 log x0 Add Add Mul x0 x3 -4 -1 Add Mul Add Mul x0 x3 -4 Pow x0 -1 Mul Mul Add 3 Add sec asech x2 log x0 log Add 3 Add sec asech x2 log x0 x3 