* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 256 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 256 points with exact outputs * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * [enter]simplify: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (29 enodes) * * [misc]simplify: iters left: 4 (76 enodes) * * [misc]simplify: iters left: 3 (183 enodes) * [exit]simplify: Simplified to (+ (- -1 (* 2e-16 (* 2 t))) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t)))) * * [misc]progress: iteration 1 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 1 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) in (t) around 0 * [misc]taylor: Taking taylor expansion of (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) in t * [misc]taylor: Taking taylor expansion of (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) in t * [misc]taylor: Taking taylor expansion of (+ 1 (* t 2e-16)) in t * [misc]taylor: Taking taylor expansion of 1 in t * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* t 2e-16) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (+ 1 (* t 2e-16)) in t * [misc]taylor: Taking taylor expansion of 1 in t * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* t 2e-16) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (- -1 (* 2 (* t 2e-16))) in t * [misc]taylor: Taking taylor expansion of -1 in t * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (* 2 (* t 2e-16)) in t * [misc]taylor: Taking taylor expansion of 2 in t * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (* t 2e-16) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) in t * [misc]taylor: Taking taylor expansion of (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) in t * [misc]taylor: Taking taylor expansion of (+ 1 (* t 2e-16)) in t * [misc]taylor: Taking taylor expansion of 1 in t * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* t 2e-16) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (+ 1 (* t 2e-16)) in t * [misc]taylor: Taking taylor expansion of 1 in t * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* t 2e-16) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (- -1 (* 2 (* t 2e-16))) in t * [misc]taylor: Taking taylor expansion of -1 in t * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (* 2 (* t 2e-16)) in t * [misc]taylor: Taking taylor expansion of 2 in t * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (* t 2e-16) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]backup-simplify: Simplify (+ 2e-16 2e-16) into 4e-16 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]backup-simplify: Simplify (* 2 2e-16) into 4e-16 * [misc]backup-simplify: Simplify -4e-16 into -4e-16 * [misc]backup-simplify: Simplify -4e-16 into -4e-16 * [misc]backup-simplify: Simplify (+ 4e-16 -4e-16) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 2e-16 2e-16) into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) * [misc]approximate: Taking taylor expansion of (+ (* (+ 1 (* (/ 1 t) 2e-16)) (+ 1 (* (/ 1 t) 2e-16))) (- -1 (* 2 (* (/ 1 t) 2e-16)))) in (t) around 0 * [misc]taylor: Taking taylor expansion of (+ (* (+ 1 (* (/ 1 t) 2e-16)) (+ 1 (* (/ 1 t) 2e-16))) (- -1 (* 2 (* (/ 1 t) 2e-16)))) in t * [misc]taylor: Taking taylor expansion of (* (+ 1 (* (/ 1 t) 2e-16)) (+ 1 (* (/ 1 t) 2e-16))) in t * [misc]taylor: Taking taylor expansion of (+ 1 (* (/ 1 t) 2e-16)) in t * [misc]taylor: Taking taylor expansion of 1 in t * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (/ 1 t) 2e-16) in t * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (+ 1 (* (/ 1 t) 2e-16)) in t * [misc]taylor: Taking taylor expansion of 1 in t * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (/ 1 t) 2e-16) in t * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (- -1 (* 2 (* (/ 1 t) 2e-16))) in t * [misc]taylor: Taking taylor expansion of -1 in t * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (* 2 (* (/ 1 t) 2e-16)) in t * [misc]taylor: Taking taylor expansion of 2 in t * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (* (/ 1 t) 2e-16) in t * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (+ (* (+ 1 (* (/ 1 t) 2e-16)) (+ 1 (* (/ 1 t) 2e-16))) (- -1 (* 2 (* (/ 1 t) 2e-16)))) in t * [misc]taylor: Taking taylor expansion of (* (+ 1 (* (/ 1 t) 2e-16)) (+ 1 (* (/ 1 t) 2e-16))) in t * [misc]taylor: Taking taylor expansion of (+ 1 (* (/ 1 t) 2e-16)) in t * [misc]taylor: Taking taylor expansion of 1 in t * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (/ 1 t) 2e-16) in t * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (+ 1 (* (/ 1 t) 2e-16)) in t * [misc]taylor: Taking taylor expansion of 1 in t * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (/ 1 t) 2e-16) in t * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (- -1 (* 2 (* (/ 1 t) 2e-16))) in t * [misc]taylor: Taking taylor expansion of -1 in t * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (* 2 (* (/ 1 t) 2e-16)) in t * [misc]taylor: Taking taylor expansion of 2 in t * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (* (/ 1 t) 2e-16) in t * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]backup-simplify: Simplify (* 2e-16 2e-16) into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ 2e-16 2e-16) into 4e-16 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]backup-simplify: Simplify (* 2 2e-16) into 4e-16 * [misc]backup-simplify: Simplify -4e-16 into -4e-16 * [misc]backup-simplify: Simplify -4e-16 into -4e-16 * [misc]backup-simplify: Simplify (+ 4e-16 -4e-16) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) * [misc]approximate: Taking taylor expansion of (+ (* (+ 1 (* (/ 1 (- t)) 2e-16)) (+ 1 (* (/ 1 (- t)) 2e-16))) (- -1 (* 2 (* (/ 1 (- t)) 2e-16)))) in (t) around 0 * [misc]taylor: Taking taylor expansion of (+ (* (+ 1 (* (/ 1 (- t)) 2e-16)) (+ 1 (* (/ 1 (- t)) 2e-16))) (- -1 (* 2 (* (/ 1 (- t)) 2e-16)))) in t * [misc]taylor: Taking taylor expansion of (* (+ 1 (* (/ 1 (- t)) 2e-16)) (+ 1 (* (/ 1 (- t)) 2e-16))) in t * [misc]taylor: Taking taylor expansion of (+ 1 (* (/ 1 (- t)) 2e-16)) in t * [misc]taylor: Taking taylor expansion of 1 in t * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (/ 1 (- t)) 2e-16) in t * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (+ 1 (* (/ 1 (- t)) 2e-16)) in t * [misc]taylor: Taking taylor expansion of 1 in t * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (/ 1 (- t)) 2e-16) in t * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (- -1 (* 2 (* (/ 1 (- t)) 2e-16))) in t * [misc]taylor: Taking taylor expansion of -1 in t * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (* 2 (* (/ 1 (- t)) 2e-16)) in t * [misc]taylor: Taking taylor expansion of 2 in t * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (* (/ 1 (- t)) 2e-16) in t * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (+ (* (+ 1 (* (/ 1 (- t)) 2e-16)) (+ 1 (* (/ 1 (- t)) 2e-16))) (- -1 (* 2 (* (/ 1 (- t)) 2e-16)))) in t * [misc]taylor: Taking taylor expansion of (* (+ 1 (* (/ 1 (- t)) 2e-16)) (+ 1 (* (/ 1 (- t)) 2e-16))) in t * [misc]taylor: Taking taylor expansion of (+ 1 (* (/ 1 (- t)) 2e-16)) in t * [misc]taylor: Taking taylor expansion of 1 in t * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (/ 1 (- t)) 2e-16) in t * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (+ 1 (* (/ 1 (- t)) 2e-16)) in t * [misc]taylor: Taking taylor expansion of 1 in t * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (/ 1 (- t)) 2e-16) in t * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]taylor: Taking taylor expansion of (- -1 (* 2 (* (/ 1 (- t)) 2e-16))) in t * [misc]taylor: Taking taylor expansion of -1 in t * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (* 2 (* (/ 1 (- t)) 2e-16)) in t * [misc]taylor: Taking taylor expansion of 2 in t * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (* (/ 1 (- t)) 2e-16) in t * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of 2e-16 in t * [misc]backup-simplify: Simplify 2e-16 into 2e-16 * [misc]backup-simplify: Simplify (* -1 2e-16) into -2e-16 * [misc]backup-simplify: Simplify -2e-16 into -2e-16 * [misc]backup-simplify: Simplify (* -1 2e-16) into -2e-16 * [misc]backup-simplify: Simplify -2e-16 into -2e-16 * [misc]backup-simplify: Simplify (* -2e-16 -2e-16) into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ -2e-16 -2e-16) into (- 4e-16) * [misc]backup-simplify: Simplify (* -1 2e-16) into -2e-16 * [misc]backup-simplify: Simplify (* 2 -2e-16) into -4e-16 * [misc]backup-simplify: Simplify 4e-16 into 4e-16 * [misc]backup-simplify: Simplify 4e-16 into 4e-16 * [misc]backup-simplify: Simplify (+ (- 4e-16) 4e-16) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16)))) (exp (- -1 (* 2 (* t 2e-16))))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (36 enodes) * * [misc]simplify: iters left: 4 (101 enodes) * * [misc]simplify: iters left: 3 (274 enodes) * [exit]simplify: Simplified to (exp (+ (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))) (- -1 (* (* t 2) 2e-16)))) * [exit]simplify: Simplified to (exp (+ (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))) (- -1 (* (* t 2) 2e-16)))) * * * * [misc]progress: [ 2 / 35 ] simplifiying candidate # * * * * [misc]progress: [ 3 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (77 enodes) * * [misc]simplify: iters left: 3 (183 enodes) * [exit]simplify: Simplified to (log (+ (- -1 (* (* 2e-16 t) 2)) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))))) * [exit]simplify: Simplified to (log (+ (- -1 (* (* 2e-16 t) 2)) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))))) * * * * [misc]progress: [ 4 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (33 enodes) * * [misc]simplify: iters left: 4 (96 enodes) * * [misc]simplify: iters left: 3 (279 enodes) * [exit]simplify: Simplified to (exp (+ (- -1 (* (* 2 t) 2e-16)) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))))) * [exit]simplify: Simplified to (exp (+ (- -1 (* (* 2 t) 2e-16)) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))))) * * * * [misc]progress: [ 5 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))) (cbrt (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (31 enodes) * * [misc]simplify: iters left: 4 (78 enodes) * * [misc]simplify: iters left: 3 (185 enodes) * * [misc]simplify: iters left: 2 (468 enodes) * [exit]simplify: Simplified to (* (cbrt (- (* (* 2e-16 t) (+ (* 2e-16 t) (+ 1 1))) (* 2 (* 2e-16 t)))) (cbrt (- (* (* 2e-16 t) (+ (* 2e-16 t) (+ 1 1))) (* 2 (* 2e-16 t))))) * [exit]simplify: Simplified to (* (cbrt (- (* (* 2e-16 t) (+ (* 2e-16 t) (+ 1 1))) (* 2 (* 2e-16 t)))) (cbrt (- (* (* 2e-16 t) (+ (* 2e-16 t) (+ 1 1))) (* 2 (* 2e-16 t))))) * [enter]simplify: Simplifying (cbrt (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (77 enodes) * * [misc]simplify: iters left: 3 (183 enodes) * [exit]simplify: Simplified to (cbrt (+ (- -1 (* (* 2e-16 t) 2)) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))))) * [exit]simplify: Simplified to (cbrt (+ (- -1 (* (* 2e-16 t) 2)) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))))) * * * * [misc]progress: [ 6 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))) (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (175 enodes) * [exit]simplify: Simplified to (pow (+ (- -1 (* (* 2e-16 t) 2)) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t)))) 3) * [exit]simplify: Simplified to (pow (+ (- -1 (* (* 2e-16 t) 2)) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t)))) 3) * * * * [misc]progress: [ 7 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (77 enodes) * * [misc]simplify: iters left: 3 (183 enodes) * [exit]simplify: Simplified to (sqrt (+ (- -1 (* (* 2e-16 t) 2)) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))))) * [exit]simplify: Simplified to (sqrt (+ (- -1 (* (* 2e-16 t) 2)) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))))) * [enter]simplify: Simplifying (sqrt (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (77 enodes) * * [misc]simplify: iters left: 3 (183 enodes) * [exit]simplify: Simplified to (sqrt (+ (- -1 (* (* 2e-16 t) 2)) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))))) * [exit]simplify: Simplified to (sqrt (+ (- -1 (* (* 2e-16 t) 2)) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))))) * * * * [misc]progress: [ 8 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (pow 1 3) (pow (* t 2e-16) 3)) (+ (pow 1 3) (pow (* t 2e-16) 3))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) (* (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16))))) (- (pow -1 3) (pow (* 2 (* t 2e-16)) 3)))) * * [misc]simplify: iters left: 6 (29 enodes) * * [misc]simplify: iters left: 5 (105 enodes) * * [misc]simplify: iters left: 4 (447 enodes) * [exit]simplify: Simplified to (+ (* (- -1 (pow (* t (* 2 2e-16)) 3)) (* (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))) (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))))) (* (- (* (* t (* 2 2e-16)) (* t (* 2 2e-16))) (+ (* t (* 2 2e-16)) -1)) (* (+ (pow (* t 2e-16) 3) 1) (+ (pow (* t 2e-16) 3) 1)))) * [exit]simplify: Simplified to (+ (* (- -1 (pow (* t (* 2 2e-16)) 3)) (* (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))) (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))))) (* (- (* (* t (* 2 2e-16)) (* t (* 2 2e-16))) (+ (* t (* 2 2e-16)) -1)) (* (+ (pow (* t 2e-16) 3) 1) (+ (pow (* t 2e-16) 3) 1)))) * [enter]simplify: Simplifying (* (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16))))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (19 enodes) * * [misc]simplify: iters left: 5 (70 enodes) * * [misc]simplify: iters left: 4 (301 enodes) * [exit]simplify: Simplified to (* (- (* (* t (* 2 2e-16)) (* t (* 2 2e-16))) (+ -1 (* t (* 2 2e-16)))) (* (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)) (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)))) * [exit]simplify: Simplified to (* (- (* (* t (* 2 2e-16)) (* t (* 2 2e-16))) (+ -1 (* t (* 2 2e-16)))) (* (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)) (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)))) * * * * [misc]progress: [ 9 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (pow 1 3) (pow (* t 2e-16) 3)) (+ (pow 1 3) (pow (* t 2e-16) 3))) (+ -1 (* 2 (* t 2e-16)))) (* (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16))))) (- (* -1 -1) (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (25 enodes) * * [misc]simplify: iters left: 5 (88 enodes) * * [misc]simplify: iters left: 4 (356 enodes) * [exit]simplify: Simplified to (+ (* (- (- -1) (* (* 2e-16 (* 2 t)) (* 2e-16 (* 2 t)))) (* (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)) (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)))) (* (+ (pow (* t 2e-16) 3) 1) (* (+ (* 2e-16 (* 2 t)) -1) (+ (pow (* t 2e-16) 3) 1)))) * [exit]simplify: Simplified to (+ (* (- (- -1) (* (* 2e-16 (* 2 t)) (* 2e-16 (* 2 t)))) (* (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)) (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)))) (* (+ (pow (* t 2e-16) 3) 1) (* (+ (* 2e-16 (* 2 t)) -1) (+ (pow (* t 2e-16) 3) 1)))) * [enter]simplify: Simplifying (* (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16))))) (+ -1 (* 2 (* t 2e-16)))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (52 enodes) * * [misc]simplify: iters left: 4 (203 enodes) * [exit]simplify: Simplified to (* (+ (* 2 (* t 2e-16)) -1) (* (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))) (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))))) * [exit]simplify: Simplified to (* (+ (* 2 (* t 2e-16)) -1) (* (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))) (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))))) * * * * [misc]progress: [ 10 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (pow 1 3) (pow (* t 2e-16) 3)) (- (* 1 1) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) (* (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (- 1 (* t 2e-16))) (- (pow -1 3) (pow (* 2 (* t 2e-16)) 3)))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (101 enodes) * * [misc]simplify: iters left: 4 (404 enodes) * [exit]simplify: Simplified to (+ (* (- (* (* 2e-16 (* t 2)) (* 2e-16 (* t 2))) (+ -1 (* 2e-16 (* t 2)))) (* (- 1 (* (* t 2e-16) (* t 2e-16))) (+ (pow (* t 2e-16) 3) 1))) (* (* (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))) (- 1 (* t 2e-16))) (- -1 (pow (* 2e-16 (* t 2)) 3)))) * [exit]simplify: Simplified to (+ (* (- (* (* 2e-16 (* t 2)) (* 2e-16 (* t 2))) (+ -1 (* 2e-16 (* t 2)))) (* (- 1 (* (* t 2e-16) (* t 2e-16))) (+ (pow (* t 2e-16) 3) 1))) (* (* (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))) (- 1 (* t 2e-16))) (- -1 (pow (* 2e-16 (* t 2)) 3)))) * [enter]simplify: Simplifying (* (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (- 1 (* t 2e-16))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (20 enodes) * * [misc]simplify: iters left: 5 (68 enodes) * * [misc]simplify: iters left: 4 (260 enodes) * [exit]simplify: Simplified to (* (* (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)) (- 1 (* t 2e-16))) (- (* (* 2e-16 (* 2 t)) (* 2e-16 (* 2 t))) (+ -1 (* 2e-16 (* 2 t))))) * [exit]simplify: Simplified to (* (* (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)) (- 1 (* t 2e-16))) (- (* (* 2e-16 (* 2 t)) (* 2e-16 (* 2 t))) (+ -1 (* 2e-16 (* 2 t))))) * * * * [misc]progress: [ 11 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (pow 1 3) (pow (* t 2e-16) 3)) (- (* 1 1) (* (* t 2e-16) (* t 2e-16)))) (+ -1 (* 2 (* t 2e-16)))) (* (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (- 1 (* t 2e-16))) (- (* -1 -1) (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (27 enodes) * * [misc]simplify: iters left: 5 (84 enodes) * * [misc]simplify: iters left: 4 (318 enodes) * [exit]simplify: Simplified to (+ (* (* (- -1 (* 2e-16 (* 2 t))) (+ -1 (* 2e-16 (* 2 t)))) (* (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))) (- 1 (* t 2e-16)))) (* (* (- 1 (* (* t 2e-16) (* t 2e-16))) (+ (pow (* t 2e-16) 3) 1)) (+ -1 (* 2e-16 (* 2 t))))) * [exit]simplify: Simplified to (+ (* (* (- -1 (* 2e-16 (* 2 t))) (+ -1 (* 2e-16 (* 2 t)))) (* (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))) (- 1 (* t 2e-16)))) (* (* (- 1 (* (* t 2e-16) (* t 2e-16))) (+ (pow (* t 2e-16) 3) 1)) (+ -1 (* 2e-16 (* 2 t))))) * [enter]simplify: Simplifying (* (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (- 1 (* t 2e-16))) (+ -1 (* 2 (* t 2e-16)))) * * [misc]simplify: iters left: 6 (16 enodes) * * [misc]simplify: iters left: 5 (50 enodes) * * [misc]simplify: iters left: 4 (159 enodes) * * [misc]simplify: iters left: 3 (498 enodes) * [exit]simplify: Simplified to (* (- (* (* (* t 2) 2e-16) (- 1 (* t 2e-16))) (- 1 (* t 2e-16))) (+ (- 1 (* t 2e-16)) (* (* t 2e-16) (* t 2e-16)))) * [exit]simplify: Simplified to (* (- (* (* (* t 2) 2e-16) (- 1 (* t 2e-16))) (- 1 (* t 2e-16))) (+ (- 1 (* t 2e-16)) (* (* t 2e-16) (* t 2e-16)))) * * * * [misc]progress: [ 12 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (- (* 1 1) (* (* t 2e-16) (* t 2e-16))) (+ (pow 1 3) (pow (* t 2e-16) 3))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) (* (* (- 1 (* t 2e-16)) (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16))))) (- (pow -1 3) (pow (* 2 (* t 2e-16)) 3)))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (113 enodes) * * [misc]simplify: iters left: 4 (490 enodes) * [exit]simplify: Simplified to (+ (* (- (* (* (* 2 t) 2e-16) (* (* 2 t) 2e-16)) (+ -1 (* (* 2 t) 2e-16))) (* (+ (pow (* t 2e-16) 3) 1) (- 1 (* (* t 2e-16) (* t 2e-16))))) (* (* (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))) (- 1 (* t 2e-16))) (- -1 (pow (* (* 2 t) 2e-16) 3)))) * [exit]simplify: Simplified to (+ (* (- (* (* (* 2 t) 2e-16) (* (* 2 t) 2e-16)) (+ -1 (* (* 2 t) 2e-16))) (* (+ (pow (* t 2e-16) 3) 1) (- 1 (* (* t 2e-16) (* t 2e-16))))) (* (* (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))) (- 1 (* t 2e-16))) (- -1 (pow (* (* 2 t) 2e-16) 3)))) * [enter]simplify: Simplifying (* (* (- 1 (* t 2e-16)) (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16))))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (20 enodes) * * [misc]simplify: iters left: 5 (73 enodes) * * [misc]simplify: iters left: 4 (313 enodes) * [exit]simplify: Simplified to (* (* (- (* (* 2e-16 t) (* 2e-16 t)) (- (* 2e-16 t) 1)) (- 1 (* 2e-16 t))) (- (* (* 2 (* 2e-16 t)) (* 2 (* 2e-16 t))) (+ -1 (* 2 (* 2e-16 t))))) * [exit]simplify: Simplified to (* (* (- (* (* 2e-16 t) (* 2e-16 t)) (- (* 2e-16 t) 1)) (- 1 (* 2e-16 t))) (- (* (* 2 (* 2e-16 t)) (* 2 (* 2e-16 t))) (+ -1 (* 2 (* 2e-16 t))))) * * * * [misc]progress: [ 13 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (- (* 1 1) (* (* t 2e-16) (* t 2e-16))) (+ (pow 1 3) (pow (* t 2e-16) 3))) (+ -1 (* 2 (* t 2e-16)))) (* (* (- 1 (* t 2e-16)) (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16))))) (- (* -1 -1) (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (27 enodes) * * [misc]simplify: iters left: 5 (96 enodes) * * [misc]simplify: iters left: 4 (388 enodes) * [exit]simplify: Simplified to (+ (* (* (- -1 (* (* 2 2e-16) t)) (+ -1 (* (* 2 2e-16) t))) (* (- 1 (* t 2e-16)) (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))))) (* (* (+ (pow (* t 2e-16) 3) 1) (- 1 (* (* t 2e-16) (* t 2e-16)))) (+ -1 (* (* 2 2e-16) t)))) * [exit]simplify: Simplified to (+ (* (* (- -1 (* (* 2 2e-16) t)) (+ -1 (* (* 2 2e-16) t))) (* (- 1 (* t 2e-16)) (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))))) (* (* (+ (pow (* t 2e-16) 3) 1) (- 1 (* (* t 2e-16) (* t 2e-16)))) (+ -1 (* (* 2 2e-16) t)))) * [enter]simplify: Simplifying (* (* (- 1 (* t 2e-16)) (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16))))) (+ -1 (* 2 (* t 2e-16)))) * * [misc]simplify: iters left: 6 (16 enodes) * * [misc]simplify: iters left: 5 (55 enodes) * * [misc]simplify: iters left: 4 (214 enodes) * [exit]simplify: Simplified to (* (* (+ -1 (* (* 2 t) 2e-16)) (+ (- 1 (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t)))) (- 1 (* 2e-16 t))) * [exit]simplify: Simplified to (* (* (+ -1 (* (* 2 t) 2e-16)) (+ (- 1 (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t)))) (- 1 (* 2e-16 t))) * * * * [misc]progress: [ 14 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (- (* 1 1) (* (* t 2e-16) (* t 2e-16))) (- (* 1 1) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) (* (* (- 1 (* t 2e-16)) (- 1 (* t 2e-16))) (- (pow -1 3) (pow (* 2 (* t 2e-16)) 3)))) * * [misc]simplify: iters left: 6 (25 enodes) * * [misc]simplify: iters left: 5 (76 enodes) * * [misc]simplify: iters left: 4 (284 enodes) * [exit]simplify: Simplified to (+ (* (- -1 (pow (* 2e-16 (* t 2)) 3)) (* (- 1 (* t 2e-16)) (- 1 (* t 2e-16)))) (* (* (- 1 (* (* t 2e-16) (* t 2e-16))) (- 1 (* (* t 2e-16) (* t 2e-16)))) (- (* (* 2e-16 (* t 2)) (* 2e-16 (* t 2))) (+ (* 2e-16 (* t 2)) -1)))) * [exit]simplify: Simplified to (+ (* (- -1 (pow (* 2e-16 (* t 2)) 3)) (* (- 1 (* t 2e-16)) (- 1 (* t 2e-16)))) (* (* (- 1 (* (* t 2e-16) (* t 2e-16))) (- 1 (* (* t 2e-16) (* t 2e-16)))) (- (* (* 2e-16 (* t 2)) (* 2e-16 (* t 2))) (+ (* 2e-16 (* t 2)) -1)))) * [enter]simplify: Simplifying (* (* (- 1 (* t 2e-16)) (- 1 (* t 2e-16))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (47 enodes) * * [misc]simplify: iters left: 4 (173 enodes) * [exit]simplify: Simplified to (* (- (* (* (* 2 2e-16) t) (* (* 2 2e-16) t)) (+ (* (* 2 2e-16) t) -1)) (* (- 1 (* 2e-16 t)) (- 1 (* 2e-16 t)))) * [exit]simplify: Simplified to (* (- (* (* (* 2 2e-16) t) (* (* 2 2e-16) t)) (+ (* (* 2 2e-16) t) -1)) (* (- 1 (* 2e-16 t)) (- 1 (* 2e-16 t)))) * * * * [misc]progress: [ 15 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (- (* 1 1) (* (* t 2e-16) (* t 2e-16))) (- (* 1 1) (* (* t 2e-16) (* t 2e-16)))) (+ -1 (* 2 (* t 2e-16)))) (* (* (- 1 (* t 2e-16)) (- 1 (* t 2e-16))) (- (* -1 -1) (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (20 enodes) * * [misc]simplify: iters left: 5 (57 enodes) * * [misc]simplify: iters left: 4 (189 enodes) * [exit]simplify: Simplified to (* (+ -1 (* (* 2 2e-16) t)) (+ (* (* (- 1 (* t 2e-16)) (- 1 (* t 2e-16))) (- -1 (* (* 2 2e-16) t))) (* (- 1 (* (* t 2e-16) (* t 2e-16))) (- 1 (* (* t 2e-16) (* t 2e-16)))))) * [exit]simplify: Simplified to (* (+ -1 (* (* 2 2e-16) t)) (+ (* (* (- 1 (* t 2e-16)) (- 1 (* t 2e-16))) (- -1 (* (* 2 2e-16) t))) (* (- 1 (* (* t 2e-16) (* t 2e-16))) (- 1 (* (* t 2e-16) (* t 2e-16)))))) * [enter]simplify: Simplifying (* (* (- 1 (* t 2e-16)) (- 1 (* t 2e-16))) (+ -1 (* 2 (* t 2e-16)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (29 enodes) * * [misc]simplify: iters left: 4 (77 enodes) * * [misc]simplify: iters left: 3 (223 enodes) * [exit]simplify: Simplified to (* (+ (* (* 2e-16 t) 2) -1) (* (- 1 (* 2e-16 t)) (- 1 (* 2e-16 t)))) * [exit]simplify: Simplified to (* (+ (* (* 2e-16 t) 2) -1) (* (- 1 (* 2e-16 t)) (- 1 (* 2e-16 t)))) * * * * [misc]progress: [ 16 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ 1 (* t 2e-16)) (+ (pow 1 3) (pow (* t 2e-16) 3))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (- (pow -1 3) (pow (* 2 (* t 2e-16)) 3)))) * * [misc]simplify: iters left: 6 (29 enodes) * * [misc]simplify: iters left: 5 (99 enodes) * * [misc]simplify: iters left: 4 (419 enodes) * [exit]simplify: Simplified to (+ (* (- (* (* (* 2 t) 2e-16) (* (* 2 t) 2e-16)) (+ -1 (* (* 2 t) 2e-16))) (+ (+ 1 (* 2e-16 t)) (* (pow (* 2e-16 t) 3) (+ 1 (* 2e-16 t))))) (* (- -1 (pow (* (* 2 t) 2e-16) 3)) (+ (* (* 2e-16 t) (* 2e-16 t)) (- 1 (* 2e-16 t))))) * [exit]simplify: Simplified to (+ (* (- (* (* (* 2 t) 2e-16) (* (* 2 t) 2e-16)) (+ -1 (* (* 2 t) 2e-16))) (+ (+ 1 (* 2e-16 t)) (* (pow (* 2e-16 t) 3) (+ 1 (* 2e-16 t))))) (* (- -1 (pow (* (* 2 t) 2e-16) 3)) (+ (* (* 2e-16 t) (* 2e-16 t)) (- 1 (* 2e-16 t))))) * [enter]simplify: Simplifying (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (18 enodes) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (235 enodes) * [exit]simplify: Simplified to (* (- (* (* t (* 2e-16 2)) (* t (* 2e-16 2))) (+ (* t (* 2e-16 2)) -1)) (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16)))) * [exit]simplify: Simplified to (* (- (* (* t (* 2e-16 2)) (* t (* 2e-16 2))) (+ (* t (* 2e-16 2)) -1)) (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16)))) * * * * [misc]progress: [ 17 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ 1 (* t 2e-16)) (+ (pow 1 3) (pow (* t 2e-16) 3))) (+ -1 (* 2 (* t 2e-16)))) (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (- (* -1 -1) (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (25 enodes) * * [misc]simplify: iters left: 5 (82 enodes) * * [misc]simplify: iters left: 4 (331 enodes) * [exit]simplify: Simplified to (* (+ (* 2e-16 (* 2 t)) -1) (+ (* (+ (* (* 2e-16 t) (* 2e-16 t)) (- 1 (* 2e-16 t))) (- -1 (* 2e-16 (* 2 t)))) (* (+ 1 (pow (* 2e-16 t) 3)) (+ (* 2e-16 t) 1)))) * [exit]simplify: Simplified to (* (+ (* 2e-16 (* 2 t)) -1) (+ (* (+ (* (* 2e-16 t) (* 2e-16 t)) (- 1 (* 2e-16 t))) (- -1 (* 2e-16 (* 2 t)))) (* (+ 1 (pow (* 2e-16 t) 3)) (+ (* 2e-16 t) 1)))) * [enter]simplify: Simplifying (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (+ -1 (* 2 (* t 2e-16)))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (43 enodes) * * [misc]simplify: iters left: 4 (139 enodes) * * [misc]simplify: iters left: 3 (457 enodes) * [exit]simplify: Simplified to (* (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)) (+ (* (* 2 t) 2e-16) -1)) * [exit]simplify: Simplified to (* (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)) (+ (* (* 2 t) 2e-16) -1)) * * * * [misc]progress: [ 18 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ 1 (* t 2e-16)) (- (* 1 1) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) (* (- 1 (* t 2e-16)) (- (pow -1 3) (pow (* 2 (* t 2e-16)) 3)))) * * [misc]simplify: iters left: 6 (25 enodes) * * [misc]simplify: iters left: 5 (76 enodes) * * [misc]simplify: iters left: 4 (296 enodes) * [exit]simplify: Simplified to (+ (* (- (* (* (* 2e-16 t) 2) (* (* 2e-16 t) 2)) (+ (* (* 2e-16 t) 2) -1)) (* (- 1 (* (* 2e-16 t) (* 2e-16 t))) (+ 1 (* 2e-16 t)))) (* (- -1 (pow (* (* 2e-16 t) 2) 3)) (- 1 (* 2e-16 t)))) * [exit]simplify: Simplified to (+ (* (- (* (* (* 2e-16 t) 2) (* (* 2e-16 t) 2)) (+ (* (* 2e-16 t) 2) -1)) (* (- 1 (* (* 2e-16 t) (* 2e-16 t))) (+ 1 (* 2e-16 t)))) (* (- -1 (pow (* (* 2e-16 t) 2) 3)) (- 1 (* 2e-16 t)))) * [enter]simplify: Simplifying (* (- 1 (* t 2e-16)) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (162 enodes) * [exit]simplify: Simplified to (* (- 1 (* 2e-16 t)) (- (* (* (* 2e-16 t) 2) (* (* 2e-16 t) 2)) (+ -1 (* (* 2e-16 t) 2)))) * [exit]simplify: Simplified to (* (- 1 (* 2e-16 t)) (- (* (* (* 2e-16 t) 2) (* (* 2e-16 t) 2)) (+ -1 (* (* 2e-16 t) 2)))) * * * * [misc]progress: [ 19 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ 1 (* t 2e-16)) (- (* 1 1) (* (* t 2e-16) (* t 2e-16)))) (+ -1 (* 2 (* t 2e-16)))) (* (- 1 (* t 2e-16)) (- (* -1 -1) (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (20 enodes) * * [misc]simplify: iters left: 5 (57 enodes) * * [misc]simplify: iters left: 4 (199 enodes) * [exit]simplify: Simplified to (* (+ (* 2 (* 2e-16 t)) -1) (+ (* (- 1 (* (* 2e-16 t) (* 2e-16 t))) (+ 1 (* 2e-16 t))) (* (- 1 (* 2e-16 t)) (- -1 (* 2 (* 2e-16 t)))))) * [exit]simplify: Simplified to (* (+ (* 2 (* 2e-16 t)) -1) (+ (* (- 1 (* (* 2e-16 t) (* 2e-16 t))) (+ 1 (* 2e-16 t))) (* (- 1 (* 2e-16 t)) (- -1 (* 2 (* 2e-16 t)))))) * [enter]simplify: Simplifying (* (- 1 (* t 2e-16)) (+ -1 (* 2 (* t 2e-16)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (26 enodes) * * [misc]simplify: iters left: 4 (72 enodes) * * [misc]simplify: iters left: 3 (229 enodes) * [exit]simplify: Simplified to (- (* (* (* 2e-16 t) 2) (- 1 (* 2e-16 t))) (- 1 (* 2e-16 t))) * [exit]simplify: Simplified to (- (* (* (* 2e-16 t) 2) (- 1 (* 2e-16 t))) (- 1 (* 2e-16 t))) * * * * [misc]progress: [ 20 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (pow 1 3) (pow (* t 2e-16) 3)) (+ 1 (* t 2e-16))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (- (pow -1 3) (pow (* 2 (* t 2e-16)) 3)))) * * [misc]simplify: iters left: 6 (29 enodes) * * [misc]simplify: iters left: 5 (99 enodes) * * [misc]simplify: iters left: 4 (430 enodes) * [exit]simplify: Simplified to (+ (* (- (* (* (* 2 t) 2e-16) (* (* 2 t) 2e-16)) (+ -1 (* (* 2 t) 2e-16))) (+ (* (+ 1 (* t 2e-16)) (pow (* t 2e-16) 3)) (+ 1 (* t 2e-16)))) (* (- -1 (pow (* (* 2 t) 2e-16) 3)) (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)))) * [exit]simplify: Simplified to (+ (* (- (* (* (* 2 t) 2e-16) (* (* 2 t) 2e-16)) (+ -1 (* (* 2 t) 2e-16))) (+ (* (+ 1 (* t 2e-16)) (pow (* t 2e-16) 3)) (+ 1 (* t 2e-16)))) (* (- -1 (pow (* (* 2 t) 2e-16) 3)) (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)))) * [enter]simplify: Simplifying (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (18 enodes) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (235 enodes) * [exit]simplify: Simplified to (* (- (* (* t (* 2e-16 2)) (* t (* 2e-16 2))) (+ (* t (* 2e-16 2)) -1)) (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16)))) * [exit]simplify: Simplified to (* (- (* (* t (* 2e-16 2)) (* t (* 2e-16 2))) (+ (* t (* 2e-16 2)) -1)) (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16)))) * * * * [misc]progress: [ 21 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (pow 1 3) (pow (* t 2e-16) 3)) (+ 1 (* t 2e-16))) (+ -1 (* 2 (* t 2e-16)))) (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (- (* -1 -1) (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (25 enodes) * * [misc]simplify: iters left: 5 (82 enodes) * * [misc]simplify: iters left: 4 (342 enodes) * [exit]simplify: Simplified to (* (+ (* 2e-16 (* t 2)) -1) (+ (* (+ (* t 2e-16) 1) (+ (pow (* t 2e-16) 3) 1)) (* (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))) (- -1 (* 2e-16 (* t 2)))))) * [exit]simplify: Simplified to (* (+ (* 2e-16 (* t 2)) -1) (+ (* (+ (* t 2e-16) 1) (+ (pow (* t 2e-16) 3) 1)) (* (+ (* (* t 2e-16) (* t 2e-16)) (- 1 (* t 2e-16))) (- -1 (* 2e-16 (* t 2)))))) * [enter]simplify: Simplifying (* (+ (* 1 1) (- (* (* t 2e-16) (* t 2e-16)) (* 1 (* t 2e-16)))) (+ -1 (* 2 (* t 2e-16)))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (43 enodes) * * [misc]simplify: iters left: 4 (139 enodes) * * [misc]simplify: iters left: 3 (457 enodes) * [exit]simplify: Simplified to (* (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)) (+ (* (* 2 t) 2e-16) -1)) * [exit]simplify: Simplified to (* (- (* (* t 2e-16) (* t 2e-16)) (- (* t 2e-16) 1)) (+ (* (* 2 t) 2e-16) -1)) * * * * [misc]progress: [ 22 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (- (* 1 1) (* (* t 2e-16) (* t 2e-16))) (+ 1 (* t 2e-16))) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) (* (- 1 (* t 2e-16)) (- (pow -1 3) (pow (* 2 (* t 2e-16)) 3)))) * * [misc]simplify: iters left: 6 (25 enodes) * * [misc]simplify: iters left: 5 (82 enodes) * * [misc]simplify: iters left: 4 (324 enodes) * [exit]simplify: Simplified to (+ (* (- (* (* (* 2e-16 2) t) (* (* 2e-16 2) t)) (+ (* (* 2e-16 2) t) -1)) (* (+ (* t 2e-16) 1) (- 1 (* (* t 2e-16) (* t 2e-16))))) (+ (* (* (- 1 (* t 2e-16)) (* (* 2e-16 2) t)) (* (* (* 2e-16 2) t) (* (- 2) (* t 2e-16)))) (* -1 (- 1 (* t 2e-16))))) * [exit]simplify: Simplified to (+ (* (- (* (* (* 2e-16 2) t) (* (* 2e-16 2) t)) (+ (* (* 2e-16 2) t) -1)) (* (+ (* t 2e-16) 1) (- 1 (* (* t 2e-16) (* t 2e-16))))) (+ (* (* (- 1 (* t 2e-16)) (* (* 2e-16 2) t)) (* (* (* 2e-16 2) t) (* (- 2) (* t 2e-16)))) (* -1 (- 1 (* t 2e-16))))) * [enter]simplify: Simplifying (* (- 1 (* t 2e-16)) (+ (* -1 -1) (+ (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16))) (* -1 (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (162 enodes) * [exit]simplify: Simplified to (* (- 1 (* 2e-16 t)) (- (* (* (* 2e-16 t) 2) (* (* 2e-16 t) 2)) (+ -1 (* (* 2e-16 t) 2)))) * [exit]simplify: Simplified to (* (- 1 (* 2e-16 t)) (- (* (* (* 2e-16 t) 2) (* (* 2e-16 t) 2)) (+ -1 (* (* 2e-16 t) 2)))) * * * * [misc]progress: [ 23 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (- (* 1 1) (* (* t 2e-16) (* t 2e-16))) (+ 1 (* t 2e-16))) (+ -1 (* 2 (* t 2e-16)))) (* (- 1 (* t 2e-16)) (- (* -1 -1) (* (* 2 (* t 2e-16)) (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (20 enodes) * * [misc]simplify: iters left: 5 (63 enodes) * * [misc]simplify: iters left: 4 (232 enodes) * [exit]simplify: Simplified to (* (+ (* (* 2 2e-16) t) -1) (+ (* (- 1 (* t 2e-16)) (- -1 (* (* 2 2e-16) t))) (* (+ (* t 2e-16) 1) (- 1 (* (* t 2e-16) (* t 2e-16)))))) * [exit]simplify: Simplified to (* (+ (* (* 2 2e-16) t) -1) (+ (* (- 1 (* t 2e-16)) (- -1 (* (* 2 2e-16) t))) (* (+ (* t 2e-16) 1) (- 1 (* (* t 2e-16) (* t 2e-16)))))) * [enter]simplify: Simplifying (* (- 1 (* t 2e-16)) (+ -1 (* 2 (* t 2e-16)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (26 enodes) * * [misc]simplify: iters left: 4 (72 enodes) * * [misc]simplify: iters left: 3 (229 enodes) * [exit]simplify: Simplified to (- (* (* (* 2e-16 t) 2) (- 1 (* 2e-16 t))) (- 1 (* 2e-16 t))) * [exit]simplify: Simplified to (- (* (* (* 2e-16 t) 2) (- 1 (* 2e-16 t))) (- 1 (* 2e-16 t))) * * * * [misc]progress: [ 24 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (pow (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) 3) (pow (- -1 (* 2 (* t 2e-16))) 3)) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (38 enodes) * * [misc]simplify: iters left: 4 (107 enodes) * * [misc]simplify: iters left: 3 (371 enodes) * [exit]simplify: Simplified to (+ (pow (- -1 (* 2e-16 (* 2 t))) 3) (* (pow (+ 1 (* 2e-16 t)) 3) (pow (+ 1 (* 2e-16 t)) 3))) * [exit]simplify: Simplified to (+ (pow (- -1 (* 2e-16 (* 2 t))) 3) (* (pow (+ 1 (* 2e-16 t)) 3) (pow (+ 1 (* 2e-16 t)) 3))) * [enter]simplify: Simplifying (+ (* (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16)))) (- (* (- -1 (* 2 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) (* (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (160 enodes) * [exit]simplify: Simplified to (- (* (- -1 (* 2e-16 (* t 2))) (- -1 (* 2e-16 (* t 2)))) (* (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))) (- (- -1 (* 2e-16 (* t 2))) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t)))))) * [exit]simplify: Simplified to (- (* (- -1 (* 2e-16 (* t 2))) (- -1 (* 2e-16 (* t 2)))) (* (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))) (- (- -1 (* 2e-16 (* t 2))) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t)))))) * * * * [misc]progress: [ 25 / 35 ] simplifiying candidate # * * * * [misc]progress: [ 26 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16)))) (* (- -1 (* 2 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (37 enodes) * * [misc]simplify: iters left: 4 (124 enodes) * * [misc]simplify: iters left: 3 (374 enodes) * [exit]simplify: Simplified to (* (- (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))) (- -1 (* (* t 2) 2e-16))) (+ (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))) (- -1 (* (* t 2) 2e-16)))) * [exit]simplify: Simplified to (* (- (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))) (- -1 (* (* t 2) 2e-16))) (+ (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t))) (- -1 (* (* t 2) 2e-16)))) * [enter]simplify: Simplifying (- (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (75 enodes) * * [misc]simplify: iters left: 3 (181 enodes) * * [misc]simplify: iters left: 2 (496 enodes) * [exit]simplify: Simplified to (+ (- (* 2e-16 (* 2 t)) -1) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t)))) * [exit]simplify: Simplified to (+ (- (* 2e-16 (* 2 t)) -1) (* (+ 1 (* 2e-16 t)) (+ 1 (* 2e-16 t)))) * * * * [misc]progress: [ 27 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) -1) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (53 enodes) * * [misc]simplify: iters left: 3 (144 enodes) * * [misc]simplify: iters left: 2 (389 enodes) * [exit]simplify: Simplified to (* (* 2e-16 t) (+ (+ 1 1) (* 2e-16 t))) * [exit]simplify: Simplified to (* (* 2e-16 t) (+ (+ 1 1) (* 2e-16 t))) * * * * [misc]progress: [ 28 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) -1) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (53 enodes) * * [misc]simplify: iters left: 3 (144 enodes) * * [misc]simplify: iters left: 2 (389 enodes) * [exit]simplify: Simplified to (* (* 2e-16 t) (+ (+ 1 1) (* 2e-16 t))) * [exit]simplify: Simplified to (* (* 2e-16 t) (+ (+ 1 1) (* 2e-16 t))) * * * * [misc]progress: [ 29 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (+ 1 (* t 2e-16)) (* t 2e-16)) (- -1 (* 2 (* t 2e-16)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (26 enodes) * * [misc]simplify: iters left: 4 (62 enodes) * * [misc]simplify: iters left: 3 (128 enodes) * * [misc]simplify: iters left: 2 (253 enodes) * [exit]simplify: Simplified to (- -1 (* (* 2e-16 t) (- (- 2 1) (* 2e-16 t)))) * [exit]simplify: Simplified to (- -1 (* (* 2e-16 t) (- (- 2 1) (* 2e-16 t)))) * * * * [misc]progress: [ 30 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* t 2e-16) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (31 enodes) * * [misc]simplify: iters left: 4 (81 enodes) * * [misc]simplify: iters left: 3 (194 enodes) * * [misc]simplify: iters left: 2 (436 enodes) * [exit]simplify: Simplified to (- (+ (* 2e-16 t) -1) (* (* 2e-16 t) (- 2 (* 2e-16 t)))) * [exit]simplify: Simplified to (- (+ (* 2e-16 t) -1) (* (* 2e-16 t) (- 2 (* 2e-16 t)))) * * * * [misc]progress: [ 31 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) -1) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (53 enodes) * * [misc]simplify: iters left: 3 (144 enodes) * * [misc]simplify: iters left: 2 (389 enodes) * [exit]simplify: Simplified to (* (* 2e-16 t) (+ (+ 1 1) (* 2e-16 t))) * [exit]simplify: Simplified to (* (* 2e-16 t) (+ (+ 1 1) (* 2e-16 t))) * * * * [misc]progress: [ 32 / 35 ] simplifiying candidate # * * * * [misc]progress: [ 33 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * * [misc]simplify: iters left: 1 (11 enodes) * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) * * * * [misc]progress: [ 34 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * * [misc]simplify: iters left: 1 (11 enodes) * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) * * * * [misc]progress: [ 35 / 35 ] simplifiying candidate # * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * * [misc]simplify: iters left: 1 (11 enodes) * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 2 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 1 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (pow t 2) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (pow t 2) in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow (/ 1 t) 2)) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow (/ 1 t) 2)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (pow (/ 1 t) 2) in t * [misc]taylor: Taking taylor expansion of (exp (* 2 (log (/ 1 t)))) in t * [misc]taylor: Taking taylor expansion of (* 2 (log (/ 1 t))) in t * [misc]taylor: Taking taylor expansion of 2 in t * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (log (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* -1 (log t)) into (* -1 (log t)) * [misc]backup-simplify: Simplify (* 2 (* -1 (log t))) into (* -2 (log t)) * [misc]backup-simplify: Simplify (exp (* -2 (log t))) into (pow t -2) * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow (/ 1 t) 2)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (pow (/ 1 t) 2) in t * [misc]taylor: Taking taylor expansion of (exp (* 2 (log (/ 1 t)))) in t * [misc]taylor: Taking taylor expansion of (* 2 (log (/ 1 t))) in t * [misc]taylor: Taking taylor expansion of 2 in t * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (log (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* -1 (log t)) into (* -1 (log t)) * [misc]backup-simplify: Simplify (* 2 (* -1 (log t))) into (* -2 (log t)) * [misc]backup-simplify: Simplify (exp (* -2 (log t))) into (pow t -2) * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t -2)) into (/ 3.9999999999999997e-32 (pow t 2)) * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 (pow t 2)) into (/ 3.9999999999999997e-32 (pow t 2)) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* -1 (log t)) into (* -1 (log t)) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* -1 (log t)) into (* -1 (log t)) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* -1 (log t)) into (* -1 (log t)) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* -1 (log t)) into (* -1 (log t)) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* -1 (log t)) into (* -1 (log t)) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* -1 (log t)) into (* -1 (log t)) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 (pow (/ 1 t) 2)) into (* 3.9999999999999997e-32 (pow t 2)) * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow (/ 1 (- t)) 2)) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow (/ 1 (- t)) 2)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (- t)) 2) in t * [misc]taylor: Taking taylor expansion of (exp (* 2 (log (/ 1 (- t))))) in t * [misc]taylor: Taking taylor expansion of (* 2 (log (/ 1 (- t)))) in t * [misc]taylor: Taking taylor expansion of 2 in t * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (log (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (log -1) into (log -1) * [misc]backup-simplify: Simplify (+ (* -1 (log t)) (log -1)) into (- (log -1) (log t)) * [misc]backup-simplify: Simplify (* 2 (- (log -1) (log t))) into (* 2 (- (log -1) (log t))) * [misc]backup-simplify: Simplify (exp (* 2 (- (log -1) (log t)))) into (exp (* 2 (- (log -1) (log t)))) * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow (/ 1 (- t)) 2)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (- t)) 2) in t * [misc]taylor: Taking taylor expansion of (exp (* 2 (log (/ 1 (- t))))) in t * [misc]taylor: Taking taylor expansion of (* 2 (log (/ 1 (- t)))) in t * [misc]taylor: Taking taylor expansion of 2 in t * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (log (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (log -1) into (log -1) * [misc]backup-simplify: Simplify (+ (* -1 (log t)) (log -1)) into (- (log -1) (log t)) * [misc]backup-simplify: Simplify (* 2 (- (log -1) (log t))) into (* 2 (- (log -1) (log t))) * [misc]backup-simplify: Simplify (exp (* 2 (- (log -1) (log t)))) into (exp (* 2 (- (log -1) (log t)))) * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (exp (* 2 (- (log -1) (log t))))) into (* 3.9999999999999997e-32 (exp (* 2 (- (log -1) (log t))))) * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (exp (* 2 (- (log -1) (log t))))) into (* 3.9999999999999997e-32 (exp (* 2 (- (log -1) (log t))))) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* -1 (log t)) (log -1)) into (- (log -1) (log t)) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* -1 (log t)) (log -1)) into (- (log -1) (log t)) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* -1 (log t)) (log -1)) into (- (log -1) (log t)) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* -1 (log t)) (log -1)) into (- (log -1) (log t)) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* -1 (log t)) (log -1)) into (- (log -1) (log t)) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* -1 (log t)) (log -1)) into (- (log -1) (log t)) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (exp (* 2 (- (log -1) (log (/ 1 (- t))))))) into (* 3.9999999999999997e-32 (exp (* 2 (- (log -1) (log (/ -1 t)))))) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate # * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* 3.9999999999999997e-32 (pow t 2))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (11 enodes) * * [misc]simplify: iters left: 2 (19 enodes) * * [misc]simplify: iters left: 1 (30 enodes) * [exit]simplify: Simplified to (log (* (* t t) 3.9999999999999997e-32)) * [exit]simplify: Simplified to (log (* (* t t) 3.9999999999999997e-32)) * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* 3.9999999999999997e-32 (pow t 2))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (14 enodes) * * [misc]simplify: iters left: 1 (16 enodes) * [exit]simplify: Simplified to (pow (exp 3.9999999999999997e-32) (* t t)) * [exit]simplify: Simplified to (pow (exp 3.9999999999999997e-32) (* t t)) * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (9 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * * [misc]simplify: iters left: 3 (14 enodes) * [exit]simplify: Simplified to (* (cbrt (* (* t 3.9999999999999997e-32) t)) (cbrt (* (* t 3.9999999999999997e-32) t))) * [exit]simplify: Simplified to (* (cbrt (* (* t 3.9999999999999997e-32) t)) (cbrt (* (* t 3.9999999999999997e-32) t))) * [enter]simplify: Simplifying (cbrt (* 3.9999999999999997e-32 (pow t 2))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (12 enodes) * * [misc]simplify: iters left: 1 (14 enodes) * [exit]simplify: Simplified to (cbrt (* (* t t) 3.9999999999999997e-32)) * [exit]simplify: Simplified to (cbrt (* (* t t) 3.9999999999999997e-32)) * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2))) (* 3.9999999999999997e-32 (pow t 2))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (42 enodes) * * [misc]simplify: iters left: 3 (120 enodes) * * [misc]simplify: iters left: 2 (283 enodes) * * [misc]simplify: iters left: 1 (387 enodes) * [exit]simplify: Simplified to (pow (* (* t t) 3.9999999999999997e-32) 3) * [exit]simplify: Simplified to (pow (* (* t t) 3.9999999999999997e-32) 3) * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* 3.9999999999999997e-32 (pow t 2))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (12 enodes) * * [misc]simplify: iters left: 1 (14 enodes) * [exit]simplify: Simplified to (sqrt (* (* t t) 3.9999999999999997e-32)) * [exit]simplify: Simplified to (sqrt (* (* t t) 3.9999999999999997e-32)) * [enter]simplify: Simplifying (sqrt (* 3.9999999999999997e-32 (pow t 2))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (12 enodes) * * [misc]simplify: iters left: 1 (14 enodes) * [exit]simplify: Simplified to (sqrt (* (* t t) 3.9999999999999997e-32)) * [exit]simplify: Simplified to (sqrt (* (* t t) 3.9999999999999997e-32)) * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* 3.9999999999999997e-32 t) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to (* t 3.9999999999999997e-32) * [exit]simplify: Simplified to (* t 3.9999999999999997e-32) * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (* (cbrt (pow t 2)) (cbrt (pow t 2)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * [exit]simplify: Simplified to (* (* (cbrt (* t t)) (cbrt (* t t))) 3.9999999999999997e-32) * [exit]simplify: Simplified to (* (* (cbrt (* t t)) (cbrt (* t t))) 3.9999999999999997e-32) * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (sqrt (pow t 2))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (9 enodes) * [exit]simplify: Simplified to (* 3.9999999999999997e-32 (fabs t)) * [exit]simplify: Simplified to (* 3.9999999999999997e-32 (fabs t)) * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* 3.9999999999999997e-32 1) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to 3.9999999999999997e-32 * [exit]simplify: Simplified to 3.9999999999999997e-32 * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate # * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * * [misc]simplify: iters left: 1 (11 enodes) * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * * [misc]simplify: iters left: 1 (11 enodes) * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (exp (* 2 (- (log -1) (log (/ -1 t)))))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * * [misc]simplify: iters left: 4 (32 enodes) * * [misc]simplify: iters left: 3 (69 enodes) * * [misc]simplify: iters left: 2 (174 enodes) * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 3 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 1 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) * [misc]approximate: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) * [misc]approximate: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (* -1 3.9999999999999997e-32) into -3.9999999999999997e-32 * [misc]backup-simplify: Simplify (* -1 -3.9999999999999997e-32) into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (12 enodes) * * [misc]simplify: iters left: 3 (17 enodes) * * [misc]simplify: iters left: 2 (23 enodes) * [exit]simplify: Simplified to (log (* 3.9999999999999997e-32 (* t t))) * [exit]simplify: Simplified to (log (* 3.9999999999999997e-32 (* t t))) * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * * [misc]simplify: iters left: 3 (16 enodes) * [exit]simplify: Simplified to (exp (* (* t t) 3.9999999999999997e-32)) * [exit]simplify: Simplified to (exp (* (* t t) 3.9999999999999997e-32)) * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (* (* 3.9999999999999997e-32 t) t)) (cbrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * [exit]simplify: Simplified to (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t)))) * [exit]simplify: Simplified to (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t)))) * [enter]simplify: Simplifying (cbrt (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * [exit]simplify: Simplified to (cbrt (* (* t 3.9999999999999997e-32) t)) * [exit]simplify: Simplified to (cbrt (* (* t 3.9999999999999997e-32) t)) * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (43 enodes) * * [misc]simplify: iters left: 3 (110 enodes) * * [misc]simplify: iters left: 2 (205 enodes) * * [misc]simplify: iters left: 1 (325 enodes) * [exit]simplify: Simplified to (pow (* (* t 3.9999999999999997e-32) t) 3) * [exit]simplify: Simplified to (pow (* (* t 3.9999999999999997e-32) t) 3) * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * [enter]simplify: Simplifying (sqrt (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # * [enter]simplify: Simplifying (* t t) * * [misc]simplify: iters left: 2 (2 enodes) * [exit]simplify: Simplified to (* t t) * [exit]simplify: Simplified to (* t t) * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * * [misc]simplify: iters left: 1 (11 enodes) * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * * [misc]simplify: iters left: 1 (11 enodes) * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * * [misc]simplify: iters left: 1 (11 enodes) * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 4 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 4 ] rewriting at (2) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 4 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t))) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t))) in t * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 t) t)) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 t) t)) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]taylor: Taking taylor expansion of (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t))) in t * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 t) t)) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 t) t)) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) * [misc]backup-simplify: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) * [misc]approximate: Taking taylor expansion of (* (sqrt (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t))) (sqrt (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)))) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* (sqrt (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t))) (sqrt (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)))) in t * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t))) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t))) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]taylor: Taking taylor expansion of (* (sqrt (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t))) (sqrt (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)))) in t * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t))) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t))) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) * [misc]backup-simplify: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) * [misc]approximate: Taking taylor expansion of (* (sqrt (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t)))) (sqrt (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))))) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* (sqrt (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t)))) (sqrt (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))))) in t * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t)))) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (* -1 3.9999999999999997e-32) into -3.9999999999999997e-32 * [misc]backup-simplify: Simplify (* -1 -3.9999999999999997e-32) into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t)))) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (* -1 3.9999999999999997e-32) into -3.9999999999999997e-32 * [misc]backup-simplify: Simplify (* -1 -3.9999999999999997e-32) into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]taylor: Taking taylor expansion of (* (sqrt (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t)))) (sqrt (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))))) in t * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t)))) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (* -1 3.9999999999999997e-32) into -3.9999999999999997e-32 * [misc]backup-simplify: Simplify (* -1 -3.9999999999999997e-32) into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t)))) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (* -1 3.9999999999999997e-32) into -3.9999999999999997e-32 * [misc]backup-simplify: Simplify (* -1 -3.9999999999999997e-32) into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) * [misc]backup-simplify: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1) * [misc]approximate: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) * [misc]approximate: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) * [misc]approximate: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (* -1 3.9999999999999997e-32) into -3.9999999999999997e-32 * [misc]backup-simplify: Simplify (* -1 -3.9999999999999997e-32) into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1) * [misc]approximate: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) * [misc]approximate: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) * [misc]approximate: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in (t) around 0 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (* -1 3.9999999999999997e-32) into -3.9999999999999997e-32 * [misc]backup-simplify: Simplify (* -1 -3.9999999999999997e-32) into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2) * [misc]approximate: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 t) t)) in (t) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 t) t)) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 t) t)) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 t) t) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* (sqrt 3.9999999999999997e-32) t) into (* t (sqrt 3.9999999999999997e-32)) * [misc]approximate: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t))) in (t) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t))) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t))) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* (sqrt 3.9999999999999997e-32) (/ 1 (/ 1 t))) into (* t (sqrt 3.9999999999999997e-32)) * [misc]approximate: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t)))) in (t) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t)))) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (* -1 3.9999999999999997e-32) into -3.9999999999999997e-32 * [misc]backup-simplify: Simplify (* -1 -3.9999999999999997e-32) into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t)))) in t * [misc]taylor: Taking taylor expansion of (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (* -1 3.9999999999999997e-32) into -3.9999999999999997e-32 * [misc]backup-simplify: Simplify (* -1 -3.9999999999999997e-32) into 3.9999999999999997e-32 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* (sqrt 3.9999999999999997e-32) (/ 1 (/ 1 (- t)))) into (* -1 (* t (sqrt 3.9999999999999997e-32))) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (+ 1/2 1/2) * * [misc]simplify: iters left: 2 (2 enodes) * [exit]simplify: Simplified to (+ 1/2 1/2) * [exit]simplify: Simplified to (+ 1/2 1/2) * * * * [misc]progress: [ 2 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (+ 1 1) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to (+ 1 1) * [exit]simplify: Simplified to (+ 1 1) * * * * [misc]progress: [ 3 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 6 (5 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (26 enodes) * * [misc]simplify: iters left: 3 (50 enodes) * * [misc]simplify: iters left: 2 (69 enodes) * * [misc]simplify: iters left: 1 (78 enodes) * [exit]simplify: Simplified to (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) * [exit]simplify: Simplified to (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) * * * * [misc]progress: [ 4 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (12 enodes) * [exit]simplify: Simplified to (* 3.9999999999999997e-32 (* t t)) * [exit]simplify: Simplified to (* 3.9999999999999997e-32 (* t t)) * * * * [misc]progress: [ 5 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 6 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (+ 1 1) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to (+ 1 1) * [exit]simplify: Simplified to (+ 1 1) * * * * [misc]progress: [ 7 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (log (sqrt (* (* 3.9999999999999997e-32 t) t))) (log (sqrt (* (* 3.9999999999999997e-32 t) t)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * * [misc]simplify: iters left: 4 (12 enodes) * [exit]simplify: Simplified to (+ (log (sqrt (* (* t t) 3.9999999999999997e-32))) (log (sqrt (* (* t t) 3.9999999999999997e-32)))) * [exit]simplify: Simplified to (+ (log (sqrt (* (* t t) 3.9999999999999997e-32))) (log (sqrt (* (* t t) 3.9999999999999997e-32)))) * * * * [misc]progress: [ 9 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * [exit]simplify: Simplified to (log (* (* t 3.9999999999999997e-32) t)) * [exit]simplify: Simplified to (log (* (* t 3.9999999999999997e-32) t)) * * * * [misc]progress: [ 10 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * [exit]simplify: Simplified to (exp (* (* t 3.9999999999999997e-32) t)) * [exit]simplify: Simplified to (exp (* (* t 3.9999999999999997e-32) t)) * * * * [misc]progress: [ 11 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t))) (sqrt (* (* 3.9999999999999997e-32 t) t))) (* (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t))) (sqrt (* (* 3.9999999999999997e-32 t) t)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (39 enodes) * * [misc]simplify: iters left: 3 (117 enodes) * * [misc]simplify: iters left: 2 (363 enodes) * [exit]simplify: Simplified to (pow (* (* t 3.9999999999999997e-32) t) 3) * [exit]simplify: Simplified to (pow (* (* t 3.9999999999999997e-32) t) 3) * * * * [misc]progress: [ 12 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t)))) (cbrt (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t))))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * * [misc]simplify: iters left: 4 (14 enodes) * [exit]simplify: Simplified to (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t)))) * [exit]simplify: Simplified to (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t)))) * [enter]simplify: Simplifying (cbrt (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * [exit]simplify: Simplified to (cbrt (* (* t t) 3.9999999999999997e-32)) * [exit]simplify: Simplified to (cbrt (* (* t t) 3.9999999999999997e-32)) * * * * [misc]progress: [ 13 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t))) (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t)))) (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * * [misc]simplify: iters left: 4 (53 enodes) * * [misc]simplify: iters left: 3 (179 enodes) * * [misc]simplify: iters left: 2 (402 enodes) * [exit]simplify: Simplified to (pow (* (* t 3.9999999999999997e-32) t) 3) * [exit]simplify: Simplified to (pow (* (* t 3.9999999999999997e-32) t) 3) * * * * [misc]progress: [ 14 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 6 (5 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (26 enodes) * * [misc]simplify: iters left: 3 (50 enodes) * * [misc]simplify: iters left: 2 (69 enodes) * * [misc]simplify: iters left: 1 (78 enodes) * [exit]simplify: Simplified to (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) * [exit]simplify: Simplified to (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) * * * * [misc]progress: [ 15 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (14 enodes) * [exit]simplify: Simplified to (sqrt (* 3.9999999999999997e-32 (* t t))) * [exit]simplify: Simplified to (sqrt (* 3.9999999999999997e-32 (* t t))) * [enter]simplify: Simplifying (sqrt (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (14 enodes) * [exit]simplify: Simplified to (sqrt (* 3.9999999999999997e-32 (* t t))) * [exit]simplify: Simplified to (sqrt (* 3.9999999999999997e-32 (* t t))) * * * * [misc]progress: [ 16 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 17 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 18 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (* (cbrt (sqrt (* (* 3.9999999999999997e-32 t) t))) (cbrt (sqrt (* (* 3.9999999999999997e-32 t) t))))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (18 enodes) * [exit]simplify: Simplified to (* (sqrt (* (* t 3.9999999999999997e-32) t)) (* (cbrt (sqrt (* (* t 3.9999999999999997e-32) t))) (cbrt (sqrt (* (* t 3.9999999999999997e-32) t))))) * [exit]simplify: Simplified to (* (sqrt (* (* t 3.9999999999999997e-32) t)) (* (cbrt (sqrt (* (* t 3.9999999999999997e-32) t))) (cbrt (sqrt (* (* t 3.9999999999999997e-32) t))))) * * * * [misc]progress: [ 19 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* 3.9999999999999997e-32 t))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * [exit]simplify: Simplified to (* (sqrt (* t 3.9999999999999997e-32)) (sqrt (* (* t t) 3.9999999999999997e-32))) * [exit]simplify: Simplified to (* (sqrt (* t 3.9999999999999997e-32)) (sqrt (* (* t t) 3.9999999999999997e-32))) * * * * [misc]progress: [ 20 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (sqrt (* (* 3.9999999999999997e-32 t) t)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * [exit]simplify: Simplified to (* (sqrt (sqrt (* (* t t) 3.9999999999999997e-32))) (sqrt (* (* t t) 3.9999999999999997e-32))) * [exit]simplify: Simplified to (* (sqrt (sqrt (* (* t t) 3.9999999999999997e-32))) (sqrt (* (* t t) 3.9999999999999997e-32))) * * * * [misc]progress: [ 21 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* (* 3.9999999999999997e-32 t) t)) 1) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (17 enodes) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * * * * [misc]progress: [ 22 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (sqrt (* (* 3.9999999999999997e-32 t) t))) (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * [exit]simplify: Simplified to (* (cbrt (sqrt (* (* t t) 3.9999999999999997e-32))) (sqrt (* (* t t) 3.9999999999999997e-32))) * [exit]simplify: Simplified to (* (cbrt (sqrt (* (* t t) 3.9999999999999997e-32))) (sqrt (* (* t t) 3.9999999999999997e-32))) * * * * [misc]progress: [ 23 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt t) (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * [exit]simplify: Simplified to (* (sqrt (* (* t t) 3.9999999999999997e-32)) (sqrt t)) * [exit]simplify: Simplified to (* (sqrt (* (* t t) 3.9999999999999997e-32)) (sqrt t)) * * * * [misc]progress: [ 24 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (sqrt (* (* 3.9999999999999997e-32 t) t))) (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * [exit]simplify: Simplified to (* (sqrt (sqrt (* (* t t) 3.9999999999999997e-32))) (sqrt (* (* t t) 3.9999999999999997e-32))) * [exit]simplify: Simplified to (* (sqrt (sqrt (* (* t t) 3.9999999999999997e-32))) (sqrt (* (* t t) 3.9999999999999997e-32))) * * * * [misc]progress: [ 25 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (12 enodes) * [exit]simplify: Simplified to (* 3.9999999999999997e-32 (* t t)) * [exit]simplify: Simplified to (* 3.9999999999999997e-32 (* t t)) * * * * [misc]progress: [ 26 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 27 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 28 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (12 enodes) * * [misc]simplify: iters left: 3 (17 enodes) * * [misc]simplify: iters left: 2 (23 enodes) * [exit]simplify: Simplified to (log (* 3.9999999999999997e-32 (* t t))) * [exit]simplify: Simplified to (log (* 3.9999999999999997e-32 (* t t))) * * * * [misc]progress: [ 29 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * * [misc]simplify: iters left: 3 (16 enodes) * [exit]simplify: Simplified to (exp (* (* t t) 3.9999999999999997e-32)) * [exit]simplify: Simplified to (exp (* (* t t) 3.9999999999999997e-32)) * * * * [misc]progress: [ 30 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (* (* 3.9999999999999997e-32 t) t)) (cbrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * [exit]simplify: Simplified to (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t)))) * [exit]simplify: Simplified to (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t)))) * [enter]simplify: Simplifying (cbrt (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * [exit]simplify: Simplified to (cbrt (* (* t 3.9999999999999997e-32) t)) * [exit]simplify: Simplified to (cbrt (* (* t 3.9999999999999997e-32) t)) * * * * [misc]progress: [ 31 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (43 enodes) * * [misc]simplify: iters left: 3 (110 enodes) * * [misc]simplify: iters left: 2 (205 enodes) * * [misc]simplify: iters left: 1 (325 enodes) * [exit]simplify: Simplified to (pow (* (* t 3.9999999999999997e-32) t) 3) * [exit]simplify: Simplified to (pow (* (* t 3.9999999999999997e-32) t) 3) * * * * [misc]progress: [ 32 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * [enter]simplify: Simplifying (sqrt (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * * * * [misc]progress: [ 33 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 34 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* t t) * * [misc]simplify: iters left: 2 (2 enodes) * [exit]simplify: Simplified to (* t t) * [exit]simplify: Simplified to (* t t) * * * * [misc]progress: [ 35 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 36 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 37 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (12 enodes) * * [misc]simplify: iters left: 3 (17 enodes) * * [misc]simplify: iters left: 2 (23 enodes) * [exit]simplify: Simplified to (log (* 3.9999999999999997e-32 (* t t))) * [exit]simplify: Simplified to (log (* 3.9999999999999997e-32 (* t t))) * * * * [misc]progress: [ 38 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * * [misc]simplify: iters left: 3 (16 enodes) * [exit]simplify: Simplified to (exp (* (* t t) 3.9999999999999997e-32)) * [exit]simplify: Simplified to (exp (* (* t t) 3.9999999999999997e-32)) * * * * [misc]progress: [ 39 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (* (* 3.9999999999999997e-32 t) t)) (cbrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * [exit]simplify: Simplified to (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t)))) * [exit]simplify: Simplified to (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t)))) * [enter]simplify: Simplifying (cbrt (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * [exit]simplify: Simplified to (cbrt (* (* t 3.9999999999999997e-32) t)) * [exit]simplify: Simplified to (cbrt (* (* t 3.9999999999999997e-32) t)) * * * * [misc]progress: [ 40 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (43 enodes) * * [misc]simplify: iters left: 3 (110 enodes) * * [misc]simplify: iters left: 2 (205 enodes) * * [misc]simplify: iters left: 1 (325 enodes) * [exit]simplify: Simplified to (pow (* (* t 3.9999999999999997e-32) t) 3) * [exit]simplify: Simplified to (pow (* (* t 3.9999999999999997e-32) t) 3) * * * * [misc]progress: [ 41 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * [enter]simplify: Simplifying (sqrt (* (* 3.9999999999999997e-32 t) t)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * [exit]simplify: Simplified to (sqrt (* (* t 3.9999999999999997e-32) t)) * * * * [misc]progress: [ 42 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 43 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* t t) * * [misc]simplify: iters left: 2 (2 enodes) * [exit]simplify: Simplified to (* t t) * [exit]simplify: Simplified to (* t t) * * * * [misc]progress: [ 44 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 45 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 46 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 47 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (log (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * [exit]simplify: Simplified to (log (sqrt (* 3.9999999999999997e-32 (* t t)))) * [exit]simplify: Simplified to (log (sqrt (* 3.9999999999999997e-32 (* t t)))) * * * * [misc]progress: [ 48 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * [exit]simplify: Simplified to (exp (sqrt (* 3.9999999999999997e-32 (* t t)))) * [exit]simplify: Simplified to (exp (sqrt (* 3.9999999999999997e-32 (* t t)))) * * * * [misc]progress: [ 49 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (sqrt (* (* 3.9999999999999997e-32 t) t))) (cbrt (sqrt (* (* 3.9999999999999997e-32 t) t)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * * [misc]simplify: iters left: 4 (12 enodes) * [exit]simplify: Simplified to (* (cbrt (sqrt (* (* t t) 3.9999999999999997e-32))) (cbrt (sqrt (* (* t t) 3.9999999999999997e-32)))) * [exit]simplify: Simplified to (* (cbrt (sqrt (* (* t t) 3.9999999999999997e-32))) (cbrt (sqrt (* (* t t) 3.9999999999999997e-32)))) * [enter]simplify: Simplifying (cbrt (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * [exit]simplify: Simplified to (cbrt (sqrt (* 3.9999999999999997e-32 (* t t)))) * [exit]simplify: Simplified to (cbrt (sqrt (* 3.9999999999999997e-32 (* t t)))) * * * * [misc]progress: [ 50 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t))) (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * * [misc]simplify: iters left: 3 (35 enodes) * * [misc]simplify: iters left: 2 (48 enodes) * [exit]simplify: Simplified to (* (* (* t t) 3.9999999999999997e-32) (sqrt (* (* t t) 3.9999999999999997e-32))) * [exit]simplify: Simplified to (* (* (* t t) 3.9999999999999997e-32) (sqrt (* (* t t) 3.9999999999999997e-32))) * * * * [misc]progress: [ 51 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* 3.9999999999999997e-32 t)) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * [exit]simplify: Simplified to (sqrt (* t 3.9999999999999997e-32)) * [exit]simplify: Simplified to (sqrt (* t 3.9999999999999997e-32)) * [enter]simplify: Simplifying (sqrt t) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to (sqrt t) * [exit]simplify: Simplified to (sqrt t) * * * * [misc]progress: [ 52 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * [exit]simplify: Simplified to (sqrt (sqrt (* 3.9999999999999997e-32 (* t t)))) * [exit]simplify: Simplified to (sqrt (sqrt (* 3.9999999999999997e-32 (* t t)))) * [enter]simplify: Simplifying (sqrt (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * [exit]simplify: Simplified to (sqrt (sqrt (* 3.9999999999999997e-32 (* t t)))) * [exit]simplify: Simplified to (sqrt (sqrt (* 3.9999999999999997e-32 (* t t)))) * * * * [misc]progress: [ 53 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 54 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) * * [misc]simplify: iters left: 4 (7 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (14 enodes) * * [misc]simplify: iters left: 1 (18 enodes) * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) * * * * [misc]progress: [ 55 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) * * [misc]simplify: iters left: 4 (7 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (14 enodes) * * [misc]simplify: iters left: 1 (18 enodes) * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) * * * * [misc]progress: [ 56 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) * * [misc]simplify: iters left: 4 (7 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (14 enodes) * * [misc]simplify: iters left: 1 (18 enodes) * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) * * * * [misc]progress: [ 57 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* 3.9999999999999997e-32 (pow t 2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * [exit]simplify: Simplified to (* 3.9999999999999997e-32 (* t t)) * * * * [misc]progress: [ 58 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* 3.9999999999999997e-32 (pow t 2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * [exit]simplify: Simplified to (* 3.9999999999999997e-32 (* t t)) * * * * [misc]progress: [ 59 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* 3.9999999999999997e-32 (pow t 2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * [exit]simplify: Simplified to (* 3.9999999999999997e-32 (* t t)) * * * * [misc]progress: [ 60 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* 3.9999999999999997e-32 (pow t 2))) (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * [exit]simplify: Simplified to (* (* t 3.9999999999999997e-32) t) * * * * [misc]progress: [ 61 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* 3.9999999999999997e-32 (pow t 2))) (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * [exit]simplify: Simplified to (* (* t 3.9999999999999997e-32) t) * * * * [misc]progress: [ 62 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* 3.9999999999999997e-32 (pow t 2))) (sqrt (* (* 3.9999999999999997e-32 t) t))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * [exit]simplify: Simplified to (* (* t 3.9999999999999997e-32) t) * * * * [misc]progress: [ 63 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (* t (sqrt 3.9999999999999997e-32))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (23 enodes) * * [misc]simplify: iters left: 3 (24 enodes) * [exit]simplify: Simplified to (* (sqrt (* (* t 3.9999999999999997e-32) t)) (* (sqrt 3.9999999999999997e-32) t)) * * * * [misc]progress: [ 64 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (* t (sqrt 3.9999999999999997e-32))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (23 enodes) * * [misc]simplify: iters left: 3 (24 enodes) * [exit]simplify: Simplified to (* (sqrt (* (* t 3.9999999999999997e-32) t)) (* (sqrt 3.9999999999999997e-32) t)) * * * * [misc]progress: [ 65 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (* -1 (* t (sqrt 3.9999999999999997e-32)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (50 enodes) * * [misc]simplify: iters left: 3 (74 enodes) * * [misc]simplify: iters left: 2 (88 enodes) * [exit]simplify: Simplified to (* (* (- t) (sqrt 3.9999999999999997e-32)) (sqrt (* (* t 3.9999999999999997e-32) t))) * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * * [misc]regime-changes: Finding splitpoints for: (# # # # # # # # #) * [misc]regimes: Found splitpoints: (#s(sp 0 (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) +nan.0)) , with alts (#) * [enter]simplify: Simplifying (* 3.9999999999999997e-32 t) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to (* t 3.9999999999999997e-32) * [exit]simplify: Simplified to (* t 3.9999999999999997e-32) * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 8000 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 8000 points with exact outputs