acoth Mul Mul asinh exp x4 Add x6 Add tan tan x0 x5 -1 
Mul Mul -1 Mul asinh exp x4 Mul Pow sec tan x0 2 Pow sec x0 2 Pow Add 1 Mul -1 Mul Mul Mul asinh exp x4 Add x6 Add tan tan x0 x5 -1 Mul Mul asinh exp x4 Add x6 Add tan tan x0 x5 -1 -1 