cos log Mul x0 Mul cot x0 Pow sec x0 Mul acos acosh x0 4 
Mul Mul -1 sin log Mul x0 Mul cot x0 Pow sec x0 Mul acos acosh x0 4 Mul Add Mul cot x0 Pow sec x0 Mul acos acosh x0 4 Mul x0 Add Mul Pow sec x0 Mul acos acosh x0 4 Mul -1 Pow csc x0 2 Mul cot x0 Mul Pow sec x0 Add Mul acos acosh x0 4 -1 Add Mul Mul acos acosh x0 4 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul 4 Mul -1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul acosh x0 acosh x0 -1 Pow Mul x0 Mul cot x0 Pow sec x0 Mul acos acosh x0 4 -1 