Mul exp x0 Pow Pow acoth sec x0 x1 Add x5 Mul 2 x0 
Add Mul Pow Pow acoth sec x0 x1 Add x5 Mul 2 x0 exp x0 Mul exp x0 Mul Pow Pow acoth sec x0 x1 Add Add x5 Mul 2 x0 -1 Add Mul Add x5 Mul 2 x0 Mul Pow acoth sec x0 Add x1 -1 Mul x1 Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul sec x0 sec x0 -1 Mul Mul Pow acoth sec x0 x1 log Pow acoth sec x0 x1 2 