Pow Mul x0 x4 Pow Add Mul x0 asech pi x0 exp x0 
Mul Pow Mul x0 x4 Add Pow Add Mul x0 asech pi x0 exp x0 -1 Add Mul Pow Add Mul x0 asech pi x0 exp x0 x4 Mul Mul Mul x0 x4 log Mul x0 x4 Mul Pow Add Mul x0 asech pi x0 Add exp x0 -1 Add Mul exp x0 Add asech pi 1 Mul Mul Add Mul x0 asech pi x0 log Add Mul x0 asech pi x0 exp x0 