Mul log cos Add x0 x1 sec Mul Mul 2 Mul Add atanh Pow x0 -4 x0 x0 x0 
Add Mul sec Mul Mul 2 Mul Add atanh Pow x0 -4 x0 x0 x0 Mul Mul -1 sin Add x0 x1 Pow cos Add x0 x1 -1 Mul log cos Add x0 x1 Mul Mul tan Mul Mul 2 Mul Add atanh Pow x0 -4 x0 x0 x0 sec Mul Mul 2 Mul Add atanh Pow x0 -4 x0 x0 x0 Add Mul x0 Mul 2 Add Mul x0 Add Mul Mul Pow x0 5 -4 Pow Add 1 Mul -1 Mul Pow x0 -4 Pow x0 -4 -1 1 Add atanh Pow x0 -4 x0 Mul 2 Mul Add atanh Pow x0 -4 x0 x0 