Mul Mul Add atanh x6 Add Mul Mul -3 cos x0 x0 Mul Add asech x6 cos x0 x0 x0 sqrt Mul x4 pi 
Mul sqrt Mul x4 pi Add Mul x0 Add Add Mul x0 Mul -3 Mul -1 sin x0 Mul -3 cos x0 Add Mul x0 Mul -1 sin x0 Add asech x6 cos x0 Add atanh x6 Add Mul Mul -3 cos x0 x0 Mul Add asech x6 cos x0 x0 