Mul x4 log Pow Mul sec Add Mul Add x0 -4 x0 exp x0 Add x0 x0 acot sin acos x3 
Mul x4 Mul Mul Pow Mul sec Add Mul Add x0 -4 x0 exp x0 Add x0 x0 Add acot sin acos x3 -1 Mul acot sin acos x3 Add Mul Add x0 x0 Mul Mul tan Add Mul Add x0 -4 x0 exp x0 sec Add Mul Add x0 -4 x0 exp x0 Add Add x0 Add x0 -4 exp x0 Mul sec Add Mul Add x0 -4 x0 exp x0 2 Pow Pow Mul sec Add Mul Add x0 -4 x0 exp x0 Add x0 x0 acot sin acos x3 -1 