Mul tan x0 Mul x0 Mul Pow Pow Pow -1 x1 cot cosh x0 x0 Mul acos pi 4 
Add Mul Mul x0 Mul Pow Pow Pow -1 x1 cot cosh x0 x0 Mul acos pi 4 Pow sec x0 2 Mul tan x0 Add Mul Pow Pow Pow -1 x1 cot cosh x0 x0 Mul acos pi 4 Mul x0 Mul Mul acos pi 4 Mul Pow Pow Pow -1 x1 cot cosh x0 Add x0 -1 Add Mul x0 Mul Pow Pow -1 x1 Add cot cosh x0 -1 Mul Mul Pow -1 x1 log Pow -1 x1 Mul Mul -1 Pow csc cosh x0 2 sinh x0 Mul Pow Pow -1 x1 cot cosh x0 log Pow Pow -1 x1 cot cosh x0 