Mul sin x0 Mul -4 Mul Pow x4 atanh Add asech pi x0 x7 
Add Mul Mul -4 Mul Pow x4 atanh Add asech pi x0 x7 cos x0 Mul sin x0 Mul -4 Mul x7 Mul Pow x4 Add atanh Add asech pi x0 -1 Mul Mul x4 log x4 Pow Add 1 Mul -1 Mul Add asech pi x0 Add asech pi x0 -1 