Add -5 Add Pow Pow Add atanh asinh x0 acosh x4 Mul x0 3 pi x5 
Mul Pow Pow Add atanh asinh x0 acosh x4 Mul x0 3 Add pi -1 Mul pi Mul Pow Add atanh asinh x0 acosh x4 Add Mul x0 3 -1 Add Mul Mul x0 3 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul asinh x0 asinh x0 -1 Mul Mul Add atanh asinh x0 acosh x4 log Add atanh asinh x0 acosh x4 3 