Add Add Mul x0 Pow sec x0 x6 x0 Add asec Pow acoth x0 2.28552449949418 x0 
Add Add Add Pow sec x0 x6 Mul x0 Mul Pow sec x0 Add x6 -1 Mul x6 Mul tan x0 sec x0 1 Add Mul Mul Pow acoth x0 1.28552449949418 Mul 2.28552449949418 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow acoth x0 2.28552449949418 Pow acoth x0 2.28552449949418 -1 Pow acoth x0 2.28552449949418 Pow acoth x0 2.28552449949418 -1 1 