Mul x0 Mul cos Mul x7 Pow Add atanh x2 x0 Mul x0 x5 tanh x0 
Add Mul cos Mul x7 Pow Add atanh x2 x0 Mul x0 x5 tanh x0 Mul x0 Add Mul tanh x0 Mul Mul -1 sin Mul x7 Pow Add atanh x2 x0 Mul x0 x5 Mul x7 Mul Pow Add atanh x2 x0 Add Mul x0 x5 -1 Add Mul x0 x5 Mul Mul Add atanh x2 x0 log Add atanh x2 x0 x5 Mul cos Mul x7 Pow Add atanh x2 x0 Mul x0 x5 Pow sech x0 2 