sin tan Mul x0 sqrt sec Mul acoth x0 Mul Mul -5 Add x1 5 4 
Mul cos tan Mul x0 sqrt sec Mul acoth x0 Mul Mul -5 Add x1 5 4 Mul Pow sec Mul x0 sqrt sec Mul acoth x0 Mul Mul -5 Add x1 5 4 2 Add sqrt sec Mul acoth x0 Mul Mul -5 Add x1 5 4 Mul x0 Mul Pow Mul 2 sqrt sec Mul acoth x0 Mul Mul -5 Add x1 5 4 -1 Mul Mul tan Mul acoth x0 Mul Mul -5 Add x1 5 4 sec Mul acoth x0 Mul Mul -5 Add x1 5 4 Mul Mul Mul -5 Add x1 5 4 Pow Add 1 Mul -1 Mul x0 x0 -1 