Add x0 Mul x3 Add Mul Pow atanh Pow x0 5 x0 4 acosh Add Add -5 pi 2 
Add 1 Mul x3 Mul 4 Mul Pow atanh Pow x0 5 Add x0 -1 Add Mul x0 Mul Mul Pow x0 4 5 Pow Add 1 Mul -1 Mul Pow x0 5 Pow x0 5 -1 Mul atanh Pow x0 5 log atanh Pow x0 5 