Add Pow Mul x0 x0 x0 Add sec x0 Add Pow exp x0 5 Add Mul Pow cbrt acoth x7 x0 x0 1 
Add Mul Pow Mul x0 x0 Add x0 -1 Add Mul x0 Add x0 x0 Mul Mul x0 x0 log Mul x0 x0 Add Mul tan x0 sec x0 Add Mul Pow exp x0 4 Mul 5 exp x0 Add Mul x0 Mul Pow cbrt acoth x7 Add x0 -1 Mul cbrt acoth x7 log cbrt acoth x7 Pow cbrt acoth x7 x0 