Mul Add Mul x0 Pow Add x6 0.201357920790331 x0 Mul 7 log asech pi x0 
Add Mul x0 Add Pow Add x6 0.201357920790331 x0 Mul x0 Mul Pow Add x6 0.201357920790331 Add x0 -1 Mul Add x6 0.201357920790331 log Add x6 0.201357920790331 Add Mul x0 Pow Add x6 0.201357920790331 x0 Mul 7 log asech pi 