1545218369.457 * [misc]progress: [Phase 1 of 3] Setting up. 1545218369.458 * * * [misc]progress: [1/2] Preparing points 1545218369.458 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545218369.666 * * * * [misc]points: Filtering points with unrepresentable outputs 1545218369.666 * * * * [misc]points: Sampling 144 additional inputs, on iter 1 have 112 / 256 1545218369.826 * * * * [misc]points: Filtering points with unrepresentable outputs 1545218369.826 * * * * [misc]points: Sampling 66 additional inputs, on iter 2 have 190 / 256 1545218369.890 * * * * [misc]points: Filtering points with unrepresentable outputs 1545218369.890 * * * * [misc]points: Sampling 34 additional inputs, on iter 3 have 222 / 256 1545218369.912 * * * * [misc]points: Filtering points with unrepresentable outputs 1545218369.912 * * * * [misc]points: Sampling 21 additional inputs, on iter 4 have 235 / 256 1545218369.923 * * * * [misc]points: Filtering points with unrepresentable outputs 1545218369.923 * * * * [misc]points: Sampling 8 additional inputs, on iter 5 have 248 / 256 1545218369.928 * * * * [misc]points: Filtering points with unrepresentable outputs 1545218369.928 * * * * [misc]points: Sampling 5 additional inputs, on iter 6 have 251 / 256 1545218369.932 * * * * [misc]points: Filtering points with unrepresentable outputs 1545218369.932 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1545218369.935 * * * * [misc]points: Filtering points with unrepresentable outputs 1545218369.935 * * * * [exit]points: Sampled 257 points with exact outputs 1545218369.936 * * * [misc]progress: [2/2] Setting up program. 1545218369.941 * [misc]progress: [Phase 2 of 3] Improving. 1545218369.942 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) 1545218369.942 * * [misc]simplify: iters left: 6 (9 enodes) 1545218369.946 * * [misc]simplify: iters left: 5 (26 enodes) 1545218369.992 * * [misc]simplify: iters left: 4 (67 enodes) 1545218370.006 * * [misc]simplify: iters left: 3 (180 enodes) 1545218370.063 * * [misc]simplify: iters left: 2 (454 enodes) 1545218370.585 * [exit]simplify: Simplified to (acos (/ (fma (* -5 v) v 1) (fma v v -1))) 1545218370.600 * * [misc]progress: iteration 1 / 4 1545218370.600 * * * [misc]progress: picking best candidate 1545218370.607 * * * * [misc]pick: Picked # 1545218370.607 * * * [misc]progress: localizing error 1545218370.639 * * * [misc]progress: generating rewritten candidates 1545218370.639 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1545218370.640 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1545218370.655 * * * [misc]progress: generating series expansions 1545218370.655 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1545218370.655 * [misc]backup-simplify: Simplify (acos (/ (fma (* -5 v) v 1) (fma v v -1))) into (acos (/ (fma (* -5 v) v 1) (fma v v -1))) 1545218370.655 * [misc]approximate: Taking taylor expansion of (acos (/ (fma (* -5 v) v 1) (fma v v -1))) in (v) around 0 1545218370.655 * [misc]taylor: Taking taylor expansion of (acos (/ (fma (* -5 v) v 1) (fma v v -1))) in v 1545218370.655 * [misc]backup-simplify: Simplify (acos (/ (fma (* -5 v) v 1) (fma v v -1))) into (acos (/ (fma (* -5 v) v 1) (fma v v -1))) 1545218370.655 * [misc]taylor: Taking taylor expansion of (acos (/ (fma (* -5 v) v 1) (fma v v -1))) in v 1545218370.656 * [misc]backup-simplify: Simplify (acos (/ (fma (* -5 v) v 1) (fma v v -1))) into (acos (/ (fma (* -5 v) v 1) (fma v v -1))) 1545218370.656 * [misc]backup-simplify: Simplify (acos (/ (fma (* -5 v) v 1) (fma v v -1))) into (acos (/ (fma (* -5 v) v 1) (fma v v -1))) 1545218370.656 * [misc]backup-simplify: Simplify 0 into 0 1545218370.656 * [misc]backup-simplify: Simplify 0 into 0 1545218370.656 * [misc]backup-simplify: Simplify 0 into 0 1545218370.656 * [misc]backup-simplify: Simplify 0 into 0 1545218370.656 * [misc]backup-simplify: Simplify 0 into 0 1545218370.656 * [misc]backup-simplify: Simplify 0 into 0 1545218370.656 * [misc]backup-simplify: Simplify (acos (/ (fma (* -5 v) v 1) (fma v v -1))) into (acos (/ (fma (* -5 v) v 1) (fma v v -1))) 1545218370.656 * [misc]backup-simplify: Simplify (acos (/ (fma (* -5 (/ 1 v)) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1))) into (acos (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1))) 1545218370.656 * [misc]approximate: Taking taylor expansion of (acos (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1))) in (v) around 0 1545218370.657 * [misc]taylor: Taking taylor expansion of (acos (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1))) in v 1545218370.657 * [misc]backup-simplify: Simplify (acos (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1))) into (acos (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1))) 1545218370.657 * [misc]taylor: Taking taylor expansion of (acos (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1))) in v 1545218370.657 * [misc]backup-simplify: Simplify (acos (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1))) into (acos (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1))) 1545218370.657 * [misc]backup-simplify: Simplify (acos (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1))) into (acos (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1))) 1545218370.657 * [misc]backup-simplify: Simplify 0 into 0 1545218370.657 * [misc]backup-simplify: Simplify 0 into 0 1545218370.657 * [misc]backup-simplify: Simplify 0 into 0 1545218370.657 * [misc]backup-simplify: Simplify 0 into 0 1545218370.657 * [misc]backup-simplify: Simplify 0 into 0 1545218370.657 * [misc]backup-simplify: Simplify 0 into 0 1545218370.658 * [misc]backup-simplify: Simplify (acos (/ (fma (/ -5 (/ 1 v)) (/ 1 (/ 1 v)) 1) (fma (/ 1 (/ 1 v)) (/ 1 (/ 1 v)) -1))) into (acos (/ (fma (* -5 v) v 1) (fma v v -1))) 1545218370.658 * [misc]backup-simplify: Simplify (acos (/ (fma (* -5 (/ 1 (- v))) (/ 1 (- v)) 1) (fma (/ 1 (- v)) (/ 1 (- v)) -1))) into (acos (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1))) 1545218370.658 * [misc]approximate: Taking taylor expansion of (acos (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1))) in (v) around 0 1545218370.658 * [misc]taylor: Taking taylor expansion of (acos (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1))) in v 1545218370.658 * [misc]backup-simplify: Simplify (acos (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1))) into (acos (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1))) 1545218370.658 * [misc]taylor: Taking taylor expansion of (acos (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1))) in v 1545218370.659 * [misc]backup-simplify: Simplify (acos (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1))) into (acos (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1))) 1545218370.659 * [misc]backup-simplify: Simplify (acos (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1))) into (acos (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1))) 1545218370.659 * [misc]backup-simplify: Simplify 0 into 0 1545218370.659 * [misc]backup-simplify: Simplify 0 into 0 1545218370.659 * [misc]backup-simplify: Simplify 0 into 0 1545218370.659 * [misc]backup-simplify: Simplify 0 into 0 1545218370.659 * [misc]backup-simplify: Simplify 0 into 0 1545218370.659 * [misc]backup-simplify: Simplify 0 into 0 1545218370.660 * [misc]backup-simplify: Simplify (acos (/ (fma (/ 5 (/ 1 (- v))) (/ -1 (/ 1 (- v))) 1) (fma (/ -1 (/ 1 (- v))) (/ -1 (/ 1 (- v))) -1))) into (acos (/ (fma (* -5 v) v 1) (fma v v -1))) 1545218370.660 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1545218370.660 * [misc]backup-simplify: Simplify (/ (fma (* -5 v) v 1) (fma v v -1)) into (/ (fma (* -5 v) v 1) (fma v v -1)) 1545218370.660 * [misc]approximate: Taking taylor expansion of (/ (fma (* -5 v) v 1) (fma v v -1)) in (v) around 0 1545218370.660 * [misc]taylor: Taking taylor expansion of (/ (fma (* -5 v) v 1) (fma v v -1)) in v 1545218370.660 * [misc]taylor: Taking taylor expansion of (fma (* -5 v) v 1) in v 1545218370.660 * [misc]taylor: Rewrote expression to (+ (* (* -5 v) v) 1) 1545218370.660 * [misc]taylor: Taking taylor expansion of (* (* -5 v) v) in v 1545218370.660 * [misc]taylor: Taking taylor expansion of (* -5 v) in v 1545218370.660 * [misc]taylor: Taking taylor expansion of -5 in v 1545218370.660 * [misc]backup-simplify: Simplify -5 into -5 1545218370.660 * [misc]taylor: Taking taylor expansion of v in v 1545218370.660 * [misc]backup-simplify: Simplify 0 into 0 1545218370.660 * [misc]backup-simplify: Simplify 1 into 1 1545218370.660 * [misc]taylor: Taking taylor expansion of v in v 1545218370.660 * [misc]backup-simplify: Simplify 0 into 0 1545218370.660 * [misc]backup-simplify: Simplify 1 into 1 1545218370.660 * [misc]taylor: Taking taylor expansion of 1 in v 1545218370.660 * [misc]backup-simplify: Simplify 1 into 1 1545218370.660 * [misc]taylor: Taking taylor expansion of (fma v v -1) in v 1545218370.660 * [misc]taylor: Rewrote expression to (+ (* v v) -1) 1545218370.660 * [misc]taylor: Taking taylor expansion of (* v v) in v 1545218370.660 * [misc]taylor: Taking taylor expansion of v in v 1545218370.660 * [misc]backup-simplify: Simplify 0 into 0 1545218370.660 * [misc]backup-simplify: Simplify 1 into 1 1545218370.660 * [misc]taylor: Taking taylor expansion of v in v 1545218370.660 * [misc]backup-simplify: Simplify 0 into 0 1545218370.661 * [misc]backup-simplify: Simplify 1 into 1 1545218370.661 * [misc]taylor: Taking taylor expansion of -1 in v 1545218370.661 * [misc]backup-simplify: Simplify -1 into -1 1545218370.661 * [misc]backup-simplify: Simplify (* -5 0) into 0 1545218370.661 * [misc]backup-simplify: Simplify (* 0 0) into 0 1545218370.662 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545218370.662 * [misc]backup-simplify: Simplify (* 0 0) into 0 1545218370.662 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545218370.662 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1545218370.662 * [misc]taylor: Taking taylor expansion of (/ (fma (* -5 v) v 1) (fma v v -1)) in v 1545218370.662 * [misc]taylor: Taking taylor expansion of (fma (* -5 v) v 1) in v 1545218370.662 * [misc]taylor: Rewrote expression to (+ (* (* -5 v) v) 1) 1545218370.662 * [misc]taylor: Taking taylor expansion of (* (* -5 v) v) in v 1545218370.662 * [misc]taylor: Taking taylor expansion of (* -5 v) in v 1545218370.662 * [misc]taylor: Taking taylor expansion of -5 in v 1545218370.662 * [misc]backup-simplify: Simplify -5 into -5 1545218370.662 * [misc]taylor: Taking taylor expansion of v in v 1545218370.662 * [misc]backup-simplify: Simplify 0 into 0 1545218370.662 * [misc]backup-simplify: Simplify 1 into 1 1545218370.662 * [misc]taylor: Taking taylor expansion of v in v 1545218370.662 * [misc]backup-simplify: Simplify 0 into 0 1545218370.662 * [misc]backup-simplify: Simplify 1 into 1 1545218370.662 * [misc]taylor: Taking taylor expansion of 1 in v 1545218370.663 * [misc]backup-simplify: Simplify 1 into 1 1545218370.663 * [misc]taylor: Taking taylor expansion of (fma v v -1) in v 1545218370.663 * [misc]taylor: Rewrote expression to (+ (* v v) -1) 1545218370.663 * [misc]taylor: Taking taylor expansion of (* v v) in v 1545218370.663 * [misc]taylor: Taking taylor expansion of v in v 1545218370.663 * [misc]backup-simplify: Simplify 0 into 0 1545218370.663 * [misc]backup-simplify: Simplify 1 into 1 1545218370.663 * [misc]taylor: Taking taylor expansion of v in v 1545218370.663 * [misc]backup-simplify: Simplify 0 into 0 1545218370.663 * [misc]backup-simplify: Simplify 1 into 1 1545218370.663 * [misc]taylor: Taking taylor expansion of -1 in v 1545218370.663 * [misc]backup-simplify: Simplify -1 into -1 1545218370.663 * [misc]backup-simplify: Simplify (* -5 0) into 0 1545218370.663 * [misc]backup-simplify: Simplify (* 0 0) into 0 1545218370.663 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545218370.663 * [misc]backup-simplify: Simplify (* 0 0) into 0 1545218370.664 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545218370.664 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1545218370.664 * [misc]backup-simplify: Simplify -1 into -1 1545218370.664 * [misc]backup-simplify: Simplify (+ (* -5 1) (* 0 0)) into -5 1545218370.664 * [misc]backup-simplify: Simplify (+ (* 0 1) (* -5 0)) into 0 1545218370.664 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.665 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 1545218370.665 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.665 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)))) into 0 1545218370.665 * [misc]backup-simplify: Simplify 0 into 0 1545218370.665 * [misc]backup-simplify: Simplify (+ (* -5 0) (+ (* 0 1) (* 0 0))) into 0 1545218370.666 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* -5 1) (* 0 0))) into -5 1545218370.666 * [misc]backup-simplify: Simplify (+ -5 0) into -5 1545218370.666 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1545218370.666 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545218370.666 * [misc]backup-simplify: Simplify (- (/ -5 -1) (+ (* -1 (/ 1 -1)) (* 0 (/ 0 -1)))) into 4 1545218370.667 * [misc]backup-simplify: Simplify 4 into 4 1545218370.667 * [misc]backup-simplify: Simplify (+ (* -5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545218370.667 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* -5 0) (+ (* 0 1) (* 0 0)))) into 0 1545218370.667 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.668 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1545218370.668 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.668 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* 0 (/ 1 -1)) (* 4 (/ 0 -1)))) into 0 1545218370.668 * [misc]backup-simplify: Simplify 0 into 0 1545218370.669 * [misc]backup-simplify: Simplify (+ (* -5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545218370.669 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* -5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545218370.669 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.670 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545218370.670 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.670 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 4 (/ 1 -1)) (* 0 (/ 0 -1)))) into 4 1545218370.670 * [misc]backup-simplify: Simplify 4 into 4 1545218370.671 * [misc]backup-simplify: Simplify (+ (* 4 (pow v 4)) (+ (* 4 (pow v 2)) -1)) into (- (+ (* 4 (pow v 4)) (* 4 (pow v 2))) 1) 1545218370.671 * [misc]backup-simplify: Simplify (/ (fma (* -5 (/ 1 v)) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1)) into (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1)) 1545218370.671 * [misc]approximate: Taking taylor expansion of (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1)) in (v) around 0 1545218370.671 * [misc]taylor: Taking taylor expansion of (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1)) in v 1545218370.671 * [misc]taylor: Taking taylor expansion of (fma (/ -5 v) (/ 1 v) 1) in v 1545218370.671 * [misc]taylor: Rewrote expression to (+ (* (/ -5 v) (/ 1 v)) 1) 1545218370.671 * [misc]taylor: Taking taylor expansion of (* (/ -5 v) (/ 1 v)) in v 1545218370.671 * [misc]taylor: Taking taylor expansion of (/ -5 v) in v 1545218370.671 * [misc]taylor: Taking taylor expansion of -5 in v 1545218370.671 * [misc]backup-simplify: Simplify -5 into -5 1545218370.671 * [misc]taylor: Taking taylor expansion of v in v 1545218370.671 * [misc]backup-simplify: Simplify 0 into 0 1545218370.671 * [misc]backup-simplify: Simplify 1 into 1 1545218370.671 * [misc]backup-simplify: Simplify (/ -5 1) into -5 1545218370.671 * [misc]taylor: Taking taylor expansion of (/ 1 v) in v 1545218370.671 * [misc]taylor: Taking taylor expansion of v in v 1545218370.671 * [misc]backup-simplify: Simplify 0 into 0 1545218370.671 * [misc]backup-simplify: Simplify 1 into 1 1545218370.672 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545218370.672 * [misc]taylor: Taking taylor expansion of 1 in v 1545218370.672 * [misc]backup-simplify: Simplify 1 into 1 1545218370.672 * [misc]taylor: Taking taylor expansion of (fma (/ 1 v) (/ 1 v) -1) in v 1545218370.672 * [misc]taylor: Rewrote expression to (+ (* (/ 1 v) (/ 1 v)) -1) 1545218370.672 * [misc]taylor: Taking taylor expansion of (* (/ 1 v) (/ 1 v)) in v 1545218370.672 * [misc]taylor: Taking taylor expansion of (/ 1 v) in v 1545218370.672 * [misc]taylor: Taking taylor expansion of v in v 1545218370.672 * [misc]backup-simplify: Simplify 0 into 0 1545218370.672 * [misc]backup-simplify: Simplify 1 into 1 1545218370.672 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545218370.672 * [misc]taylor: Taking taylor expansion of (/ 1 v) in v 1545218370.672 * [misc]taylor: Taking taylor expansion of v in v 1545218370.672 * [misc]backup-simplify: Simplify 0 into 0 1545218370.672 * [misc]backup-simplify: Simplify 1 into 1 1545218370.672 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545218370.672 * [misc]taylor: Taking taylor expansion of -1 in v 1545218370.672 * [misc]backup-simplify: Simplify -1 into -1 1545218370.673 * [misc]backup-simplify: Simplify (* -5 1) into -5 1545218370.673 * [misc]backup-simplify: Simplify (+ -5 0) into -5 1545218370.673 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545218370.673 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545218370.673 * [misc]backup-simplify: Simplify (/ -5 1) into -5 1545218370.673 * [misc]taylor: Taking taylor expansion of (/ (fma (/ -5 v) (/ 1 v) 1) (fma (/ 1 v) (/ 1 v) -1)) in v 1545218370.673 * [misc]taylor: Taking taylor expansion of (fma (/ -5 v) (/ 1 v) 1) in v 1545218370.673 * [misc]taylor: Rewrote expression to (+ (* (/ -5 v) (/ 1 v)) 1) 1545218370.673 * [misc]taylor: Taking taylor expansion of (* (/ -5 v) (/ 1 v)) in v 1545218370.673 * [misc]taylor: Taking taylor expansion of (/ -5 v) in v 1545218370.673 * [misc]taylor: Taking taylor expansion of -5 in v 1545218370.673 * [misc]backup-simplify: Simplify -5 into -5 1545218370.673 * [misc]taylor: Taking taylor expansion of v in v 1545218370.673 * [misc]backup-simplify: Simplify 0 into 0 1545218370.673 * [misc]backup-simplify: Simplify 1 into 1 1545218370.674 * [misc]backup-simplify: Simplify (/ -5 1) into -5 1545218370.674 * [misc]taylor: Taking taylor expansion of (/ 1 v) in v 1545218370.674 * [misc]taylor: Taking taylor expansion of v in v 1545218370.674 * [misc]backup-simplify: Simplify 0 into 0 1545218370.674 * [misc]backup-simplify: Simplify 1 into 1 1545218370.674 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545218370.674 * [misc]taylor: Taking taylor expansion of 1 in v 1545218370.674 * [misc]backup-simplify: Simplify 1 into 1 1545218370.674 * [misc]taylor: Taking taylor expansion of (fma (/ 1 v) (/ 1 v) -1) in v 1545218370.674 * [misc]taylor: Rewrote expression to (+ (* (/ 1 v) (/ 1 v)) -1) 1545218370.674 * [misc]taylor: Taking taylor expansion of (* (/ 1 v) (/ 1 v)) in v 1545218370.674 * [misc]taylor: Taking taylor expansion of (/ 1 v) in v 1545218370.674 * [misc]taylor: Taking taylor expansion of v in v 1545218370.674 * [misc]backup-simplify: Simplify 0 into 0 1545218370.674 * [misc]backup-simplify: Simplify 1 into 1 1545218370.674 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545218370.674 * [misc]taylor: Taking taylor expansion of (/ 1 v) in v 1545218370.674 * [misc]taylor: Taking taylor expansion of v in v 1545218370.674 * [misc]backup-simplify: Simplify 0 into 0 1545218370.674 * [misc]backup-simplify: Simplify 1 into 1 1545218370.674 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545218370.675 * [misc]taylor: Taking taylor expansion of -1 in v 1545218370.675 * [misc]backup-simplify: Simplify -1 into -1 1545218370.675 * [misc]backup-simplify: Simplify (* -5 1) into -5 1545218370.675 * [misc]backup-simplify: Simplify (+ -5 0) into -5 1545218370.675 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545218370.675 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545218370.675 * [misc]backup-simplify: Simplify (/ -5 1) into -5 1545218370.675 * [misc]backup-simplify: Simplify -5 into -5 1545218370.676 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545218370.676 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -5 (/ 0 1)))) into 0 1545218370.676 * [misc]backup-simplify: Simplify (+ (* -5 0) (* 0 1)) into 0 1545218370.676 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.676 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545218370.677 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545218370.677 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545218370.677 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.677 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -5 (/ 0 1)))) into 0 1545218370.677 * [misc]backup-simplify: Simplify 0 into 0 1545218370.678 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.678 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.678 * [misc]backup-simplify: Simplify (+ (* -5 0) (+ (* 0 0) (* 0 1))) into 0 1545218370.678 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545218370.679 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.679 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.679 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545218370.679 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545218370.680 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -5 (/ -1 1)) (* 0 (/ 0 1)))) into -4 1545218370.680 * [misc]backup-simplify: Simplify -4 into -4 1545218370.680 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.680 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.681 * [misc]backup-simplify: Simplify (+ (* -5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545218370.681 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.681 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.682 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.682 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545218370.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.682 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -5 (/ 0 1)) (* 0 (/ -1 1)) (* -4 (/ 0 1)))) into 0 1545218370.682 * [misc]backup-simplify: Simplify 0 into 0 1545218370.683 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.683 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.684 * [misc]backup-simplify: Simplify (+ (* -5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545218370.684 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.684 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.685 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.685 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545218370.685 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.686 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -5 (/ 0 1)) (* 0 (/ 0 1)) (* -4 (/ -1 1)) (* 0 (/ 0 1)))) into -4 1545218370.686 * [misc]backup-simplify: Simplify -4 into -4 1545218370.686 * [misc]backup-simplify: Simplify (+ (* -4 (pow (/ 1 v) 4)) (+ (* -4 (pow (/ 1 v) 2)) -5)) into (- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2)))))) 1545218370.686 * [misc]backup-simplify: Simplify (/ (fma (* -5 (/ 1 (- v))) (/ 1 (- v)) 1) (fma (/ 1 (- v)) (/ 1 (- v)) -1)) into (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1)) 1545218370.686 * [misc]approximate: Taking taylor expansion of (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1)) in (v) around 0 1545218370.686 * [misc]taylor: Taking taylor expansion of (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1)) in v 1545218370.686 * [misc]taylor: Taking taylor expansion of (fma (/ 5 v) (/ -1 v) 1) in v 1545218370.687 * [misc]taylor: Rewrote expression to (+ (* (/ 5 v) (/ -1 v)) 1) 1545218370.687 * [misc]taylor: Taking taylor expansion of (* (/ 5 v) (/ -1 v)) in v 1545218370.687 * [misc]taylor: Taking taylor expansion of (/ 5 v) in v 1545218370.687 * [misc]taylor: Taking taylor expansion of 5 in v 1545218370.687 * [misc]backup-simplify: Simplify 5 into 5 1545218370.687 * [misc]taylor: Taking taylor expansion of v in v 1545218370.687 * [misc]backup-simplify: Simplify 0 into 0 1545218370.687 * [misc]backup-simplify: Simplify 1 into 1 1545218370.687 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1545218370.687 * [misc]taylor: Taking taylor expansion of (/ -1 v) in v 1545218370.687 * [misc]taylor: Taking taylor expansion of -1 in v 1545218370.687 * [misc]backup-simplify: Simplify -1 into -1 1545218370.687 * [misc]taylor: Taking taylor expansion of v in v 1545218370.687 * [misc]backup-simplify: Simplify 0 into 0 1545218370.687 * [misc]backup-simplify: Simplify 1 into 1 1545218370.687 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545218370.687 * [misc]taylor: Taking taylor expansion of 1 in v 1545218370.687 * [misc]backup-simplify: Simplify 1 into 1 1545218370.687 * [misc]taylor: Taking taylor expansion of (fma (/ -1 v) (/ -1 v) -1) in v 1545218370.687 * [misc]taylor: Rewrote expression to (+ (* (/ -1 v) (/ -1 v)) -1) 1545218370.687 * [misc]taylor: Taking taylor expansion of (* (/ -1 v) (/ -1 v)) in v 1545218370.688 * [misc]taylor: Taking taylor expansion of (/ -1 v) in v 1545218370.688 * [misc]taylor: Taking taylor expansion of -1 in v 1545218370.688 * [misc]backup-simplify: Simplify -1 into -1 1545218370.688 * [misc]taylor: Taking taylor expansion of v in v 1545218370.688 * [misc]backup-simplify: Simplify 0 into 0 1545218370.688 * [misc]backup-simplify: Simplify 1 into 1 1545218370.688 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545218370.688 * [misc]taylor: Taking taylor expansion of (/ -1 v) in v 1545218370.688 * [misc]taylor: Taking taylor expansion of -1 in v 1545218370.688 * [misc]backup-simplify: Simplify -1 into -1 1545218370.688 * [misc]taylor: Taking taylor expansion of v in v 1545218370.688 * [misc]backup-simplify: Simplify 0 into 0 1545218370.688 * [misc]backup-simplify: Simplify 1 into 1 1545218370.688 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545218370.688 * [misc]taylor: Taking taylor expansion of -1 in v 1545218370.688 * [misc]backup-simplify: Simplify -1 into -1 1545218370.688 * [misc]backup-simplify: Simplify (* 5 -1) into -5 1545218370.688 * [misc]backup-simplify: Simplify (+ -5 0) into -5 1545218370.689 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1545218370.689 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545218370.689 * [misc]backup-simplify: Simplify (/ -5 1) into -5 1545218370.689 * [misc]taylor: Taking taylor expansion of (/ (fma (/ 5 v) (/ -1 v) 1) (fma (/ -1 v) (/ -1 v) -1)) in v 1545218370.689 * [misc]taylor: Taking taylor expansion of (fma (/ 5 v) (/ -1 v) 1) in v 1545218370.689 * [misc]taylor: Rewrote expression to (+ (* (/ 5 v) (/ -1 v)) 1) 1545218370.689 * [misc]taylor: Taking taylor expansion of (* (/ 5 v) (/ -1 v)) in v 1545218370.689 * [misc]taylor: Taking taylor expansion of (/ 5 v) in v 1545218370.689 * [misc]taylor: Taking taylor expansion of 5 in v 1545218370.689 * [misc]backup-simplify: Simplify 5 into 5 1545218370.689 * [misc]taylor: Taking taylor expansion of v in v 1545218370.689 * [misc]backup-simplify: Simplify 0 into 0 1545218370.689 * [misc]backup-simplify: Simplify 1 into 1 1545218370.689 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1545218370.689 * [misc]taylor: Taking taylor expansion of (/ -1 v) in v 1545218370.689 * [misc]taylor: Taking taylor expansion of -1 in v 1545218370.689 * [misc]backup-simplify: Simplify -1 into -1 1545218370.689 * [misc]taylor: Taking taylor expansion of v in v 1545218370.690 * [misc]backup-simplify: Simplify 0 into 0 1545218370.690 * [misc]backup-simplify: Simplify 1 into 1 1545218370.690 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545218370.690 * [misc]taylor: Taking taylor expansion of 1 in v 1545218370.690 * [misc]backup-simplify: Simplify 1 into 1 1545218370.690 * [misc]taylor: Taking taylor expansion of (fma (/ -1 v) (/ -1 v) -1) in v 1545218370.690 * [misc]taylor: Rewrote expression to (+ (* (/ -1 v) (/ -1 v)) -1) 1545218370.690 * [misc]taylor: Taking taylor expansion of (* (/ -1 v) (/ -1 v)) in v 1545218370.690 * [misc]taylor: Taking taylor expansion of (/ -1 v) in v 1545218370.690 * [misc]taylor: Taking taylor expansion of -1 in v 1545218370.690 * [misc]backup-simplify: Simplify -1 into -1 1545218370.690 * [misc]taylor: Taking taylor expansion of v in v 1545218370.690 * [misc]backup-simplify: Simplify 0 into 0 1545218370.690 * [misc]backup-simplify: Simplify 1 into 1 1545218370.690 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545218370.690 * [misc]taylor: Taking taylor expansion of (/ -1 v) in v 1545218370.690 * [misc]taylor: Taking taylor expansion of -1 in v 1545218370.690 * [misc]backup-simplify: Simplify -1 into -1 1545218370.690 * [misc]taylor: Taking taylor expansion of v in v 1545218370.690 * [misc]backup-simplify: Simplify 0 into 0 1545218370.690 * [misc]backup-simplify: Simplify 1 into 1 1545218370.690 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545218370.691 * [misc]taylor: Taking taylor expansion of -1 in v 1545218370.691 * [misc]backup-simplify: Simplify -1 into -1 1545218370.691 * [misc]backup-simplify: Simplify (* 5 -1) into -5 1545218370.691 * [misc]backup-simplify: Simplify (+ -5 0) into -5 1545218370.691 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1545218370.691 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545218370.691 * [misc]backup-simplify: Simplify (/ -5 1) into -5 1545218370.691 * [misc]backup-simplify: Simplify -5 into -5 1545218370.692 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545218370.692 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 1545218370.692 * [misc]backup-simplify: Simplify (+ (* 5 0) (* 0 -1)) into 0 1545218370.692 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.693 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545218370.693 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545218370.693 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 -1)) into 0 1545218370.693 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.693 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -5 (/ 0 1)))) into 0 1545218370.693 * [misc]backup-simplify: Simplify 0 into 0 1545218370.694 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.694 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.694 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 -1))) into 0 1545218370.694 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545218370.695 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.695 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.695 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 1545218370.696 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545218370.696 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -5 (/ -1 1)) (* 0 (/ 0 1)))) into -4 1545218370.696 * [misc]backup-simplify: Simplify -4 into -4 1545218370.696 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.697 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.697 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1545218370.697 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.698 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.698 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.698 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1545218370.698 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.699 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -5 (/ 0 1)) (* 0 (/ -1 1)) (* -4 (/ 0 1)))) into 0 1545218370.699 * [misc]backup-simplify: Simplify 0 into 0 1545218370.699 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.700 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.700 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1545218370.700 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.701 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.701 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545218370.701 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1545218370.702 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545218370.702 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -5 (/ 0 1)) (* 0 (/ 0 1)) (* -4 (/ -1 1)) (* 0 (/ 0 1)))) into -4 1545218370.702 * [misc]backup-simplify: Simplify -4 into -4 1545218370.702 * [misc]backup-simplify: Simplify (+ (* -4 (pow (/ 1 (- v)) 4)) (+ (* -4 (pow (/ 1 (- v)) 2)) -5)) into (- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2)))))) 1545218370.703 * * * [misc]progress: simplifying candidates 1545218370.703 * * * * [misc]progress: [ 1 / 45 ] simplifiying candidate # 1545218370.703 * * * * [misc]progress: [ 2 / 45 ] simplifiying candidate # 1545218370.703 * * * * [misc]progress: [ 3 / 45 ] simplifiying candidate # 1545218370.703 * * * * [misc]progress: [ 4 / 45 ] simplifiying candidate # 1545218370.703 * * * * [misc]progress: [ 5 / 45 ] simplifiying candidate # 1545218370.703 * * * * [misc]progress: [ 6 / 45 ] simplifiying candidate # 1545218370.703 * * * * [misc]progress: [ 7 / 45 ] simplifiying candidate # 1545218370.703 * * * * [misc]progress: [ 8 / 45 ] simplifiying candidate # 1545218370.703 * * * * [misc]progress: [ 9 / 45 ] simplifiying candidate # 1545218370.703 * * * * [misc]progress: [ 10 / 45 ] simplifiying candidate # 1545218370.703 * * * * [misc]progress: [ 11 / 45 ] simplifiying candidate # 1545218370.703 * * * * [misc]progress: [ 12 / 45 ] simplifiying candidate # 1545218370.703 * * * * [misc]progress: [ 13 / 45 ] simplifiying candidate # 1545218370.703 * * * * [misc]progress: [ 14 / 45 ] simplifiying candidate # 1545218370.704 * [enter]simplify: Simplifying (- (log (fma (* -5 v) v 1)) (log (fma v v -1))) 1545218370.704 * * [misc]simplify: iters left: 6 (10 enodes) 1545218370.707 * * [misc]simplify: iters left: 5 (19 enodes) 1545218370.712 * * [misc]simplify: iters left: 4 (27 enodes) 1545218370.720 * * [misc]simplify: iters left: 3 (38 enodes) 1545218370.729 * * [misc]simplify: iters left: 2 (60 enodes) 1545218370.757 * * [misc]simplify: iters left: 1 (100 enodes) 1545218370.815 * [exit]simplify: Simplified to (- (log (fma -5 (* v v) 1)) (log (fma v v -1))) 1545218370.815 * [misc]simplify: Simplified (2 1 1) to (λ (v) (acos (exp (- (log (fma -5 (* v v) 1)) (log (fma v v -1)))))) 1545218370.815 * * * * [misc]progress: [ 15 / 45 ] simplifiying candidate # 1545218370.815 * * * * [misc]progress: [ 16 / 45 ] simplifiying candidate # 1545218370.815 * * * * [misc]progress: [ 17 / 45 ] simplifiying candidate # 1545218370.816 * [enter]simplify: Simplifying (/ (* (* (fma (* -5 v) v 1) (fma (* -5 v) v 1)) (fma (* -5 v) v 1)) (* (* (fma v v -1) (fma v v -1)) (fma v v -1))) 1545218370.816 * * [misc]simplify: iters left: 6 (12 enodes) 1545218370.820 * * [misc]simplify: iters left: 5 (28 enodes) 1545218370.830 * * [misc]simplify: iters left: 4 (87 enodes) 1545218370.880 * * [misc]simplify: iters left: 3 (311 enodes) 1545218371.211 * [exit]simplify: Simplified to (pow (/ (fma -5 (* v v) 1) (fma v v -1)) 3) 1545218371.211 * [misc]simplify: Simplified (2 1 1) to (λ (v) (acos (cbrt (pow (/ (fma -5 (* v v) 1) (fma v v -1)) 3)))) 1545218371.211 * * * * [misc]progress: [ 18 / 45 ] simplifiying candidate # 1545218371.211 * * * * [misc]progress: [ 19 / 45 ] simplifiying candidate # 1545218371.211 * * * * [misc]progress: [ 20 / 45 ] simplifiying candidate # 1545218371.211 * * * * [misc]progress: [ 21 / 45 ] simplifiying candidate # 1545218371.211 * * * * [misc]progress: [ 22 / 45 ] simplifiying candidate # 1545218371.211 * [enter]simplify: Simplifying (/ (* (cbrt (fma (* -5 v) v 1)) (cbrt (fma (* -5 v) v 1))) (* (cbrt (fma v v -1)) (cbrt (fma v v -1)))) 1545218371.212 * * [misc]simplify: iters left: 6 (12 enodes) 1545218371.216 * * [misc]simplify: iters left: 5 (25 enodes) 1545218371.223 * * [misc]simplify: iters left: 4 (41 enodes) 1545218371.231 * * [misc]simplify: iters left: 3 (51 enodes) 1545218371.237 * * [misc]simplify: iters left: 2 (69 enodes) 1545218371.254 * * [misc]simplify: iters left: 1 (104 enodes) 1545218371.301 * [exit]simplify: Simplified to (* (/ (cbrt (fma -5 (* v v) 1)) (cbrt (fma v v -1))) (/ (cbrt (fma -5 (* v v) 1)) (cbrt (fma v v -1)))) 1545218371.302 * [misc]simplify: Simplified (2 1 1) to (λ (v) (acos (* (* (/ (cbrt (fma -5 (* v v) 1)) (cbrt (fma v v -1))) (/ (cbrt (fma -5 (* v v) 1)) (cbrt (fma v v -1)))) (/ (cbrt (fma (* -5 v) v 1)) (cbrt (fma v v -1)))))) 1545218371.302 * [enter]simplify: Simplifying (/ (cbrt (fma (* -5 v) v 1)) (cbrt (fma v v -1))) 1545218371.302 * * [misc]simplify: iters left: 6 (10 enodes) 1545218371.303 * * [misc]simplify: iters left: 5 (17 enodes) 1545218371.305 * * [misc]simplify: iters left: 4 (24 enodes) 1545218371.309 * * [misc]simplify: iters left: 3 (31 enodes) 1545218371.313 * * [misc]simplify: iters left: 2 (46 enodes) 1545218371.328 * * [misc]simplify: iters left: 1 (81 enodes) 1545218371.353 * [exit]simplify: Simplified to (/ (cbrt (fma -5 (* v v) 1)) (cbrt (fma v v -1))) 1545218371.353 * [misc]simplify: Simplified (2 1 2) to (λ (v) (acos (* (/ (* (cbrt (fma (* -5 v) v 1)) (cbrt (fma (* -5 v) v 1))) (* (cbrt (fma v v -1)) (cbrt (fma v v -1)))) (/ (cbrt (fma -5 (* v v) 1)) (cbrt (fma v v -1)))))) 1545218371.353 * * * * [misc]progress: [ 23 / 45 ] simplifiying candidate # 1545218371.353 * [enter]simplify: Simplifying (/ (* (cbrt (fma (* -5 v) v 1)) (cbrt (fma (* -5 v) v 1))) (sqrt (fma v v -1))) 1545218371.353 * * [misc]simplify: iters left: 6 (11 enodes) 1545218371.355 * * [misc]simplify: iters left: 5 (20 enodes) 1545218371.357 * * [misc]simplify: iters left: 4 (29 enodes) 1545218371.362 * * [misc]simplify: iters left: 3 (37 enodes) 1545218371.372 * * [misc]simplify: iters left: 2 (52 enodes) 1545218371.398 * * [misc]simplify: iters left: 1 (86 enodes) 1545218371.437 * [exit]simplify: Simplified to (/ (* (cbrt (fma (* -5 v) v 1)) (cbrt (fma (* -5 v) v 1))) (sqrt (fma v v -1))) 1545218371.437 * [misc]simplify: Simplified (2 1 1) to (λ (v) (acos (* (/ (* (cbrt (fma (* -5 v) v 1)) (cbrt (fma (* -5 v) v 1))) (sqrt (fma v v -1))) (/ (cbrt (fma (* -5 v) v 1)) (sqrt (fma v v -1)))))) 1545218371.437 * [enter]simplify: Simplifying (/ (cbrt (fma (* -5 v) v 1)) (sqrt (fma v v -1))) 1545218371.437 * * [misc]simplify: iters left: 6 (10 enodes) 1545218371.438 * * [misc]simplify: iters left: 5 (17 enodes) 1545218371.441 * * [misc]simplify: iters left: 4 (24 enodes) 1545218371.445 * * [misc]simplify: iters left: 3 (31 enodes) 1545218371.448 * * [misc]simplify: iters left: 2 (46 enodes) 1545218371.470 * * [misc]simplify: iters left: 1 (81 enodes) 1545218371.523 * [exit]simplify: Simplified to (/ (cbrt (fma -5 (* v v) 1)) (sqrt (fma v v -1))) 1545218371.523 * [misc]simplify: Simplified (2 1 2) to (λ (v) (acos (* (/ (* (cbrt (fma (* -5 v) v 1)) (cbrt (fma (* -5 v) v 1))) (sqrt (fma v v -1))) (/ (cbrt (fma -5 (* v v) 1)) (sqrt (fma v v -1)))))) 1545218371.523 * * * * [misc]progress: [ 24 / 45 ] simplifiying candidate # 1545218371.523 * [enter]simplify: Simplifying (/ (* (cbrt (fma (* -5 v) v 1)) (cbrt (fma (* -5 v) v 1))) 1) 1545218371.523 * * [misc]simplify: iters left: 6 (8 enodes) 1545218371.526 * * [misc]simplify: iters left: 5 (15 enodes) 1545218371.531 * * [misc]simplify: iters left: 4 (25 enodes) 1545218371.538 * * [misc]simplify: iters left: 3 (30 enodes) 1545218371.544 * * [misc]simplify: iters left: 2 (35 enodes) 1545218371.553 * [exit]simplify: Simplified to (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) 1545218371.553 * [misc]simplify: Simplified (2 1 1) to (λ (v) (acos (* (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (/ (cbrt (fma (* -5 v) v 1)) (fma v v -1))))) 1545218371.553 * [enter]simplify: Simplifying (/ (cbrt (fma (* -5 v) v 1)) (fma v v -1)) 1545218371.553 * * [misc]simplify: iters left: 6 (9 enodes) 1545218371.556 * * [misc]simplify: iters left: 5 (16 enodes) 1545218371.561 * * [misc]simplify: iters left: 4 (23 enodes) 1545218371.568 * * [misc]simplify: iters left: 3 (32 enodes) 1545218371.576 * * [misc]simplify: iters left: 2 (47 enodes) 1545218371.605 * * [misc]simplify: iters left: 1 (82 enodes) 1545218371.633 * [exit]simplify: Simplified to (/ (cbrt (fma -5 (* v v) 1)) (fma v v -1)) 1545218371.633 * [misc]simplify: Simplified (2 1 2) to (λ (v) (acos (* (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (/ (cbrt (fma -5 (* v v) 1)) (fma v v -1))))) 1545218371.633 * * * * [misc]progress: [ 25 / 45 ] simplifiying candidate # 1545218371.633 * [enter]simplify: Simplifying (/ (sqrt (fma (* -5 v) v 1)) (* (cbrt (fma v v -1)) (cbrt (fma v v -1)))) 1545218371.633 * * [misc]simplify: iters left: 6 (11 enodes) 1545218371.635 * * [misc]simplify: iters left: 5 (20 enodes) 1545218371.638 * * [misc]simplify: iters left: 4 (27 enodes) 1545218371.642 * * [misc]simplify: iters left: 3 (34 enodes) 1545218371.646 * * [misc]simplify: iters left: 2 (49 enodes) 1545218371.674 * * [misc]simplify: iters left: 1 (84 enodes) 1545218371.727 * [exit]simplify: Simplified to (/ (sqrt (fma (* -5 v) v 1)) (* (cbrt (fma v v -1)) (cbrt (fma v v -1)))) 1545218371.727 * [misc]simplify: Simplified (2 1 1) to (λ (v) (acos (* (/ (sqrt (fma (* -5 v) v 1)) (* (cbrt (fma v v -1)) (cbrt (fma v v -1)))) (/ (sqrt (fma (* -5 v) v 1)) (cbrt (fma v v -1)))))) 1545218371.728 * [enter]simplify: Simplifying (/ (sqrt (fma (* -5 v) v 1)) (cbrt (fma v v -1))) 1545218371.728 * * [misc]simplify: iters left: 6 (10 enodes) 1545218371.731 * * [misc]simplify: iters left: 5 (17 enodes) 1545218371.736 * * [misc]simplify: iters left: 4 (24 enodes) 1545218371.743 * * [misc]simplify: iters left: 3 (31 enodes) 1545218371.751 * * [misc]simplify: iters left: 2 (46 enodes) 1545218371.780 * * [misc]simplify: iters left: 1 (81 enodes) 1545218371.831 * [exit]simplify: Simplified to (/ (sqrt (fma -5 (* v v) 1)) (cbrt (fma v v -1))) 1545218371.831 * [misc]simplify: Simplified (2 1 2) to (λ (v) (acos (* (/ (sqrt (fma (* -5 v) v 1)) (* (cbrt (fma v v -1)) (cbrt (fma v v -1)))) (/ (sqrt (fma -5 (* v v) 1)) (cbrt (fma v v -1)))))) 1545218371.831 * * * * [misc]progress: [ 26 / 45 ] simplifiying candidate # 1545218371.831 * [enter]simplify: Simplifying (/ (sqrt (fma (* -5 v) v 1)) (sqrt (fma v v -1))) 1545218371.832 * * [misc]simplify: iters left: 6 (10 enodes) 1545218371.835 * * [misc]simplify: iters left: 5 (17 enodes) 1545218371.840 * * [misc]simplify: iters left: 4 (24 enodes) 1545218371.848 * * [misc]simplify: iters left: 3 (31 enodes) 1545218371.856 * * [misc]simplify: iters left: 2 (46 enodes) 1545218371.888 * * [misc]simplify: iters left: 1 (81 enodes) 1545218371.922 * [exit]simplify: Simplified to (/ (sqrt (fma -5 (* v v) 1)) (sqrt (fma v v -1))) 1545218371.923 * [misc]simplify: Simplified (2 1 1) to (λ (v) (acos (* (/ (sqrt (fma -5 (* v v) 1)) (sqrt (fma v v -1))) (/ (sqrt (fma (* -5 v) v 1)) (sqrt (fma v v -1)))))) 1545218371.923 * [enter]simplify: Simplifying (/ (sqrt (fma (* -5 v) v 1)) (sqrt (fma v v -1))) 1545218371.923 * * [misc]simplify: iters left: 6 (10 enodes) 1545218371.924 * * [misc]simplify: iters left: 5 (17 enodes) 1545218371.927 * * [misc]simplify: iters left: 4 (24 enodes) 1545218371.930 * * [misc]simplify: iters left: 3 (31 enodes) 1545218371.934 * * [misc]simplify: iters left: 2 (46 enodes) 1545218371.948 * * [misc]simplify: iters left: 1 (81 enodes) 1545218371.975 * [exit]simplify: Simplified to (/ (sqrt (fma -5 (* v v) 1)) (sqrt (fma v v -1))) 1545218371.975 * [misc]simplify: Simplified (2 1 2) to (λ (v) (acos (* (/ (sqrt (fma (* -5 v) v 1)) (sqrt (fma v v -1))) (/ (sqrt (fma -5 (* v v) 1)) (sqrt (fma v v -1)))))) 1545218371.975 * * * * [misc]progress: [ 27 / 45 ] simplifiying candidate # 1545218371.975 * [enter]simplify: Simplifying (/ (sqrt (fma (* -5 v) v 1)) 1) 1545218371.975 * * [misc]simplify: iters left: 6 (7 enodes) 1545218371.976 * * [misc]simplify: iters left: 5 (12 enodes) 1545218371.978 * * [misc]simplify: iters left: 4 (18 enodes) 1545218371.980 * * [misc]simplify: iters left: 3 (21 enodes) 1545218371.982 * [exit]simplify: Simplified to (sqrt (fma -5 (* v v) 1)) 1545218371.982 * [misc]simplify: Simplified (2 1 1) to (λ (v) (acos (* (sqrt (fma -5 (* v v) 1)) (/ (sqrt (fma (* -5 v) v 1)) (fma v v -1))))) 1545218371.983 * [enter]simplify: Simplifying (/ (sqrt (fma (* -5 v) v 1)) (fma v v -1)) 1545218371.983 * * [misc]simplify: iters left: 6 (9 enodes) 1545218371.984 * * [misc]simplify: iters left: 5 (16 enodes) 1545218371.986 * * [misc]simplify: iters left: 4 (23 enodes) 1545218371.990 * * [misc]simplify: iters left: 3 (32 enodes) 1545218371.994 * * [misc]simplify: iters left: 2 (47 enodes) 1545218372.008 * * [misc]simplify: iters left: 1 (82 enodes) 1545218372.036 * [exit]simplify: Simplified to (/ (sqrt (fma -5 (* v v) 1)) (fma v v -1)) 1545218372.036 * [misc]simplify: Simplified (2 1 2) to (λ (v) (acos (* (sqrt (fma -5 (* v v) 1)) (/ (sqrt (fma -5 (* v v) 1)) (fma v v -1))))) 1545218372.036 * * * * [misc]progress: [ 28 / 45 ] simplifiying candidate # 1545218372.036 * [enter]simplify: Simplifying (/ 1 (* (cbrt (fma v v -1)) (cbrt (fma v v -1)))) 1545218372.036 * * [misc]simplify: iters left: 6 (7 enodes) 1545218372.038 * * [misc]simplify: iters left: 5 (13 enodes) 1545218372.040 * * [misc]simplify: iters left: 4 (17 enodes) 1545218372.043 * * [misc]simplify: iters left: 3 (21 enodes) 1545218372.049 * * [misc]simplify: iters left: 2 (36 enodes) 1545218372.073 * * [misc]simplify: iters left: 1 (71 enodes) 1545218372.116 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (fma v v -1))) (cbrt (fma v v -1))) 1545218372.117 * [misc]simplify: Simplified (2 1 1) to (λ (v) (acos (* (/ (/ 1 (cbrt (fma v v -1))) (cbrt (fma v v -1))) (/ (fma (* -5 v) v 1) (cbrt (fma v v -1)))))) 1545218372.117 * [enter]simplify: Simplifying (/ (fma (* -5 v) v 1) (cbrt (fma v v -1))) 1545218372.117 * * [misc]simplify: iters left: 5 (9 enodes) 1545218372.120 * * [misc]simplify: iters left: 4 (16 enodes) 1545218372.124 * * [misc]simplify: iters left: 3 (23 enodes) 1545218372.131 * * [misc]simplify: iters left: 2 (30 enodes) 1545218372.139 * * [misc]simplify: iters left: 1 (45 enodes) 1545218372.168 * [exit]simplify: Simplified to (/ (fma -5 (* v v) 1) (cbrt (fma v v -1))) 1545218372.168 * [misc]simplify: Simplified (2 1 2) to (λ (v) (acos (* (/ 1 (* (cbrt (fma v v -1)) (cbrt (fma v v -1)))) (/ (fma -5 (* v v) 1) (cbrt (fma v v -1)))))) 1545218372.168 * * * * [misc]progress: [ 29 / 45 ] simplifiying candidate # 1545218372.168 * [enter]simplify: Simplifying (/ 1 (sqrt (fma v v -1))) 1545218372.168 * * [misc]simplify: iters left: 4 (6 enodes) 1545218372.170 * * [misc]simplify: iters left: 3 (10 enodes) 1545218372.172 * * [misc]simplify: iters left: 2 (14 enodes) 1545218372.177 * * [misc]simplify: iters left: 1 (18 enodes) 1545218372.180 * [exit]simplify: Simplified to (/ 1 (sqrt (fma v v -1))) 1545218372.180 * [misc]simplify: Simplified (2 1 1) to (λ (v) (acos (* (/ 1 (sqrt (fma v v -1))) (/ (fma (* -5 v) v 1) (sqrt (fma v v -1)))))) 1545218372.181 * [enter]simplify: Simplifying (/ (fma (* -5 v) v 1) (sqrt (fma v v -1))) 1545218372.181 * * [misc]simplify: iters left: 5 (9 enodes) 1545218372.182 * * [misc]simplify: iters left: 4 (16 enodes) 1545218372.184 * * [misc]simplify: iters left: 3 (23 enodes) 1545218372.188 * * [misc]simplify: iters left: 2 (30 enodes) 1545218372.191 * * [misc]simplify: iters left: 1 (45 enodes) 1545218372.206 * [exit]simplify: Simplified to (/ (fma -5 (* v v) 1) (sqrt (fma v v -1))) 1545218372.206 * [misc]simplify: Simplified (2 1 2) to (λ (v) (acos (* (/ 1 (sqrt (fma v v -1))) (/ (fma -5 (* v v) 1) (sqrt (fma v v -1)))))) 1545218372.206 * * * * [misc]progress: [ 30 / 45 ] simplifiying candidate # 1545218372.206 * [enter]simplify: Simplifying (/ 1 1) 1545218372.206 * * [misc]simplify: iters left: 2 (2 enodes) 1545218372.207 * * [misc]simplify: iters left: 1 (4 enodes) 1545218372.207 * [exit]simplify: Simplified to 1 1545218372.207 * [misc]simplify: Simplified (2 1 1) to (λ (v) (acos (* 1 (/ (fma (* -5 v) v 1) (fma v v -1))))) 1545218372.207 * [enter]simplify: Simplifying (/ (fma (* -5 v) v 1) (fma v v -1)) 1545218372.207 * * [misc]simplify: iters left: 5 (8 enodes) 1545218372.208 * * [misc]simplify: iters left: 4 (15 enodes) 1545218372.210 * * [misc]simplify: iters left: 3 (22 enodes) 1545218372.214 * * [misc]simplify: iters left: 2 (31 enodes) 1545218372.220 * * [misc]simplify: iters left: 1 (46 enodes) 1545218372.246 * [exit]simplify: Simplified to (/ (fma -5 (* v v) 1) (fma v v -1)) 1545218372.246 * [misc]simplify: Simplified (2 1 2) to (λ (v) (acos (* 1 (/ (fma -5 (* v v) 1) (fma v v -1))))) 1545218372.246 * * * * [misc]progress: [ 31 / 45 ] simplifiying candidate # 1545218372.246 * * * * [misc]progress: [ 32 / 45 ] simplifiying candidate # 1545218372.246 * * * * [misc]progress: [ 33 / 45 ] simplifiying candidate # 1545218372.246 * * * * [misc]progress: [ 34 / 45 ] simplifiying candidate # 1545218372.248 * [enter]simplify: Simplifying (cbrt (fma v v -1)) 1545218372.248 * * [misc]simplify: iters left: 2 (4 enodes) 1545218372.249 * * [misc]simplify: iters left: 1 (6 enodes) 1545218372.251 * [exit]simplify: Simplified to (cbrt (fma v v -1)) 1545218372.251 * [misc]simplify: Simplified (2 1 2) to (λ (v) (acos (/ (/ (fma (* -5 v) v 1) (* (cbrt (fma v v -1)) (cbrt (fma v v -1)))) (cbrt (fma v v -1))))) 1545218372.252 * * * * [misc]progress: [ 35 / 45 ] simplifiying candidate # 1545218372.252 * [enter]simplify: Simplifying (sqrt (fma v v -1)) 1545218372.252 * * [misc]simplify: iters left: 2 (4 enodes) 1545218372.253 * * [misc]simplify: iters left: 1 (6 enodes) 1545218372.255 * [exit]simplify: Simplified to (sqrt (fma v v -1)) 1545218372.255 * [misc]simplify: Simplified (2 1 2) to (λ (v) (acos (/ (/ (fma (* -5 v) v 1) (sqrt (fma v v -1))) (sqrt (fma v v -1))))) 1545218372.255 * * * * [misc]progress: [ 36 / 45 ] simplifiying candidate # 1545218372.255 * [enter]simplify: Simplifying (fma v v -1) 1545218372.255 * * [misc]simplify: iters left: 1 (3 enodes) 1545218372.256 * [exit]simplify: Simplified to (fma v v -1) 1545218372.256 * [misc]simplify: Simplified (2 1 2) to (λ (v) (acos (/ (/ (fma (* -5 v) v 1) 1) (fma v v -1)))) 1545218372.256 * * * * [misc]progress: [ 37 / 45 ] simplifiying candidate # 1545218372.257 * [enter]simplify: Simplifying (* (cbrt (fma (* -5 v) v 1)) (cbrt (fma (* -5 v) v 1))) 1545218372.257 * * [misc]simplify: iters left: 6 (7 enodes) 1545218372.259 * * [misc]simplify: iters left: 5 (12 enodes) 1545218372.262 * * [misc]simplify: iters left: 4 (16 enodes) 1545218372.267 * * [misc]simplify: iters left: 3 (19 enodes) 1545218372.271 * [exit]simplify: Simplified to (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) 1545218372.272 * [misc]simplify: Simplified (2 1 1) to (λ (v) (acos (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (/ (fma v v -1) (cbrt (fma (* -5 v) v 1)))))) 1545218372.272 * * * * [misc]progress: [ 38 / 45 ] simplifiying candidate # 1545218372.272 * [enter]simplify: Simplifying (sqrt (fma (* -5 v) v 1)) 1545218372.272 * * [misc]simplify: iters left: 4 (6 enodes) 1545218372.274 * * [misc]simplify: iters left: 3 (11 enodes) 1545218372.277 * * [misc]simplify: iters left: 2 (15 enodes) 1545218372.281 * * [misc]simplify: iters left: 1 (18 enodes) 1545218372.285 * [exit]simplify: Simplified to (sqrt (fma -5 (* v v) 1)) 1545218372.285 * [misc]simplify: Simplified (2 1 1) to (λ (v) (acos (/ (sqrt (fma -5 (* v v) 1)) (/ (fma v v -1) (sqrt (fma (* -5 v) v 1)))))) 1545218372.285 * * * * [misc]progress: [ 39 / 45 ] simplifiying candidate # 1545218372.285 * * * * [misc]progress: [ 40 / 45 ] simplifiying candidate # 1545218372.286 * [enter]simplify: Simplifying (acos (/ (fma (* -5 v) v 1) (fma v v -1))) 1545218372.286 * * [misc]simplify: iters left: 6 (9 enodes) 1545218372.288 * * [misc]simplify: iters left: 5 (16 enodes) 1545218372.293 * * [misc]simplify: iters left: 4 (23 enodes) 1545218372.300 * * [misc]simplify: iters left: 3 (32 enodes) 1545218372.308 * * [misc]simplify: iters left: 2 (47 enodes) 1545218372.333 * * [misc]simplify: iters left: 1 (82 enodes) 1545218372.359 * [exit]simplify: Simplified to (acos (/ (fma -5 (* v v) 1) (fma v v -1))) 1545218372.359 * [misc]simplify: Simplified (2) to (λ (v) (acos (/ (fma -5 (* v v) 1) (fma v v -1)))) 1545218372.359 * * * * [misc]progress: [ 41 / 45 ] simplifiying candidate # 1545218372.360 * [enter]simplify: Simplifying (acos (/ (fma (* -5 v) v 1) (fma v v -1))) 1545218372.360 * * [misc]simplify: iters left: 6 (9 enodes) 1545218372.364 * * [misc]simplify: iters left: 5 (16 enodes) 1545218372.369 * * [misc]simplify: iters left: 4 (23 enodes) 1545218372.376 * * [misc]simplify: iters left: 3 (32 enodes) 1545218372.384 * * [misc]simplify: iters left: 2 (47 enodes) 1545218372.407 * * [misc]simplify: iters left: 1 (82 enodes) 1545218372.433 * [exit]simplify: Simplified to (acos (/ (fma -5 (* v v) 1) (fma v v -1))) 1545218372.433 * [misc]simplify: Simplified (2) to (λ (v) (acos (/ (fma -5 (* v v) 1) (fma v v -1)))) 1545218372.433 * * * * [misc]progress: [ 42 / 45 ] simplifiying candidate # 1545218372.433 * [enter]simplify: Simplifying (acos (/ (fma (* -5 v) v 1) (fma v v -1))) 1545218372.433 * * [misc]simplify: iters left: 6 (9 enodes) 1545218372.435 * * [misc]simplify: iters left: 5 (16 enodes) 1545218372.438 * * [misc]simplify: iters left: 4 (23 enodes) 1545218372.444 * * [misc]simplify: iters left: 3 (32 enodes) 1545218372.451 * * [misc]simplify: iters left: 2 (47 enodes) 1545218372.477 * * [misc]simplify: iters left: 1 (82 enodes) 1545218372.504 * [exit]simplify: Simplified to (acos (/ (fma -5 (* v v) 1) (fma v v -1))) 1545218372.504 * [misc]simplify: Simplified (2) to (λ (v) (acos (/ (fma -5 (* v v) 1) (fma v v -1)))) 1545218372.504 * * * * [misc]progress: [ 43 / 45 ] simplifiying candidate # 1545218372.504 * [enter]simplify: Simplifying (- (+ (* 4 (pow v 4)) (* 4 (pow v 2))) 1) 1545218372.504 * * [misc]simplify: iters left: 6 (10 enodes) 1545218372.507 * * [misc]simplify: iters left: 5 (24 enodes) 1545218372.512 * * [misc]simplify: iters left: 4 (43 enodes) 1545218372.525 * * [misc]simplify: iters left: 3 (63 enodes) 1545218372.541 * * [misc]simplify: iters left: 2 (76 enodes) 1545218372.558 * * [misc]simplify: iters left: 1 (90 enodes) 1545218372.580 * [exit]simplify: Simplified to (fma 4 (fma v v (pow v 4)) -1) 1545218372.580 * [misc]simplify: Simplified (2 1) to (λ (v) (acos (fma 4 (fma v v (pow v 4)) -1))) 1545218372.580 * * * * [misc]progress: [ 44 / 45 ] simplifiying candidate # 1545218372.580 * [enter]simplify: Simplifying (- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2)))))) 1545218372.580 * * [misc]simplify: iters left: 6 (14 enodes) 1545218372.584 * * [misc]simplify: iters left: 5 (30 enodes) 1545218372.591 * * [misc]simplify: iters left: 4 (62 enodes) 1545218372.617 * * [misc]simplify: iters left: 3 (136 enodes) 1545218372.720 * * [misc]simplify: iters left: 2 (227 enodes) 1545218372.816 * * [misc]simplify: iters left: 1 (319 enodes) 1545218373.173 * [exit]simplify: Simplified to (- (/ -4 (pow v 4)) (fma (/ 4 v) (/ 1 v) 5)) 1545218373.173 * [misc]simplify: Simplified (2 1) to (λ (v) (acos (- (/ -4 (pow v 4)) (fma (/ 4 v) (/ 1 v) 5)))) 1545218373.173 * * * * [misc]progress: [ 45 / 45 ] simplifiying candidate # 1545218373.174 * [enter]simplify: Simplifying (- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2)))))) 1545218373.174 * * [misc]simplify: iters left: 6 (14 enodes) 1545218373.177 * * [misc]simplify: iters left: 5 (30 enodes) 1545218373.184 * * [misc]simplify: iters left: 4 (62 enodes) 1545218373.209 * * [misc]simplify: iters left: 3 (136 enodes) 1545218373.310 * * [misc]simplify: iters left: 2 (227 enodes) 1545218373.435 * * [misc]simplify: iters left: 1 (319 enodes) 1545218373.717 * [exit]simplify: Simplified to (- (/ -4 (pow v 4)) (fma (/ 4 v) (/ 1 v) 5)) 1545218373.717 * [misc]simplify: Simplified (2 1) to (λ (v) (acos (- (/ -4 (pow v 4)) (fma (/ 4 v) (/ 1 v) 5)))) 1545218373.717 * * * [misc]progress: adding candidates to table 1545218374.246 * * [misc]progress: iteration 2 / 4 1545218374.246 * * * [misc]progress: picking best candidate 1545218374.263 * * * * [misc]pick: Picked # 1545218374.263 * * * [misc]progress: localizing error 1545218374.280 * * * [misc]progress: generating rewritten candidates 1545218374.280 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545218374.280 * * * [misc]progress: generating series expansions 1545218374.280 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545218374.280 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.280 * [misc]approximate: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in (v) around 0 1545218374.280 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in v 1545218374.280 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.280 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in v 1545218374.280 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.281 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.281 * [misc]backup-simplify: Simplify 0 into 0 1545218374.281 * [misc]backup-simplify: Simplify 0 into 0 1545218374.281 * [misc]backup-simplify: Simplify 0 into 0 1545218374.281 * [misc]backup-simplify: Simplify 0 into 0 1545218374.281 * [misc]backup-simplify: Simplify 0 into 0 1545218374.281 * [misc]backup-simplify: Simplify 0 into 0 1545218374.281 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.281 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.281 * [misc]approximate: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in (v) around 0 1545218374.281 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in v 1545218374.281 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.281 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in v 1545218374.281 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.281 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.281 * [misc]backup-simplify: Simplify 0 into 0 1545218374.281 * [misc]backup-simplify: Simplify 0 into 0 1545218374.281 * [misc]backup-simplify: Simplify 0 into 0 1545218374.281 * [misc]backup-simplify: Simplify 0 into 0 1545218374.281 * [misc]backup-simplify: Simplify 0 into 0 1545218374.281 * [misc]backup-simplify: Simplify 0 into 0 1545218374.282 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 (/ 1 v)) (/ 1 (/ 1 v)) (pow (/ 1 (/ 1 v)) 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.282 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 (- v)) (/ 1 (- v)) (pow (/ 1 (- v)) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.282 * [misc]approximate: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in (v) around 0 1545218374.282 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in v 1545218374.282 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.282 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in v 1545218374.282 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.282 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.282 * [misc]backup-simplify: Simplify 0 into 0 1545218374.282 * [misc]backup-simplify: Simplify 0 into 0 1545218374.282 * [misc]backup-simplify: Simplify 0 into 0 1545218374.282 * [misc]backup-simplify: Simplify 0 into 0 1545218374.282 * [misc]backup-simplify: Simplify 0 into 0 1545218374.282 * [misc]backup-simplify: Simplify 0 into 0 1545218374.282 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 (/ 1 (- v))) (/ -1 (/ 1 (- v))) (pow (/ -1 (/ 1 (- v))) 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.282 * * * [misc]progress: simplifying candidates 1545218374.282 * * * * [misc]progress: [ 1 / 13 ] simplifiying candidate # 1545218374.283 * * * * [misc]progress: [ 2 / 13 ] simplifiying candidate # 1545218374.283 * * * * [misc]progress: [ 3 / 13 ] simplifiying candidate # 1545218374.283 * * * * [misc]progress: [ 4 / 13 ] simplifiying candidate # 1545218374.283 * * * * [misc]progress: [ 5 / 13 ] simplifiying candidate # 1545218374.283 * * * * [misc]progress: [ 6 / 13 ] simplifiying candidate # 1545218374.283 * * * * [misc]progress: [ 7 / 13 ] simplifiying candidate # 1545218374.283 * * * * [misc]progress: [ 8 / 13 ] simplifiying candidate # 1545218374.283 * * * * [misc]progress: [ 9 / 13 ] simplifiying candidate # 1545218374.283 * * * * [misc]progress: [ 10 / 13 ] simplifiying candidate # 1545218374.283 * * * * [misc]progress: [ 11 / 13 ] simplifiying candidate # 1545218374.283 * [enter]simplify: Simplifying (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.283 * * [misc]simplify: iters left: 4 (7 enodes) 1545218374.284 * * [misc]simplify: iters left: 3 (11 enodes) 1545218374.286 * * [misc]simplify: iters left: 2 (20 enodes) 1545218374.289 * * [misc]simplify: iters left: 1 (37 enodes) 1545218374.298 * [exit]simplify: Simplified to (acos (fma (fma v v (pow v 4)) 4 -1)) 1545218374.298 * [misc]simplify: Simplified (2) to (λ (v) (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218374.298 * * * * [misc]progress: [ 12 / 13 ] simplifiying candidate # 1545218374.298 * [enter]simplify: Simplifying (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.298 * * [misc]simplify: iters left: 4 (7 enodes) 1545218374.299 * * [misc]simplify: iters left: 3 (11 enodes) 1545218374.300 * * [misc]simplify: iters left: 2 (20 enodes) 1545218374.304 * * [misc]simplify: iters left: 1 (37 enodes) 1545218374.309 * [exit]simplify: Simplified to (acos (fma (fma v v (pow v 4)) 4 -1)) 1545218374.309 * [misc]simplify: Simplified (2) to (λ (v) (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218374.309 * * * * [misc]progress: [ 13 / 13 ] simplifiying candidate # 1545218374.309 * [enter]simplify: Simplifying (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.309 * * [misc]simplify: iters left: 4 (7 enodes) 1545218374.310 * * [misc]simplify: iters left: 3 (11 enodes) 1545218374.312 * * [misc]simplify: iters left: 2 (20 enodes) 1545218374.317 * * [misc]simplify: iters left: 1 (37 enodes) 1545218374.322 * [exit]simplify: Simplified to (acos (fma (fma v v (pow v 4)) 4 -1)) 1545218374.323 * [misc]simplify: Simplified (2) to (λ (v) (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218374.323 * * * [misc]progress: adding candidates to table 1545218374.473 * * [misc]progress: iteration 3 / 4 1545218374.473 * * * [misc]progress: picking best candidate 1545218374.494 * * * * [misc]pick: Picked # 1545218374.494 * * * [misc]progress: localizing error 1545218374.507 * * * [misc]progress: generating rewritten candidates 1545218374.508 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1545218374.508 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1545218374.512 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1) 1545218374.514 * * * [misc]progress: generating series expansions 1545218374.514 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1545218374.515 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.515 * [misc]approximate: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in (v) around 0 1545218374.515 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in v 1545218374.515 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.515 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in v 1545218374.515 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.515 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.515 * [misc]backup-simplify: Simplify 0 into 0 1545218374.515 * [misc]backup-simplify: Simplify 0 into 0 1545218374.515 * [misc]backup-simplify: Simplify 0 into 0 1545218374.515 * [misc]backup-simplify: Simplify 0 into 0 1545218374.515 * [misc]backup-simplify: Simplify 0 into 0 1545218374.515 * [misc]backup-simplify: Simplify 0 into 0 1545218374.515 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.516 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.516 * [misc]approximate: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in (v) around 0 1545218374.516 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in v 1545218374.516 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.516 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in v 1545218374.516 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.516 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.516 * [misc]backup-simplify: Simplify 0 into 0 1545218374.516 * [misc]backup-simplify: Simplify 0 into 0 1545218374.516 * [misc]backup-simplify: Simplify 0 into 0 1545218374.517 * [misc]backup-simplify: Simplify 0 into 0 1545218374.517 * [misc]backup-simplify: Simplify 0 into 0 1545218374.517 * [misc]backup-simplify: Simplify 0 into 0 1545218374.517 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 (/ 1 v)) (/ 1 (/ 1 v)) (pow (/ 1 (/ 1 v)) 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.517 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 (- v)) (/ 1 (- v)) (pow (/ 1 (- v)) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.517 * [misc]approximate: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in (v) around 0 1545218374.517 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in v 1545218374.517 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.517 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in v 1545218374.518 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.518 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.518 * [misc]backup-simplify: Simplify 0 into 0 1545218374.518 * [misc]backup-simplify: Simplify 0 into 0 1545218374.518 * [misc]backup-simplify: Simplify 0 into 0 1545218374.518 * [misc]backup-simplify: Simplify 0 into 0 1545218374.518 * [misc]backup-simplify: Simplify 0 into 0 1545218374.518 * [misc]backup-simplify: Simplify 0 into 0 1545218374.518 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 (/ 1 (- v))) (/ -1 (/ 1 (- v))) (pow (/ -1 (/ 1 (- v))) 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.518 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1545218374.519 * [misc]backup-simplify: Simplify (exp (log (acos (fma 4 (fma v v (pow v 4)) -1)))) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.519 * [misc]approximate: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in (v) around 0 1545218374.519 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in v 1545218374.519 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.519 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in v 1545218374.519 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.519 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.519 * [misc]backup-simplify: Simplify 0 into 0 1545218374.519 * [misc]backup-simplify: Simplify 0 into 0 1545218374.519 * [misc]backup-simplify: Simplify 0 into 0 1545218374.519 * [misc]backup-simplify: Simplify 0 into 0 1545218374.519 * [misc]backup-simplify: Simplify 0 into 0 1545218374.519 * [misc]backup-simplify: Simplify 0 into 0 1545218374.519 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.519 * [misc]backup-simplify: Simplify (exp (log (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)))) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.519 * [misc]approximate: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in (v) around 0 1545218374.519 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in v 1545218374.520 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.520 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in v 1545218374.520 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.520 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.520 * [misc]backup-simplify: Simplify 0 into 0 1545218374.520 * [misc]backup-simplify: Simplify 0 into 0 1545218374.520 * [misc]backup-simplify: Simplify 0 into 0 1545218374.520 * [misc]backup-simplify: Simplify 0 into 0 1545218374.520 * [misc]backup-simplify: Simplify 0 into 0 1545218374.520 * [misc]backup-simplify: Simplify 0 into 0 1545218374.520 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 (/ 1 v)) (/ 1 (/ 1 v)) (pow (/ 1 (/ 1 v)) 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.520 * [misc]backup-simplify: Simplify (exp (log (acos (fma 4 (fma (/ 1 (- v)) (/ 1 (- v)) (pow (/ 1 (- v)) 4)) -1)))) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.520 * [misc]approximate: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in (v) around 0 1545218374.520 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in v 1545218374.520 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.520 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in v 1545218374.521 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.521 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.521 * [misc]backup-simplify: Simplify 0 into 0 1545218374.521 * [misc]backup-simplify: Simplify 0 into 0 1545218374.521 * [misc]backup-simplify: Simplify 0 into 0 1545218374.521 * [misc]backup-simplify: Simplify 0 into 0 1545218374.521 * [misc]backup-simplify: Simplify 0 into 0 1545218374.521 * [misc]backup-simplify: Simplify 0 into 0 1545218374.521 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 (/ 1 (- v))) (/ -1 (/ 1 (- v))) (pow (/ -1 (/ 1 (- v))) 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.521 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1) 1545218374.521 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma v v (pow v 4)) -1))) into (log (acos (fma 4 (fma v v (pow v 4)) -1))) 1545218374.521 * [misc]approximate: Taking taylor expansion of (log (acos (fma 4 (fma v v (pow v 4)) -1))) in (v) around 0 1545218374.521 * [misc]taylor: Taking taylor expansion of (log (acos (fma 4 (fma v v (pow v 4)) -1))) in v 1545218374.521 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in v 1545218374.521 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.521 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma v v (pow v 4)) -1))) into (log (acos (fma 4 (fma v v (pow v 4)) -1))) 1545218374.521 * [misc]taylor: Taking taylor expansion of (log (acos (fma 4 (fma v v (pow v 4)) -1))) in v 1545218374.521 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in v 1545218374.521 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.521 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma v v (pow v 4)) -1))) into (log (acos (fma 4 (fma v v (pow v 4)) -1))) 1545218374.522 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma v v (pow v 4)) -1))) into (log (acos (fma 4 (fma v v (pow v 4)) -1))) 1545218374.522 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 1)))) 1) into 0 1545218374.522 * [misc]backup-simplify: Simplify 0 into 0 1545218374.523 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 1)))) 2) into 0 1545218374.524 * [misc]backup-simplify: Simplify 0 into 0 1545218374.525 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 1)))) 6) into 0 1545218374.525 * [misc]backup-simplify: Simplify 0 into 0 1545218374.528 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 1)))) 24) into 0 1545218374.528 * [misc]backup-simplify: Simplify 0 into 0 1545218374.533 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 1)))) 120) into 0 1545218374.533 * [misc]backup-simplify: Simplify 0 into 0 1545218374.540 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (acos (fma 4 (fma v v (pow v 4)) -1)) 1)))) 720) into 0 1545218374.540 * [misc]backup-simplify: Simplify 0 into 0 1545218374.541 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma v v (pow v 4)) -1))) into (log (acos (fma 4 (fma v v (pow v 4)) -1))) 1545218374.541 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1))) into (log (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1))) 1545218374.541 * [misc]approximate: Taking taylor expansion of (log (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1))) in (v) around 0 1545218374.541 * [misc]taylor: Taking taylor expansion of (log (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1))) in v 1545218374.541 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in v 1545218374.541 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.541 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1))) into (log (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1))) 1545218374.541 * [misc]taylor: Taking taylor expansion of (log (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1))) in v 1545218374.541 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in v 1545218374.541 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218374.541 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1))) into (log (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1))) 1545218374.541 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1))) into (log (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1))) 1545218374.542 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1)))) 1) into 0 1545218374.542 * [misc]backup-simplify: Simplify 0 into 0 1545218374.543 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1)))) 2) into 0 1545218374.543 * [misc]backup-simplify: Simplify 0 into 0 1545218374.545 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1)))) 6) into 0 1545218374.545 * [misc]backup-simplify: Simplify 0 into 0 1545218374.548 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1)))) 24) into 0 1545218374.548 * [misc]backup-simplify: Simplify 0 into 0 1545218374.553 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1)))) 120) into 0 1545218374.553 * [misc]backup-simplify: Simplify 0 into 0 1545218374.561 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1)))) 720) into 0 1545218374.561 * [misc]backup-simplify: Simplify 0 into 0 1545218374.561 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma (/ 1 (/ 1 v)) (/ 1 (/ 1 v)) (pow (/ 1 (/ 1 v)) 4)) -1))) into (log (acos (fma 4 (fma v v (pow v 4)) -1))) 1545218374.561 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma (/ 1 (- v)) (/ 1 (- v)) (pow (/ 1 (- v)) 4)) -1))) into (log (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1))) 1545218374.561 * [misc]approximate: Taking taylor expansion of (log (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1))) in (v) around 0 1545218374.561 * [misc]taylor: Taking taylor expansion of (log (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1))) in v 1545218374.561 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in v 1545218374.562 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.562 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1))) into (log (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1))) 1545218374.562 * [misc]taylor: Taking taylor expansion of (log (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1))) in v 1545218374.562 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in v 1545218374.562 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218374.562 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1))) into (log (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1))) 1545218374.562 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1))) into (log (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1))) 1545218374.565 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1)))) 1) into 0 1545218374.565 * [misc]backup-simplify: Simplify 0 into 0 1545218374.567 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1)))) 2) into 0 1545218374.567 * [misc]backup-simplify: Simplify 0 into 0 1545218374.570 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1)))) 6) into 0 1545218374.571 * [misc]backup-simplify: Simplify 0 into 0 1545218374.576 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1)))) 24) into 0 1545218374.576 * [misc]backup-simplify: Simplify 0 into 0 1545218374.584 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1)))) 120) into 0 1545218374.584 * [misc]backup-simplify: Simplify 0 into 0 1545218374.597 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1)))) 720) into 0 1545218374.597 * [misc]backup-simplify: Simplify 0 into 0 1545218374.597 * [misc]backup-simplify: Simplify (log (acos (fma 4 (fma (/ -1 (/ 1 (- v))) (/ -1 (/ 1 (- v))) (pow (/ -1 (/ 1 (- v))) 4)) -1))) into (log (acos (fma 4 (fma v v (pow v 4)) -1))) 1545218374.597 * * * [misc]progress: simplifying candidates 1545218374.597 * * * * [misc]progress: [ 1 / 50 ] simplifiying candidate # 1545218374.597 * * * * [misc]progress: [ 2 / 50 ] simplifiying candidate # 1545218374.598 * * * * [misc]progress: [ 3 / 50 ] simplifiying candidate # 1545218374.598 * * * * [misc]progress: [ 4 / 50 ] simplifiying candidate # 1545218374.598 * * * * [misc]progress: [ 5 / 50 ] simplifiying candidate # 1545218374.598 * * * * [misc]progress: [ 6 / 50 ] simplifiying candidate # 1545218374.598 * * * * [misc]progress: [ 7 / 50 ] simplifiying candidate # 1545218374.598 * * * * [misc]progress: [ 8 / 50 ] simplifiying candidate # 1545218374.598 * * * * [misc]progress: [ 9 / 50 ] simplifiying candidate # 1545218374.598 * * * * [misc]progress: [ 10 / 50 ] simplifiying candidate # 1545218374.598 * * * * [misc]progress: [ 11 / 50 ] simplifiying candidate # 1545218374.598 * * * * [misc]progress: [ 12 / 50 ] simplifiying candidate # 1545218374.598 * * * * [misc]progress: [ 13 / 50 ] simplifiying candidate # 1545218374.598 * * * * [misc]progress: [ 14 / 50 ] simplifiying candidate # 1545218374.598 * [enter]simplify: Simplifying (exp 1) 1545218374.598 * * [misc]simplify: iters left: 1 (2 enodes) 1545218374.599 * [exit]simplify: Simplified to E 1545218374.599 * [misc]simplify: Simplified (2 1) to (λ (v) (pow E (log (acos (fma 4 (fma v v (pow v 4)) -1))))) 1545218374.599 * * * * [misc]progress: [ 15 / 50 ] simplifiying candidate # 1545218374.600 * [enter]simplify: Simplifying (exp (* (cbrt (log (acos (fma 4 (fma v v (pow v 4)) -1)))) (cbrt (log (acos (fma 4 (fma v v (pow v 4)) -1)))))) 1545218374.600 * * [misc]simplify: iters left: 6 (11 enodes) 1545218374.603 * * [misc]simplify: iters left: 5 (17 enodes) 1545218374.608 * * [misc]simplify: iters left: 4 (26 enodes) 1545218374.616 * * [misc]simplify: iters left: 3 (43 enodes) 1545218374.621 * * [misc]simplify: iters left: 2 (61 enodes) 1545218374.629 * * [misc]simplify: iters left: 1 (72 enodes) 1545218374.636 * [exit]simplify: Simplified to (exp (* (cbrt (log (acos (fma (fma v v (pow v 4)) 4 -1)))) (cbrt (log (acos (fma (fma v v (pow v 4)) 4 -1)))))) 1545218374.636 * [misc]simplify: Simplified (2 1) to (λ (v) (pow (exp (* (cbrt (log (acos (fma (fma v v (pow v 4)) 4 -1)))) (cbrt (log (acos (fma (fma v v (pow v 4)) 4 -1)))))) (cbrt (log (acos (fma 4 (fma v v (pow v 4)) -1)))))) 1545218374.636 * * * * [misc]progress: [ 16 / 50 ] simplifiying candidate # 1545218374.637 * [enter]simplify: Simplifying (exp (sqrt (log (acos (fma 4 (fma v v (pow v 4)) -1))))) 1545218374.637 * * [misc]simplify: iters left: 6 (10 enodes) 1545218374.638 * * [misc]simplify: iters left: 5 (14 enodes) 1545218374.640 * * [misc]simplify: iters left: 4 (23 enodes) 1545218374.644 * * [misc]simplify: iters left: 3 (40 enodes) 1545218374.651 * * [misc]simplify: iters left: 2 (59 enodes) 1545218374.665 * * [misc]simplify: iters left: 1 (70 enodes) 1545218374.680 * [exit]simplify: Simplified to (exp (sqrt (log (acos (fma (fma v v (pow v 4)) 4 -1))))) 1545218374.680 * [misc]simplify: Simplified (2 1) to (λ (v) (pow (exp (sqrt (log (acos (fma (fma v v (pow v 4)) 4 -1))))) (sqrt (log (acos (fma 4 (fma v v (pow v 4)) -1)))))) 1545218374.680 * * * * [misc]progress: [ 17 / 50 ] simplifiying candidate # 1545218374.680 * [enter]simplify: Simplifying (exp 1) 1545218374.680 * * [misc]simplify: iters left: 1 (2 enodes) 1545218374.680 * [exit]simplify: Simplified to E 1545218374.680 * [misc]simplify: Simplified (2 1) to (λ (v) (pow E (log (acos (fma 4 (fma v v (pow v 4)) -1))))) 1545218374.680 * * * * [misc]progress: [ 18 / 50 ] simplifiying candidate # 1545218374.680 * [enter]simplify: Simplifying (exp (log (* (cbrt (acos (fma 4 (fma v v (pow v 4)) -1))) (cbrt (acos (fma 4 (fma v v (pow v 4)) -1)))))) 1545218374.681 * * [misc]simplify: iters left: 6 (11 enodes) 1545218374.682 * * [misc]simplify: iters left: 5 (17 enodes) 1545218374.684 * * [misc]simplify: iters left: 4 (28 enodes) 1545218374.689 * * [misc]simplify: iters left: 3 (45 enodes) 1545218374.695 * * [misc]simplify: iters left: 2 (64 enodes) 1545218374.702 * * [misc]simplify: iters left: 1 (75 enodes) 1545218374.710 * [exit]simplify: Simplified to (* (cbrt (acos (fma (fma v v (pow v 4)) 4 -1))) (cbrt (acos (fma (fma v v (pow v 4)) 4 -1)))) 1545218374.710 * [misc]simplify: Simplified (2 1) to (λ (v) (* (* (cbrt (acos (fma (fma v v (pow v 4)) 4 -1))) (cbrt (acos (fma (fma v v (pow v 4)) 4 -1)))) (exp (log (cbrt (acos (fma 4 (fma v v (pow v 4)) -1))))))) 1545218374.710 * * * * [misc]progress: [ 19 / 50 ] simplifiying candidate # 1545218374.710 * [enter]simplify: Simplifying (exp (log (sqrt (acos (fma 4 (fma v v (pow v 4)) -1))))) 1545218374.710 * * [misc]simplify: iters left: 6 (10 enodes) 1545218374.712 * * [misc]simplify: iters left: 5 (14 enodes) 1545218374.717 * * [misc]simplify: iters left: 4 (23 enodes) 1545218374.724 * * [misc]simplify: iters left: 3 (40 enodes) 1545218374.735 * * [misc]simplify: iters left: 2 (59 enodes) 1545218374.746 * * [misc]simplify: iters left: 1 (70 enodes) 1545218374.754 * [exit]simplify: Simplified to (sqrt (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218374.754 * [misc]simplify: Simplified (2 1) to (λ (v) (* (sqrt (acos (fma (fma v v (pow v 4)) 4 -1))) (exp (log (sqrt (acos (fma 4 (fma v v (pow v 4)) -1))))))) 1545218374.754 * * * * [misc]progress: [ 20 / 50 ] simplifiying candidate # 1545218374.754 * [enter]simplify: Simplifying (exp (log 1)) 1545218374.754 * * [misc]simplify: iters left: 2 (3 enodes) 1545218374.755 * * [misc]simplify: iters left: 1 (5 enodes) 1545218374.755 * [exit]simplify: Simplified to 1 1545218374.755 * [misc]simplify: Simplified (2 1) to (λ (v) (* 1 (exp (log (acos (fma 4 (fma v v (pow v 4)) -1)))))) 1545218374.755 * * * * [misc]progress: [ 21 / 50 ] simplifiying candidate # 1545218374.756 * [enter]simplify: Simplifying (fma 4 (fma v v (pow v 4)) -1) 1545218374.756 * * [misc]simplify: iters left: 3 (6 enodes) 1545218374.756 * * [misc]simplify: iters left: 2 (10 enodes) 1545218374.758 * * [misc]simplify: iters left: 1 (19 enodes) 1545218374.762 * [exit]simplify: Simplified to (fma (fma v v (pow v 4)) 4 -1) 1545218374.762 * [misc]simplify: Simplified (2 1) to (λ (v) (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218374.762 * * * * [misc]progress: [ 22 / 50 ] simplifiying candidate # 1545218374.762 * * * * [misc]progress: [ 23 / 50 ] simplifiying candidate # 1545218374.763 * * * * [misc]progress: [ 24 / 50 ] simplifiying candidate # 1545218374.763 * * * * [misc]progress: [ 25 / 50 ] simplifiying candidate # 1545218374.763 * * * * [misc]progress: [ 26 / 50 ] simplifiying candidate # 1545218374.763 * * * * [misc]progress: [ 27 / 50 ] simplifiying candidate # 1545218374.763 * * * * [misc]progress: [ 28 / 50 ] simplifiying candidate # 1545218374.763 * * * * [misc]progress: [ 29 / 50 ] simplifiying candidate # 1545218374.763 * * * * [misc]progress: [ 30 / 50 ] simplifiying candidate # 1545218374.763 * [enter]simplify: Simplifying (log (* (cbrt (acos (fma 4 (fma v v (pow v 4)) -1))) (cbrt (acos (fma 4 (fma v v (pow v 4)) -1))))) 1545218374.763 * * [misc]simplify: iters left: 6 (10 enodes) 1545218374.764 * * [misc]simplify: iters left: 5 (16 enodes) 1545218374.767 * * [misc]simplify: iters left: 4 (25 enodes) 1545218374.771 * * [misc]simplify: iters left: 3 (42 enodes) 1545218374.777 * * [misc]simplify: iters left: 2 (60 enodes) 1545218374.791 * * [misc]simplify: iters left: 1 (71 enodes) 1545218374.805 * [exit]simplify: Simplified to (+ (log (cbrt (acos (fma (fma v v (pow v 4)) 4 -1)))) (log (cbrt (acos (fma (fma v v (pow v 4)) 4 -1))))) 1545218374.805 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (+ (+ (log (cbrt (acos (fma (fma v v (pow v 4)) 4 -1)))) (log (cbrt (acos (fma (fma v v (pow v 4)) 4 -1))))) (log (cbrt (acos (fma 4 (fma v v (pow v 4)) -1))))))) 1545218374.805 * * * * [misc]progress: [ 31 / 50 ] simplifiying candidate # 1545218374.805 * [enter]simplify: Simplifying (log (sqrt (acos (fma 4 (fma v v (pow v 4)) -1)))) 1545218374.805 * * [misc]simplify: iters left: 6 (9 enodes) 1545218374.806 * * [misc]simplify: iters left: 5 (13 enodes) 1545218374.808 * * [misc]simplify: iters left: 4 (22 enodes) 1545218374.812 * * [misc]simplify: iters left: 3 (39 enodes) 1545218374.817 * * [misc]simplify: iters left: 2 (58 enodes) 1545218374.824 * * [misc]simplify: iters left: 1 (69 enodes) 1545218374.832 * [exit]simplify: Simplified to (log (sqrt (acos (fma (fma v v (pow v 4)) 4 -1)))) 1545218374.832 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (+ (log (sqrt (acos (fma (fma v v (pow v 4)) 4 -1)))) (log (sqrt (acos (fma 4 (fma v v (pow v 4)) -1))))))) 1545218374.832 * * * * [misc]progress: [ 32 / 50 ] simplifiying candidate # 1545218374.832 * [enter]simplify: Simplifying (log 1) 1545218374.832 * * [misc]simplify: iters left: 1 (2 enodes) 1545218374.833 * [exit]simplify: Simplified to 0 1545218374.833 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (+ 0 (log (acos (fma 4 (fma v v (pow v 4)) -1)))))) 1545218374.833 * * * * [misc]progress: [ 33 / 50 ] simplifiying candidate # 1545218374.833 * * * * [misc]progress: [ 34 / 50 ] simplifiying candidate # 1545218374.833 * * * * [misc]progress: [ 35 / 50 ] simplifiying candidate # 1545218374.834 * [enter]simplify: Simplifying (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.834 * * [misc]simplify: iters left: 4 (7 enodes) 1545218374.835 * * [misc]simplify: iters left: 3 (11 enodes) 1545218374.836 * * [misc]simplify: iters left: 2 (20 enodes) 1545218374.840 * * [misc]simplify: iters left: 1 (37 enodes) 1545218374.846 * [exit]simplify: Simplified to (acos (fma (fma v v (pow v 4)) 4 -1)) 1545218374.846 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (log (acos (fma (fma v v (pow v 4)) 4 -1))))) 1545218374.846 * * * * [misc]progress: [ 36 / 50 ] simplifiying candidate # 1545218374.846 * * * * [misc]progress: [ 37 / 50 ] simplifiying candidate # 1545218374.847 * * * * [misc]progress: [ 38 / 50 ] simplifiying candidate # 1545218374.847 * * * * [misc]progress: [ 39 / 50 ] simplifiying candidate # 1545218374.847 * * * * [misc]progress: [ 40 / 50 ] simplifiying candidate # 1545218374.847 * * * * [misc]progress: [ 41 / 50 ] simplifiying candidate # 1545218374.847 * * * * [misc]progress: [ 42 / 50 ] simplifiying candidate # 1545218374.847 * [enter]simplify: Simplifying (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.847 * * [misc]simplify: iters left: 4 (7 enodes) 1545218374.848 * * [misc]simplify: iters left: 3 (11 enodes) 1545218374.850 * * [misc]simplify: iters left: 2 (20 enodes) 1545218374.853 * * [misc]simplify: iters left: 1 (37 enodes) 1545218374.859 * [exit]simplify: Simplified to (acos (fma (fma v v (pow v 4)) 4 -1)) 1545218374.859 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (log (acos (fma (fma v v (pow v 4)) 4 -1))))) 1545218374.859 * * * * [misc]progress: [ 43 / 50 ] simplifiying candidate # 1545218374.859 * [enter]simplify: Simplifying (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.859 * * [misc]simplify: iters left: 4 (7 enodes) 1545218374.860 * * [misc]simplify: iters left: 3 (11 enodes) 1545218374.862 * * [misc]simplify: iters left: 2 (20 enodes) 1545218374.866 * * [misc]simplify: iters left: 1 (37 enodes) 1545218374.871 * [exit]simplify: Simplified to (acos (fma (fma v v (pow v 4)) 4 -1)) 1545218374.871 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (log (acos (fma (fma v v (pow v 4)) 4 -1))))) 1545218374.871 * * * * [misc]progress: [ 44 / 50 ] simplifiying candidate # 1545218374.871 * [enter]simplify: Simplifying (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.872 * * [misc]simplify: iters left: 4 (7 enodes) 1545218374.874 * * [misc]simplify: iters left: 3 (11 enodes) 1545218374.877 * * [misc]simplify: iters left: 2 (20 enodes) 1545218374.884 * * [misc]simplify: iters left: 1 (37 enodes) 1545218374.889 * [exit]simplify: Simplified to (acos (fma (fma v v (pow v 4)) 4 -1)) 1545218374.889 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (log (acos (fma (fma v v (pow v 4)) 4 -1))))) 1545218374.889 * * * * [misc]progress: [ 45 / 50 ] simplifiying candidate # 1545218374.889 * [enter]simplify: Simplifying (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.889 * * [misc]simplify: iters left: 4 (7 enodes) 1545218374.890 * * [misc]simplify: iters left: 3 (11 enodes) 1545218374.892 * * [misc]simplify: iters left: 2 (20 enodes) 1545218374.895 * * [misc]simplify: iters left: 1 (37 enodes) 1545218374.900 * [exit]simplify: Simplified to (acos (fma (fma v v (pow v 4)) 4 -1)) 1545218374.901 * [misc]simplify: Simplified (2) to (λ (v) (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218374.901 * * * * [misc]progress: [ 46 / 50 ] simplifiying candidate # 1545218374.901 * [enter]simplify: Simplifying (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.901 * * [misc]simplify: iters left: 4 (7 enodes) 1545218374.902 * * [misc]simplify: iters left: 3 (11 enodes) 1545218374.903 * * [misc]simplify: iters left: 2 (20 enodes) 1545218374.907 * * [misc]simplify: iters left: 1 (37 enodes) 1545218374.912 * [exit]simplify: Simplified to (acos (fma (fma v v (pow v 4)) 4 -1)) 1545218374.912 * [misc]simplify: Simplified (2) to (λ (v) (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218374.912 * * * * [misc]progress: [ 47 / 50 ] simplifiying candidate # 1545218374.912 * [enter]simplify: Simplifying (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218374.912 * * [misc]simplify: iters left: 4 (7 enodes) 1545218374.913 * * [misc]simplify: iters left: 3 (11 enodes) 1545218374.915 * * [misc]simplify: iters left: 2 (20 enodes) 1545218374.918 * * [misc]simplify: iters left: 1 (37 enodes) 1545218374.927 * [exit]simplify: Simplified to (acos (fma (fma v v (pow v 4)) 4 -1)) 1545218374.927 * [misc]simplify: Simplified (2) to (λ (v) (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218374.928 * * * * [misc]progress: [ 48 / 50 ] simplifiying candidate # 1545218374.928 * [enter]simplify: Simplifying (log (acos (fma 4 (fma v v (pow v 4)) -1))) 1545218374.928 * * [misc]simplify: iters left: 5 (8 enodes) 1545218374.931 * * [misc]simplify: iters left: 4 (12 enodes) 1545218374.935 * * [misc]simplify: iters left: 3 (21 enodes) 1545218374.942 * * [misc]simplify: iters left: 2 (38 enodes) 1545218374.953 * * [misc]simplify: iters left: 1 (57 enodes) 1545218374.967 * [exit]simplify: Simplified to (log (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218374.967 * [misc]simplify: Simplified (2 1) to (λ (v) (exp (log (acos (fma (fma v v (pow v 4)) 4 -1))))) 1545218374.967 * * * * [misc]progress: [ 49 / 50 ] simplifiying candidate # 1545218374.968 * [enter]simplify: Simplifying (log (acos (fma 4 (fma v v (pow v 4)) -1))) 1545218374.968 * * [misc]simplify: iters left: 5 (8 enodes) 1545218374.970 * * [misc]simplify: iters left: 4 (12 enodes) 1545218374.974 * * [misc]simplify: iters left: 3 (21 enodes) 1545218374.981 * * [misc]simplify: iters left: 2 (38 enodes) 1545218374.991 * * [misc]simplify: iters left: 1 (57 enodes) 1545218375.006 * [exit]simplify: Simplified to (log (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218375.006 * [misc]simplify: Simplified (2 1) to (λ (v) (exp (log (acos (fma (fma v v (pow v 4)) 4 -1))))) 1545218375.006 * * * * [misc]progress: [ 50 / 50 ] simplifiying candidate # 1545218375.006 * [enter]simplify: Simplifying (log (acos (fma 4 (fma v v (pow v 4)) -1))) 1545218375.006 * * [misc]simplify: iters left: 5 (8 enodes) 1545218375.009 * * [misc]simplify: iters left: 4 (12 enodes) 1545218375.013 * * [misc]simplify: iters left: 3 (21 enodes) 1545218375.020 * * [misc]simplify: iters left: 2 (38 enodes) 1545218375.031 * * [misc]simplify: iters left: 1 (57 enodes) 1545218375.046 * [exit]simplify: Simplified to (log (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218375.046 * [misc]simplify: Simplified (2 1) to (λ (v) (exp (log (acos (fma (fma v v (pow v 4)) 4 -1))))) 1545218375.046 * * * [misc]progress: adding candidates to table 1545218375.664 * * [misc]progress: iteration 4 / 4 1545218375.664 * * * [misc]progress: picking best candidate 1545218375.696 * * * * [misc]pick: Picked # 1545218375.696 * * * [misc]progress: localizing error 1545218375.697 * * * [misc]progress: generating rewritten candidates 1545218375.697 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545218375.697 * * * [misc]progress: generating series expansions 1545218375.697 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545218375.697 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218375.697 * [misc]approximate: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in (v) around 0 1545218375.697 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in v 1545218375.697 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218375.698 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma v v (pow v 4)) -1)) in v 1545218375.698 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218375.698 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218375.698 * [misc]backup-simplify: Simplify 0 into 0 1545218375.698 * [misc]backup-simplify: Simplify 0 into 0 1545218375.698 * [misc]backup-simplify: Simplify 0 into 0 1545218375.698 * [misc]backup-simplify: Simplify 0 into 0 1545218375.698 * [misc]backup-simplify: Simplify 0 into 0 1545218375.698 * [misc]backup-simplify: Simplify 0 into 0 1545218375.698 * [misc]backup-simplify: Simplify (acos (fma 4 (fma v v (pow v 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218375.698 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218375.698 * [misc]approximate: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in (v) around 0 1545218375.698 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in v 1545218375.698 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218375.698 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) in v 1545218375.698 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218375.698 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) into (acos (fma 4 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) -1)) 1545218375.698 * [misc]backup-simplify: Simplify 0 into 0 1545218375.698 * [misc]backup-simplify: Simplify 0 into 0 1545218375.698 * [misc]backup-simplify: Simplify 0 into 0 1545218375.699 * [misc]backup-simplify: Simplify 0 into 0 1545218375.699 * [misc]backup-simplify: Simplify 0 into 0 1545218375.699 * [misc]backup-simplify: Simplify 0 into 0 1545218375.699 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 (/ 1 v)) (/ 1 (/ 1 v)) (pow (/ 1 (/ 1 v)) 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218375.699 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ 1 (- v)) (/ 1 (- v)) (pow (/ 1 (- v)) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218375.699 * [misc]approximate: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in (v) around 0 1545218375.699 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in v 1545218375.699 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218375.699 * [misc]taylor: Taking taylor expansion of (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) in v 1545218375.699 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218375.699 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) into (acos (fma 4 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) -1)) 1545218375.699 * [misc]backup-simplify: Simplify 0 into 0 1545218375.699 * [misc]backup-simplify: Simplify 0 into 0 1545218375.699 * [misc]backup-simplify: Simplify 0 into 0 1545218375.699 * [misc]backup-simplify: Simplify 0 into 0 1545218375.699 * [misc]backup-simplify: Simplify 0 into 0 1545218375.699 * [misc]backup-simplify: Simplify 0 into 0 1545218375.700 * [misc]backup-simplify: Simplify (acos (fma 4 (fma (/ -1 (/ 1 (- v))) (/ -1 (/ 1 (- v))) (pow (/ -1 (/ 1 (- v))) 4)) -1)) into (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218375.700 * * * [misc]progress: simplifying candidates 1545218375.700 * * * * [misc]progress: [ 1 / 13 ] simplifiying candidate # 1545218375.700 * * * * [misc]progress: [ 2 / 13 ] simplifiying candidate # 1545218375.700 * * * * [misc]progress: [ 3 / 13 ] simplifiying candidate # 1545218375.700 * * * * [misc]progress: [ 4 / 13 ] simplifiying candidate # 1545218375.700 * * * * [misc]progress: [ 5 / 13 ] simplifiying candidate # 1545218375.700 * * * * [misc]progress: [ 6 / 13 ] simplifiying candidate # 1545218375.700 * * * * [misc]progress: [ 7 / 13 ] simplifiying candidate # 1545218375.700 * * * * [misc]progress: [ 8 / 13 ] simplifiying candidate # 1545218375.700 * * * * [misc]progress: [ 9 / 13 ] simplifiying candidate # 1545218375.700 * * * * [misc]progress: [ 10 / 13 ] simplifiying candidate # 1545218375.700 * * * * [misc]progress: [ 11 / 13 ] simplifiying candidate # 1545218375.700 * [enter]simplify: Simplifying (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218375.700 * * [misc]simplify: iters left: 4 (7 enodes) 1545218375.703 * * [misc]simplify: iters left: 3 (11 enodes) 1545218375.704 * * [misc]simplify: iters left: 2 (20 enodes) 1545218375.709 * * [misc]simplify: iters left: 1 (37 enodes) 1545218375.719 * [exit]simplify: Simplified to (acos (fma (fma v v (pow v 4)) 4 -1)) 1545218375.719 * [misc]simplify: Simplified (2) to (λ (v) (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218375.719 * * * * [misc]progress: [ 12 / 13 ] simplifiying candidate # 1545218375.720 * [enter]simplify: Simplifying (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218375.720 * * [misc]simplify: iters left: 4 (7 enodes) 1545218375.722 * * [misc]simplify: iters left: 3 (11 enodes) 1545218375.725 * * [misc]simplify: iters left: 2 (20 enodes) 1545218375.732 * * [misc]simplify: iters left: 1 (37 enodes) 1545218375.743 * [exit]simplify: Simplified to (acos (fma (fma v v (pow v 4)) 4 -1)) 1545218375.743 * [misc]simplify: Simplified (2) to (λ (v) (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218375.743 * * * * [misc]progress: [ 13 / 13 ] simplifiying candidate # 1545218375.743 * [enter]simplify: Simplifying (acos (fma 4 (fma v v (pow v 4)) -1)) 1545218375.744 * * [misc]simplify: iters left: 4 (7 enodes) 1545218375.746 * * [misc]simplify: iters left: 3 (11 enodes) 1545218375.749 * * [misc]simplify: iters left: 2 (20 enodes) 1545218375.757 * * [misc]simplify: iters left: 1 (37 enodes) 1545218375.767 * [exit]simplify: Simplified to (acos (fma (fma v v (pow v 4)) 4 -1)) 1545218375.767 * [misc]simplify: Simplified (2) to (λ (v) (acos (fma (fma v v (pow v 4)) 4 -1))) 1545218375.767 * * * [misc]progress: adding candidates to table 1545218375.923 * [misc]progress: [Phase 3 of 3] Extracting. 1545218375.923 * * [misc]regime: Finding splitpoints for: (# # # # # #) 1545218375.924 * * * [misc]regime-changes: Trying 1 branch expressions: (v) 1545218375.924 * * * * [misc]regimes: Trying to branch on v from (# # # # # #) 1545218375.987 * * * [misc]regime: Found split indices: #