Pow Add Pow Add x5 x0 Mul acot exp x0 Mul Pow x0 asech x3 x0 x6 x0 
Mul Pow Add Pow Add x5 x0 Mul acot exp x0 Mul Pow x0 asech x3 x0 x6 Add x0 -1 Add Mul x0 Mul Pow Add x5 x0 Add Mul acot exp x0 Mul Pow x0 asech x3 x0 -1 Add Mul acot exp x0 Mul Pow x0 asech x3 x0 Mul Mul Add x5 x0 log Add x5 x0 Add Mul Mul Pow x0 asech x3 x0 Mul -1 Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 Mul acot exp x0 Add Mul x0 Mul Pow x0 Add asech x3 -1 asech x3 Pow x0 asech x3 Mul Add Pow Add x5 x0 Mul acot exp x0 Mul Pow x0 asech x3 x0 x6 log Add Pow Add x5 x0 Mul acot exp x0 Mul Pow x0 asech x3 x0 x6 