Add asec Mul x0 Mul pi Mul Mul Pow Mul x0 sqrt x6 -2 4 pi tanh x4 
Mul Add Mul pi Mul Mul Pow Mul x0 sqrt x6 -2 4 pi Mul x0 Mul pi Mul pi Mul 4 Mul Pow Mul x0 sqrt x6 3 Mul -2 sqrt x6 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul pi Mul Mul Pow Mul x0 sqrt x6 -2 4 pi Mul x0 Mul pi Mul Mul Pow Mul x0 sqrt x6 -2 4 pi -1 Mul x0 Mul pi Mul Mul Pow Mul x0 sqrt x6 -2 4 pi Mul x0 Mul pi Mul Mul Pow Mul x0 sqrt x6 -2 4 pi -1 