39.466 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.153 * * * [progress]: [2/2] Setting up program. 0.194 * [progress]: [Phase 2 of 3] Improving. 0.194 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.195 * [simplify]: Simplifying: (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) 0.195 * * [simplify]: iteration 0: 28 enodes 0.203 * * [simplify]: iteration 1: 74 enodes 0.220 * * [simplify]: iteration 2: 240 enodes 0.387 * * [simplify]: iteration 3: 1089 enodes 0.861 * * [simplify]: iteration 4: 2001 enodes 1.407 * * [simplify]: iteration complete: 2001 enodes 1.407 * * [simplify]: Extracting #0: cost 1 inf + 0 1.407 * * [simplify]: Extracting #1: cost 2 inf + 0 1.408 * * [simplify]: Extracting #2: cost 66 inf + 0 1.409 * * [simplify]: Extracting #3: cost 359 inf + 1 1.412 * * [simplify]: Extracting #4: cost 714 inf + 47 1.418 * * [simplify]: Extracting #5: cost 726 inf + 3080 1.446 * * [simplify]: Extracting #6: cost 351 inf + 115168 1.521 * * [simplify]: Extracting #7: cost 44 inf + 203784 1.612 * * [simplify]: Extracting #8: cost 0 inf + 203613 1.668 * * [simplify]: Extracting #9: cost 0 inf + 200547 1.720 * * [simplify]: Extracting #10: cost 0 inf + 200387 1.771 * [simplify]: Simplified to: (fabs (/ (* (fabs x) (+ (+ 2 (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (+ 1/5 (* 1/21 (* (fabs x) (fabs x)))))) (* 2/3 (* (fabs x) (fabs x))))) (sqrt PI))) 1.780 * * [progress]: iteration 1 / 4 1.780 * * * [progress]: picking best candidate 1.789 * * * * [pick]: Picked # 1.789 * * * [progress]: localizing error 1.886 * * * [progress]: generating rewritten candidates 1.886 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.887 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 1.909 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 1.932 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2) 1.948 * * * [progress]: generating series expansions 1.949 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.949 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 1.949 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 1.949 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1.949 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.949 * [taylor]: Taking taylor expansion of (fabs x) in x 1.949 * [backup-simplify]: Simplify (fabs x) into (fabs x) 1.949 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.949 * [taylor]: Taking taylor expansion of (fabs x) in x 1.949 * [backup-simplify]: Simplify (fabs x) into (fabs x) 1.949 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1.949 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 1.949 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1.949 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1.949 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 1.949 * [backup-simplify]: Simplify 0 into 0 1.950 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1.950 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 1.950 * [backup-simplify]: Simplify 0 into 0 1.951 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1.951 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 1.952 * [backup-simplify]: Simplify 0 into 0 1.952 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1.953 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 1.953 * [backup-simplify]: Simplify 0 into 0 1.954 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1.955 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 1.955 * [backup-simplify]: Simplify 0 into 0 1.956 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1.957 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 1.957 * [backup-simplify]: Simplify 0 into 0 1.958 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1.958 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 1.958 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1.958 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.958 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.958 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1.958 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.958 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.958 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1.958 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1.959 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 1.959 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 1.959 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1.959 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 1.959 * [backup-simplify]: Simplify 0 into 0 1.960 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1.960 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 1.960 * [backup-simplify]: Simplify 0 into 0 1.961 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1.962 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 1.962 * [backup-simplify]: Simplify 0 into 0 1.963 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1.964 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 1.964 * [backup-simplify]: Simplify 0 into 0 1.966 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1.967 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1.967 * [backup-simplify]: Simplify 0 into 0 1.970 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1.971 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 1.971 * [backup-simplify]: Simplify 0 into 0 1.971 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 1.971 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 1.971 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 1.971 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.971 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.971 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1.971 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.971 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.971 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1.971 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1.971 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 1.972 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 1.972 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1.972 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1.972 * [backup-simplify]: Simplify 0 into 0 1.972 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1.972 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 1.972 * [backup-simplify]: Simplify 0 into 0 1.973 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1.974 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 1.974 * [backup-simplify]: Simplify 0 into 0 1.974 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1.978 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 1.978 * [backup-simplify]: Simplify 0 into 0 1.979 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1.980 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 1.980 * [backup-simplify]: Simplify 0 into 0 1.981 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1.982 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 1.982 * [backup-simplify]: Simplify 0 into 0 1.982 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 1.982 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1 1) 1.982 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 1.982 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1.982 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.983 * [taylor]: Taking taylor expansion of (fabs x) in x 1.983 * [backup-simplify]: Simplify (fabs x) into (fabs x) 1.983 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.983 * [taylor]: Taking taylor expansion of (fabs x) in x 1.983 * [backup-simplify]: Simplify (fabs x) into (fabs x) 1.983 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1.983 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 1.983 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1.983 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1.983 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 1.983 * [backup-simplify]: Simplify 0 into 0 1.983 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1.984 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 1.984 * [backup-simplify]: Simplify 0 into 0 1.984 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1.985 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 1.985 * [backup-simplify]: Simplify 0 into 0 1.985 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1.986 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 1.986 * [backup-simplify]: Simplify 0 into 0 1.987 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1.988 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 1.988 * [backup-simplify]: Simplify 0 into 0 1.989 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1.990 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 1.990 * [backup-simplify]: Simplify 0 into 0 1.991 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1.991 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 1.991 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1.991 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.991 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.991 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1.991 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.991 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.991 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1.991 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1.991 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 1.991 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 1.991 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1.991 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 1.991 * [backup-simplify]: Simplify 0 into 0 1.992 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1.992 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 1.992 * [backup-simplify]: Simplify 0 into 0 1.993 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1.993 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 1.993 * [backup-simplify]: Simplify 0 into 0 1.994 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1.995 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 1.995 * [backup-simplify]: Simplify 0 into 0 1.996 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1.997 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1.997 * [backup-simplify]: Simplify 0 into 0 1.998 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 2.000 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 2.000 * [backup-simplify]: Simplify 0 into 0 2.000 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 2.001 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 2.001 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 2.001 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.001 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.001 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.001 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.001 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.001 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.001 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 2.001 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 2.001 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 2.002 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 2.002 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 2.002 * [backup-simplify]: Simplify 0 into 0 2.002 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 2.003 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 2.003 * [backup-simplify]: Simplify 0 into 0 2.004 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 2.005 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 2.005 * [backup-simplify]: Simplify 0 into 0 2.006 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 2.007 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 2.007 * [backup-simplify]: Simplify 0 into 0 2.009 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 2.011 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 2.011 * [backup-simplify]: Simplify 0 into 0 2.013 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 2.015 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 2.015 * [backup-simplify]: Simplify 0 into 0 2.015 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 2.015 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2) 2.015 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 2.015 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 2.015 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.015 * [taylor]: Taking taylor expansion of (fabs x) in x 2.015 * [backup-simplify]: Simplify (fabs x) into (fabs x) 2.015 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.015 * [taylor]: Taking taylor expansion of (fabs x) in x 2.015 * [backup-simplify]: Simplify (fabs x) into (fabs x) 2.016 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 2.016 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 2.016 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 2.016 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 2.016 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 2.016 * [backup-simplify]: Simplify 0 into 0 2.017 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 2.017 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 2.017 * [backup-simplify]: Simplify 0 into 0 2.018 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 2.019 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 2.019 * [backup-simplify]: Simplify 0 into 0 2.020 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 2.021 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 2.021 * [backup-simplify]: Simplify 0 into 0 2.023 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 2.024 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 2.024 * [backup-simplify]: Simplify 0 into 0 2.026 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 2.028 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 2.028 * [backup-simplify]: Simplify 0 into 0 2.028 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 2.029 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 2.029 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 2.029 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.029 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.029 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 2.029 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.029 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.029 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 2.029 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 2.029 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 2.029 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 2.029 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 2.030 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 2.030 * [backup-simplify]: Simplify 0 into 0 2.030 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 2.031 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 2.031 * [backup-simplify]: Simplify 0 into 0 2.032 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 2.032 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 2.032 * [backup-simplify]: Simplify 0 into 0 2.034 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 2.035 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 2.035 * [backup-simplify]: Simplify 0 into 0 2.037 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 2.038 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 2.038 * [backup-simplify]: Simplify 0 into 0 2.040 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 2.042 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 2.042 * [backup-simplify]: Simplify 0 into 0 2.042 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 2.042 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 2.042 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 2.042 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.043 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.043 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.043 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.043 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.043 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.043 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 2.043 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 2.043 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 2.043 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 2.044 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 2.044 * [backup-simplify]: Simplify 0 into 0 2.044 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 2.045 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 2.045 * [backup-simplify]: Simplify 0 into 0 2.046 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 2.046 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 2.046 * [backup-simplify]: Simplify 0 into 0 2.048 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 2.049 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 2.049 * [backup-simplify]: Simplify 0 into 0 2.051 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 2.052 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 2.052 * [backup-simplify]: Simplify 0 into 0 2.054 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 2.055 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 2.055 * [backup-simplify]: Simplify 0 into 0 2.055 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 2.055 * * * [progress]: simplifying candidates 2.055 * * * * [progress]: [ 1 / 111 ] simplifiying candidate # 2.055 * * * * [progress]: [ 2 / 111 ] simplifiying candidate # 2.055 * * * * [progress]: [ 3 / 111 ] simplifiying candidate # 2.055 * * * * [progress]: [ 4 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 5 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 6 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 7 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 8 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 9 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 10 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 11 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 12 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 13 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 14 / 111 ] simplifiying candidate #real (real->posit16 (sqrt PI)))) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 2.056 * * * * [progress]: [ 15 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 16 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 17 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 18 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 19 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 20 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 21 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 22 / 111 ] simplifiying candidate # 2.056 * * * * [progress]: [ 23 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 24 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 25 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 26 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 27 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 28 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 29 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 30 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 31 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 32 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 33 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 34 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 35 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 36 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 37 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 38 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 39 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 40 / 111 ] simplifiying candidate # 2.057 * * * * [progress]: [ 41 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 42 / 111 ] simplifiying candidate #real (real->posit16 (* (* (fabs x) (fabs x)) (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 2.058 * * * * [progress]: [ 43 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 44 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 45 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 46 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 47 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 48 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 49 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 50 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 51 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 52 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 53 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 54 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 55 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 56 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 57 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 58 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 59 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 60 / 111 ] simplifiying candidate # 2.058 * * * * [progress]: [ 61 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 62 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 63 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 64 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 65 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 66 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 67 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 68 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 69 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 70 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 71 / 111 ] simplifiying candidate #real (real->posit16 (* (* (fabs x) (fabs x)) (fabs x)))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 2.059 * * * * [progress]: [ 72 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 73 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 74 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 75 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 76 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 77 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 78 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 79 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 80 / 111 ] simplifiying candidate # 2.059 * * * * [progress]: [ 81 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 82 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 83 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 84 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 85 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 86 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 87 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 88 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 89 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 90 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 91 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 92 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 93 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 94 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 95 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 96 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 97 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 98 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 99 / 111 ] simplifiying candidate # 2.060 * * * * [progress]: [ 100 / 111 ] simplifiying candidate #real (real->posit16 (* (* (fabs x) (fabs x)) (fabs x)))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 2.060 * * * * [progress]: [ 101 / 111 ] simplifiying candidate # 2.061 * * * * [progress]: [ 102 / 111 ] simplifiying candidate # 2.061 * * * * [progress]: [ 103 / 111 ] simplifiying candidate # 2.061 * * * * [progress]: [ 104 / 111 ] simplifiying candidate # 2.061 * * * * [progress]: [ 105 / 111 ] simplifiying candidate # 2.061 * * * * [progress]: [ 106 / 111 ] simplifiying candidate # 2.061 * * * * [progress]: [ 107 / 111 ] simplifiying candidate # 2.061 * * * * [progress]: [ 108 / 111 ] simplifiying candidate # 2.061 * * * * [progress]: [ 109 / 111 ] simplifiying candidate # 2.061 * * * * [progress]: [ 110 / 111 ] simplifiying candidate # 2.061 * * * * [progress]: [ 111 / 111 ] simplifiying candidate # 2.062 * [simplify]: Simplifying: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (real->posit16 (sqrt PI)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 2.063 * * [simplify]: iteration 0: 71 enodes 2.084 * * [simplify]: iteration 1: 164 enodes 2.165 * * [simplify]: iteration 2: 529 enodes 2.578 * * [simplify]: iteration 3: 1548 enodes 2.973 * * [simplify]: iteration 4: 2004 enodes 3.439 * * [simplify]: iteration complete: 2004 enodes 3.440 * * [simplify]: Extracting #0: cost 25 inf + 0 3.440 * * [simplify]: Extracting #1: cost 78 inf + 3 3.441 * * [simplify]: Extracting #2: cost 152 inf + 252 3.442 * * [simplify]: Extracting #3: cost 219 inf + 4278 3.446 * * [simplify]: Extracting #4: cost 287 inf + 27206 3.462 * * [simplify]: Extracting #5: cost 190 inf + 64159 3.489 * * [simplify]: Extracting #6: cost 43 inf + 98736 3.535 * * [simplify]: Extracting #7: cost 0 inf + 107773 3.574 * * [simplify]: Extracting #8: cost 0 inf + 107691 3.607 * [simplify]: Simplified to: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt PI)) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (real->posit16 (sqrt PI)) 3 3 3 3 (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (fabs x) (fabs x)) (fabs x) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (fabs x)) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (* (* (cbrt (fabs x)) (fabs x)) (* (cbrt (fabs x)) (fabs x))) (* (fabs x) (* (sqrt (fabs x)) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) 3 3 3 3 (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (fabs x) (fabs x)) (fabs x) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (fabs x)) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (* (* (cbrt (fabs x)) (fabs x)) (* (cbrt (fabs x)) (fabs x))) (* (fabs x) (* (sqrt (fabs x)) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) 3 3 3 3 (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (fabs x) (fabs x)) (fabs x) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (fabs x)) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (* (* (cbrt (fabs x)) (fabs x)) (* (cbrt (fabs x)) (fabs x))) (* (fabs x) (* (sqrt (fabs x)) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (fabs (/ (+ (+ (* 1/21 (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (* (* (fabs x) (fabs x)) (fabs x)) (+ (* 1/5 (* (fabs x) (fabs x))) 2/3))) (+ (fabs x) (fabs x))) (sqrt PI))) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 3.639 * * * [progress]: adding candidates to table 5.724 * * [progress]: iteration 2 / 4 5.724 * * * [progress]: picking best candidate 5.761 * * * * [pick]: Picked # 5.761 * * * [progress]: localizing error 5.884 * * * [progress]: generating rewritten candidates 5.884 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 5.885 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 5.906 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 2) 5.922 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2) 5.970 * * * [progress]: generating series expansions 5.970 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 5.970 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1 1) 5.970 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 5.970 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 5.970 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 5.970 * [taylor]: Taking taylor expansion of (fabs x) in x 5.970 * [backup-simplify]: Simplify (fabs x) into (fabs x) 5.970 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 5.970 * [taylor]: Taking taylor expansion of (fabs x) in x 5.970 * [backup-simplify]: Simplify (fabs x) into (fabs x) 5.970 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 5.970 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 5.970 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 5.970 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 5.970 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 5.970 * [backup-simplify]: Simplify 0 into 0 5.971 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 5.972 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 5.972 * [backup-simplify]: Simplify 0 into 0 5.972 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 5.973 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 5.973 * [backup-simplify]: Simplify 0 into 0 5.974 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 5.975 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 5.975 * [backup-simplify]: Simplify 0 into 0 5.976 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 5.977 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 5.977 * [backup-simplify]: Simplify 0 into 0 5.978 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 5.979 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 5.979 * [backup-simplify]: Simplify 0 into 0 5.979 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 5.979 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 5.979 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 5.979 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 5.979 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.979 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 5.979 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 5.979 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.979 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 5.980 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 5.980 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 5.980 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 5.980 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 5.980 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 5.980 * [backup-simplify]: Simplify 0 into 0 5.980 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 5.981 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 5.981 * [backup-simplify]: Simplify 0 into 0 5.981 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 5.982 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 5.982 * [backup-simplify]: Simplify 0 into 0 5.983 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 5.983 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 5.983 * [backup-simplify]: Simplify 0 into 0 5.984 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 5.985 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 5.985 * [backup-simplify]: Simplify 0 into 0 5.987 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 5.988 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 5.988 * [backup-simplify]: Simplify 0 into 0 5.988 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 5.988 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 5.988 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 5.988 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 5.988 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.988 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 5.988 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 5.988 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.988 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 5.988 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 5.988 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 5.989 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 5.989 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 5.989 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 5.989 * [backup-simplify]: Simplify 0 into 0 5.989 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 5.989 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 5.989 * [backup-simplify]: Simplify 0 into 0 5.990 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 5.991 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 5.991 * [backup-simplify]: Simplify 0 into 0 5.991 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 5.992 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 5.992 * [backup-simplify]: Simplify 0 into 0 5.993 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 5.994 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 5.994 * [backup-simplify]: Simplify 0 into 0 5.995 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 5.997 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 5.997 * [backup-simplify]: Simplify 0 into 0 5.997 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 5.997 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 2) 5.997 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 5.997 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 5.997 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 5.997 * [taylor]: Taking taylor expansion of (fabs x) in x 5.997 * [backup-simplify]: Simplify (fabs x) into (fabs x) 5.997 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 5.997 * [taylor]: Taking taylor expansion of (fabs x) in x 5.997 * [backup-simplify]: Simplify (fabs x) into (fabs x) 5.997 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 5.997 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 5.997 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 5.998 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 5.998 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 5.998 * [backup-simplify]: Simplify 0 into 0 5.998 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 5.998 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 5.998 * [backup-simplify]: Simplify 0 into 0 5.999 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 5.999 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 5.999 * [backup-simplify]: Simplify 0 into 0 6.000 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 6.001 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 6.001 * [backup-simplify]: Simplify 0 into 0 6.002 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 6.003 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 6.003 * [backup-simplify]: Simplify 0 into 0 6.004 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 6.005 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 6.005 * [backup-simplify]: Simplify 0 into 0 6.005 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 6.005 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 6.005 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 6.005 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 6.005 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.006 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.006 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 6.006 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.006 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.006 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 6.006 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 6.006 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 6.006 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 6.006 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 6.006 * [backup-simplify]: Simplify 0 into 0 6.006 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 6.007 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 6.007 * [backup-simplify]: Simplify 0 into 0 6.007 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 6.008 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 6.008 * [backup-simplify]: Simplify 0 into 0 6.009 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 6.009 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 6.009 * [backup-simplify]: Simplify 0 into 0 6.010 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 6.011 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 6.011 * [backup-simplify]: Simplify 0 into 0 6.013 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 6.014 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 6.014 * [backup-simplify]: Simplify 0 into 0 6.014 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 6.014 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 6.014 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 6.014 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 6.014 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.014 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 6.014 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 6.014 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.014 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 6.014 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 6.014 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 6.015 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 6.015 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 6.015 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 6.015 * [backup-simplify]: Simplify 0 into 0 6.015 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 6.015 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 6.015 * [backup-simplify]: Simplify 0 into 0 6.016 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 6.017 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 6.017 * [backup-simplify]: Simplify 0 into 0 6.017 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 6.018 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 6.018 * [backup-simplify]: Simplify 0 into 0 6.019 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 6.020 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 6.020 * [backup-simplify]: Simplify 0 into 0 6.022 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 6.023 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 6.023 * [backup-simplify]: Simplify 0 into 0 6.023 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 6.023 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2) 6.023 * [backup-simplify]: Simplify (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) into (* 2/3 (pow (fabs x) 3)) 6.023 * [approximate]: Taking taylor expansion of (* 2/3 (pow (fabs x) 3)) in (x) around 0 6.023 * [taylor]: Taking taylor expansion of (* 2/3 (pow (fabs x) 3)) in x 6.023 * [taylor]: Taking taylor expansion of 2/3 in x 6.023 * [backup-simplify]: Simplify 2/3 into 2/3 6.023 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 6.023 * [taylor]: Taking taylor expansion of (fabs x) in x 6.024 * [backup-simplify]: Simplify (fabs x) into (fabs x) 6.024 * [taylor]: Taking taylor expansion of (* 2/3 (pow (fabs x) 3)) in x 6.024 * [taylor]: Taking taylor expansion of 2/3 in x 6.024 * [backup-simplify]: Simplify 2/3 into 2/3 6.024 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 6.024 * [taylor]: Taking taylor expansion of (fabs x) in x 6.024 * [backup-simplify]: Simplify (fabs x) into (fabs x) 6.024 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 6.024 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 6.024 * [backup-simplify]: Simplify (* 2/3 (pow (fabs x) 3)) into (* 2/3 (pow (fabs x) 3)) 6.024 * [backup-simplify]: Simplify (* 2/3 (pow (fabs x) 3)) into (* 2/3 (pow (fabs x) 3)) 6.024 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 6.024 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 6.024 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 (pow (fabs x) 3))) into 0 6.024 * [backup-simplify]: Simplify 0 into 0 6.025 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 6.025 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 6.026 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 6.026 * [backup-simplify]: Simplify 0 into 0 6.027 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 6.027 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 6.029 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 6.029 * [backup-simplify]: Simplify 0 into 0 6.030 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 6.031 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 6.033 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 6.033 * [backup-simplify]: Simplify 0 into 0 6.035 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 6.036 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 6.038 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 6.038 * [backup-simplify]: Simplify 0 into 0 6.040 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 6.042 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 6.044 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 6.044 * [backup-simplify]: Simplify 0 into 0 6.044 * [backup-simplify]: Simplify (* 2/3 (pow (fabs x) 3)) into (* 2/3 (pow (fabs x) 3)) 6.045 * [backup-simplify]: Simplify (* (/ 2 3) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 2/3 (pow (fabs (/ 1 x)) 3)) 6.045 * [approximate]: Taking taylor expansion of (* 2/3 (pow (fabs (/ 1 x)) 3)) in (x) around 0 6.045 * [taylor]: Taking taylor expansion of (* 2/3 (pow (fabs (/ 1 x)) 3)) in x 6.045 * [taylor]: Taking taylor expansion of 2/3 in x 6.045 * [backup-simplify]: Simplify 2/3 into 2/3 6.045 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 6.045 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.045 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.045 * [taylor]: Taking taylor expansion of (* 2/3 (pow (fabs (/ 1 x)) 3)) in x 6.045 * [taylor]: Taking taylor expansion of 2/3 in x 6.045 * [backup-simplify]: Simplify 2/3 into 2/3 6.045 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 6.045 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.046 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.046 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 6.046 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 6.046 * [backup-simplify]: Simplify (* 2/3 (pow (fabs (/ 1 x)) 3)) into (* 2/3 (pow (fabs (/ 1 x)) 3)) 6.046 * [backup-simplify]: Simplify (* 2/3 (pow (fabs (/ 1 x)) 3)) into (* 2/3 (pow (fabs (/ 1 x)) 3)) 6.046 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 6.046 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 6.047 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 6.047 * [backup-simplify]: Simplify 0 into 0 6.048 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 6.048 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 6.049 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 6.049 * [backup-simplify]: Simplify 0 into 0 6.050 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 6.051 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 6.052 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 6.052 * [backup-simplify]: Simplify 0 into 0 6.054 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 6.055 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 6.056 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 6.056 * [backup-simplify]: Simplify 0 into 0 6.058 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 6.059 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 6.067 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 6.067 * [backup-simplify]: Simplify 0 into 0 6.069 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 6.071 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 6.074 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 6.074 * [backup-simplify]: Simplify 0 into 0 6.074 * [backup-simplify]: Simplify (* 2/3 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 2/3 (pow (fabs x) 3)) 6.074 * [backup-simplify]: Simplify (* (/ 2 3) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 2/3 (pow (fabs (/ -1 x)) 3)) 6.074 * [approximate]: Taking taylor expansion of (* 2/3 (pow (fabs (/ -1 x)) 3)) in (x) around 0 6.074 * [taylor]: Taking taylor expansion of (* 2/3 (pow (fabs (/ -1 x)) 3)) in x 6.074 * [taylor]: Taking taylor expansion of 2/3 in x 6.074 * [backup-simplify]: Simplify 2/3 into 2/3 6.074 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 6.074 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.074 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 6.074 * [taylor]: Taking taylor expansion of (* 2/3 (pow (fabs (/ -1 x)) 3)) in x 6.074 * [taylor]: Taking taylor expansion of 2/3 in x 6.074 * [backup-simplify]: Simplify 2/3 into 2/3 6.074 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 6.074 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.074 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 6.075 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 6.075 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 6.075 * [backup-simplify]: Simplify (* 2/3 (pow (fabs (/ -1 x)) 3)) into (* 2/3 (pow (fabs (/ -1 x)) 3)) 6.075 * [backup-simplify]: Simplify (* 2/3 (pow (fabs (/ -1 x)) 3)) into (* 2/3 (pow (fabs (/ -1 x)) 3)) 6.075 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 6.075 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 6.075 * [backup-simplify]: Simplify (+ (* 2/3 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 6.075 * [backup-simplify]: Simplify 0 into 0 6.076 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 6.076 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 6.077 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 6.077 * [backup-simplify]: Simplify 0 into 0 6.077 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 6.078 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 6.079 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 6.079 * [backup-simplify]: Simplify 0 into 0 6.079 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 6.080 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 6.081 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 6.081 * [backup-simplify]: Simplify 0 into 0 6.082 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 6.083 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 6.084 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 6.084 * [backup-simplify]: Simplify 0 into 0 6.086 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 6.087 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 6.088 * [backup-simplify]: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 6.088 * [backup-simplify]: Simplify 0 into 0 6.088 * [backup-simplify]: Simplify (* 2/3 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 2/3 (pow (fabs x) 3)) 6.088 * * * [progress]: simplifying candidates 6.088 * * * * [progress]: [ 1 / 121 ] simplifiying candidate # 6.088 * * * * [progress]: [ 2 / 121 ] simplifiying candidate # 6.088 * * * * [progress]: [ 3 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 4 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 5 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 6 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 7 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 8 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 9 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 10 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 11 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 12 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 13 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 14 / 121 ] simplifiying candidate #real (real->posit16 (sqrt PI)))) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 6.089 * * * * [progress]: [ 15 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 16 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 17 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 18 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 19 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 20 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 21 / 121 ] simplifiying candidate # 6.089 * * * * [progress]: [ 22 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 23 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 24 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 25 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 26 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 27 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 28 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 29 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 30 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 31 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 32 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 33 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 34 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 35 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 36 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 37 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 38 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 39 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 40 / 121 ] simplifiying candidate # 6.090 * * * * [progress]: [ 41 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 42 / 121 ] simplifiying candidate #real (real->posit16 (* (* (fabs x) (fabs x)) (fabs x)))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 6.091 * * * * [progress]: [ 43 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 44 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 45 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 46 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 47 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 48 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 49 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 50 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 51 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 52 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 53 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 54 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 55 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 56 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 57 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 58 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 59 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 60 / 121 ] simplifiying candidate # 6.091 * * * * [progress]: [ 61 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 62 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 63 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 64 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 65 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 66 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 67 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 68 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 69 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 70 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 71 / 121 ] simplifiying candidate #real (real->posit16 (* (* (fabs x) (fabs x)) (fabs x)))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 6.092 * * * * [progress]: [ 72 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 73 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 74 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 75 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 76 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 77 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 78 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 79 / 121 ] simplifiying candidate # 6.092 * * * * [progress]: [ 80 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 81 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 82 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 83 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 84 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 85 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 86 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 87 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 88 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 89 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 90 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 91 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 92 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 93 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 94 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 95 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 96 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 97 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 98 / 121 ] simplifiying candidate # 6.093 * * * * [progress]: [ 99 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 100 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 101 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 102 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 103 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 104 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 105 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 106 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 107 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 108 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 109 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 110 / 121 ] simplifiying candidate #real (real->posit16 (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 6.094 * * * * [progress]: [ 111 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 112 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 113 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 114 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 115 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 116 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 117 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 118 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 119 / 121 ] simplifiying candidate # 6.094 * * * * [progress]: [ 120 / 121 ] simplifiying candidate # 6.095 * * * * [progress]: [ 121 / 121 ] simplifiying candidate # 6.095 * [simplify]: Simplifying: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (real->posit16 (sqrt PI)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2) (log 3)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2) (log 3)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2) (log 3)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2 3)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2 3)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2 3)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2 2) 2) (* (* 3 3) 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2 2) 2) (* (* 3 3) 3)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2 2) 2) (* (* 3 3) 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2 3) (* (fabs x) (fabs x))) (* (cbrt (/ 2 3)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2 3)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2) (cbrt 3)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2) (sqrt 3)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2) 3) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2) (cbrt 3)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2) (sqrt 3)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2) 3) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2 (cbrt 3)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2 (sqrt 3)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3) (* (* (fabs x) (fabs x)) (fabs x))) (* 2 (* (* (fabs x) (fabs x)) (fabs x))) (real->posit16 (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (* 2/3 (pow (fabs x) 3)) (* 2/3 (pow (fabs x) 3)) (* 2/3 (pow (fabs x) 3)) 6.097 * * [simplify]: iteration 0: 113 enodes 6.148 * * [simplify]: iteration 1: 295 enodes 6.332 * * [simplify]: iteration 2: 1087 enodes 6.719 * * [simplify]: iteration 3: 2011 enodes 7.126 * * [simplify]: iteration complete: 2011 enodes 7.126 * * [simplify]: Extracting #0: cost 45 inf + 0 7.128 * * [simplify]: Extracting #1: cost 404 inf + 3 7.132 * * [simplify]: Extracting #2: cost 581 inf + 4746 7.151 * * [simplify]: Extracting #3: cost 262 inf + 73654 7.199 * * [simplify]: Extracting #4: cost 21 inf + 136362 7.245 * * [simplify]: Extracting #5: cost 1 inf + 140679 7.293 * * [simplify]: Extracting #6: cost 0 inf + 140892 7.321 * [simplify]: Simplified to: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt PI)) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (real->posit16 (sqrt PI)) 3 3 3 3 (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)) (fabs x) (* (* (fabs x) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (fabs x)) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (* (* (fabs x) (cbrt (fabs x))) (* (fabs x) (cbrt (fabs x)))) (* (sqrt (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) 3 3 3 3 (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)) (fabs x) (* (* (fabs x) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (fabs x)) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (* (* (fabs x) (cbrt (fabs x))) (* (fabs x) (cbrt (fabs x)))) (* (sqrt (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) 2/3)) (* (* (fabs x) (fabs x)) (* (fabs x) 2/3)) (* (* (fabs x) (fabs x)) (* (fabs x) 2/3)) (log (* (* (fabs x) (fabs x)) (* (fabs x) 2/3))) (log (* (* (fabs x) (fabs x)) (* (fabs x) 2/3))) (log (* (* (fabs x) (fabs x)) (* (fabs x) 2/3))) (log (* (* (fabs x) (fabs x)) (* (fabs x) 2/3))) (log (* (* (fabs x) (fabs x)) (* (fabs x) 2/3))) (log (* (* (fabs x) (fabs x)) (* (fabs x) 2/3))) (log (* (* (fabs x) (fabs x)) (* (fabs x) 2/3))) (exp (* (* (fabs x) (fabs x)) (* (fabs x) 2/3))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 8/27)) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 8/27)) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 8/27)) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 8/27)) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 8/27)) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 8/27)) (* (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) 2/3))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) 2/3)))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) 2/3))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 8/27)) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) 2/3))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) 2/3))) (* (* 2/3 (fabs x)) (fabs x)) (* (* (cbrt 2/3) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (sqrt 2/3))) (/ (cbrt 2) (/ (cbrt 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (/ (cbrt 2) (sqrt 3))) (* (/ (cbrt 2) 3) (* (* (fabs x) (fabs x)) (fabs x))) (/ (* (* (sqrt 2) (fabs x)) (* (fabs x) (fabs x))) (cbrt 3)) (* (/ (sqrt 2) (sqrt 3)) (* (* (fabs x) (fabs x)) (fabs x))) (/ (* (* (sqrt 2) (fabs x)) (* (fabs x) (fabs x))) 3) (/ (* (* (fabs x) (fabs x)) (+ (fabs x) (fabs x))) (cbrt 3)) (/ (* (* (fabs x) (fabs x)) (+ (fabs x) (fabs x))) (sqrt 3)) (* (* (fabs x) (fabs x)) (* (fabs x) 2/3)) (* (* (fabs x) (fabs x)) (* (fabs x) 2/3)) (* (* 1/3 (* (fabs x) (fabs x))) (fabs x)) (* (* (fabs x) (fabs x)) (+ (fabs x) (fabs x))) (real->posit16 (* (* (fabs x) (fabs x)) (* (fabs x) 2/3))) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) 2/3)) (* (* (fabs x) (fabs x)) (* (fabs x) 2/3)) (* (* (fabs x) (fabs x)) (* (fabs x) 2/3)) 7.352 * * * [progress]: adding candidates to table 9.761 * * [progress]: iteration 3 / 4 9.761 * * * [progress]: picking best candidate 9.776 * * * * [pick]: Picked # 9.776 * * * [progress]: localizing error 9.873 * * * [progress]: generating rewritten candidates 9.873 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 9.874 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 9.889 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 9.911 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2) 9.948 * * * [progress]: generating series expansions 9.948 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 9.948 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 9.948 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 9.948 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 9.948 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 9.948 * [taylor]: Taking taylor expansion of (fabs x) in x 9.948 * [backup-simplify]: Simplify (fabs x) into (fabs x) 9.948 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 9.948 * [taylor]: Taking taylor expansion of (fabs x) in x 9.948 * [backup-simplify]: Simplify (fabs x) into (fabs x) 9.948 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 9.949 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 9.949 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 9.949 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 9.949 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 9.949 * [backup-simplify]: Simplify 0 into 0 9.950 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 9.950 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 9.951 * [backup-simplify]: Simplify 0 into 0 9.951 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 9.952 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 9.952 * [backup-simplify]: Simplify 0 into 0 9.954 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 9.955 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 9.955 * [backup-simplify]: Simplify 0 into 0 9.956 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 9.958 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 9.958 * [backup-simplify]: Simplify 0 into 0 9.960 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 9.962 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 9.962 * [backup-simplify]: Simplify 0 into 0 9.962 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 9.962 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 9.962 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 9.962 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 9.962 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.962 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 9.962 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 9.962 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.962 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 9.963 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 9.963 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 9.963 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 9.963 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 9.963 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 9.963 * [backup-simplify]: Simplify 0 into 0 9.964 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 9.964 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 9.964 * [backup-simplify]: Simplify 0 into 0 9.965 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 9.966 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 9.966 * [backup-simplify]: Simplify 0 into 0 9.967 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 9.969 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 9.969 * [backup-simplify]: Simplify 0 into 0 9.970 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 9.972 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 9.972 * [backup-simplify]: Simplify 0 into 0 9.974 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 9.976 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 9.976 * [backup-simplify]: Simplify 0 into 0 9.976 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 9.977 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 9.977 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 9.977 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 9.977 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.977 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 9.977 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 9.977 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.977 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 9.977 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 9.977 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 9.977 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 9.977 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 9.978 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 9.978 * [backup-simplify]: Simplify 0 into 0 9.978 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 9.979 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 9.979 * [backup-simplify]: Simplify 0 into 0 9.980 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 9.981 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 9.981 * [backup-simplify]: Simplify 0 into 0 9.982 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 9.983 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 9.983 * [backup-simplify]: Simplify 0 into 0 9.985 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 9.986 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 9.986 * [backup-simplify]: Simplify 0 into 0 9.988 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 9.990 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 9.990 * [backup-simplify]: Simplify 0 into 0 9.990 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 9.990 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1 1) 9.990 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 9.990 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 9.991 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 9.991 * [taylor]: Taking taylor expansion of (fabs x) in x 9.991 * [backup-simplify]: Simplify (fabs x) into (fabs x) 9.991 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 9.991 * [taylor]: Taking taylor expansion of (fabs x) in x 9.991 * [backup-simplify]: Simplify (fabs x) into (fabs x) 9.991 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 9.991 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 9.991 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 9.991 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 9.991 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 9.991 * [backup-simplify]: Simplify 0 into 0 9.992 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 9.992 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 9.992 * [backup-simplify]: Simplify 0 into 0 9.993 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 9.994 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 9.994 * [backup-simplify]: Simplify 0 into 0 9.995 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 9.996 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 9.997 * [backup-simplify]: Simplify 0 into 0 9.998 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 9.999 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 10.000 * [backup-simplify]: Simplify 0 into 0 10.001 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 10.003 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 10.003 * [backup-simplify]: Simplify 0 into 0 10.003 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 10.003 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 10.003 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 10.003 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 10.003 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 10.004 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 10.004 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 10.004 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 10.004 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 10.004 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 10.004 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 10.004 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 10.004 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 10.004 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 10.004 * [backup-simplify]: Simplify 0 into 0 10.005 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 10.005 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 10.005 * [backup-simplify]: Simplify 0 into 0 10.006 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 10.007 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 10.007 * [backup-simplify]: Simplify 0 into 0 10.007 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 10.008 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 10.008 * [backup-simplify]: Simplify 0 into 0 10.009 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 10.010 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 10.010 * [backup-simplify]: Simplify 0 into 0 10.011 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 10.013 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 10.013 * [backup-simplify]: Simplify 0 into 0 10.013 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 10.013 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 10.013 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 10.013 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 10.013 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 10.013 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 10.013 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 10.013 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 10.013 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 10.013 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 10.013 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 10.013 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 10.014 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 10.014 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 10.014 * [backup-simplify]: Simplify 0 into 0 10.014 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 10.014 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 10.014 * [backup-simplify]: Simplify 0 into 0 10.015 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 10.015 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 10.015 * [backup-simplify]: Simplify 0 into 0 10.016 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 10.017 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 10.017 * [backup-simplify]: Simplify 0 into 0 10.018 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 10.019 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 10.019 * [backup-simplify]: Simplify 0 into 0 10.020 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 10.021 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 10.021 * [backup-simplify]: Simplify 0 into 0 10.021 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 10.022 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2) 10.023 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 10.023 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 10.023 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 10.023 * [taylor]: Taking taylor expansion of (fabs x) in x 10.023 * [backup-simplify]: Simplify (fabs x) into (fabs x) 10.023 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 10.023 * [taylor]: Taking taylor expansion of (fabs x) in x 10.023 * [backup-simplify]: Simplify (fabs x) into (fabs x) 10.023 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 10.023 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 10.023 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 10.023 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 10.023 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 10.023 * [backup-simplify]: Simplify 0 into 0 10.024 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 10.024 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 10.024 * [backup-simplify]: Simplify 0 into 0 10.024 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 10.025 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 10.025 * [backup-simplify]: Simplify 0 into 0 10.026 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 10.026 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 10.026 * [backup-simplify]: Simplify 0 into 0 10.027 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 10.028 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 10.028 * [backup-simplify]: Simplify 0 into 0 10.029 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 10.031 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 10.031 * [backup-simplify]: Simplify 0 into 0 10.031 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 10.031 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 10.031 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 10.031 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 10.031 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 10.031 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 10.031 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 10.031 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 10.031 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 10.031 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 10.031 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 10.031 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 10.031 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 10.031 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 10.032 * [backup-simplify]: Simplify 0 into 0 10.032 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 10.032 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 10.032 * [backup-simplify]: Simplify 0 into 0 10.033 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 10.033 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 10.033 * [backup-simplify]: Simplify 0 into 0 10.034 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 10.035 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 10.035 * [backup-simplify]: Simplify 0 into 0 10.036 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 10.037 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 10.037 * [backup-simplify]: Simplify 0 into 0 10.038 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 10.039 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 10.039 * [backup-simplify]: Simplify 0 into 0 10.039 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 10.040 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 10.040 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 10.040 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 10.040 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 10.040 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 10.040 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 10.040 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 10.040 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 10.040 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 10.040 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 10.040 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 10.040 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 10.040 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 10.040 * [backup-simplify]: Simplify 0 into 0 10.041 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 10.041 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 10.041 * [backup-simplify]: Simplify 0 into 0 10.042 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 10.042 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 10.042 * [backup-simplify]: Simplify 0 into 0 10.043 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 10.044 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 10.044 * [backup-simplify]: Simplify 0 into 0 10.045 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 10.050 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 10.050 * [backup-simplify]: Simplify 0 into 0 10.051 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 10.052 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 10.052 * [backup-simplify]: Simplify 0 into 0 10.052 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 10.052 * * * [progress]: simplifying candidates 10.052 * * * * [progress]: [ 1 / 111 ] simplifiying candidate # 10.052 * * * * [progress]: [ 2 / 111 ] simplifiying candidate # 10.052 * * * * [progress]: [ 3 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 4 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 5 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 6 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 7 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 8 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 9 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 10 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 11 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 12 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 13 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 14 / 111 ] simplifiying candidate #real (real->posit16 (sqrt PI)))) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 10.053 * * * * [progress]: [ 15 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 16 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 17 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 18 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 19 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 20 / 111 ] simplifiying candidate # 10.053 * * * * [progress]: [ 21 / 111 ] simplifiying candidate # 10.054 * * * * [progress]: [ 22 / 111 ] simplifiying candidate # 10.054 * * * * [progress]: [ 23 / 111 ] simplifiying candidate # 10.054 * * * * [progress]: [ 24 / 111 ] simplifiying candidate # 10.054 * * * * [progress]: [ 25 / 111 ] simplifiying candidate # 10.054 * * * * [progress]: [ 26 / 111 ] simplifiying candidate # 10.054 * * * * [progress]: [ 27 / 111 ] simplifiying candidate # 10.054 * * * * [progress]: [ 28 / 111 ] simplifiying candidate # 10.054 * * * * [progress]: [ 29 / 111 ] simplifiying candidate # 10.054 * * * * [progress]: [ 30 / 111 ] simplifiying candidate # 10.054 * * * * [progress]: [ 31 / 111 ] simplifiying candidate # 10.054 * * * * [progress]: [ 32 / 111 ] simplifiying candidate # 10.054 * * * * [progress]: [ 33 / 111 ] simplifiying candidate # 10.055 * * * * [progress]: [ 34 / 111 ] simplifiying candidate # 10.055 * * * * [progress]: [ 35 / 111 ] simplifiying candidate # 10.055 * * * * [progress]: [ 36 / 111 ] simplifiying candidate # 10.055 * * * * [progress]: [ 37 / 111 ] simplifiying candidate # 10.055 * * * * [progress]: [ 38 / 111 ] simplifiying candidate # 10.055 * * * * [progress]: [ 39 / 111 ] simplifiying candidate # 10.055 * * * * [progress]: [ 40 / 111 ] simplifiying candidate # 10.055 * * * * [progress]: [ 41 / 111 ] simplifiying candidate # 10.055 * * * * [progress]: [ 42 / 111 ] simplifiying candidate #real (real->posit16 (* (* (fabs x) (fabs x)) (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 10.055 * * * * [progress]: [ 43 / 111 ] simplifiying candidate # 10.055 * * * * [progress]: [ 44 / 111 ] simplifiying candidate # 10.055 * * * * [progress]: [ 45 / 111 ] simplifiying candidate # 10.056 * * * * [progress]: [ 46 / 111 ] simplifiying candidate # 10.056 * * * * [progress]: [ 47 / 111 ] simplifiying candidate # 10.056 * * * * [progress]: [ 48 / 111 ] simplifiying candidate # 10.056 * * * * [progress]: [ 49 / 111 ] simplifiying candidate # 10.056 * * * * [progress]: [ 50 / 111 ] simplifiying candidate # 10.056 * * * * [progress]: [ 51 / 111 ] simplifiying candidate # 10.056 * * * * [progress]: [ 52 / 111 ] simplifiying candidate # 10.056 * * * * [progress]: [ 53 / 111 ] simplifiying candidate # 10.056 * * * * [progress]: [ 54 / 111 ] simplifiying candidate # 10.056 * * * * [progress]: [ 55 / 111 ] simplifiying candidate # 10.056 * * * * [progress]: [ 56 / 111 ] simplifiying candidate # 10.057 * * * * [progress]: [ 57 / 111 ] simplifiying candidate # 10.057 * * * * [progress]: [ 58 / 111 ] simplifiying candidate # 10.057 * * * * [progress]: [ 59 / 111 ] simplifiying candidate # 10.057 * * * * [progress]: [ 60 / 111 ] simplifiying candidate # 10.057 * * * * [progress]: [ 61 / 111 ] simplifiying candidate # 10.057 * * * * [progress]: [ 62 / 111 ] simplifiying candidate # 10.057 * * * * [progress]: [ 63 / 111 ] simplifiying candidate # 10.057 * * * * [progress]: [ 64 / 111 ] simplifiying candidate # 10.057 * * * * [progress]: [ 65 / 111 ] simplifiying candidate # 10.057 * * * * [progress]: [ 66 / 111 ] simplifiying candidate # 10.057 * * * * [progress]: [ 67 / 111 ] simplifiying candidate # 10.057 * * * * [progress]: [ 68 / 111 ] simplifiying candidate # 10.058 * * * * [progress]: [ 69 / 111 ] simplifiying candidate # 10.058 * * * * [progress]: [ 70 / 111 ] simplifiying candidate # 10.058 * * * * [progress]: [ 71 / 111 ] simplifiying candidate #real (real->posit16 (* (* (fabs x) (fabs x)) (fabs x)))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 10.058 * * * * [progress]: [ 72 / 111 ] simplifiying candidate # 10.058 * * * * [progress]: [ 73 / 111 ] simplifiying candidate # 10.058 * * * * [progress]: [ 74 / 111 ] simplifiying candidate # 10.058 * * * * [progress]: [ 75 / 111 ] simplifiying candidate # 10.058 * * * * [progress]: [ 76 / 111 ] simplifiying candidate # 10.058 * * * * [progress]: [ 77 / 111 ] simplifiying candidate # 10.058 * * * * [progress]: [ 78 / 111 ] simplifiying candidate # 10.058 * * * * [progress]: [ 79 / 111 ] simplifiying candidate # 10.059 * * * * [progress]: [ 80 / 111 ] simplifiying candidate # 10.059 * * * * [progress]: [ 81 / 111 ] simplifiying candidate # 10.059 * * * * [progress]: [ 82 / 111 ] simplifiying candidate # 10.059 * * * * [progress]: [ 83 / 111 ] simplifiying candidate # 10.059 * * * * [progress]: [ 84 / 111 ] simplifiying candidate # 10.059 * * * * [progress]: [ 85 / 111 ] simplifiying candidate # 10.059 * * * * [progress]: [ 86 / 111 ] simplifiying candidate # 10.060 * * * * [progress]: [ 87 / 111 ] simplifiying candidate # 10.060 * * * * [progress]: [ 88 / 111 ] simplifiying candidate # 10.060 * * * * [progress]: [ 89 / 111 ] simplifiying candidate # 10.060 * * * * [progress]: [ 90 / 111 ] simplifiying candidate # 10.060 * * * * [progress]: [ 91 / 111 ] simplifiying candidate # 10.060 * * * * [progress]: [ 92 / 111 ] simplifiying candidate # 10.060 * * * * [progress]: [ 93 / 111 ] simplifiying candidate # 10.060 * * * * [progress]: [ 94 / 111 ] simplifiying candidate # 10.060 * * * * [progress]: [ 95 / 111 ] simplifiying candidate # 10.060 * * * * [progress]: [ 96 / 111 ] simplifiying candidate # 10.060 * * * * [progress]: [ 97 / 111 ] simplifiying candidate # 10.060 * * * * [progress]: [ 98 / 111 ] simplifiying candidate # 10.061 * * * * [progress]: [ 99 / 111 ] simplifiying candidate # 10.061 * * * * [progress]: [ 100 / 111 ] simplifiying candidate #real (real->posit16 (* (* (fabs x) (fabs x)) (fabs x)))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 10.061 * * * * [progress]: [ 101 / 111 ] simplifiying candidate # 10.061 * * * * [progress]: [ 102 / 111 ] simplifiying candidate # 10.061 * * * * [progress]: [ 103 / 111 ] simplifiying candidate # 10.061 * * * * [progress]: [ 104 / 111 ] simplifiying candidate # 10.061 * * * * [progress]: [ 105 / 111 ] simplifiying candidate # 10.061 * * * * [progress]: [ 106 / 111 ] simplifiying candidate # 10.061 * * * * [progress]: [ 107 / 111 ] simplifiying candidate # 10.061 * * * * [progress]: [ 108 / 111 ] simplifiying candidate # 10.061 * * * * [progress]: [ 109 / 111 ] simplifiying candidate # 10.061 * * * * [progress]: [ 110 / 111 ] simplifiying candidate # 10.061 * * * * [progress]: [ 111 / 111 ] simplifiying candidate # 10.063 * [simplify]: Simplifying: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (real->posit16 (sqrt PI)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 10.065 * * [simplify]: iteration 0: 71 enodes 10.101 * * [simplify]: iteration 1: 164 enodes 10.161 * * [simplify]: iteration 2: 529 enodes 10.486 * * [simplify]: iteration 3: 1548 enodes 10.820 * * [simplify]: iteration 4: 2004 enodes 11.121 * * [simplify]: iteration complete: 2004 enodes 11.121 * * [simplify]: Extracting #0: cost 25 inf + 0 11.121 * * [simplify]: Extracting #1: cost 78 inf + 3 11.122 * * [simplify]: Extracting #2: cost 152 inf + 252 11.124 * * [simplify]: Extracting #3: cost 219 inf + 4278 11.131 * * [simplify]: Extracting #4: cost 287 inf + 27206 11.149 * * [simplify]: Extracting #5: cost 190 inf + 64159 11.185 * * [simplify]: Extracting #6: cost 43 inf + 98736 11.210 * * [simplify]: Extracting #7: cost 0 inf + 107773 11.246 * * [simplify]: Extracting #8: cost 0 inf + 107691 11.269 * [simplify]: Simplified to: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt PI)) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (real->posit16 (sqrt PI)) 3 3 3 3 (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (fabs x) (fabs x)) (fabs x) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (fabs x)) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (* (* (cbrt (fabs x)) (fabs x)) (* (cbrt (fabs x)) (fabs x))) (* (fabs x) (* (sqrt (fabs x)) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) 3 3 3 3 (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (fabs x) (fabs x)) (fabs x) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (fabs x)) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (* (* (cbrt (fabs x)) (fabs x)) (* (cbrt (fabs x)) (fabs x))) (* (fabs x) (* (sqrt (fabs x)) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) 3 3 3 3 (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (fabs x) (fabs x)) (fabs x) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (fabs x)) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (* (* (cbrt (fabs x)) (fabs x)) (* (cbrt (fabs x)) (fabs x))) (* (fabs x) (* (sqrt (fabs x)) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (fabs (/ (+ (+ (* 1/21 (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (* (* (fabs x) (fabs x)) (fabs x)) (+ (* 1/5 (* (fabs x) (fabs x))) 2/3))) (+ (fabs x) (fabs x))) (sqrt PI))) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 11.287 * * * [progress]: adding candidates to table 13.761 * * [progress]: iteration 4 / 4 13.762 * * * [progress]: picking best candidate 13.780 * * * * [pick]: Picked # 13.780 * * * [progress]: localizing error 13.903 * * * [progress]: generating rewritten candidates 13.903 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 13.904 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1) 13.921 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 13.947 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2) 13.978 * * * [progress]: generating series expansions 13.978 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 13.979 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1) 13.979 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (sqrt (fabs x))) into (sqrt (pow (fabs x) 5)) 13.979 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in (x) around 0 13.979 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 13.979 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 13.979 * [taylor]: Taking taylor expansion of (fabs x) in x 13.979 * [backup-simplify]: Simplify (fabs x) into (fabs x) 13.979 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 13.979 * [backup-simplify]: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 13.979 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 4)) into (pow (fabs x) 5) 13.980 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 5)) into (sqrt (pow (fabs x) 5)) 13.980 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 13.980 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 13.980 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 4))) into 0 13.980 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 5)))) into 0 13.980 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 13.980 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 13.980 * [taylor]: Taking taylor expansion of (fabs x) in x 13.980 * [backup-simplify]: Simplify (fabs x) into (fabs x) 13.980 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 13.981 * [backup-simplify]: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 13.981 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 4)) into (pow (fabs x) 5) 13.981 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 5)) into (sqrt (pow (fabs x) 5)) 13.981 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 13.981 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 13.981 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 4))) into 0 13.981 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 5)))) into 0 13.981 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 5)) into (sqrt (pow (fabs x) 5)) 13.982 * [backup-simplify]: Simplify 0 into 0 13.983 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 13.983 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 13.984 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))) into 0 13.985 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs x) 5)))) into 0 13.985 * [backup-simplify]: Simplify 0 into 0 13.985 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 13.986 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 13.987 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))) into 0 13.988 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 5)))) into 0 13.988 * [backup-simplify]: Simplify 0 into 0 13.990 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 13.991 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 13.992 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))) into 0 13.994 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 5)))) into 0 13.994 * [backup-simplify]: Simplify 0 into 0 13.995 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 13.997 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 13.999 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))))) into 0 14.000 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 5)))) into 0 14.000 * [backup-simplify]: Simplify 0 into 0 14.002 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 14.004 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 14.008 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))))) into 0 14.010 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 5)))) into 0 14.010 * [backup-simplify]: Simplify 0 into 0 14.010 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 5)) into (sqrt (pow (fabs x) 5)) 14.010 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (sqrt (fabs (/ 1 x)))) into (sqrt (pow (fabs (/ 1 x)) 5)) 14.010 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in (x) around 0 14.010 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 14.010 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 14.010 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 14.010 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 14.010 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 14.011 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 14.011 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 4)) into (pow (fabs (/ 1 x)) 5) 14.011 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 5)) into (sqrt (pow (fabs (/ 1 x)) 5)) 14.011 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 14.011 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 14.011 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 4))) into 0 14.012 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 14.012 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 14.012 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 14.012 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 14.012 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 14.012 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 14.012 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 14.012 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 4)) into (pow (fabs (/ 1 x)) 5) 14.012 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 5)) into (sqrt (pow (fabs (/ 1 x)) 5)) 14.013 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 14.013 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 14.013 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 4))) into 0 14.013 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 14.013 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 5)) into (sqrt (pow (fabs (/ 1 x)) 5)) 14.013 * [backup-simplify]: Simplify 0 into 0 14.014 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 14.015 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 14.015 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))) into 0 14.016 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 14.016 * [backup-simplify]: Simplify 0 into 0 14.017 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 14.018 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 14.019 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))) into 0 14.020 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 14.020 * [backup-simplify]: Simplify 0 into 0 14.021 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 14.022 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 14.024 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))) into 0 14.025 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 14.025 * [backup-simplify]: Simplify 0 into 0 14.026 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 14.028 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 14.029 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))))) into 0 14.030 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 14.030 * [backup-simplify]: Simplify 0 into 0 14.032 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 14.034 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 14.036 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))))) into 0 14.037 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 14.037 * [backup-simplify]: Simplify 0 into 0 14.038 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 (/ 1 x))) 5)) into (sqrt (pow (fabs x) 5)) 14.038 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (sqrt (fabs (/ 1 (- x))))) into (sqrt (pow (fabs (/ -1 x)) 5)) 14.038 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in (x) around 0 14.038 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 14.038 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 14.038 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 14.038 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 14.038 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 14.038 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 14.038 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 4)) into (pow (fabs (/ -1 x)) 5) 14.039 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 5)) into (sqrt (pow (fabs (/ -1 x)) 5)) 14.039 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 14.039 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 14.039 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 4))) into 0 14.039 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 14.039 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 14.039 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 14.039 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 14.039 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 14.040 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 14.040 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 14.040 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 4)) into (pow (fabs (/ -1 x)) 5) 14.040 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 5)) into (sqrt (pow (fabs (/ -1 x)) 5)) 14.040 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 14.040 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 14.041 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 4))) into 0 14.041 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 14.041 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 5)) into (sqrt (pow (fabs (/ -1 x)) 5)) 14.041 * [backup-simplify]: Simplify 0 into 0 14.042 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 14.043 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 14.043 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))) into 0 14.044 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 14.044 * [backup-simplify]: Simplify 0 into 0 14.045 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 14.046 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 14.047 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))) into 0 14.048 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 14.048 * [backup-simplify]: Simplify 0 into 0 14.049 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 14.050 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 14.051 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))) into 0 14.053 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 14.053 * [backup-simplify]: Simplify 0 into 0 14.054 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 14.056 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 14.057 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))))) into 0 14.058 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 14.058 * [backup-simplify]: Simplify 0 into 0 14.060 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 14.062 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 14.064 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))))) into 0 14.065 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 14.065 * [backup-simplify]: Simplify 0 into 0 14.065 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 (/ 1 (- x)))) 5)) into (sqrt (pow (fabs x) 5)) 14.065 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1 1) 14.065 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 14.065 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 14.065 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 14.066 * [taylor]: Taking taylor expansion of (fabs x) in x 14.066 * [backup-simplify]: Simplify (fabs x) into (fabs x) 14.066 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 14.066 * [taylor]: Taking taylor expansion of (fabs x) in x 14.066 * [backup-simplify]: Simplify (fabs x) into (fabs x) 14.066 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 14.066 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 14.066 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 14.066 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 14.066 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 14.066 * [backup-simplify]: Simplify 0 into 0 14.067 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 14.067 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 14.067 * [backup-simplify]: Simplify 0 into 0 14.068 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 14.069 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 14.069 * [backup-simplify]: Simplify 0 into 0 14.070 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 14.071 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 14.072 * [backup-simplify]: Simplify 0 into 0 14.073 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 14.075 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 14.075 * [backup-simplify]: Simplify 0 into 0 14.077 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 14.079 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 14.079 * [backup-simplify]: Simplify 0 into 0 14.079 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 14.079 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 14.079 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 14.079 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 14.079 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 14.079 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 14.079 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 14.079 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 14.079 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 14.080 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 14.080 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 14.080 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 14.080 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 14.080 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 14.080 * [backup-simplify]: Simplify 0 into 0 14.081 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 14.081 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 14.081 * [backup-simplify]: Simplify 0 into 0 14.082 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 14.083 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 14.083 * [backup-simplify]: Simplify 0 into 0 14.084 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 14.086 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 14.086 * [backup-simplify]: Simplify 0 into 0 14.087 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 14.089 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 14.089 * [backup-simplify]: Simplify 0 into 0 14.091 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 14.092 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 14.092 * [backup-simplify]: Simplify 0 into 0 14.092 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 14.093 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 14.093 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 14.093 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 14.093 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 14.093 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 14.093 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 14.093 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 14.093 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 14.093 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 14.093 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 14.093 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 14.094 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 14.094 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 14.094 * [backup-simplify]: Simplify 0 into 0 14.094 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 14.095 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 14.095 * [backup-simplify]: Simplify 0 into 0 14.096 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 14.097 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 14.097 * [backup-simplify]: Simplify 0 into 0 14.098 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 14.099 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 14.099 * [backup-simplify]: Simplify 0 into 0 14.100 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 14.101 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 14.101 * [backup-simplify]: Simplify 0 into 0 14.102 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 14.103 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 14.103 * [backup-simplify]: Simplify 0 into 0 14.103 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 14.103 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2) 14.104 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 14.104 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 14.104 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 14.104 * [taylor]: Taking taylor expansion of (fabs x) in x 14.104 * [backup-simplify]: Simplify (fabs x) into (fabs x) 14.104 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 14.104 * [taylor]: Taking taylor expansion of (fabs x) in x 14.104 * [backup-simplify]: Simplify (fabs x) into (fabs x) 14.104 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 14.104 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 14.104 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 14.104 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 14.104 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 14.104 * [backup-simplify]: Simplify 0 into 0 14.104 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 14.105 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 14.105 * [backup-simplify]: Simplify 0 into 0 14.105 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 14.106 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 14.106 * [backup-simplify]: Simplify 0 into 0 14.107 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 14.107 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 14.107 * [backup-simplify]: Simplify 0 into 0 14.108 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 14.109 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 14.109 * [backup-simplify]: Simplify 0 into 0 14.110 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 14.112 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 14.112 * [backup-simplify]: Simplify 0 into 0 14.112 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 14.112 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 14.112 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 14.112 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 14.112 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 14.112 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 14.112 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 14.112 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 14.112 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 14.112 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 14.112 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 14.112 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 14.112 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 14.112 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 14.112 * [backup-simplify]: Simplify 0 into 0 14.113 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 14.113 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 14.113 * [backup-simplify]: Simplify 0 into 0 14.114 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 14.115 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 14.115 * [backup-simplify]: Simplify 0 into 0 14.116 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 14.117 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 14.117 * [backup-simplify]: Simplify 0 into 0 14.118 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 14.120 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 14.120 * [backup-simplify]: Simplify 0 into 0 14.122 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 14.124 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 14.124 * [backup-simplify]: Simplify 0 into 0 14.124 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 14.124 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 14.124 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 14.124 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 14.124 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 14.124 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 14.124 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 14.124 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 14.124 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 14.124 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 14.124 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 14.125 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 14.125 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 14.125 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 14.125 * [backup-simplify]: Simplify 0 into 0 14.125 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 14.126 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 14.126 * [backup-simplify]: Simplify 0 into 0 14.127 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 14.128 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 14.128 * [backup-simplify]: Simplify 0 into 0 14.129 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 14.130 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 14.130 * [backup-simplify]: Simplify 0 into 0 14.134 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 14.135 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 14.135 * [backup-simplify]: Simplify 0 into 0 14.137 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 14.139 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 14.139 * [backup-simplify]: Simplify 0 into 0 14.139 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 14.139 * * * [progress]: simplifying candidates 14.139 * * * * [progress]: [ 1 / 114 ] simplifiying candidate # 14.139 * * * * [progress]: [ 2 / 114 ] simplifiying candidate # 14.139 * * * * [progress]: [ 3 / 114 ] simplifiying candidate # 14.139 * * * * [progress]: [ 4 / 114 ] simplifiying candidate # 14.139 * * * * [progress]: [ 5 / 114 ] simplifiying candidate # 14.139 * * * * [progress]: [ 6 / 114 ] simplifiying candidate # 14.139 * * * * [progress]: [ 7 / 114 ] simplifiying candidate # 14.140 * * * * [progress]: [ 8 / 114 ] simplifiying candidate # 14.140 * * * * [progress]: [ 9 / 114 ] simplifiying candidate # 14.140 * * * * [progress]: [ 10 / 114 ] simplifiying candidate # 14.140 * * * * [progress]: [ 11 / 114 ] simplifiying candidate # 14.140 * * * * [progress]: [ 12 / 114 ] simplifiying candidate # 14.140 * * * * [progress]: [ 13 / 114 ] simplifiying candidate # 14.140 * * * * [progress]: [ 14 / 114 ] simplifiying candidate #real (real->posit16 (sqrt PI)))) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 14.140 * * * * [progress]: [ 15 / 114 ] simplifiying candidate # 14.140 * * * * [progress]: [ 16 / 114 ] simplifiying candidate # 14.140 * * * * [progress]: [ 17 / 114 ] simplifiying candidate # 14.140 * * * * [progress]: [ 18 / 114 ] simplifiying candidate # 14.140 * * * * [progress]: [ 19 / 114 ] simplifiying candidate # 14.141 * * * * [progress]: [ 20 / 114 ] simplifiying candidate # 14.141 * * * * [progress]: [ 21 / 114 ] simplifiying candidate # 14.141 * * * * [progress]: [ 22 / 114 ] simplifiying candidate # 14.141 * * * * [progress]: [ 23 / 114 ] simplifiying candidate # 14.141 * * * * [progress]: [ 24 / 114 ] simplifiying candidate # 14.141 * * * * [progress]: [ 25 / 114 ] simplifiying candidate # 14.141 * * * * [progress]: [ 26 / 114 ] simplifiying candidate # 14.141 * * * * [progress]: [ 27 / 114 ] simplifiying candidate # 14.141 * * * * [progress]: [ 28 / 114 ] simplifiying candidate # 14.141 * * * * [progress]: [ 29 / 114 ] simplifiying candidate # 14.141 * * * * [progress]: [ 30 / 114 ] simplifiying candidate # 14.142 * * * * [progress]: [ 31 / 114 ] simplifiying candidate # 14.142 * * * * [progress]: [ 32 / 114 ] simplifiying candidate # 14.142 * * * * [progress]: [ 33 / 114 ] simplifiying candidate # 14.142 * * * * [progress]: [ 34 / 114 ] simplifiying candidate # 14.142 * * * * [progress]: [ 35 / 114 ] simplifiying candidate # 14.142 * * * * [progress]: [ 36 / 114 ] simplifiying candidate # 14.142 * * * * [progress]: [ 37 / 114 ] simplifiying candidate # 14.142 * * * * [progress]: [ 38 / 114 ] simplifiying candidate # 14.142 * * * * [progress]: [ 39 / 114 ] simplifiying candidate # 14.142 * * * * [progress]: [ 40 / 114 ] simplifiying candidate # 14.142 * * * * [progress]: [ 41 / 114 ] simplifiying candidate # 14.142 * * * * [progress]: [ 42 / 114 ] simplifiying candidate # 14.143 * * * * [progress]: [ 43 / 114 ] simplifiying candidate # 14.143 * * * * [progress]: [ 44 / 114 ] simplifiying candidate # 14.143 * * * * [progress]: [ 45 / 114 ] simplifiying candidate #real (real->posit16 (* (* (fabs x) (fabs x)) (sqrt (fabs x))))) (sqrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 14.143 * * * * [progress]: [ 46 / 114 ] simplifiying candidate # 14.143 * * * * [progress]: [ 47 / 114 ] simplifiying candidate # 14.143 * * * * [progress]: [ 48 / 114 ] simplifiying candidate # 14.143 * * * * [progress]: [ 49 / 114 ] simplifiying candidate # 14.143 * * * * [progress]: [ 50 / 114 ] simplifiying candidate # 14.143 * * * * [progress]: [ 51 / 114 ] simplifiying candidate # 14.143 * * * * [progress]: [ 52 / 114 ] simplifiying candidate # 14.143 * * * * [progress]: [ 53 / 114 ] simplifiying candidate # 14.143 * * * * [progress]: [ 54 / 114 ] simplifiying candidate # 14.144 * * * * [progress]: [ 55 / 114 ] simplifiying candidate # 14.144 * * * * [progress]: [ 56 / 114 ] simplifiying candidate # 14.144 * * * * [progress]: [ 57 / 114 ] simplifiying candidate # 14.144 * * * * [progress]: [ 58 / 114 ] simplifiying candidate # 14.144 * * * * [progress]: [ 59 / 114 ] simplifiying candidate # 14.144 * * * * [progress]: [ 60 / 114 ] simplifiying candidate # 14.144 * * * * [progress]: [ 61 / 114 ] simplifiying candidate # 14.144 * * * * [progress]: [ 62 / 114 ] simplifiying candidate # 14.144 * * * * [progress]: [ 63 / 114 ] simplifiying candidate # 14.144 * * * * [progress]: [ 64 / 114 ] simplifiying candidate # 14.144 * * * * [progress]: [ 65 / 114 ] simplifiying candidate # 14.144 * * * * [progress]: [ 66 / 114 ] simplifiying candidate # 14.145 * * * * [progress]: [ 67 / 114 ] simplifiying candidate # 14.145 * * * * [progress]: [ 68 / 114 ] simplifiying candidate # 14.145 * * * * [progress]: [ 69 / 114 ] simplifiying candidate # 14.145 * * * * [progress]: [ 70 / 114 ] simplifiying candidate # 14.145 * * * * [progress]: [ 71 / 114 ] simplifiying candidate # 14.145 * * * * [progress]: [ 72 / 114 ] simplifiying candidate # 14.145 * * * * [progress]: [ 73 / 114 ] simplifiying candidate # 14.145 * * * * [progress]: [ 74 / 114 ] simplifiying candidate #real (real->posit16 (* (* (fabs x) (fabs x)) (fabs x)))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 14.145 * * * * [progress]: [ 75 / 114 ] simplifiying candidate # 14.145 * * * * [progress]: [ 76 / 114 ] simplifiying candidate # 14.145 * * * * [progress]: [ 77 / 114 ] simplifiying candidate # 14.145 * * * * [progress]: [ 78 / 114 ] simplifiying candidate # 14.146 * * * * [progress]: [ 79 / 114 ] simplifiying candidate # 14.146 * * * * [progress]: [ 80 / 114 ] simplifiying candidate # 14.146 * * * * [progress]: [ 81 / 114 ] simplifiying candidate # 14.146 * * * * [progress]: [ 82 / 114 ] simplifiying candidate # 14.146 * * * * [progress]: [ 83 / 114 ] simplifiying candidate # 14.146 * * * * [progress]: [ 84 / 114 ] simplifiying candidate # 14.146 * * * * [progress]: [ 85 / 114 ] simplifiying candidate # 14.146 * * * * [progress]: [ 86 / 114 ] simplifiying candidate # 14.146 * * * * [progress]: [ 87 / 114 ] simplifiying candidate # 14.146 * * * * [progress]: [ 88 / 114 ] simplifiying candidate # 14.146 * * * * [progress]: [ 89 / 114 ] simplifiying candidate # 14.146 * * * * [progress]: [ 90 / 114 ] simplifiying candidate # 14.147 * * * * [progress]: [ 91 / 114 ] simplifiying candidate # 14.147 * * * * [progress]: [ 92 / 114 ] simplifiying candidate # 14.147 * * * * [progress]: [ 93 / 114 ] simplifiying candidate # 14.147 * * * * [progress]: [ 94 / 114 ] simplifiying candidate # 14.147 * * * * [progress]: [ 95 / 114 ] simplifiying candidate # 14.147 * * * * [progress]: [ 96 / 114 ] simplifiying candidate # 14.147 * * * * [progress]: [ 97 / 114 ] simplifiying candidate # 14.147 * * * * [progress]: [ 98 / 114 ] simplifiying candidate # 14.147 * * * * [progress]: [ 99 / 114 ] simplifiying candidate # 14.147 * * * * [progress]: [ 100 / 114 ] simplifiying candidate # 14.147 * * * * [progress]: [ 101 / 114 ] simplifiying candidate # 14.147 * * * * [progress]: [ 102 / 114 ] simplifiying candidate # 14.148 * * * * [progress]: [ 103 / 114 ] simplifiying candidate #real (real->posit16 (* (* (fabs x) (fabs x)) (fabs x)))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> 14.148 * * * * [progress]: [ 104 / 114 ] simplifiying candidate # 14.148 * * * * [progress]: [ 105 / 114 ] simplifiying candidate # 14.148 * * * * [progress]: [ 106 / 114 ] simplifiying candidate # 14.148 * * * * [progress]: [ 107 / 114 ] simplifiying candidate # 14.148 * * * * [progress]: [ 108 / 114 ] simplifiying candidate # 14.148 * * * * [progress]: [ 109 / 114 ] simplifiying candidate # 14.148 * * * * [progress]: [ 110 / 114 ] simplifiying candidate # 14.148 * * * * [progress]: [ 111 / 114 ] simplifiying candidate # 14.148 * * * * [progress]: [ 112 / 114 ] simplifiying candidate # 14.148 * * * * [progress]: [ 113 / 114 ] simplifiying candidate # 14.148 * * * * [progress]: [ 114 / 114 ] simplifiying candidate # 14.150 * [simplify]: Simplifying: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (real->posit16 (sqrt PI)) (+ (+ 1 1) 1/2) (+ (+ 1 1) (/ 1 2)) (+ 2 1/2) (+ 2 (/ 1 2)) (+ (+ 1 1) 1/2) (+ (+ 1 1) (/ 1 2)) (+ (* 2 1) 1/2) (+ (* 2 1) (/ 1 2)) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (+ (+ (log (fabs x)) (log (fabs x))) (log (sqrt (fabs x)))) (+ (log (* (fabs x) (fabs x))) (log (sqrt (fabs x)))) (log (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (exp (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x))))) (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (* (fabs x) (fabs x)) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) (* (* (fabs x) (fabs x)) (sqrt (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt 1)) (* (* (fabs x) (fabs x)) (sqrt (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (sqrt (fabs x))) (real->posit16 (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 14.152 * * [simplify]: iteration 0: 86 enodes 14.176 * * [simplify]: iteration 1: 220 enodes 14.261 * * [simplify]: iteration 2: 719 enodes 14.828 * * [simplify]: iteration 3: 1965 enodes 15.125 * * [simplify]: iteration 4: 2000 enodes 15.392 * * [simplify]: iteration complete: 2000 enodes 15.393 * * [simplify]: Extracting #0: cost 37 inf + 0 15.393 * * [simplify]: Extracting #1: cost 223 inf + 4 15.395 * * [simplify]: Extracting #2: cost 348 inf + 4156 15.399 * * [simplify]: Extracting #3: cost 234 inf + 33152 15.409 * * [simplify]: Extracting #4: cost 103 inf + 65836 15.422 * * [simplify]: Extracting #5: cost 22 inf + 84683 15.436 * * [simplify]: Extracting #6: cost 0 inf + 90000 15.451 * [simplify]: Simplified to: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt PI)) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (real->posit16 (sqrt PI)) 5/2 5/2 5/2 5/2 5/2 5/2 5/2 5/2 (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (log (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (log (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (log (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (exp (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x))))) (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (sqrt (sqrt (fabs x))) (fabs x)) (* (sqrt (sqrt (fabs x))) (fabs x)) (* (sqrt (sqrt (fabs x))) (fabs x)) (* (sqrt (sqrt (fabs x))) (fabs x)) (* (* (cbrt (sqrt (fabs x))) (fabs x)) (* (cbrt (sqrt (fabs x))) (fabs x))) (* (fabs (cbrt (fabs x))) (* (fabs x) (fabs x))) (* (fabs x) (* (sqrt (sqrt (fabs x))) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (* (sqrt (sqrt (fabs x))) (fabs x))) (* (fabs x) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) 3 3 3 3 (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (fabs x) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (fabs x) (fabs x)) (fabs x) (* (fabs x) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (fabs (* (sqrt (fabs x)) (fabs x))) (fabs (* (sqrt (fabs x)) (fabs x))) (* (sqrt (fabs x)) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (* (* (cbrt (fabs x)) (fabs x)) (* (cbrt (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) 3 3 3 3 (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (fabs x) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (fabs x) (fabs x)) (fabs x) (* (fabs x) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (fabs (* (sqrt (fabs x)) (fabs x))) (fabs (* (sqrt (fabs x)) (fabs x))) (* (sqrt (fabs x)) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (* (* (cbrt (fabs x)) (fabs x)) (* (cbrt (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (real->posit16 (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 15.479 * * * [progress]: adding candidates to table 18.064 * [progress]: [Phase 3 of 3] Extracting. 18.064 * * [regime]: Finding splitpoints for: (# # # # #) 18.070 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x) 18.071 * * * * [regimes]: Trying to branch on (fabs x) from (# # # # #) 18.139 * * * * [regimes]: Trying to branch on x from (# # # # #) 18.202 * * * [regime]: Found split indices: #