Add sin acoth Mul Pow Add x4 exp x0 x0 Pow sqrt sec x0 Mul Mul x0 x0 -4 Add E pi 
Mul cos acoth Mul Pow Add x4 exp x0 x0 Pow sqrt sec x0 Mul Mul x0 x0 -4 Mul Add Mul Pow sqrt sec x0 Mul Mul x0 x0 -4 Mul Pow Add x4 exp x0 Add x0 -1 Add Mul x0 exp x0 Mul Add x4 exp x0 log Add x4 exp x0 Mul Pow Add x4 exp x0 x0 Mul Pow sqrt sec x0 Add Mul Mul x0 x0 -4 -1 Add Mul Mul Mul x0 x0 -4 Mul Pow Mul 2 sqrt sec x0 -1 Mul tan x0 sec x0 Mul Mul sqrt sec x0 log sqrt sec x0 Mul -4 Add x0 x0 Pow Add 1 Mul -1 Mul Mul Pow Add x4 exp x0 x0 Pow sqrt sec x0 Mul Mul x0 x0 -4 Mul Pow Add x4 exp x0 x0 Pow sqrt sec x0 Mul Mul x0 x0 -4 -1 