1539333496.941 * [misc]progress: [Phase 1 of 3] Setting up. 1539333496.941 * * * [misc]progress: [1/2] Preparing points 1539333496.941 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539333496.942 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539333496.945 * * * * [misc]points: Setting MPFR precision to 64 1539333496.947 * * * * [misc]points: Setting MPFR precision to 320 1539333496.949 * * * * [misc]points: Setting MPFR precision to 576 1539333496.950 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539333496.953 * * * * [misc]points: Setting MPFR precision to 320 1539333496.955 * * * * [misc]points: Setting MPFR precision to 576 1539333496.957 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539333496.960 * * * * [misc]points: Setting MPFR precision to 320 1539333496.963 * * * * [misc]points: Setting MPFR precision to 576 1539333496.967 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539333496.970 * * * * [misc]points: Setting MPFR precision to 320 1539333496.975 * * * * [misc]points: Setting MPFR precision to 576 1539333496.981 * * * * [misc]points: Computing exacts for 256 points 1539333496.983 * * * * [misc]points: Setting MPFR precision to 320 1539333497.000 * * * * [misc]points: Setting MPFR precision to 576 1539333497.018 * * * * [misc]points: Filtering points with unrepresentable outputs 1539333497.018 * * * * [misc]points: Sampling 123 additional inputs, on iter 1 have 133 / 256 1539333497.019 * * * * [misc]points: Computing exacts on every 7 of 123 points to ramp up precision 1539333497.021 * * * * [misc]points: Setting MPFR precision to 320 1539333497.022 * * * * [misc]points: Setting MPFR precision to 576 1539333497.023 * * * * [misc]points: Computing exacts on every 3 of 123 points to ramp up precision 1539333497.026 * * * * [misc]points: Setting MPFR precision to 320 1539333497.028 * * * * [misc]points: Setting MPFR precision to 576 1539333497.030 * * * * [misc]points: Computing exacts for 123 points 1539333497.033 * * * * [misc]points: Setting MPFR precision to 320 1539333497.041 * * * * [misc]points: Setting MPFR precision to 576 1539333497.048 * * * * [misc]points: Filtering points with unrepresentable outputs 1539333497.049 * * * * [misc]points: Sampling 72 additional inputs, on iter 2 have 184 / 256 1539333497.049 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1539333497.052 * * * * [misc]points: Setting MPFR precision to 320 1539333497.053 * * * * [misc]points: Setting MPFR precision to 576 1539333497.054 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1539333497.057 * * * * [misc]points: Setting MPFR precision to 320 1539333497.059 * * * * [misc]points: Setting MPFR precision to 576 1539333497.060 * * * * [misc]points: Computing exacts for 72 points 1539333497.063 * * * * [misc]points: Setting MPFR precision to 320 1539333497.067 * * * * [misc]points: Setting MPFR precision to 576 1539333497.072 * * * * [misc]points: Filtering points with unrepresentable outputs 1539333497.072 * * * * [misc]points: Sampling 43 additional inputs, on iter 3 have 213 / 256 1539333497.072 * * * * [misc]points: Computing exacts on every 2 of 43 points to ramp up precision 1539333497.075 * * * * [misc]points: Setting MPFR precision to 320 1539333497.076 * * * * [misc]points: Setting MPFR precision to 576 1539333497.077 * * * * [misc]points: Computing exacts for 43 points 1539333497.079 * * * * [misc]points: Setting MPFR precision to 320 1539333497.082 * * * * [misc]points: Setting MPFR precision to 576 1539333497.085 * * * * [misc]points: Filtering points with unrepresentable outputs 1539333497.085 * * * * [misc]points: Sampling 26 additional inputs, on iter 4 have 230 / 256 1539333497.086 * * * * [misc]points: Computing exacts for 26 points 1539333497.088 * * * * [misc]points: Setting MPFR precision to 320 1539333497.117 * * * * [misc]points: Setting MPFR precision to 576 1539333497.119 * * * * [misc]points: Filtering points with unrepresentable outputs 1539333497.119 * * * * [misc]points: Sampling 10 additional inputs, on iter 5 have 246 / 256 1539333497.119 * * * * [misc]points: Computing exacts for 10 points 1539333497.122 * * * * [misc]points: Setting MPFR precision to 320 1539333497.123 * * * * [misc]points: Setting MPFR precision to 576 1539333497.123 * * * * [misc]points: Filtering points with unrepresentable outputs 1539333497.123 * * * * [misc]points: Sampling 6 additional inputs, on iter 6 have 250 / 256 1539333497.124 * * * * [misc]points: Computing exacts for 6 points 1539333497.126 * * * * [misc]points: Setting MPFR precision to 320 1539333497.127 * * * * [misc]points: Setting MPFR precision to 576 1539333497.127 * * * * [misc]points: Filtering points with unrepresentable outputs 1539333497.127 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 252 / 256 1539333497.127 * * * * [misc]points: Computing exacts for 4 points 1539333497.132 * * * * [misc]points: Setting MPFR precision to 320 1539333497.132 * * * * [misc]points: Setting MPFR precision to 576 1539333497.133 * * * * [misc]points: Filtering points with unrepresentable outputs 1539333497.133 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 253 / 256 1539333497.133 * * * * [misc]points: Computing exacts for 4 points 1539333497.135 * * * * [misc]points: Setting MPFR precision to 320 1539333497.136 * * * * [misc]points: Setting MPFR precision to 576 1539333497.136 * * * * [misc]points: Filtering points with unrepresentable outputs 1539333497.136 * * * * [exit]points: Sampled 256 points with exact outputs 1539333497.136 * * * [misc]progress: [2/2] Setting up program. 1539333497.145 * [misc]progress: [Phase 2 of 3] Improving. 1539333497.145 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) 1539333497.147 * * [misc]simplify: iters left: 6 (9 enodes) 1539333497.153 * * [misc]simplify: iters left: 5 (25 enodes) 1539333497.168 * * [misc]simplify: iters left: 4 (65 enodes) 1539333497.195 * * [misc]simplify: iters left: 3 (171 enodes) 1539333497.293 * * [misc]simplify: iters left: 2 (429 enodes) 1539333497.911 * [exit]simplify: Simplified to (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) 1539333497.926 * * [misc]progress: iteration 1 / 4 1539333497.926 * * * [misc]progress: picking best candidate 1539333497.930 * * * * [misc]pick: Picked # 1539333497.930 * * * [misc]progress: localizing error 1539333497.962 * * * [misc]progress: generating rewritten candidates 1539333497.962 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1539333497.966 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1 1 2) 1539333497.989 * * * [misc]progress: generating series expansions 1539333497.989 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1539333497.989 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333497.989 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1539333497.989 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333497.990 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333497.990 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333497.990 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333497.990 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333497.990 * [misc]backup-simplify: Simplify 0 into 0 1539333497.991 * [misc]backup-simplify: Simplify 0 into 0 1539333497.991 * [misc]backup-simplify: Simplify 0 into 0 1539333497.991 * [misc]backup-simplify: Simplify 0 into 0 1539333497.991 * [misc]backup-simplify: Simplify 0 into 0 1539333497.991 * [misc]backup-simplify: Simplify 0 into 0 1539333497.991 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333497.991 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333497.991 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333497.991 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333497.992 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333497.992 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333497.992 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333497.992 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333497.993 * [misc]backup-simplify: Simplify 0 into 0 1539333497.993 * [misc]backup-simplify: Simplify 0 into 0 1539333497.993 * [misc]backup-simplify: Simplify 0 into 0 1539333497.993 * [misc]backup-simplify: Simplify 0 into 0 1539333497.993 * [misc]backup-simplify: Simplify 0 into 0 1539333497.993 * [misc]backup-simplify: Simplify 0 into 0 1539333497.994 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333497.994 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333497.994 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333497.994 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333497.994 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333497.995 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333497.995 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333497.995 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333497.995 * [misc]backup-simplify: Simplify 0 into 0 1539333497.996 * [misc]backup-simplify: Simplify 0 into 0 1539333497.996 * [misc]backup-simplify: Simplify 0 into 0 1539333497.996 * [misc]backup-simplify: Simplify 0 into 0 1539333497.996 * [misc]backup-simplify: Simplify 0 into 0 1539333497.996 * [misc]backup-simplify: Simplify 0 into 0 1539333497.996 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333497.997 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1 1 2) 1539333497.997 * [misc]backup-simplify: Simplify (* 5 (* v v)) into (* 5 (pow v 2)) 1539333497.997 * [misc]approximate: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 1539333497.997 * [misc]taylor: Taking taylor expansion of (* 5 (pow v 2)) in v 1539333497.997 * [misc]taylor: Taking taylor expansion of 5 in v 1539333497.997 * [misc]backup-simplify: Simplify 5 into 5 1539333497.997 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333497.997 * [misc]taylor: Taking taylor expansion of v in v 1539333497.997 * [misc]backup-simplify: Simplify 0 into 0 1539333497.997 * [misc]backup-simplify: Simplify 1 into 1 1539333497.997 * [misc]taylor: Taking taylor expansion of (* 5 (pow v 2)) in v 1539333497.997 * [misc]taylor: Taking taylor expansion of 5 in v 1539333497.997 * [misc]backup-simplify: Simplify 5 into 5 1539333497.997 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333497.997 * [misc]taylor: Taking taylor expansion of v in v 1539333497.997 * [misc]backup-simplify: Simplify 0 into 0 1539333497.997 * [misc]backup-simplify: Simplify 1 into 1 1539333497.998 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333497.998 * [misc]backup-simplify: Simplify (* 5 1) into 5 1539333497.998 * [misc]backup-simplify: Simplify 5 into 5 1539333497.999 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539333497.999 * [misc]backup-simplify: Simplify (+ (* 5 0) (* 0 1)) into 0 1539333497.999 * [misc]backup-simplify: Simplify 0 into 0 1539333497.999 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539333497.999 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 1539333498.000 * [misc]backup-simplify: Simplify 0 into 0 1539333498.000 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333498.000 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333498.000 * [misc]backup-simplify: Simplify 0 into 0 1539333498.001 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333498.001 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333498.001 * [misc]backup-simplify: Simplify 0 into 0 1539333498.002 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333498.002 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333498.002 * [misc]backup-simplify: Simplify 0 into 0 1539333498.003 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333498.004 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333498.004 * [misc]backup-simplify: Simplify 0 into 0 1539333498.004 * [misc]backup-simplify: Simplify (* 5 (pow v 2)) into (* 5 (pow v 2)) 1539333498.004 * [misc]backup-simplify: Simplify (* 5 (* (/ 1 v) (/ 1 v))) into (/ 5 (pow v 2)) 1539333498.004 * [misc]approximate: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1539333498.004 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333498.004 * [misc]taylor: Taking taylor expansion of 5 in v 1539333498.004 * [misc]backup-simplify: Simplify 5 into 5 1539333498.004 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333498.004 * [misc]taylor: Taking taylor expansion of v in v 1539333498.004 * [misc]backup-simplify: Simplify 0 into 0 1539333498.004 * [misc]backup-simplify: Simplify 1 into 1 1539333498.004 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333498.004 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333498.005 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333498.005 * [misc]taylor: Taking taylor expansion of 5 in v 1539333498.005 * [misc]backup-simplify: Simplify 5 into 5 1539333498.005 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333498.005 * [misc]taylor: Taking taylor expansion of v in v 1539333498.005 * [misc]backup-simplify: Simplify 0 into 0 1539333498.005 * [misc]backup-simplify: Simplify 1 into 1 1539333498.005 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333498.005 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333498.005 * [misc]backup-simplify: Simplify 5 into 5 1539333498.005 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539333498.006 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 1539333498.006 * [misc]backup-simplify: Simplify 0 into 0 1539333498.006 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539333498.006 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333498.006 * [misc]backup-simplify: Simplify 0 into 0 1539333498.007 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333498.007 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333498.007 * [misc]backup-simplify: Simplify 0 into 0 1539333498.008 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333498.008 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333498.008 * [misc]backup-simplify: Simplify 0 into 0 1539333498.009 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333498.009 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333498.009 * [misc]backup-simplify: Simplify 0 into 0 1539333498.010 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333498.011 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333498.011 * [misc]backup-simplify: Simplify 0 into 0 1539333498.011 * [misc]backup-simplify: Simplify (* 5 (pow (/ 1 (/ 1 v)) 2)) into (* 5 (pow v 2)) 1539333498.011 * [misc]backup-simplify: Simplify (* 5 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5 (pow v 2)) 1539333498.011 * [misc]approximate: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1539333498.011 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333498.011 * [misc]taylor: Taking taylor expansion of 5 in v 1539333498.011 * [misc]backup-simplify: Simplify 5 into 5 1539333498.011 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333498.011 * [misc]taylor: Taking taylor expansion of v in v 1539333498.011 * [misc]backup-simplify: Simplify 0 into 0 1539333498.011 * [misc]backup-simplify: Simplify 1 into 1 1539333498.012 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333498.012 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333498.012 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333498.012 * [misc]taylor: Taking taylor expansion of 5 in v 1539333498.012 * [misc]backup-simplify: Simplify 5 into 5 1539333498.012 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333498.012 * [misc]taylor: Taking taylor expansion of v in v 1539333498.012 * [misc]backup-simplify: Simplify 0 into 0 1539333498.012 * [misc]backup-simplify: Simplify 1 into 1 1539333498.012 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333498.012 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333498.012 * [misc]backup-simplify: Simplify 5 into 5 1539333498.013 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539333498.013 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 1539333498.013 * [misc]backup-simplify: Simplify 0 into 0 1539333498.013 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539333498.014 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333498.014 * [misc]backup-simplify: Simplify 0 into 0 1539333498.014 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333498.014 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333498.015 * [misc]backup-simplify: Simplify 0 into 0 1539333498.015 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333498.015 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333498.016 * [misc]backup-simplify: Simplify 0 into 0 1539333498.016 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333498.017 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333498.017 * [misc]backup-simplify: Simplify 0 into 0 1539333498.017 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333498.018 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333498.018 * [misc]backup-simplify: Simplify 0 into 0 1539333498.018 * [misc]backup-simplify: Simplify (* 5 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5 (pow v 2)) 1539333498.018 * * * [misc]progress: simplifying candidates 1539333498.018 * * * * [misc]progress: [ 1 / 23 ] simplifiying candidate # 1539333498.018 * * * * [misc]progress: [ 2 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 3 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 4 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 5 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 6 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 7 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 8 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 9 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 10 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 11 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 12 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 13 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 14 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 15 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 16 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 17 / 23 ] simplifiying candidate # 1539333498.019 * * * * [misc]progress: [ 18 / 23 ] simplifiying candidate # 1539333498.020 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333498.021 * * [misc]simplify: iters left: 6 (10 enodes) 1539333498.027 * * [misc]simplify: iters left: 5 (22 enodes) 1539333498.038 * * [misc]simplify: iters left: 4 (43 enodes) 1539333498.059 * * [misc]simplify: iters left: 3 (93 enodes) 1539333498.122 * * [misc]simplify: iters left: 2 (252 enodes) 1539333498.377 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333498.377 * [misc]simplify: Simplified (2) to (λ (v) (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))) 1539333498.377 * * * * [misc]progress: [ 19 / 23 ] simplifiying candidate # 1539333498.377 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333498.378 * * [misc]simplify: iters left: 6 (10 enodes) 1539333498.385 * * [misc]simplify: iters left: 5 (22 enodes) 1539333498.395 * * [misc]simplify: iters left: 4 (43 enodes) 1539333498.417 * * [misc]simplify: iters left: 3 (93 enodes) 1539333498.480 * * [misc]simplify: iters left: 2 (252 enodes) 1539333498.729 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333498.729 * [misc]simplify: Simplified (2) to (λ (v) (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))) 1539333498.729 * * * * [misc]progress: [ 20 / 23 ] simplifiying candidate # 1539333498.730 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333498.731 * * [misc]simplify: iters left: 6 (10 enodes) 1539333498.736 * * [misc]simplify: iters left: 5 (22 enodes) 1539333498.747 * * [misc]simplify: iters left: 4 (43 enodes) 1539333498.769 * * [misc]simplify: iters left: 3 (93 enodes) 1539333498.832 * * [misc]simplify: iters left: 2 (252 enodes) 1539333499.010 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333499.010 * [misc]simplify: Simplified (2) to (λ (v) (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))) 1539333499.010 * * * * [misc]progress: [ 21 / 23 ] simplifiying candidate # 1539333499.010 * [enter]simplify: Simplifying (* 5 (pow v 2)) 1539333499.011 * * [misc]simplify: iters left: 3 (5 enodes) 1539333499.012 * * [misc]simplify: iters left: 2 (7 enodes) 1539333499.015 * * [misc]simplify: iters left: 1 (11 enodes) 1539333499.019 * [exit]simplify: Simplified to (* (* v v) 5) 1539333499.019 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) 1539333499.019 * * * * [misc]progress: [ 22 / 23 ] simplifiying candidate # 1539333499.020 * [enter]simplify: Simplifying (* 5 (pow v 2)) 1539333499.020 * * [misc]simplify: iters left: 3 (5 enodes) 1539333499.022 * * [misc]simplify: iters left: 2 (7 enodes) 1539333499.025 * * [misc]simplify: iters left: 1 (11 enodes) 1539333499.030 * [exit]simplify: Simplified to (* (* v v) 5) 1539333499.030 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) 1539333499.030 * * * * [misc]progress: [ 23 / 23 ] simplifiying candidate # 1539333499.030 * [enter]simplify: Simplifying (* 5 (pow v 2)) 1539333499.030 * * [misc]simplify: iters left: 3 (5 enodes) 1539333499.032 * * [misc]simplify: iters left: 2 (7 enodes) 1539333499.035 * * [misc]simplify: iters left: 1 (11 enodes) 1539333499.039 * [exit]simplify: Simplified to (* (* v v) 5) 1539333499.039 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) 1539333499.039 * * * [misc]progress: adding candidates to table 1539333499.520 * * [misc]progress: iteration 2 / 4 1539333499.520 * * * [misc]progress: picking best candidate 1539333499.536 * * * * [misc]pick: Picked # 1539333499.536 * * * [misc]progress: localizing error 1539333499.547 * * * [misc]progress: generating rewritten candidates 1539333499.547 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1539333499.550 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1 1 2) 1539333499.574 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) 1539333499.592 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1539333499.600 * * * [misc]progress: generating series expansions 1539333499.600 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1539333499.600 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.600 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1539333499.600 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333499.601 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.601 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333499.601 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.601 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.601 * [misc]backup-simplify: Simplify 0 into 0 1539333499.601 * [misc]backup-simplify: Simplify 0 into 0 1539333499.601 * [misc]backup-simplify: Simplify 0 into 0 1539333499.601 * [misc]backup-simplify: Simplify 0 into 0 1539333499.602 * [misc]backup-simplify: Simplify 0 into 0 1539333499.602 * [misc]backup-simplify: Simplify 0 into 0 1539333499.602 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.602 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.602 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333499.602 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333499.603 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.603 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333499.603 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.603 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.603 * [misc]backup-simplify: Simplify 0 into 0 1539333499.603 * [misc]backup-simplify: Simplify 0 into 0 1539333499.603 * [misc]backup-simplify: Simplify 0 into 0 1539333499.604 * [misc]backup-simplify: Simplify 0 into 0 1539333499.604 * [misc]backup-simplify: Simplify 0 into 0 1539333499.604 * [misc]backup-simplify: Simplify 0 into 0 1539333499.604 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.605 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.605 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333499.605 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333499.605 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.605 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333499.606 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.606 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.606 * [misc]backup-simplify: Simplify 0 into 0 1539333499.606 * [misc]backup-simplify: Simplify 0 into 0 1539333499.606 * [misc]backup-simplify: Simplify 0 into 0 1539333499.606 * [misc]backup-simplify: Simplify 0 into 0 1539333499.606 * [misc]backup-simplify: Simplify 0 into 0 1539333499.606 * [misc]backup-simplify: Simplify 0 into 0 1539333499.607 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.607 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1 1 2) 1539333499.607 * [misc]backup-simplify: Simplify (* 5 (* v v)) into (* 5 (pow v 2)) 1539333499.607 * [misc]approximate: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 1539333499.607 * [misc]taylor: Taking taylor expansion of (* 5 (pow v 2)) in v 1539333499.607 * [misc]taylor: Taking taylor expansion of 5 in v 1539333499.607 * [misc]backup-simplify: Simplify 5 into 5 1539333499.607 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333499.607 * [misc]taylor: Taking taylor expansion of v in v 1539333499.607 * [misc]backup-simplify: Simplify 0 into 0 1539333499.607 * [misc]backup-simplify: Simplify 1 into 1 1539333499.607 * [misc]taylor: Taking taylor expansion of (* 5 (pow v 2)) in v 1539333499.607 * [misc]taylor: Taking taylor expansion of 5 in v 1539333499.607 * [misc]backup-simplify: Simplify 5 into 5 1539333499.607 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333499.607 * [misc]taylor: Taking taylor expansion of v in v 1539333499.607 * [misc]backup-simplify: Simplify 0 into 0 1539333499.607 * [misc]backup-simplify: Simplify 1 into 1 1539333499.608 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333499.608 * [misc]backup-simplify: Simplify (* 5 1) into 5 1539333499.608 * [misc]backup-simplify: Simplify 5 into 5 1539333499.608 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539333499.608 * [misc]backup-simplify: Simplify (+ (* 5 0) (* 0 1)) into 0 1539333499.608 * [misc]backup-simplify: Simplify 0 into 0 1539333499.608 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539333499.609 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 1539333499.609 * [misc]backup-simplify: Simplify 0 into 0 1539333499.609 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333499.609 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333499.609 * [misc]backup-simplify: Simplify 0 into 0 1539333499.609 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333499.610 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333499.610 * [misc]backup-simplify: Simplify 0 into 0 1539333499.610 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333499.610 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333499.610 * [misc]backup-simplify: Simplify 0 into 0 1539333499.610 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333499.611 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333499.611 * [misc]backup-simplify: Simplify 0 into 0 1539333499.611 * [misc]backup-simplify: Simplify (* 5 (pow v 2)) into (* 5 (pow v 2)) 1539333499.611 * [misc]backup-simplify: Simplify (* 5 (* (/ 1 v) (/ 1 v))) into (/ 5 (pow v 2)) 1539333499.611 * [misc]approximate: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1539333499.611 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333499.611 * [misc]taylor: Taking taylor expansion of 5 in v 1539333499.611 * [misc]backup-simplify: Simplify 5 into 5 1539333499.611 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333499.611 * [misc]taylor: Taking taylor expansion of v in v 1539333499.611 * [misc]backup-simplify: Simplify 0 into 0 1539333499.611 * [misc]backup-simplify: Simplify 1 into 1 1539333499.611 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333499.611 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333499.611 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333499.611 * [misc]taylor: Taking taylor expansion of 5 in v 1539333499.611 * [misc]backup-simplify: Simplify 5 into 5 1539333499.611 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333499.611 * [misc]taylor: Taking taylor expansion of v in v 1539333499.611 * [misc]backup-simplify: Simplify 0 into 0 1539333499.611 * [misc]backup-simplify: Simplify 1 into 1 1539333499.611 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333499.612 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333499.612 * [misc]backup-simplify: Simplify 5 into 5 1539333499.612 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539333499.612 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 1539333499.612 * [misc]backup-simplify: Simplify 0 into 0 1539333499.612 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539333499.612 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333499.612 * [misc]backup-simplify: Simplify 0 into 0 1539333499.613 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333499.613 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333499.613 * [misc]backup-simplify: Simplify 0 into 0 1539333499.613 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333499.613 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333499.613 * [misc]backup-simplify: Simplify 0 into 0 1539333499.614 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333499.614 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333499.614 * [misc]backup-simplify: Simplify 0 into 0 1539333499.614 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333499.615 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333499.615 * [misc]backup-simplify: Simplify 0 into 0 1539333499.615 * [misc]backup-simplify: Simplify (* 5 (pow (/ 1 (/ 1 v)) 2)) into (* 5 (pow v 2)) 1539333499.615 * [misc]backup-simplify: Simplify (* 5 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5 (pow v 2)) 1539333499.615 * [misc]approximate: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1539333499.615 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333499.615 * [misc]taylor: Taking taylor expansion of 5 in v 1539333499.615 * [misc]backup-simplify: Simplify 5 into 5 1539333499.615 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333499.615 * [misc]taylor: Taking taylor expansion of v in v 1539333499.615 * [misc]backup-simplify: Simplify 0 into 0 1539333499.615 * [misc]backup-simplify: Simplify 1 into 1 1539333499.615 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333499.615 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333499.615 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333499.615 * [misc]taylor: Taking taylor expansion of 5 in v 1539333499.615 * [misc]backup-simplify: Simplify 5 into 5 1539333499.615 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333499.615 * [misc]taylor: Taking taylor expansion of v in v 1539333499.615 * [misc]backup-simplify: Simplify 0 into 0 1539333499.616 * [misc]backup-simplify: Simplify 1 into 1 1539333499.616 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333499.616 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333499.616 * [misc]backup-simplify: Simplify 5 into 5 1539333499.616 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539333499.616 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 1539333499.616 * [misc]backup-simplify: Simplify 0 into 0 1539333499.616 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539333499.616 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333499.617 * [misc]backup-simplify: Simplify 0 into 0 1539333499.617 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333499.617 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333499.617 * [misc]backup-simplify: Simplify 0 into 0 1539333499.617 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333499.617 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333499.618 * [misc]backup-simplify: Simplify 0 into 0 1539333499.618 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333499.618 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333499.618 * [misc]backup-simplify: Simplify 0 into 0 1539333499.618 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333499.619 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333499.619 * [misc]backup-simplify: Simplify 0 into 0 1539333499.619 * [misc]backup-simplify: Simplify (* 5 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5 (pow v 2)) 1539333499.619 * * * * [misc]progress: [ 3 / 4 ] generating series at (2) 1539333499.619 * [misc]backup-simplify: Simplify (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.619 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1539333499.619 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333499.620 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.620 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333499.620 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.620 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.620 * [misc]backup-simplify: Simplify 0 into 0 1539333499.620 * [misc]backup-simplify: Simplify 0 into 0 1539333499.620 * [misc]backup-simplify: Simplify 0 into 0 1539333499.620 * [misc]backup-simplify: Simplify 0 into 0 1539333499.620 * [misc]backup-simplify: Simplify 0 into 0 1539333499.620 * [misc]backup-simplify: Simplify 0 into 0 1539333499.620 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.621 * [misc]backup-simplify: Simplify (exp (log (acos (/ (- 1 (* 5 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1))))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.621 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333499.621 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333499.621 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.621 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333499.621 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.621 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.621 * [misc]backup-simplify: Simplify 0 into 0 1539333499.621 * [misc]backup-simplify: Simplify 0 into 0 1539333499.621 * [misc]backup-simplify: Simplify 0 into 0 1539333499.621 * [misc]backup-simplify: Simplify 0 into 0 1539333499.621 * [misc]backup-simplify: Simplify 0 into 0 1539333499.621 * [misc]backup-simplify: Simplify 0 into 0 1539333499.622 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.622 * [misc]backup-simplify: Simplify (exp (log (acos (/ (- 1 (* 5 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1))))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.622 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333499.622 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333499.622 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.622 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333499.622 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.622 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.623 * [misc]backup-simplify: Simplify 0 into 0 1539333499.623 * [misc]backup-simplify: Simplify 0 into 0 1539333499.623 * [misc]backup-simplify: Simplify 0 into 0 1539333499.623 * [misc]backup-simplify: Simplify 0 into 0 1539333499.623 * [misc]backup-simplify: Simplify 0 into 0 1539333499.623 * [misc]backup-simplify: Simplify 0 into 0 1539333499.623 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.623 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1539333499.623 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) into (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333499.623 * [misc]approximate: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in (v) around 0 1539333499.623 * [misc]taylor: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1539333499.623 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333499.624 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.624 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) into (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333499.624 * [misc]taylor: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1539333499.624 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333499.624 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333499.624 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) into (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333499.624 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) into (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333499.625 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1)))) 1) into 0 1539333499.625 * [misc]backup-simplify: Simplify 0 into 0 1539333499.627 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1)))) 2) into 0 1539333499.627 * [misc]backup-simplify: Simplify 0 into 0 1539333499.630 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1)))) 6) into 0 1539333499.630 * [misc]backup-simplify: Simplify 0 into 0 1539333499.635 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1)))) 24) into 0 1539333499.635 * [misc]backup-simplify: Simplify 0 into 0 1539333499.642 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1)))) 120) into 0 1539333499.642 * [misc]backup-simplify: Simplify 0 into 0 1539333499.654 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1)))) 720) into 0 1539333499.654 * [misc]backup-simplify: Simplify 0 into 0 1539333499.654 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) into (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333499.654 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1)))) into (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333499.654 * [misc]approximate: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in (v) around 0 1539333499.655 * [misc]taylor: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1539333499.655 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333499.655 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.655 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333499.655 * [misc]taylor: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1539333499.655 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333499.655 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.655 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333499.655 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333499.656 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1)))) 1) into 0 1539333499.656 * [misc]backup-simplify: Simplify 0 into 0 1539333499.658 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1)))) 2) into 0 1539333499.658 * [misc]backup-simplify: Simplify 0 into 0 1539333499.661 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1)))) 6) into 0 1539333499.661 * [misc]backup-simplify: Simplify 0 into 0 1539333499.666 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1)))) 24) into 0 1539333499.666 * [misc]backup-simplify: Simplify 0 into 0 1539333499.676 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1)))) 120) into 0 1539333499.676 * [misc]backup-simplify: Simplify 0 into 0 1539333499.688 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1)))) 720) into 0 1539333499.688 * [misc]backup-simplify: Simplify 0 into 0 1539333499.689 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1)))) into (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333499.690 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1)))) into (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333499.690 * [misc]approximate: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in (v) around 0 1539333499.690 * [misc]taylor: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1539333499.690 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333499.690 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.690 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333499.691 * [misc]taylor: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1539333499.691 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333499.691 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333499.691 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333499.692 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333499.693 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1)))) 1) into 0 1539333499.693 * [misc]backup-simplify: Simplify 0 into 0 1539333499.696 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1)))) 2) into 0 1539333499.696 * [misc]backup-simplify: Simplify 0 into 0 1539333499.701 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1)))) 6) into 0 1539333499.701 * [misc]backup-simplify: Simplify 0 into 0 1539333499.709 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1)))) 24) into 0 1539333499.710 * [misc]backup-simplify: Simplify 0 into 0 1539333499.722 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1)))) 120) into 0 1539333499.722 * [misc]backup-simplify: Simplify 0 into 0 1539333499.741 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1)))) 720) into 0 1539333499.741 * [misc]backup-simplify: Simplify 0 into 0 1539333499.742 * [misc]backup-simplify: Simplify (log (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1)))) into (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333499.742 * * * [misc]progress: simplifying candidates 1539333499.742 * * * * [misc]progress: [ 1 / 56 ] simplifiying candidate # 1539333499.742 * * * * [misc]progress: [ 2 / 56 ] simplifiying candidate # 1539333499.742 * * * * [misc]progress: [ 3 / 56 ] simplifiying candidate # 1539333499.742 * * * * [misc]progress: [ 4 / 56 ] simplifiying candidate # 1539333499.742 * * * * [misc]progress: [ 5 / 56 ] simplifiying candidate # 1539333499.742 * * * * [misc]progress: [ 6 / 56 ] simplifiying candidate # 1539333499.742 * * * * [misc]progress: [ 7 / 56 ] simplifiying candidate # 1539333499.742 * * * * [misc]progress: [ 8 / 56 ] simplifiying candidate # 1539333499.742 * * * * [misc]progress: [ 9 / 56 ] simplifiying candidate # 1539333499.742 * * * * [misc]progress: [ 10 / 56 ] simplifiying candidate # 1539333499.743 * * * * [misc]progress: [ 11 / 56 ] simplifiying candidate # 1539333499.743 * * * * [misc]progress: [ 12 / 56 ] simplifiying candidate # 1539333499.743 * * * * [misc]progress: [ 13 / 56 ] simplifiying candidate # 1539333499.743 * * * * [misc]progress: [ 14 / 56 ] simplifiying candidate # 1539333499.743 * * * * [misc]progress: [ 15 / 56 ] simplifiying candidate # 1539333499.743 * * * * [misc]progress: [ 16 / 56 ] simplifiying candidate # 1539333499.743 * * * * [misc]progress: [ 17 / 56 ] simplifiying candidate # 1539333499.743 * * * * [misc]progress: [ 18 / 56 ] simplifiying candidate # 1539333499.743 * * * * [misc]progress: [ 19 / 56 ] simplifiying candidate # 1539333499.743 * [enter]simplify: Simplifying (exp 1) 1539333499.744 * * [misc]simplify: iters left: 1 (2 enodes) 1539333499.745 * [exit]simplify: Simplified to E 1539333499.745 * [misc]simplify: Simplified (2 1) to (λ (v) (pow E (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) 1539333499.745 * * * * [misc]progress: [ 20 / 56 ] simplifiying candidate # 1539333499.745 * [enter]simplify: Simplifying (exp (* (cbrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) 1539333499.747 * * [misc]simplify: iters left: 6 (13 enodes) 1539333499.755 * * [misc]simplify: iters left: 5 (31 enodes) 1539333499.771 * * [misc]simplify: iters left: 4 (71 enodes) 1539333499.818 * * [misc]simplify: iters left: 3 (178 enodes) 1539333499.962 * * [misc]simplify: iters left: 2 (440 enodes) 1539333500.937 * [exit]simplify: Simplified to (exp (* (cbrt (log (acos (/ (- 1 (* (* v v) 5)) (+ -1 (* v v)))))) (cbrt (log (acos (/ (- 1 (* (* v v) 5)) (+ -1 (* v v)))))))) 1539333500.937 * [misc]simplify: Simplified (2 1) to (λ (v) (pow (exp (* (cbrt (log (acos (/ (- 1 (* (* v v) 5)) (+ -1 (* v v)))))) (cbrt (log (acos (/ (- 1 (* (* v v) 5)) (+ -1 (* v v)))))))) (cbrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) 1539333500.938 * * * * [misc]progress: [ 21 / 56 ] simplifiying candidate # 1539333500.938 * [enter]simplify: Simplifying (exp (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) 1539333500.940 * * [misc]simplify: iters left: 6 (12 enodes) 1539333500.947 * * [misc]simplify: iters left: 5 (28 enodes) 1539333500.962 * * [misc]simplify: iters left: 4 (68 enodes) 1539333500.988 * * [misc]simplify: iters left: 3 (173 enodes) 1539333501.110 * * [misc]simplify: iters left: 2 (429 enodes) 1539333501.637 * [exit]simplify: Simplified to (exp (sqrt (log (acos (/ (+ (* -5 (* v v)) 1) (- (* v v) 1)))))) 1539333501.637 * [misc]simplify: Simplified (2 1) to (λ (v) (pow (exp (sqrt (log (acos (/ (+ (* -5 (* v v)) 1) (- (* v v) 1)))))) (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) 1539333501.637 * * * * [misc]progress: [ 22 / 56 ] simplifiying candidate # 1539333501.638 * [enter]simplify: Simplifying (exp 1) 1539333501.638 * * [misc]simplify: iters left: 1 (2 enodes) 1539333501.639 * [exit]simplify: Simplified to E 1539333501.639 * [misc]simplify: Simplified (2 1) to (λ (v) (pow E (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) 1539333501.639 * * * * [misc]progress: [ 23 / 56 ] simplifiying candidate # 1539333501.640 * [enter]simplify: Simplifying (exp (log (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) 1539333501.641 * * [misc]simplify: iters left: 6 (13 enodes) 1539333501.649 * * [misc]simplify: iters left: 5 (31 enodes) 1539333501.666 * * [misc]simplify: iters left: 4 (73 enodes) 1539333501.706 * * [misc]simplify: iters left: 3 (179 enodes) 1539333501.811 * * [misc]simplify: iters left: 2 (439 enodes) 1539333502.383 * [exit]simplify: Simplified to (* (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ -1 (* v v))))) (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ -1 (* v v)))))) 1539333502.383 * [misc]simplify: Simplified (2 1) to (λ (v) (* (* (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ -1 (* v v))))) (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ -1 (* v v)))))) (exp (log (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))) 1539333502.383 * * * * [misc]progress: [ 24 / 56 ] simplifiying candidate # 1539333502.383 * [enter]simplify: Simplifying (exp (log (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) 1539333502.385 * * [misc]simplify: iters left: 6 (12 enodes) 1539333502.392 * * [misc]simplify: iters left: 5 (28 enodes) 1539333502.407 * * [misc]simplify: iters left: 4 (68 enodes) 1539333502.447 * * [misc]simplify: iters left: 3 (173 enodes) 1539333502.586 * * [misc]simplify: iters left: 2 (429 enodes) 1539333503.129 * [exit]simplify: Simplified to (sqrt (acos (/ (+ (* -5 (* v v)) 1) (- (* v v) 1)))) 1539333503.129 * [misc]simplify: Simplified (2 1) to (λ (v) (* (sqrt (acos (/ (+ (* -5 (* v v)) 1) (- (* v v) 1)))) (exp (log (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))) 1539333503.129 * * * * [misc]progress: [ 25 / 56 ] simplifiying candidate # 1539333503.129 * [enter]simplify: Simplifying (exp (log 1)) 1539333503.129 * * [misc]simplify: iters left: 2 (3 enodes) 1539333503.131 * * [misc]simplify: iters left: 1 (5 enodes) 1539333503.131 * [exit]simplify: Simplified to 1 1539333503.131 * [misc]simplify: Simplified (2 1) to (λ (v) (* 1 (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) 1539333503.131 * * * * [misc]progress: [ 26 / 56 ] simplifiying candidate # 1539333503.131 * [enter]simplify: Simplifying (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) 1539333503.132 * * [misc]simplify: iters left: 6 (8 enodes) 1539333503.138 * * [misc]simplify: iters left: 5 (24 enodes) 1539333503.153 * * [misc]simplify: iters left: 4 (64 enodes) 1539333503.191 * * [misc]simplify: iters left: 3 (171 enodes) 1539333503.300 * * [misc]simplify: iters left: 2 (433 enodes) 1539333503.829 * [exit]simplify: Simplified to (/ (+ (* (* v v) -5) 1) (- (* v v) 1)) 1539333503.829 * [misc]simplify: Simplified (2 1) to (λ (v) (acos (/ (+ (* (* v v) -5) 1) (- (* v v) 1)))) 1539333503.829 * * * * [misc]progress: [ 27 / 56 ] simplifiying candidate # 1539333503.829 * * * * [misc]progress: [ 28 / 56 ] simplifiying candidate # 1539333503.829 * * * * [misc]progress: [ 29 / 56 ] simplifiying candidate # 1539333503.829 * * * * [misc]progress: [ 30 / 56 ] simplifiying candidate # 1539333503.829 * * * * [misc]progress: [ 31 / 56 ] simplifiying candidate # 1539333503.829 * * * * [misc]progress: [ 32 / 56 ] simplifiying candidate # 1539333503.829 * * * * [misc]progress: [ 33 / 56 ] simplifiying candidate # 1539333503.829 * [enter]simplify: Simplifying (log (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) 1539333503.830 * * [misc]simplify: iters left: 6 (12 enodes) 1539333503.834 * * [misc]simplify: iters left: 5 (30 enodes) 1539333503.843 * * [misc]simplify: iters left: 4 (70 enodes) 1539333503.866 * * [misc]simplify: iters left: 3 (175 enodes) 1539333503.969 * * [misc]simplify: iters left: 2 (431 enodes) 1539333504.486 * [exit]simplify: Simplified to (+ (log (cbrt (acos (/ (+ (* (* v v) -5) 1) (- (* v v) 1))))) (log (cbrt (acos (/ (+ (* (* v v) -5) 1) (- (* v v) 1)))))) 1539333504.486 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (+ (+ (log (cbrt (acos (/ (+ (* (* v v) -5) 1) (- (* v v) 1))))) (log (cbrt (acos (/ (+ (* (* v v) -5) 1) (- (* v v) 1)))))) (log (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))) 1539333504.486 * * * * [misc]progress: [ 34 / 56 ] simplifiying candidate # 1539333504.487 * [enter]simplify: Simplifying (log (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) 1539333504.488 * * [misc]simplify: iters left: 6 (11 enodes) 1539333504.496 * * [misc]simplify: iters left: 5 (27 enodes) 1539333504.510 * * [misc]simplify: iters left: 4 (67 enodes) 1539333504.551 * * [misc]simplify: iters left: 3 (174 enodes) 1539333504.661 * * [misc]simplify: iters left: 2 (436 enodes) 1539333505.252 * [exit]simplify: Simplified to (log (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) 1539333505.252 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (+ (log (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) (log (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))) 1539333505.252 * * * * [misc]progress: [ 35 / 56 ] simplifiying candidate # 1539333505.253 * [enter]simplify: Simplifying (log 1) 1539333505.253 * * [misc]simplify: iters left: 1 (2 enodes) 1539333505.255 * [exit]simplify: Simplified to 0 1539333505.255 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (+ 0 (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) 1539333505.255 * * * * [misc]progress: [ 36 / 56 ] simplifiying candidate # 1539333505.255 * * * * [misc]progress: [ 37 / 56 ] simplifiying candidate # 1539333505.255 * * * * [misc]progress: [ 38 / 56 ] simplifiying candidate # 1539333505.255 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) 1539333505.256 * * [misc]simplify: iters left: 6 (9 enodes) 1539333505.262 * * [misc]simplify: iters left: 5 (25 enodes) 1539333505.276 * * [misc]simplify: iters left: 4 (65 enodes) 1539333505.305 * * [misc]simplify: iters left: 3 (171 enodes) 1539333505.389 * * [misc]simplify: iters left: 2 (429 enodes) 1539333505.994 * [exit]simplify: Simplified to (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) 1539333505.994 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (log (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))))) 1539333505.994 * * * * [misc]progress: [ 39 / 56 ] simplifiying candidate # 1539333505.994 * * * * [misc]progress: [ 40 / 56 ] simplifiying candidate # 1539333505.994 * * * * [misc]progress: [ 41 / 56 ] simplifiying candidate # 1539333505.995 * * * * [misc]progress: [ 42 / 56 ] simplifiying candidate # 1539333505.995 * * * * [misc]progress: [ 43 / 56 ] simplifiying candidate # 1539333505.995 * * * * [misc]progress: [ 44 / 56 ] simplifiying candidate # 1539333505.995 * * * * [misc]progress: [ 45 / 56 ] simplifiying candidate # 1539333505.995 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333505.996 * * [misc]simplify: iters left: 6 (10 enodes) 1539333505.999 * * [misc]simplify: iters left: 5 (22 enodes) 1539333506.004 * * [misc]simplify: iters left: 4 (43 enodes) 1539333506.015 * * [misc]simplify: iters left: 3 (93 enodes) 1539333506.048 * * [misc]simplify: iters left: 2 (252 enodes) 1539333506.269 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333506.269 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))))) 1539333506.269 * * * * [misc]progress: [ 46 / 56 ] simplifiying candidate # 1539333506.270 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333506.271 * * [misc]simplify: iters left: 6 (10 enodes) 1539333506.277 * * [misc]simplify: iters left: 5 (22 enodes) 1539333506.287 * * [misc]simplify: iters left: 4 (43 enodes) 1539333506.312 * * [misc]simplify: iters left: 3 (93 enodes) 1539333506.347 * * [misc]simplify: iters left: 2 (252 enodes) 1539333506.575 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333506.575 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))))) 1539333506.575 * * * * [misc]progress: [ 47 / 56 ] simplifiying candidate # 1539333506.575 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333506.576 * * [misc]simplify: iters left: 6 (10 enodes) 1539333506.582 * * [misc]simplify: iters left: 5 (22 enodes) 1539333506.595 * * [misc]simplify: iters left: 4 (43 enodes) 1539333506.616 * * [misc]simplify: iters left: 3 (93 enodes) 1539333506.673 * * [misc]simplify: iters left: 2 (252 enodes) 1539333506.892 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333506.892 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))))) 1539333506.892 * * * * [misc]progress: [ 48 / 56 ] simplifiying candidate # 1539333506.893 * [enter]simplify: Simplifying (* 5 (pow v 2)) 1539333506.893 * * [misc]simplify: iters left: 3 (5 enodes) 1539333506.896 * * [misc]simplify: iters left: 2 (7 enodes) 1539333506.898 * * [misc]simplify: iters left: 1 (11 enodes) 1539333506.906 * [exit]simplify: Simplified to (* (* v v) 5) 1539333506.906 * [misc]simplify: Simplified (2 1 1 1 1 2) to (λ (v) (exp (log (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))))) 1539333506.906 * * * * [misc]progress: [ 49 / 56 ] simplifiying candidate # 1539333506.906 * [enter]simplify: Simplifying (* 5 (pow v 2)) 1539333506.906 * * [misc]simplify: iters left: 3 (5 enodes) 1539333506.908 * * [misc]simplify: iters left: 2 (7 enodes) 1539333506.911 * * [misc]simplify: iters left: 1 (11 enodes) 1539333506.915 * [exit]simplify: Simplified to (* (* v v) 5) 1539333506.915 * [misc]simplify: Simplified (2 1 1 1 1 2) to (λ (v) (exp (log (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))))) 1539333506.915 * * * * [misc]progress: [ 50 / 56 ] simplifiying candidate # 1539333506.915 * [enter]simplify: Simplifying (* 5 (pow v 2)) 1539333506.916 * * [misc]simplify: iters left: 3 (5 enodes) 1539333506.918 * * [misc]simplify: iters left: 2 (7 enodes) 1539333506.921 * * [misc]simplify: iters left: 1 (11 enodes) 1539333506.925 * [exit]simplify: Simplified to (* (* v v) 5) 1539333506.925 * [misc]simplify: Simplified (2 1 1 1 1 2) to (λ (v) (exp (log (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))))) 1539333506.925 * * * * [misc]progress: [ 51 / 56 ] simplifiying candidate # 1539333506.925 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333506.926 * * [misc]simplify: iters left: 6 (10 enodes) 1539333506.930 * * [misc]simplify: iters left: 5 (22 enodes) 1539333506.935 * * [misc]simplify: iters left: 4 (43 enodes) 1539333506.946 * * [misc]simplify: iters left: 3 (93 enodes) 1539333506.982 * * [misc]simplify: iters left: 2 (252 enodes) 1539333507.170 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333507.170 * [misc]simplify: Simplified (2) to (λ (v) (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))) 1539333507.170 * * * * [misc]progress: [ 52 / 56 ] simplifiying candidate # 1539333507.170 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333507.171 * * [misc]simplify: iters left: 6 (10 enodes) 1539333507.174 * * [misc]simplify: iters left: 5 (22 enodes) 1539333507.179 * * [misc]simplify: iters left: 4 (43 enodes) 1539333507.201 * * [misc]simplify: iters left: 3 (93 enodes) 1539333507.256 * * [misc]simplify: iters left: 2 (252 enodes) 1539333507.461 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333507.461 * [misc]simplify: Simplified (2) to (λ (v) (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))) 1539333507.461 * * * * [misc]progress: [ 53 / 56 ] simplifiying candidate # 1539333507.461 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333507.463 * * [misc]simplify: iters left: 6 (10 enodes) 1539333507.466 * * [misc]simplify: iters left: 5 (22 enodes) 1539333507.472 * * [misc]simplify: iters left: 4 (43 enodes) 1539333507.487 * * [misc]simplify: iters left: 3 (93 enodes) 1539333507.538 * * [misc]simplify: iters left: 2 (252 enodes) 1539333507.741 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333507.741 * [misc]simplify: Simplified (2) to (λ (v) (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))) 1539333507.741 * * * * [misc]progress: [ 54 / 56 ] simplifiying candidate # 1539333507.741 * [enter]simplify: Simplifying (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333507.742 * * [misc]simplify: iters left: 6 (11 enodes) 1539333507.745 * * [misc]simplify: iters left: 5 (23 enodes) 1539333507.751 * * [misc]simplify: iters left: 4 (44 enodes) 1539333507.768 * * [misc]simplify: iters left: 3 (94 enodes) 1539333507.827 * * [misc]simplify: iters left: 2 (253 enodes) 1539333508.016 * [exit]simplify: Simplified to (log (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))) 1539333508.016 * [misc]simplify: Simplified (2 1) to (λ (v) (exp (log (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))))) 1539333508.016 * * * * [misc]progress: [ 55 / 56 ] simplifiying candidate # 1539333508.016 * [enter]simplify: Simplifying (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333508.017 * * [misc]simplify: iters left: 6 (11 enodes) 1539333508.020 * * [misc]simplify: iters left: 5 (23 enodes) 1539333508.026 * * [misc]simplify: iters left: 4 (44 enodes) 1539333508.038 * * [misc]simplify: iters left: 3 (94 enodes) 1539333508.071 * * [misc]simplify: iters left: 2 (253 enodes) 1539333508.313 * [exit]simplify: Simplified to (log (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))) 1539333508.313 * [misc]simplify: Simplified (2 1) to (λ (v) (exp (log (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))))) 1539333508.313 * * * * [misc]progress: [ 56 / 56 ] simplifiying candidate # 1539333508.314 * [enter]simplify: Simplifying (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333508.315 * * [misc]simplify: iters left: 6 (11 enodes) 1539333508.321 * * [misc]simplify: iters left: 5 (23 enodes) 1539333508.331 * * [misc]simplify: iters left: 4 (44 enodes) 1539333508.348 * * [misc]simplify: iters left: 3 (94 enodes) 1539333508.379 * * [misc]simplify: iters left: 2 (253 enodes) 1539333508.580 * [exit]simplify: Simplified to (log (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))) 1539333508.580 * [misc]simplify: Simplified (2 1) to (λ (v) (exp (log (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))))) 1539333508.580 * * * [misc]progress: adding candidates to table 1539333509.825 * * [misc]progress: iteration 3 / 4 1539333509.825 * * * [misc]progress: picking best candidate 1539333509.854 * * * * [misc]pick: Picked # 1539333509.854 * * * [misc]progress: localizing error 1539333509.873 * * * [misc]progress: generating rewritten candidates 1539333509.873 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1 1) 1539333509.877 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1 1) 1539333509.880 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 2) 1539333509.892 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 2) 1539333509.908 * * * [misc]progress: generating series expansions 1539333509.908 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1 1) 1539333509.909 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.909 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1539333509.909 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333509.909 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.909 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333509.909 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.910 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.910 * [misc]backup-simplify: Simplify 0 into 0 1539333509.910 * [misc]backup-simplify: Simplify 0 into 0 1539333509.910 * [misc]backup-simplify: Simplify 0 into 0 1539333509.910 * [misc]backup-simplify: Simplify 0 into 0 1539333509.910 * [misc]backup-simplify: Simplify 0 into 0 1539333509.910 * [misc]backup-simplify: Simplify 0 into 0 1539333509.910 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.911 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.911 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333509.911 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333509.911 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.911 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333509.911 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.912 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.912 * [misc]backup-simplify: Simplify 0 into 0 1539333509.912 * [misc]backup-simplify: Simplify 0 into 0 1539333509.912 * [misc]backup-simplify: Simplify 0 into 0 1539333509.912 * [misc]backup-simplify: Simplify 0 into 0 1539333509.912 * [misc]backup-simplify: Simplify 0 into 0 1539333509.912 * [misc]backup-simplify: Simplify 0 into 0 1539333509.913 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.913 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.913 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333509.913 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333509.914 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.914 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333509.914 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.914 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.914 * [misc]backup-simplify: Simplify 0 into 0 1539333509.915 * [misc]backup-simplify: Simplify 0 into 0 1539333509.915 * [misc]backup-simplify: Simplify 0 into 0 1539333509.915 * [misc]backup-simplify: Simplify 0 into 0 1539333509.915 * [misc]backup-simplify: Simplify 0 into 0 1539333509.915 * [misc]backup-simplify: Simplify 0 into 0 1539333509.915 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.915 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1 1) 1539333509.916 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.916 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1539333509.916 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333509.916 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.916 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333509.917 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.917 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.917 * [misc]backup-simplify: Simplify 0 into 0 1539333509.917 * [misc]backup-simplify: Simplify 0 into 0 1539333509.917 * [misc]backup-simplify: Simplify 0 into 0 1539333509.917 * [misc]backup-simplify: Simplify 0 into 0 1539333509.917 * [misc]backup-simplify: Simplify 0 into 0 1539333509.917 * [misc]backup-simplify: Simplify 0 into 0 1539333509.917 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.918 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.918 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333509.918 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333509.918 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.918 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333509.918 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.919 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.919 * [misc]backup-simplify: Simplify 0 into 0 1539333509.919 * [misc]backup-simplify: Simplify 0 into 0 1539333509.919 * [misc]backup-simplify: Simplify 0 into 0 1539333509.919 * [misc]backup-simplify: Simplify 0 into 0 1539333509.919 * [misc]backup-simplify: Simplify 0 into 0 1539333509.919 * [misc]backup-simplify: Simplify 0 into 0 1539333509.920 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.920 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.920 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333509.920 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333509.921 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.921 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333509.921 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.921 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333509.921 * [misc]backup-simplify: Simplify 0 into 0 1539333509.921 * [misc]backup-simplify: Simplify 0 into 0 1539333509.921 * [misc]backup-simplify: Simplify 0 into 0 1539333509.922 * [misc]backup-simplify: Simplify 0 into 0 1539333509.922 * [misc]backup-simplify: Simplify 0 into 0 1539333509.922 * [misc]backup-simplify: Simplify 0 into 0 1539333509.922 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.922 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 1 1 1 1 2) 1539333509.923 * [misc]backup-simplify: Simplify (* 5 (* v v)) into (* 5 (pow v 2)) 1539333509.923 * [misc]approximate: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 1539333509.923 * [misc]taylor: Taking taylor expansion of (* 5 (pow v 2)) in v 1539333509.923 * [misc]taylor: Taking taylor expansion of 5 in v 1539333509.923 * [misc]backup-simplify: Simplify 5 into 5 1539333509.923 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333509.923 * [misc]taylor: Taking taylor expansion of v in v 1539333509.923 * [misc]backup-simplify: Simplify 0 into 0 1539333509.923 * [misc]backup-simplify: Simplify 1 into 1 1539333509.923 * [misc]taylor: Taking taylor expansion of (* 5 (pow v 2)) in v 1539333509.923 * [misc]taylor: Taking taylor expansion of 5 in v 1539333509.923 * [misc]backup-simplify: Simplify 5 into 5 1539333509.923 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333509.923 * [misc]taylor: Taking taylor expansion of v in v 1539333509.923 * [misc]backup-simplify: Simplify 0 into 0 1539333509.923 * [misc]backup-simplify: Simplify 1 into 1 1539333509.924 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333509.924 * [misc]backup-simplify: Simplify (* 5 1) into 5 1539333509.924 * [misc]backup-simplify: Simplify 5 into 5 1539333509.924 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539333509.924 * [misc]backup-simplify: Simplify (+ (* 5 0) (* 0 1)) into 0 1539333509.925 * [misc]backup-simplify: Simplify 0 into 0 1539333509.925 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539333509.925 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 1539333509.925 * [misc]backup-simplify: Simplify 0 into 0 1539333509.926 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333509.926 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333509.926 * [misc]backup-simplify: Simplify 0 into 0 1539333509.926 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333509.927 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333509.927 * [misc]backup-simplify: Simplify 0 into 0 1539333509.927 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333509.928 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333509.928 * [misc]backup-simplify: Simplify 0 into 0 1539333509.928 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333509.929 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333509.929 * [misc]backup-simplify: Simplify 0 into 0 1539333509.929 * [misc]backup-simplify: Simplify (* 5 (pow v 2)) into (* 5 (pow v 2)) 1539333509.929 * [misc]backup-simplify: Simplify (* 5 (* (/ 1 v) (/ 1 v))) into (/ 5 (pow v 2)) 1539333509.929 * [misc]approximate: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1539333509.929 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333509.929 * [misc]taylor: Taking taylor expansion of 5 in v 1539333509.929 * [misc]backup-simplify: Simplify 5 into 5 1539333509.929 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333509.929 * [misc]taylor: Taking taylor expansion of v in v 1539333509.929 * [misc]backup-simplify: Simplify 0 into 0 1539333509.929 * [misc]backup-simplify: Simplify 1 into 1 1539333509.930 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333509.930 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333509.930 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333509.930 * [misc]taylor: Taking taylor expansion of 5 in v 1539333509.930 * [misc]backup-simplify: Simplify 5 into 5 1539333509.930 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333509.930 * [misc]taylor: Taking taylor expansion of v in v 1539333509.930 * [misc]backup-simplify: Simplify 0 into 0 1539333509.930 * [misc]backup-simplify: Simplify 1 into 1 1539333509.930 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333509.930 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333509.930 * [misc]backup-simplify: Simplify 5 into 5 1539333509.931 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539333509.931 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 1539333509.931 * [misc]backup-simplify: Simplify 0 into 0 1539333509.931 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539333509.932 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.932 * [misc]backup-simplify: Simplify 0 into 0 1539333509.932 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333509.932 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.932 * [misc]backup-simplify: Simplify 0 into 0 1539333509.933 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333509.933 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.933 * [misc]backup-simplify: Simplify 0 into 0 1539333509.934 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333509.934 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.934 * [misc]backup-simplify: Simplify 0 into 0 1539333509.935 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333509.936 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.936 * [misc]backup-simplify: Simplify 0 into 0 1539333509.937 * [misc]backup-simplify: Simplify (* 5 (pow (/ 1 (/ 1 v)) 2)) into (* 5 (pow v 2)) 1539333509.937 * [misc]backup-simplify: Simplify (* 5 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5 (pow v 2)) 1539333509.937 * [misc]approximate: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1539333509.937 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333509.937 * [misc]taylor: Taking taylor expansion of 5 in v 1539333509.937 * [misc]backup-simplify: Simplify 5 into 5 1539333509.937 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333509.937 * [misc]taylor: Taking taylor expansion of v in v 1539333509.937 * [misc]backup-simplify: Simplify 0 into 0 1539333509.937 * [misc]backup-simplify: Simplify 1 into 1 1539333509.937 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333509.937 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333509.937 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333509.938 * [misc]taylor: Taking taylor expansion of 5 in v 1539333509.938 * [misc]backup-simplify: Simplify 5 into 5 1539333509.938 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333509.938 * [misc]taylor: Taking taylor expansion of v in v 1539333509.938 * [misc]backup-simplify: Simplify 0 into 0 1539333509.938 * [misc]backup-simplify: Simplify 1 into 1 1539333509.938 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333509.938 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333509.938 * [misc]backup-simplify: Simplify 5 into 5 1539333509.938 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539333509.939 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 1539333509.939 * [misc]backup-simplify: Simplify 0 into 0 1539333509.939 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539333509.939 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.939 * [misc]backup-simplify: Simplify 0 into 0 1539333509.940 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333509.940 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.940 * [misc]backup-simplify: Simplify 0 into 0 1539333509.941 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333509.941 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.941 * [misc]backup-simplify: Simplify 0 into 0 1539333509.941 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333509.942 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.942 * [misc]backup-simplify: Simplify 0 into 0 1539333509.943 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333509.943 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.943 * [misc]backup-simplify: Simplify 0 into 0 1539333509.944 * [misc]backup-simplify: Simplify (* 5 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5 (pow v 2)) 1539333509.944 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 2) 1539333509.944 * [misc]backup-simplify: Simplify (* 5 (* v v)) into (* 5 (pow v 2)) 1539333509.944 * [misc]approximate: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 1539333509.944 * [misc]taylor: Taking taylor expansion of (* 5 (pow v 2)) in v 1539333509.944 * [misc]taylor: Taking taylor expansion of 5 in v 1539333509.944 * [misc]backup-simplify: Simplify 5 into 5 1539333509.944 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333509.944 * [misc]taylor: Taking taylor expansion of v in v 1539333509.944 * [misc]backup-simplify: Simplify 0 into 0 1539333509.944 * [misc]backup-simplify: Simplify 1 into 1 1539333509.944 * [misc]taylor: Taking taylor expansion of (* 5 (pow v 2)) in v 1539333509.944 * [misc]taylor: Taking taylor expansion of 5 in v 1539333509.944 * [misc]backup-simplify: Simplify 5 into 5 1539333509.944 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333509.944 * [misc]taylor: Taking taylor expansion of v in v 1539333509.944 * [misc]backup-simplify: Simplify 0 into 0 1539333509.944 * [misc]backup-simplify: Simplify 1 into 1 1539333509.945 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333509.945 * [misc]backup-simplify: Simplify (* 5 1) into 5 1539333509.945 * [misc]backup-simplify: Simplify 5 into 5 1539333509.945 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539333509.945 * [misc]backup-simplify: Simplify (+ (* 5 0) (* 0 1)) into 0 1539333509.945 * [misc]backup-simplify: Simplify 0 into 0 1539333509.946 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539333509.946 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 1539333509.946 * [misc]backup-simplify: Simplify 0 into 0 1539333509.946 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333509.947 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333509.947 * [misc]backup-simplify: Simplify 0 into 0 1539333509.947 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333509.948 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333509.948 * [misc]backup-simplify: Simplify 0 into 0 1539333509.948 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333509.949 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333509.949 * [misc]backup-simplify: Simplify 0 into 0 1539333509.949 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333509.950 * [misc]backup-simplify: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333509.950 * [misc]backup-simplify: Simplify 0 into 0 1539333509.950 * [misc]backup-simplify: Simplify (* 5 (pow v 2)) into (* 5 (pow v 2)) 1539333509.950 * [misc]backup-simplify: Simplify (* 5 (* (/ 1 v) (/ 1 v))) into (/ 5 (pow v 2)) 1539333509.950 * [misc]approximate: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1539333509.950 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333509.950 * [misc]taylor: Taking taylor expansion of 5 in v 1539333509.950 * [misc]backup-simplify: Simplify 5 into 5 1539333509.950 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333509.950 * [misc]taylor: Taking taylor expansion of v in v 1539333509.950 * [misc]backup-simplify: Simplify 0 into 0 1539333509.950 * [misc]backup-simplify: Simplify 1 into 1 1539333509.951 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333509.951 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333509.951 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333509.951 * [misc]taylor: Taking taylor expansion of 5 in v 1539333509.951 * [misc]backup-simplify: Simplify 5 into 5 1539333509.951 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333509.951 * [misc]taylor: Taking taylor expansion of v in v 1539333509.951 * [misc]backup-simplify: Simplify 0 into 0 1539333509.951 * [misc]backup-simplify: Simplify 1 into 1 1539333509.951 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333509.951 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333509.951 * [misc]backup-simplify: Simplify 5 into 5 1539333509.952 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539333509.952 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 1539333509.952 * [misc]backup-simplify: Simplify 0 into 0 1539333509.952 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539333509.953 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.953 * [misc]backup-simplify: Simplify 0 into 0 1539333509.953 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333509.953 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.953 * [misc]backup-simplify: Simplify 0 into 0 1539333509.954 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333509.954 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.954 * [misc]backup-simplify: Simplify 0 into 0 1539333509.955 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333509.955 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.955 * [misc]backup-simplify: Simplify 0 into 0 1539333509.956 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333509.957 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.957 * [misc]backup-simplify: Simplify 0 into 0 1539333509.957 * [misc]backup-simplify: Simplify (* 5 (pow (/ 1 (/ 1 v)) 2)) into (* 5 (pow v 2)) 1539333509.957 * [misc]backup-simplify: Simplify (* 5 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5 (pow v 2)) 1539333509.957 * [misc]approximate: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1539333509.957 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333509.957 * [misc]taylor: Taking taylor expansion of 5 in v 1539333509.957 * [misc]backup-simplify: Simplify 5 into 5 1539333509.957 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333509.958 * [misc]taylor: Taking taylor expansion of v in v 1539333509.958 * [misc]backup-simplify: Simplify 0 into 0 1539333509.958 * [misc]backup-simplify: Simplify 1 into 1 1539333509.958 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333509.958 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333509.958 * [misc]taylor: Taking taylor expansion of (/ 5 (pow v 2)) in v 1539333509.958 * [misc]taylor: Taking taylor expansion of 5 in v 1539333509.958 * [misc]backup-simplify: Simplify 5 into 5 1539333509.958 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539333509.958 * [misc]taylor: Taking taylor expansion of v in v 1539333509.958 * [misc]backup-simplify: Simplify 0 into 0 1539333509.958 * [misc]backup-simplify: Simplify 1 into 1 1539333509.958 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539333509.959 * [misc]backup-simplify: Simplify (/ 5 1) into 5 1539333509.959 * [misc]backup-simplify: Simplify 5 into 5 1539333509.959 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539333509.959 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 1539333509.959 * [misc]backup-simplify: Simplify 0 into 0 1539333509.960 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539333509.960 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.960 * [misc]backup-simplify: Simplify 0 into 0 1539333509.960 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539333509.961 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.961 * [misc]backup-simplify: Simplify 0 into 0 1539333509.961 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539333509.962 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.962 * [misc]backup-simplify: Simplify 0 into 0 1539333509.962 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539333509.963 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.963 * [misc]backup-simplify: Simplify 0 into 0 1539333509.963 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539333509.964 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539333509.964 * [misc]backup-simplify: Simplify 0 into 0 1539333509.964 * [misc]backup-simplify: Simplify (* 5 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5 (pow v 2)) 1539333509.964 * * * [misc]progress: simplifying candidates 1539333509.964 * * * * [misc]progress: [ 1 / 46 ] simplifiying candidate # 1539333509.964 * * * * [misc]progress: [ 2 / 46 ] simplifiying candidate # 1539333509.965 * * * * [misc]progress: [ 3 / 46 ] simplifiying candidate # 1539333509.965 * * * * [misc]progress: [ 4 / 46 ] simplifiying candidate # 1539333509.965 * * * * [misc]progress: [ 5 / 46 ] simplifiying candidate # 1539333509.965 * * * * [misc]progress: [ 6 / 46 ] simplifiying candidate # 1539333509.965 * * * * [misc]progress: [ 7 / 46 ] simplifiying candidate # 1539333509.965 * * * * [misc]progress: [ 8 / 46 ] simplifiying candidate # 1539333509.965 * * * * [misc]progress: [ 9 / 46 ] simplifiying candidate # 1539333509.965 * * * * [misc]progress: [ 10 / 46 ] simplifiying candidate # 1539333509.965 * * * * [misc]progress: [ 11 / 46 ] simplifiying candidate # 1539333509.965 * * * * [misc]progress: [ 12 / 46 ] simplifiying candidate # 1539333509.965 * * * * [misc]progress: [ 13 / 46 ] simplifiying candidate # 1539333509.965 * * * * [misc]progress: [ 14 / 46 ] simplifiying candidate # 1539333509.965 * * * * [misc]progress: [ 15 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 16 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 17 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 18 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 19 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 20 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 21 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 22 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 23 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 24 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 25 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 26 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 27 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 28 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 29 / 46 ] simplifiying candidate # 1539333509.966 * * * * [misc]progress: [ 30 / 46 ] simplifiying candidate # 1539333509.967 * * * * [misc]progress: [ 31 / 46 ] simplifiying candidate # 1539333509.967 * * * * [misc]progress: [ 32 / 46 ] simplifiying candidate # 1539333509.967 * * * * [misc]progress: [ 33 / 46 ] simplifiying candidate # 1539333509.967 * * * * [misc]progress: [ 34 / 46 ] simplifiying candidate # 1539333509.967 * * * * [misc]progress: [ 35 / 46 ] simplifiying candidate # 1539333509.967 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333509.968 * * [misc]simplify: iters left: 6 (10 enodes) 1539333509.974 * * [misc]simplify: iters left: 5 (22 enodes) 1539333509.986 * * [misc]simplify: iters left: 4 (43 enodes) 1539333509.997 * * [misc]simplify: iters left: 3 (93 enodes) 1539333510.041 * * [misc]simplify: iters left: 2 (252 enodes) 1539333510.247 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333510.247 * [misc]simplify: Simplified (2 2 1 1) to (λ (v) (pow (exp (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))))))) 1539333510.247 * * * * [misc]progress: [ 36 / 46 ] simplifiying candidate # 1539333510.247 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333510.248 * * [misc]simplify: iters left: 6 (10 enodes) 1539333510.251 * * [misc]simplify: iters left: 5 (22 enodes) 1539333510.260 * * [misc]simplify: iters left: 4 (43 enodes) 1539333510.277 * * [misc]simplify: iters left: 3 (93 enodes) 1539333510.335 * * [misc]simplify: iters left: 2 (252 enodes) 1539333510.558 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333510.558 * [misc]simplify: Simplified (2 2 1 1) to (λ (v) (pow (exp (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))))))) 1539333510.558 * * * * [misc]progress: [ 37 / 46 ] simplifiying candidate # 1539333510.558 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333510.559 * * [misc]simplify: iters left: 6 (10 enodes) 1539333510.565 * * [misc]simplify: iters left: 5 (22 enodes) 1539333510.570 * * [misc]simplify: iters left: 4 (43 enodes) 1539333510.582 * * [misc]simplify: iters left: 3 (93 enodes) 1539333510.632 * * [misc]simplify: iters left: 2 (252 enodes) 1539333510.913 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333510.913 * [misc]simplify: Simplified (2 2 1 1) to (λ (v) (pow (exp (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))))))) 1539333510.913 * * * * [misc]progress: [ 38 / 46 ] simplifiying candidate # 1539333510.913 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333510.914 * * [misc]simplify: iters left: 6 (10 enodes) 1539333510.921 * * [misc]simplify: iters left: 5 (22 enodes) 1539333510.930 * * [misc]simplify: iters left: 4 (43 enodes) 1539333510.941 * * [misc]simplify: iters left: 3 (93 enodes) 1539333510.986 * * [misc]simplify: iters left: 2 (252 enodes) 1539333511.224 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333511.225 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (v) (pow (exp (sqrt (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))))) (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) 1539333511.225 * * * * [misc]progress: [ 39 / 46 ] simplifiying candidate # 1539333511.225 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333511.226 * * [misc]simplify: iters left: 6 (10 enodes) 1539333511.233 * * [misc]simplify: iters left: 5 (22 enodes) 1539333511.244 * * [misc]simplify: iters left: 4 (43 enodes) 1539333511.265 * * [misc]simplify: iters left: 3 (93 enodes) 1539333511.323 * * [misc]simplify: iters left: 2 (252 enodes) 1539333511.490 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333511.490 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (v) (pow (exp (sqrt (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))))) (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) 1539333511.490 * * * * [misc]progress: [ 40 / 46 ] simplifiying candidate # 1539333511.491 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333511.492 * * [misc]simplify: iters left: 6 (10 enodes) 1539333511.498 * * [misc]simplify: iters left: 5 (22 enodes) 1539333511.508 * * [misc]simplify: iters left: 4 (43 enodes) 1539333511.528 * * [misc]simplify: iters left: 3 (93 enodes) 1539333511.576 * * [misc]simplify: iters left: 2 (252 enodes) 1539333511.786 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333511.786 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (v) (pow (exp (sqrt (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))))) (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) 1539333511.786 * * * * [misc]progress: [ 41 / 46 ] simplifiying candidate # 1539333511.786 * [enter]simplify: Simplifying (* 5 (pow v 2)) 1539333511.787 * * [misc]simplify: iters left: 3 (5 enodes) 1539333511.788 * * [misc]simplify: iters left: 2 (7 enodes) 1539333511.789 * * [misc]simplify: iters left: 1 (11 enodes) 1539333511.791 * [exit]simplify: Simplified to (* (* v v) 5) 1539333511.791 * [misc]simplify: Simplified (2 2 1 1 1 1 2) to (λ (v) (pow (exp (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (log (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))))) 1539333511.791 * * * * [misc]progress: [ 42 / 46 ] simplifiying candidate # 1539333511.792 * [enter]simplify: Simplifying (* 5 (pow v 2)) 1539333511.792 * * [misc]simplify: iters left: 3 (5 enodes) 1539333511.793 * * [misc]simplify: iters left: 2 (7 enodes) 1539333511.794 * * [misc]simplify: iters left: 1 (11 enodes) 1539333511.797 * [exit]simplify: Simplified to (* (* v v) 5) 1539333511.797 * [misc]simplify: Simplified (2 2 1 1 1 1 2) to (λ (v) (pow (exp (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (log (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))))) 1539333511.798 * * * * [misc]progress: [ 43 / 46 ] simplifiying candidate # 1539333511.798 * [enter]simplify: Simplifying (* 5 (pow v 2)) 1539333511.798 * * [misc]simplify: iters left: 3 (5 enodes) 1539333511.800 * * [misc]simplify: iters left: 2 (7 enodes) 1539333511.803 * * [misc]simplify: iters left: 1 (11 enodes) 1539333511.807 * [exit]simplify: Simplified to (* (* v v) 5) 1539333511.807 * [misc]simplify: Simplified (2 2 1 1 1 1 2) to (λ (v) (pow (exp (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (log (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))))) 1539333511.807 * * * * [misc]progress: [ 44 / 46 ] simplifiying candidate # 1539333511.807 * [enter]simplify: Simplifying (* 5 (pow v 2)) 1539333511.808 * * [misc]simplify: iters left: 3 (5 enodes) 1539333511.809 * * [misc]simplify: iters left: 2 (7 enodes) 1539333511.810 * * [misc]simplify: iters left: 1 (11 enodes) 1539333511.812 * [exit]simplify: Simplified to (* (* v v) 5) 1539333511.812 * [misc]simplify: Simplified (2 1 1 1 1 1 1 2) to (λ (v) (pow (exp (sqrt (log (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))))) (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) 1539333511.812 * * * * [misc]progress: [ 45 / 46 ] simplifiying candidate # 1539333511.813 * [enter]simplify: Simplifying (* 5 (pow v 2)) 1539333511.813 * * [misc]simplify: iters left: 3 (5 enodes) 1539333511.814 * * [misc]simplify: iters left: 2 (7 enodes) 1539333511.815 * * [misc]simplify: iters left: 1 (11 enodes) 1539333511.817 * [exit]simplify: Simplified to (* (* v v) 5) 1539333511.818 * [misc]simplify: Simplified (2 1 1 1 1 1 1 2) to (λ (v) (pow (exp (sqrt (log (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))))) (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) 1539333511.818 * * * * [misc]progress: [ 46 / 46 ] simplifiying candidate # 1539333511.818 * [enter]simplify: Simplifying (* 5 (pow v 2)) 1539333511.818 * * [misc]simplify: iters left: 3 (5 enodes) 1539333511.819 * * [misc]simplify: iters left: 2 (7 enodes) 1539333511.820 * * [misc]simplify: iters left: 1 (11 enodes) 1539333511.823 * [exit]simplify: Simplified to (* (* v v) 5) 1539333511.823 * [misc]simplify: Simplified (2 1 1 1 1 1 1 2) to (λ (v) (pow (exp (sqrt (log (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))))) (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) 1539333511.823 * * * [misc]progress: adding candidates to table 1539333513.431 * * [misc]progress: iteration 4 / 4 1539333513.431 * * * [misc]progress: picking best candidate 1539333513.464 * * * * [misc]pick: Picked # 1539333513.465 * * * [misc]progress: localizing error 1539333513.490 * * * [misc]progress: generating rewritten candidates 1539333513.490 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1539333513.520 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1539333513.523 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1539333513.525 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 1) 1539333513.527 * * * [misc]progress: generating series expansions 1539333513.527 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1539333513.528 * [misc]backup-simplify: Simplify (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.528 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1539333513.528 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333513.528 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.528 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333513.528 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.528 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.529 * [misc]backup-simplify: Simplify 0 into 0 1539333513.529 * [misc]backup-simplify: Simplify 0 into 0 1539333513.529 * [misc]backup-simplify: Simplify 0 into 0 1539333513.529 * [misc]backup-simplify: Simplify 0 into 0 1539333513.529 * [misc]backup-simplify: Simplify 0 into 0 1539333513.529 * [misc]backup-simplify: Simplify 0 into 0 1539333513.529 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.529 * [misc]backup-simplify: Simplify (* (sqrt (acos (/ (- 1 (* 5 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1)))) (sqrt (acos (/ (- 1 (* 5 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1))))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.529 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333513.529 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.529 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.529 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.530 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.530 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.530 * [misc]backup-simplify: Simplify 0 into 0 1539333513.530 * [misc]backup-simplify: Simplify 0 into 0 1539333513.530 * [misc]backup-simplify: Simplify 0 into 0 1539333513.530 * [misc]backup-simplify: Simplify 0 into 0 1539333513.530 * [misc]backup-simplify: Simplify 0 into 0 1539333513.530 * [misc]backup-simplify: Simplify 0 into 0 1539333513.530 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.531 * [misc]backup-simplify: Simplify (* (sqrt (acos (/ (- 1 (* 5 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1)))) (sqrt (acos (/ (- 1 (* 5 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1))))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.531 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333513.531 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.531 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.531 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.531 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.531 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.531 * [misc]backup-simplify: Simplify 0 into 0 1539333513.531 * [misc]backup-simplify: Simplify 0 into 0 1539333513.531 * [misc]backup-simplify: Simplify 0 into 0 1539333513.531 * [misc]backup-simplify: Simplify 0 into 0 1539333513.531 * [misc]backup-simplify: Simplify 0 into 0 1539333513.531 * [misc]backup-simplify: Simplify 0 into 0 1539333513.532 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.532 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1539333513.532 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.532 * [misc]approximate: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in (v) around 0 1539333513.532 * [misc]taylor: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1539333513.532 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333513.532 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.532 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.533 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.533 * [misc]taylor: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1539333513.533 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333513.533 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.533 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.533 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.533 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.533 * [misc]backup-simplify: Simplify 0 into 0 1539333513.534 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.534 * [misc]backup-simplify: Simplify 0 into 0 1539333513.534 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.535 * [misc]backup-simplify: Simplify 0 into 0 1539333513.535 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.535 * [misc]backup-simplify: Simplify 0 into 0 1539333513.536 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.536 * [misc]backup-simplify: Simplify 0 into 0 1539333513.536 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.537 * [misc]backup-simplify: Simplify 0 into 0 1539333513.537 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.537 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.537 * [misc]approximate: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in (v) around 0 1539333513.537 * [misc]taylor: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1539333513.537 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.537 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.537 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.538 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.538 * [misc]taylor: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1539333513.538 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.538 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.538 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.538 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.538 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.538 * [misc]backup-simplify: Simplify 0 into 0 1539333513.539 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.539 * [misc]backup-simplify: Simplify 0 into 0 1539333513.540 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.540 * [misc]backup-simplify: Simplify 0 into 0 1539333513.541 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.541 * [misc]backup-simplify: Simplify 0 into 0 1539333513.542 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.542 * [misc]backup-simplify: Simplify 0 into 0 1539333513.543 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.543 * [misc]backup-simplify: Simplify 0 into 0 1539333513.548 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.549 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.549 * [misc]approximate: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in (v) around 0 1539333513.549 * [misc]taylor: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1539333513.549 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.549 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.550 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.550 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.550 * [misc]taylor: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1539333513.550 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.550 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.551 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.551 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.552 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.552 * [misc]backup-simplify: Simplify 0 into 0 1539333513.553 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.553 * [misc]backup-simplify: Simplify 0 into 0 1539333513.554 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.554 * [misc]backup-simplify: Simplify 0 into 0 1539333513.555 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.555 * [misc]backup-simplify: Simplify 0 into 0 1539333513.556 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.556 * [misc]backup-simplify: Simplify 0 into 0 1539333513.557 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.557 * [misc]backup-simplify: Simplify 0 into 0 1539333513.558 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.558 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1539333513.558 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.558 * [misc]approximate: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in (v) around 0 1539333513.558 * [misc]taylor: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1539333513.558 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333513.559 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.559 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.559 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.559 * [misc]taylor: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1539333513.559 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333513.560 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.560 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.560 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.561 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.561 * [misc]backup-simplify: Simplify 0 into 0 1539333513.562 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.562 * [misc]backup-simplify: Simplify 0 into 0 1539333513.563 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.563 * [misc]backup-simplify: Simplify 0 into 0 1539333513.564 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.564 * [misc]backup-simplify: Simplify 0 into 0 1539333513.565 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.565 * [misc]backup-simplify: Simplify 0 into 0 1539333513.566 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) into 0 1539333513.566 * [misc]backup-simplify: Simplify 0 into 0 1539333513.566 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.567 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.567 * [misc]approximate: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in (v) around 0 1539333513.567 * [misc]taylor: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1539333513.567 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.567 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.567 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.568 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.568 * [misc]taylor: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1539333513.568 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.568 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.569 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.569 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.569 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.569 * [misc]backup-simplify: Simplify 0 into 0 1539333513.571 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.571 * [misc]backup-simplify: Simplify 0 into 0 1539333513.571 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.571 * [misc]backup-simplify: Simplify 0 into 0 1539333513.572 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.573 * [misc]backup-simplify: Simplify 0 into 0 1539333513.573 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.573 * [misc]backup-simplify: Simplify 0 into 0 1539333513.575 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.575 * [misc]backup-simplify: Simplify 0 into 0 1539333513.575 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.576 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.576 * [misc]approximate: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in (v) around 0 1539333513.576 * [misc]taylor: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1539333513.576 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.576 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.577 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.577 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.577 * [misc]taylor: Taking taylor expansion of (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1539333513.577 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.577 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.578 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.578 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.578 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) 1539333513.579 * [misc]backup-simplify: Simplify 0 into 0 1539333513.580 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.580 * [misc]backup-simplify: Simplify 0 into 0 1539333513.581 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.581 * [misc]backup-simplify: Simplify 0 into 0 1539333513.582 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.582 * [misc]backup-simplify: Simplify 0 into 0 1539333513.583 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.583 * [misc]backup-simplify: Simplify 0 into 0 1539333513.584 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) into 0 1539333513.584 * [misc]backup-simplify: Simplify 0 into 0 1539333513.585 * [misc]backup-simplify: Simplify (sqrt (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1)))) into (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333513.585 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 1) 1539333513.586 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.586 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1539333513.586 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333513.586 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.586 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1539333513.586 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.587 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.587 * [misc]backup-simplify: Simplify 0 into 0 1539333513.587 * [misc]backup-simplify: Simplify 0 into 0 1539333513.587 * [misc]backup-simplify: Simplify 0 into 0 1539333513.587 * [misc]backup-simplify: Simplify 0 into 0 1539333513.587 * [misc]backup-simplify: Simplify 0 into 0 1539333513.587 * [misc]backup-simplify: Simplify 0 into 0 1539333513.587 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.588 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.588 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333513.588 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.588 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.588 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.589 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.589 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.589 * [misc]backup-simplify: Simplify 0 into 0 1539333513.589 * [misc]backup-simplify: Simplify 0 into 0 1539333513.589 * [misc]backup-simplify: Simplify 0 into 0 1539333513.589 * [misc]backup-simplify: Simplify 0 into 0 1539333513.589 * [misc]backup-simplify: Simplify 0 into 0 1539333513.589 * [misc]backup-simplify: Simplify 0 into 0 1539333513.590 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.591 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.591 * [misc]approximate: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1539333513.591 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.591 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.591 * [misc]taylor: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1539333513.591 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.591 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1539333513.592 * [misc]backup-simplify: Simplify 0 into 0 1539333513.592 * [misc]backup-simplify: Simplify 0 into 0 1539333513.592 * [misc]backup-simplify: Simplify 0 into 0 1539333513.592 * [misc]backup-simplify: Simplify 0 into 0 1539333513.592 * [misc]backup-simplify: Simplify 0 into 0 1539333513.592 * [misc]backup-simplify: Simplify 0 into 0 1539333513.592 * [misc]backup-simplify: Simplify (acos (/ (- 1 (* 5 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333513.592 * * * [misc]progress: simplifying candidates 1539333513.592 * * * * [misc]progress: [ 1 / 74 ] simplifiying candidate # 1539333513.592 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) 1539333513.593 * * [misc]simplify: iters left: 6 (9 enodes) 1539333513.596 * * [misc]simplify: iters left: 5 (25 enodes) 1539333513.604 * * [misc]simplify: iters left: 4 (65 enodes) 1539333513.628 * * [misc]simplify: iters left: 3 (171 enodes) 1539333513.750 * * [misc]simplify: iters left: 2 (429 enodes) 1539333514.278 * [exit]simplify: Simplified to (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) 1539333514.278 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (pow (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) (+ 1/2 1/2))))) 1539333514.278 * [enter]simplify: Simplifying (+ 1/2 1/2) 1539333514.278 * * [misc]simplify: iters left: 2 (2 enodes) 1539333514.279 * * [misc]simplify: iters left: 1 (3 enodes) 1539333514.280 * [exit]simplify: Simplified to 1 1539333514.280 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (exp (log (pow (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) 1)))) 1539333514.280 * * * * [misc]progress: [ 2 / 74 ] simplifiying candidate # 1539333514.280 * [enter]simplify: Simplifying (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) 1539333514.281 * * [misc]simplify: iters left: 6 (10 enodes) 1539333514.284 * * [misc]simplify: iters left: 5 (26 enodes) 1539333514.300 * * [misc]simplify: iters left: 4 (66 enodes) 1539333514.336 * * [misc]simplify: iters left: 3 (172 enodes) 1539333514.444 * * [misc]simplify: iters left: 2 (432 enodes) 1539333514.953 * [exit]simplify: Simplified to (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) 1539333514.953 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (pow (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (+ 1 1))))) 1539333514.953 * [enter]simplify: Simplifying (+ 1 1) 1539333514.954 * * [misc]simplify: iters left: 2 (2 enodes) 1539333514.955 * * [misc]simplify: iters left: 1 (5 enodes) 1539333514.955 * [exit]simplify: Simplified to 2 1539333514.955 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (exp (log (pow (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) 2)))) 1539333514.955 * * * * [misc]progress: [ 3 / 74 ] simplifiying candidate # 1539333514.956 * [enter]simplify: Simplifying (* (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) 1539333514.956 * * [misc]simplify: iters left: 6 (10 enodes) 1539333514.963 * * [misc]simplify: iters left: 5 (26 enodes) 1539333514.978 * * [misc]simplify: iters left: 4 (66 enodes) 1539333515.017 * * [misc]simplify: iters left: 3 (172 enodes) 1539333515.157 * * [misc]simplify: iters left: 2 (432 enodes) 1539333515.691 * [exit]simplify: Simplified to (* (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) 1539333515.691 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (pow (* (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) 1/2)))) 1539333515.691 * * * * [misc]progress: [ 4 / 74 ] simplifiying candidate # 1539333515.692 * [enter]simplify: Simplifying (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) 1539333515.693 * * [misc]simplify: iters left: 6 (11 enodes) 1539333515.700 * * [misc]simplify: iters left: 5 (27 enodes) 1539333515.716 * * [misc]simplify: iters left: 4 (68 enodes) 1539333515.754 * * [misc]simplify: iters left: 3 (173 enodes) 1539333515.881 * * [misc]simplify: iters left: 2 (429 enodes) 1539333516.350 * [exit]simplify: Simplified to (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) 1539333516.350 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (pow (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) 1)))) 1539333516.350 * * * * [misc]progress: [ 5 / 74 ] simplifiying candidate # 1539333516.350 * * * * [misc]progress: [ 6 / 74 ] simplifiying candidate # 1539333516.350 * [enter]simplify: Simplifying (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) 1539333516.351 * * [misc]simplify: iters left: 6 (10 enodes) 1539333516.355 * * [misc]simplify: iters left: 5 (26 enodes) 1539333516.363 * * [misc]simplify: iters left: 4 (66 enodes) 1539333516.386 * * [misc]simplify: iters left: 3 (172 enodes) 1539333516.499 * * [misc]simplify: iters left: 2 (432 enodes) 1539333516.974 * [exit]simplify: Simplified to (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) 1539333516.974 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (pow (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (+ 1 1))))) 1539333516.974 * * * * [misc]progress: [ 7 / 74 ] simplifiying candidate # 1539333516.974 * * * * [misc]progress: [ 8 / 74 ] simplifiying candidate # 1539333516.974 * [enter]simplify: Simplifying (+ (log (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (log (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) 1539333516.975 * * [misc]simplify: iters left: 6 (12 enodes) 1539333516.979 * * [misc]simplify: iters left: 5 (28 enodes) 1539333516.987 * * [misc]simplify: iters left: 4 (68 enodes) 1539333517.009 * * [misc]simplify: iters left: 3 (173 enodes) 1539333517.113 * * [misc]simplify: iters left: 2 (429 enodes) 1539333517.654 * [exit]simplify: Simplified to (+ (log (sqrt (acos (/ (+ (* -5 (* v v)) 1) (- (* v v) 1))))) (log (sqrt (acos (/ (+ (* -5 (* v v)) 1) (- (* v v) 1)))))) 1539333517.654 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (exp (+ (log (sqrt (acos (/ (+ (* -5 (* v v)) 1) (- (* v v) 1))))) (log (sqrt (acos (/ (+ (* -5 (* v v)) 1) (- (* v v) 1)))))))))) 1539333517.654 * * * * [misc]progress: [ 9 / 74 ] simplifiying candidate # 1539333517.655 * * * * [misc]progress: [ 10 / 74 ] simplifiying candidate # 1539333517.655 * * * * [misc]progress: [ 11 / 74 ] simplifiying candidate # 1539333517.655 * [enter]simplify: Simplifying (* (* (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (* (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) 1539333517.656 * * [misc]simplify: iters left: 6 (13 enodes) 1539333517.661 * * [misc]simplify: iters left: 5 (34 enodes) 1539333517.671 * * [misc]simplify: iters left: 4 (83 enodes) 1539333517.696 * * [misc]simplify: iters left: 3 (194 enodes) 1539333517.781 * * [misc]simplify: iters left: 2 (454 enodes) 1539333518.220 * [exit]simplify: Simplified to (pow (acos (/ (+ 1 (* (* v v) -5)) (+ (* v v) -1))) 3) 1539333518.220 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (cbrt (pow (acos (/ (+ 1 (* (* v v) -5)) (+ (* v v) -1))) 3))))) 1539333518.220 * * * * [misc]progress: [ 12 / 74 ] simplifiying candidate # 1539333518.220 * * * * [misc]progress: [ 13 / 74 ] simplifiying candidate # 1539333518.221 * * * * [misc]progress: [ 14 / 74 ] simplifiying candidate # 1539333518.221 * [enter]simplify: Simplifying (* (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) 1539333518.222 * * [misc]simplify: iters left: 6 (10 enodes) 1539333518.229 * * [misc]simplify: iters left: 5 (26 enodes) 1539333518.244 * * [misc]simplify: iters left: 4 (66 enodes) 1539333518.266 * * [misc]simplify: iters left: 3 (172 enodes) 1539333518.368 * * [misc]simplify: iters left: 2 (432 enodes) 1539333518.987 * [exit]simplify: Simplified to (* (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) 1539333518.987 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (sqrt (* (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))))))) 1539333518.987 * * * * [misc]progress: [ 15 / 74 ] simplifiying candidate # 1539333518.987 * * * * [misc]progress: [ 16 / 74 ] simplifiying candidate # 1539333518.987 * [enter]simplify: Simplifying (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) 1539333518.988 * * [misc]simplify: iters left: 6 (8 enodes) 1539333518.994 * * [misc]simplify: iters left: 5 (24 enodes) 1539333519.011 * * [misc]simplify: iters left: 4 (64 enodes) 1539333519.051 * * [misc]simplify: iters left: 3 (171 enodes) 1539333519.162 * * [misc]simplify: iters left: 2 (433 enodes) 1539333519.700 * [exit]simplify: Simplified to (/ (+ (* (* v v) -5) 1) (- (* v v) 1)) 1539333519.700 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (acos (/ (+ (* (* v v) -5) 1) (- (* v v) 1)))))) 1539333519.700 * * * * [misc]progress: [ 17 / 74 ] simplifiying candidate # 1539333519.700 * * * * [misc]progress: [ 18 / 74 ] simplifiying candidate # 1539333519.700 * [enter]simplify: Simplifying (cbrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) 1539333519.701 * * [misc]simplify: iters left: 6 (11 enodes) 1539333519.705 * * [misc]simplify: iters left: 5 (27 enodes) 1539333519.713 * * [misc]simplify: iters left: 4 (67 enodes) 1539333519.734 * * [misc]simplify: iters left: 3 (174 enodes) 1539333519.842 * * [misc]simplify: iters left: 2 (436 enodes) 1539333520.397 * [exit]simplify: Simplified to (cbrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) 1539333520.397 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (exp (log (* (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (cbrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (cbrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))))))) 1539333520.397 * * * * [misc]progress: [ 19 / 74 ] simplifiying candidate # 1539333520.397 * [enter]simplify: Simplifying (sqrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) 1539333520.399 * * [misc]simplify: iters left: 6 (11 enodes) 1539333520.406 * * [misc]simplify: iters left: 5 (27 enodes) 1539333520.421 * * [misc]simplify: iters left: 4 (67 enodes) 1539333520.463 * * [misc]simplify: iters left: 3 (174 enodes) 1539333520.588 * * [misc]simplify: iters left: 2 (436 enodes) 1539333521.126 * [exit]simplify: Simplified to (sqrt (cbrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) 1539333521.126 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (exp (log (* (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (sqrt (cbrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))))))) 1539333521.127 * * * * [misc]progress: [ 20 / 74 ] simplifiying candidate # 1539333521.127 * [enter]simplify: Simplifying (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) 1539333521.128 * * [misc]simplify: iters left: 6 (11 enodes) 1539333521.131 * * [misc]simplify: iters left: 5 (27 enodes) 1539333521.139 * * [misc]simplify: iters left: 4 (67 enodes) 1539333521.161 * * [misc]simplify: iters left: 3 (174 enodes) 1539333521.263 * * [misc]simplify: iters left: 2 (436 enodes) 1539333521.769 * [exit]simplify: Simplified to (sqrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) 1539333521.769 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (exp (log (* (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))))))) 1539333521.769 * * * * [misc]progress: [ 21 / 74 ] simplifiying candidate # 1539333521.770 * [enter]simplify: Simplifying (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) 1539333521.771 * * [misc]simplify: iters left: 6 (10 enodes) 1539333521.778 * * [misc]simplify: iters left: 5 (26 enodes) 1539333521.793 * * [misc]simplify: iters left: 4 (66 enodes) 1539333521.832 * * [misc]simplify: iters left: 3 (172 enodes) 1539333521.967 * * [misc]simplify: iters left: 2 (432 enodes) 1539333522.434 * [exit]simplify: Simplified to (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) 1539333522.435 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (exp (log (* (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt 1)) (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))))))) 1539333522.435 * * * * [misc]progress: [ 22 / 74 ] simplifiying candidate # 1539333522.435 * [enter]simplify: Simplifying (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) 1539333522.436 * * [misc]simplify: iters left: 6 (11 enodes) 1539333522.440 * * [misc]simplify: iters left: 5 (27 enodes) 1539333522.448 * * [misc]simplify: iters left: 4 (67 enodes) 1539333522.470 * * [misc]simplify: iters left: 3 (174 enodes) 1539333522.562 * * [misc]simplify: iters left: 2 (436 enodes) 1539333523.109 * [exit]simplify: Simplified to (sqrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) 1539333523.109 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (exp (log (* (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))))))) 1539333523.109 * * * * [misc]progress: [ 23 / 74 ] simplifiying candidate # 1539333523.109 * [enter]simplify: Simplifying (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) 1539333523.110 * * [misc]simplify: iters left: 6 (10 enodes) 1539333523.114 * * [misc]simplify: iters left: 5 (26 enodes) 1539333523.122 * * [misc]simplify: iters left: 4 (66 enodes) 1539333523.143 * * [misc]simplify: iters left: 3 (172 enodes) 1539333523.254 * * [misc]simplify: iters left: 2 (432 enodes) 1539333523.677 * [exit]simplify: Simplified to (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) 1539333523.677 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (exp (log (* (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) 1) (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))))))) 1539333523.678 * * * * [misc]progress: [ 24 / 74 ] simplifiying candidate # 1539333523.678 * [enter]simplify: Simplifying (* (cbrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) 1539333523.680 * * [misc]simplify: iters left: 6 (12 enodes) 1539333523.687 * * [misc]simplify: iters left: 5 (28 enodes) 1539333523.702 * * [misc]simplify: iters left: 4 (68 enodes) 1539333523.744 * * [misc]simplify: iters left: 3 (173 enodes) 1539333523.883 * * [misc]simplify: iters left: 2 (429 enodes) 1539333524.519 * [exit]simplify: Simplified to (* (cbrt (sqrt (acos (/ (+ (* -5 (* v v)) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (+ (* -5 (* v v)) 1) (- (* v v) 1)))))) 1539333524.519 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (* (* (cbrt (sqrt (acos (/ (+ (* -5 (* v v)) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (+ (* -5 (* v v)) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))) 1539333524.519 * * * * [misc]progress: [ 25 / 74 ] simplifiying candidate # 1539333524.519 * [enter]simplify: Simplifying (sqrt (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) 1539333524.520 * * [misc]simplify: iters left: 6 (12 enodes) 1539333524.525 * * [misc]simplify: iters left: 5 (29 enodes) 1539333524.534 * * [misc]simplify: iters left: 4 (69 enodes) 1539333524.555 * * [misc]simplify: iters left: 3 (175 enodes) 1539333524.692 * * [misc]simplify: iters left: 2 (433 enodes) 1539333525.133 * [exit]simplify: Simplified to (fabs (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))))) 1539333525.133 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (* (fabs (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))))) (* (sqrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))) 1539333525.133 * * * * [misc]progress: [ 26 / 74 ] simplifiying candidate # 1539333525.133 * [enter]simplify: Simplifying (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) 1539333525.134 * * [misc]simplify: iters left: 6 (11 enodes) 1539333525.138 * * [misc]simplify: iters left: 5 (27 enodes) 1539333525.147 * * [misc]simplify: iters left: 4 (67 enodes) 1539333525.168 * * [misc]simplify: iters left: 3 (174 enodes) 1539333525.255 * * [misc]simplify: iters left: 2 (436 enodes) 1539333525.793 * [exit]simplify: Simplified to (sqrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) 1539333525.793 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (* (sqrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))) 1539333525.793 * * * * [misc]progress: [ 27 / 74 ] simplifiying candidate # 1539333525.793 * [enter]simplify: Simplifying (sqrt 1) 1539333525.794 * * [misc]simplify: iters left: 1 (2 enodes) 1539333525.796 * [exit]simplify: Simplified to 1 1539333525.796 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (* 1 (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))) 1539333525.796 * * * * [misc]progress: [ 28 / 74 ] simplifiying candidate # 1539333525.796 * [enter]simplify: Simplifying (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) 1539333525.797 * * [misc]simplify: iters left: 6 (11 enodes) 1539333525.804 * * [misc]simplify: iters left: 5 (27 enodes) 1539333525.820 * * [misc]simplify: iters left: 4 (67 enodes) 1539333525.859 * * [misc]simplify: iters left: 3 (174 enodes) 1539333525.957 * * [misc]simplify: iters left: 2 (436 enodes) 1539333526.462 * [exit]simplify: Simplified to (sqrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) 1539333526.462 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (* (sqrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))) 1539333526.462 * * * * [misc]progress: [ 29 / 74 ] simplifiying candidate # 1539333526.462 * * * * [misc]progress: [ 30 / 74 ] simplifiying candidate # 1539333526.462 * * * * [misc]progress: [ 31 / 74 ] simplifiying candidate # 1539333526.462 * * * * [misc]progress: [ 32 / 74 ] simplifiying candidate # 1539333526.463 * * * * [misc]progress: [ 33 / 74 ] simplifiying candidate # 1539333526.463 * * * * [misc]progress: [ 34 / 74 ] simplifiying candidate # 1539333526.463 * * * * [misc]progress: [ 35 / 74 ] simplifiying candidate # 1539333526.463 * * * * [misc]progress: [ 36 / 74 ] simplifiying candidate # 1539333526.463 * * * * [misc]progress: [ 37 / 74 ] simplifiying candidate # 1539333526.463 * [enter]simplify: Simplifying (sqrt (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) 1539333526.465 * * [misc]simplify: iters left: 6 (12 enodes) 1539333526.472 * * [misc]simplify: iters left: 5 (29 enodes) 1539333526.484 * * [misc]simplify: iters left: 4 (69 enodes) 1539333526.509 * * [misc]simplify: iters left: 3 (175 enodes) 1539333526.630 * * [misc]simplify: iters left: 2 (433 enodes) 1539333527.139 * [exit]simplify: Simplified to (fabs (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))))) 1539333527.139 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (v) (exp (log (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (fabs (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))))) (sqrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))))) 1539333527.139 * * * * [misc]progress: [ 38 / 74 ] simplifiying candidate # 1539333527.140 * [enter]simplify: Simplifying (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) 1539333527.140 * * [misc]simplify: iters left: 6 (11 enodes) 1539333527.144 * * [misc]simplify: iters left: 5 (27 enodes) 1539333527.152 * * [misc]simplify: iters left: 4 (67 enodes) 1539333527.187 * * [misc]simplify: iters left: 3 (174 enodes) 1539333527.267 * * [misc]simplify: iters left: 2 (436 enodes) 1539333527.846 * [exit]simplify: Simplified to (sqrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) 1539333527.846 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (v) (exp (log (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (sqrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))))) 1539333527.846 * * * * [misc]progress: [ 39 / 74 ] simplifiying candidate # 1539333527.846 * [enter]simplify: Simplifying (sqrt 1) 1539333527.847 * * [misc]simplify: iters left: 1 (2 enodes) 1539333527.848 * [exit]simplify: Simplified to 1 1539333527.848 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (v) (exp (log (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* 1 (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))) 1539333527.848 * * * * [misc]progress: [ 40 / 74 ] simplifiying candidate # 1539333527.848 * * * * [misc]progress: [ 41 / 74 ] simplifiying candidate # 1539333527.848 * [enter]simplify: Simplifying (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) 1539333527.849 * * [misc]simplify: iters left: 6 (10 enodes) 1539333527.852 * * [misc]simplify: iters left: 5 (26 enodes) 1539333527.860 * * [misc]simplify: iters left: 4 (66 enodes) 1539333527.884 * * [misc]simplify: iters left: 3 (172 enodes) 1539333528.011 * * [misc]simplify: iters left: 2 (432 enodes) 1539333528.558 * [exit]simplify: Simplified to (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) 1539333528.558 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (v) (exp (log (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (fabs (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))))))) 1539333528.558 * * * * [misc]progress: [ 42 / 74 ] simplifiying candidate # 1539333528.558 * * * * [misc]progress: [ 43 / 74 ] simplifiying candidate # 1539333528.558 * * * * [misc]progress: [ 44 / 74 ] simplifiying candidate # 1539333528.559 * * * * [misc]progress: [ 45 / 74 ] simplifiying candidate # 1539333528.559 * * * * [misc]progress: [ 46 / 74 ] simplifiying candidate # 1539333528.559 * * * * [misc]progress: [ 47 / 74 ] simplifiying candidate # 1539333528.559 * * * * [misc]progress: [ 48 / 74 ] simplifiying candidate # 1539333528.559 * * * * [misc]progress: [ 49 / 74 ] simplifiying candidate # 1539333528.559 * [enter]simplify: Simplifying (sqrt (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) 1539333528.561 * * [misc]simplify: iters left: 6 (12 enodes) 1539333528.568 * * [misc]simplify: iters left: 5 (29 enodes) 1539333528.583 * * [misc]simplify: iters left: 4 (69 enodes) 1539333528.623 * * [misc]simplify: iters left: 3 (175 enodes) 1539333528.764 * * [misc]simplify: iters left: 2 (433 enodes) 1539333529.376 * [exit]simplify: Simplified to (fabs (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))))) 1539333529.376 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (v) (exp (log (* (* (fabs (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))))) (sqrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))) 1539333529.376 * * * * [misc]progress: [ 50 / 74 ] simplifiying candidate # 1539333529.377 * [enter]simplify: Simplifying (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) 1539333529.377 * * [misc]simplify: iters left: 6 (11 enodes) 1539333529.381 * * [misc]simplify: iters left: 5 (27 enodes) 1539333529.389 * * [misc]simplify: iters left: 4 (67 enodes) 1539333529.421 * * [misc]simplify: iters left: 3 (174 enodes) 1539333529.546 * * [misc]simplify: iters left: 2 (436 enodes) 1539333530.486 * [exit]simplify: Simplified to (sqrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) 1539333530.486 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (v) (exp (log (* (* (sqrt (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))) 1539333530.486 * * * * [misc]progress: [ 51 / 74 ] simplifiying candidate # 1539333530.486 * [enter]simplify: Simplifying (sqrt 1) 1539333530.487 * * [misc]simplify: iters left: 1 (2 enodes) 1539333530.488 * [exit]simplify: Simplified to 1 1539333530.488 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (v) (exp (log (* (* 1 (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))) 1539333530.488 * * * * [misc]progress: [ 52 / 74 ] simplifiying candidate # 1539333530.488 * * * * [misc]progress: [ 53 / 74 ] simplifiying candidate # 1539333530.488 * [enter]simplify: Simplifying (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) 1539333530.489 * * [misc]simplify: iters left: 6 (10 enodes) 1539333530.494 * * [misc]simplify: iters left: 5 (26 enodes) 1539333530.508 * * [misc]simplify: iters left: 4 (66 enodes) 1539333530.529 * * [misc]simplify: iters left: 3 (172 enodes) 1539333530.630 * * [misc]simplify: iters left: 2 (432 enodes) 1539333531.108 * [exit]simplify: Simplified to (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) 1539333531.108 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (v) (exp (log (* (fabs (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))) 1539333531.108 * * * * [misc]progress: [ 54 / 74 ] simplifiying candidate # 1539333531.108 * * * * [misc]progress: [ 55 / 74 ] simplifiying candidate # 1539333531.108 * * * * [misc]progress: [ 56 / 74 ] simplifiying candidate # 1539333531.108 * * * * [misc]progress: [ 57 / 74 ] simplifiying candidate # 1539333531.108 * * * * [misc]progress: [ 58 / 74 ] simplifiying candidate # 1539333531.109 * * * * [misc]progress: [ 59 / 74 ] simplifiying candidate # 1539333531.109 * * * * [misc]progress: [ 60 / 74 ] simplifiying candidate # 1539333531.109 * * * * [misc]progress: [ 61 / 74 ] simplifiying candidate # 1539333531.109 * * * * [misc]progress: [ 62 / 74 ] simplifiying candidate # 1539333531.109 * * * * [misc]progress: [ 63 / 74 ] simplifiying candidate # 1539333531.109 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333531.110 * * [misc]simplify: iters left: 6 (10 enodes) 1539333531.113 * * [misc]simplify: iters left: 5 (22 enodes) 1539333531.120 * * [misc]simplify: iters left: 4 (43 enodes) 1539333531.142 * * [misc]simplify: iters left: 3 (93 enodes) 1539333531.185 * * [misc]simplify: iters left: 2 (252 enodes) 1539333531.421 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333531.421 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))))) 1539333531.422 * * * * [misc]progress: [ 64 / 74 ] simplifiying candidate # 1539333531.422 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333531.423 * * [misc]simplify: iters left: 6 (10 enodes) 1539333531.429 * * [misc]simplify: iters left: 5 (22 enodes) 1539333531.439 * * [misc]simplify: iters left: 4 (43 enodes) 1539333531.461 * * [misc]simplify: iters left: 3 (93 enodes) 1539333531.519 * * [misc]simplify: iters left: 2 (252 enodes) 1539333531.746 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333531.746 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))))) 1539333531.746 * * * * [misc]progress: [ 65 / 74 ] simplifiying candidate # 1539333531.746 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333531.747 * * [misc]simplify: iters left: 6 (10 enodes) 1539333531.751 * * [misc]simplify: iters left: 5 (22 enodes) 1539333531.756 * * [misc]simplify: iters left: 4 (43 enodes) 1539333531.768 * * [misc]simplify: iters left: 3 (93 enodes) 1539333531.816 * * [misc]simplify: iters left: 2 (252 enodes) 1539333532.072 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333532.072 * [misc]simplify: Simplified (2 1 1) to (λ (v) (exp (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))))) 1539333532.072 * * * * [misc]progress: [ 66 / 74 ] simplifiying candidate # 1539333532.072 * [enter]simplify: Simplifying (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333532.074 * * [misc]simplify: iters left: 6 (11 enodes) 1539333532.078 * * [misc]simplify: iters left: 5 (23 enodes) 1539333532.083 * * [misc]simplify: iters left: 4 (44 enodes) 1539333532.094 * * [misc]simplify: iters left: 3 (94 enodes) 1539333532.130 * * [misc]simplify: iters left: 2 (253 enodes) 1539333532.340 * [exit]simplify: Simplified to (sqrt (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))) 1539333532.340 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (exp (log (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))))))) 1539333532.340 * * * * [misc]progress: [ 67 / 74 ] simplifiying candidate # 1539333532.341 * [enter]simplify: Simplifying (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333532.342 * * [misc]simplify: iters left: 6 (11 enodes) 1539333532.348 * * [misc]simplify: iters left: 5 (23 enodes) 1539333532.359 * * [misc]simplify: iters left: 4 (44 enodes) 1539333532.381 * * [misc]simplify: iters left: 3 (94 enodes) 1539333532.441 * * [misc]simplify: iters left: 2 (253 enodes) 1539333532.657 * [exit]simplify: Simplified to (sqrt (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))) 1539333532.657 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (exp (log (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))))))) 1539333532.657 * * * * [misc]progress: [ 68 / 74 ] simplifiying candidate # 1539333532.657 * [enter]simplify: Simplifying (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333532.658 * * [misc]simplify: iters left: 6 (11 enodes) 1539333532.662 * * [misc]simplify: iters left: 5 (23 enodes) 1539333532.667 * * [misc]simplify: iters left: 4 (44 enodes) 1539333532.679 * * [misc]simplify: iters left: 3 (94 enodes) 1539333532.733 * * [misc]simplify: iters left: 2 (253 enodes) 1539333532.972 * [exit]simplify: Simplified to (sqrt (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))) 1539333532.973 * [misc]simplify: Simplified (2 1 1 2) to (λ (v) (exp (log (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))))))) 1539333532.973 * * * * [misc]progress: [ 69 / 74 ] simplifiying candidate # 1539333532.973 * [enter]simplify: Simplifying (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333532.974 * * [misc]simplify: iters left: 6 (11 enodes) 1539333532.980 * * [misc]simplify: iters left: 5 (23 enodes) 1539333532.991 * * [misc]simplify: iters left: 4 (44 enodes) 1539333533.012 * * [misc]simplify: iters left: 3 (94 enodes) 1539333533.044 * * [misc]simplify: iters left: 2 (253 enodes) 1539333533.292 * [exit]simplify: Simplified to (sqrt (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))) 1539333533.292 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (* (sqrt (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))) 1539333533.292 * * * * [misc]progress: [ 70 / 74 ] simplifiying candidate # 1539333533.292 * [enter]simplify: Simplifying (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333533.293 * * [misc]simplify: iters left: 6 (11 enodes) 1539333533.296 * * [misc]simplify: iters left: 5 (23 enodes) 1539333533.302 * * [misc]simplify: iters left: 4 (44 enodes) 1539333533.313 * * [misc]simplify: iters left: 3 (94 enodes) 1539333533.361 * * [misc]simplify: iters left: 2 (253 enodes) 1539333533.556 * [exit]simplify: Simplified to (sqrt (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))) 1539333533.556 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (* (sqrt (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))) 1539333533.556 * * * * [misc]progress: [ 71 / 74 ] simplifiying candidate # 1539333533.557 * [enter]simplify: Simplifying (sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 1539333533.557 * * [misc]simplify: iters left: 6 (11 enodes) 1539333533.561 * * [misc]simplify: iters left: 5 (23 enodes) 1539333533.569 * * [misc]simplify: iters left: 4 (44 enodes) 1539333533.590 * * [misc]simplify: iters left: 3 (94 enodes) 1539333533.641 * * [misc]simplify: iters left: 2 (253 enodes) 1539333533.854 * [exit]simplify: Simplified to (sqrt (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))) 1539333533.854 * [misc]simplify: Simplified (2 1 1 1) to (λ (v) (exp (log (* (sqrt (acos (/ (+ (* v (* v -5)) 1) (+ (* v v) -1)))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))) 1539333533.854 * * * * [misc]progress: [ 72 / 74 ] simplifiying candidate # 1539333533.855 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333533.856 * * [misc]simplify: iters left: 6 (10 enodes) 1539333533.861 * * [misc]simplify: iters left: 5 (22 enodes) 1539333533.871 * * [misc]simplify: iters left: 4 (43 enodes) 1539333533.893 * * [misc]simplify: iters left: 3 (93 enodes) 1539333533.954 * * [misc]simplify: iters left: 2 (252 enodes) 1539333534.142 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333534.142 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (v) (exp (log (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))))))) 1539333534.142 * * * * [misc]progress: [ 73 / 74 ] simplifiying candidate # 1539333534.142 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333534.144 * * [misc]simplify: iters left: 6 (10 enodes) 1539333534.150 * * [misc]simplify: iters left: 5 (22 enodes) 1539333534.160 * * [misc]simplify: iters left: 4 (43 enodes) 1539333534.181 * * [misc]simplify: iters left: 3 (93 enodes) 1539333534.248 * * [misc]simplify: iters left: 2 (252 enodes) 1539333534.435 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333534.435 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (v) (exp (log (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))))))) 1539333534.435 * * * * [misc]progress: [ 74 / 74 ] simplifiying candidate # 1539333534.436 * [enter]simplify: Simplifying (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1539333534.436 * * [misc]simplify: iters left: 6 (10 enodes) 1539333534.439 * * [misc]simplify: iters left: 5 (22 enodes) 1539333534.445 * * [misc]simplify: iters left: 4 (43 enodes) 1539333534.456 * * [misc]simplify: iters left: 3 (93 enodes) 1539333534.489 * * [misc]simplify: iters left: 2 (252 enodes) 1539333534.703 * [exit]simplify: Simplified to (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 1539333534.703 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (v) (exp (log (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))))))) 1539333534.704 * * * [misc]progress: adding candidates to table 1539333536.672 * [misc]progress: [Phase 3 of 3] Extracting. 1539333536.672 * * [misc]regime: Finding splitpoints for: (# # # #) 1539333536.675 * * * [misc]regime-changes: Trying 4 branch expressions: (v (* v v) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) 1539333536.675 * * * * [misc]regimes: Trying to branch on v from (# # # #) 1539333536.762 * * * * [misc]regimes: Trying to branch on (* v v) from (# # # #) 1539333536.855 * * * * [misc]regimes: Trying to branch on (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) from (# # # #) 1539333536.963 * * * * [misc]regimes: Trying to branch on (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) from (# # # #) 1539333537.041 * * * [misc]regime: Found split indices: #