atanh Add Pow x0 -5 Pow cos Mul x6 x7 x0 
Mul Add Mul Pow x0 6 -5 Mul Pow cos Mul x6 x7 Add x0 -1 Mul cos Mul x6 x7 log cos Mul x6 x7 Pow Add 1 Mul -1 Mul Add Pow x0 -5 Pow cos Mul x6 x7 x0 Add Pow x0 -5 Pow cos Mul x6 x7 x0 -1 