atan Pow Add Mul atan x0 x0 Add x0 Pow x0 Mul -0.673249470276048 Add Mul x0 x0 x0 acosh x5 
Mul Mul Pow Add Mul atan x0 x0 Add x0 Pow x0 Mul -0.673249470276048 Add Mul x0 x0 x0 Add acosh x5 -1 Mul acosh x5 Add Add Mul x0 Pow Add 1 Mul x0 x0 -1 atan x0 Add 1 Mul Pow x0 Add Mul -0.673249470276048 Add Mul x0 x0 x0 -1 Add Mul -0.673249470276048 Add Mul x0 x0 x0 Mul Mul x0 log x0 Mul -0.673249470276048 Add Add x0 x0 1 Pow Add 1 Mul Pow Add Mul atan x0 x0 Add x0 Pow x0 Mul -0.673249470276048 Add Mul x0 x0 x0 acosh x5 Pow Add Mul atan x0 x0 Add x0 Pow x0 Mul -0.673249470276048 Add Mul x0 x0 x0 acosh x5 -1 