Pow atan Mul x6 2 sinh Pow cos x0 x0 
Mul Pow atan Mul x6 2 Add sinh Pow cos x0 x0 -1 Mul Mul atan Mul x6 2 log atan Mul x6 2 Mul cosh Pow cos x0 x0 Mul Pow cos x0 Add x0 -1 Add Mul x0 Mul -1 sin x0 Mul cos x0 log cos x0 