Mul Pow Add tan x0 Mul Pow acot x0 13 x7 cosh x0 Mul x0 x0 
Add Mul Mul x0 x0 Mul Pow Add tan x0 Mul Pow acot x0 13 x7 Add cosh x0 -1 Add Mul cosh x0 Add Pow sec x0 2 Mul x7 Mul Pow acot x0 12 Mul 13 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Add tan x0 Mul Pow acot x0 13 x7 log Add tan x0 Mul Pow acot x0 13 x7 sinh x0 Mul Pow Add tan x0 Mul Pow acot x0 13 x7 cosh x0 Add x0 x0 