Pow asech x1 Add exp atanh Mul pi x0 Pow x1 Mul -4 x7 
Mul Pow asech x1 Add Add exp atanh Mul pi x0 Pow x1 Mul -4 x7 -1 Mul Mul asech x1 log asech x1 Mul exp atanh Mul pi x0 Mul pi Pow Add 1 Mul -1 Mul Mul pi x0 Mul pi x0 -1 