Add Pow x4 x0 Mul pi Pow atanh x0 Mul x0 Mul Pow x5 x3 atanh sin x0 
Add Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul pi Mul Pow atanh x0 Add Mul x0 Mul Pow x5 x3 atanh sin x0 -1 Add Mul Mul x0 Mul Pow x5 x3 atanh sin x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Add Mul Pow x5 x3 atanh sin x0 Mul x0 Mul Pow x5 x3 Mul cos x0 Pow Add 1 Mul -1 Mul sin x0 sin x0 -1 