Pow Add x1 acot x0 Mul Mul x0 x0 Add sec x0 cosh x0 
Mul Pow Add x1 acot x0 Add Mul Mul x0 x0 Add sec x0 cosh x0 -1 Add Mul Mul Mul x0 x0 Add sec x0 cosh x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Add x1 acot x0 log Add x1 acot x0 Add Mul Add sec x0 cosh x0 Add x0 x0 Mul Mul x0 x0 Add Mul tan x0 sec x0 sinh x0 