36.023 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.158 * * * [progress]: [2/2] Setting up program. 0.163 * [progress]: [Phase 2 of 3] Improving. 0.163 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.163 * [simplify]: Simplifying: (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) 0.163 * * [simplify]: iteration 1: (9 enodes) 0.168 * * [simplify]: iteration 2: (23 enodes) 0.177 * * [simplify]: iteration 3: (63 enodes) 0.199 * * [simplify]: iteration 4: (170 enodes) 0.287 * * [simplify]: iteration 5: (438 enodes) 0.723 * * [simplify]: iteration 6: (1102 enodes) 2.030 * * [simplify]: Extracting #0: cost 1 inf + 0 2.030 * * [simplify]: Extracting #1: cost 2 inf + 0 2.030 * * [simplify]: Extracting #2: cost 11 inf + 0 2.031 * * [simplify]: Extracting #3: cost 268 inf + 0 2.037 * * [simplify]: Extracting #4: cost 690 inf + 7628 2.068 * * [simplify]: Extracting #5: cost 234 inf + 78058 2.125 * * [simplify]: Extracting #6: cost 4 inf + 110049 2.179 * * [simplify]: Extracting #7: cost 0 inf + 110537 2.230 * * [simplify]: Extracting #8: cost 0 inf + 110536 2.258 * [simplify]: Simplified to: (acos (/ (+ (* (* v v) -5) 1) (- (* v v) 1))) 2.261 * * [progress]: iteration 1 / 4 2.261 * * * [progress]: picking best candidate 2.263 * * * * [pick]: Picked # 2.263 * * * [progress]: localizing error 2.280 * * * [progress]: generating rewritten candidates 2.280 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 2.282 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 2.310 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 2.329 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 2.340 * * * [progress]: generating series expansions 2.340 * * * * [progress]: [ 1 / 4 ] generating series at (2) 2.341 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2.341 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 2.341 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 2.341 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2.341 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 2.341 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2.342 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2.342 * [backup-simplify]: Simplify 0 into 0 2.342 * [backup-simplify]: Simplify 0 into 0 2.342 * [backup-simplify]: Simplify 0 into 0 2.342 * [backup-simplify]: Simplify 0 into 0 2.342 * [backup-simplify]: Simplify 0 into 0 2.342 * [backup-simplify]: Simplify 0 into 0 2.342 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 2.342 * [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))) 2.342 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 2.343 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 2.343 * [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))) 2.343 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 2.343 * [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))) 2.343 * [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))) 2.343 * [backup-simplify]: Simplify 0 into 0 2.344 * [backup-simplify]: Simplify 0 into 0 2.344 * [backup-simplify]: Simplify 0 into 0 2.344 * [backup-simplify]: Simplify 0 into 0 2.344 * [backup-simplify]: Simplify 0 into 0 2.344 * [backup-simplify]: Simplify 0 into 0 2.344 * [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))) 2.344 * [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))) 2.344 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 2.344 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 2.345 * [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))) 2.345 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 2.345 * [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))) 2.345 * [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))) 2.345 * [backup-simplify]: Simplify 0 into 0 2.345 * [backup-simplify]: Simplify 0 into 0 2.345 * [backup-simplify]: Simplify 0 into 0 2.346 * [backup-simplify]: Simplify 0 into 0 2.346 * [backup-simplify]: Simplify 0 into 0 2.346 * [backup-simplify]: Simplify 0 into 0 2.346 * [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))) 2.346 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 2.346 * [backup-simplify]: Simplify (* 5 (* v v)) into (* 5 (pow v 2)) 2.346 * [approximate]: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 2.346 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 2.346 * [taylor]: Taking taylor expansion of 5 in v 2.346 * [backup-simplify]: Simplify 5 into 5 2.346 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.346 * [taylor]: Taking taylor expansion of v in v 2.346 * [backup-simplify]: Simplify 0 into 0 2.346 * [backup-simplify]: Simplify 1 into 1 2.347 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 2.347 * [taylor]: Taking taylor expansion of 5 in v 2.347 * [backup-simplify]: Simplify 5 into 5 2.347 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.347 * [taylor]: Taking taylor expansion of v in v 2.347 * [backup-simplify]: Simplify 0 into 0 2.347 * [backup-simplify]: Simplify 1 into 1 2.348 * [backup-simplify]: Simplify (* 1 1) into 1 2.348 * [backup-simplify]: Simplify (* 5 1) into 5 2.348 * [backup-simplify]: Simplify 5 into 5 2.349 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.350 * [backup-simplify]: Simplify (+ (* 5 0) (* 0 1)) into 0 2.350 * [backup-simplify]: Simplify 0 into 0 2.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.352 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 2.352 * [backup-simplify]: Simplify 0 into 0 2.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.354 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.354 * [backup-simplify]: Simplify 0 into 0 2.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.357 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.357 * [backup-simplify]: Simplify 0 into 0 2.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.361 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.361 * [backup-simplify]: Simplify 0 into 0 2.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.365 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.365 * [backup-simplify]: Simplify 0 into 0 2.365 * [backup-simplify]: Simplify (* 5 (pow v 2)) into (* 5 (pow v 2)) 2.365 * [backup-simplify]: Simplify (* 5 (* (/ 1 v) (/ 1 v))) into (/ 5 (pow v 2)) 2.365 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 2.365 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 2.365 * [taylor]: Taking taylor expansion of 5 in v 2.365 * [backup-simplify]: Simplify 5 into 5 2.365 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.365 * [taylor]: Taking taylor expansion of v in v 2.365 * [backup-simplify]: Simplify 0 into 0 2.365 * [backup-simplify]: Simplify 1 into 1 2.366 * [backup-simplify]: Simplify (* 1 1) into 1 2.366 * [backup-simplify]: Simplify (/ 5 1) into 5 2.366 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 2.366 * [taylor]: Taking taylor expansion of 5 in v 2.366 * [backup-simplify]: Simplify 5 into 5 2.366 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.366 * [taylor]: Taking taylor expansion of v in v 2.366 * [backup-simplify]: Simplify 0 into 0 2.366 * [backup-simplify]: Simplify 1 into 1 2.367 * [backup-simplify]: Simplify (* 1 1) into 1 2.367 * [backup-simplify]: Simplify (/ 5 1) into 5 2.367 * [backup-simplify]: Simplify 5 into 5 2.368 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.369 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 2.369 * [backup-simplify]: Simplify 0 into 0 2.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.371 * [backup-simplify]: Simplify 0 into 0 2.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.373 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.373 * [backup-simplify]: Simplify 0 into 0 2.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.375 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.375 * [backup-simplify]: Simplify 0 into 0 2.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.378 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.378 * [backup-simplify]: Simplify 0 into 0 2.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.381 * [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 2.381 * [backup-simplify]: Simplify 0 into 0 2.381 * [backup-simplify]: Simplify (* 5 (pow (/ 1 (/ 1 v)) 2)) into (* 5 (pow v 2)) 2.381 * [backup-simplify]: Simplify (* 5 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5 (pow v 2)) 2.381 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 2.381 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 2.381 * [taylor]: Taking taylor expansion of 5 in v 2.381 * [backup-simplify]: Simplify 5 into 5 2.381 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.381 * [taylor]: Taking taylor expansion of v in v 2.381 * [backup-simplify]: Simplify 0 into 0 2.381 * [backup-simplify]: Simplify 1 into 1 2.382 * [backup-simplify]: Simplify (* 1 1) into 1 2.382 * [backup-simplify]: Simplify (/ 5 1) into 5 2.382 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 2.382 * [taylor]: Taking taylor expansion of 5 in v 2.382 * [backup-simplify]: Simplify 5 into 5 2.382 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.382 * [taylor]: Taking taylor expansion of v in v 2.382 * [backup-simplify]: Simplify 0 into 0 2.382 * [backup-simplify]: Simplify 1 into 1 2.383 * [backup-simplify]: Simplify (* 1 1) into 1 2.383 * [backup-simplify]: Simplify (/ 5 1) into 5 2.383 * [backup-simplify]: Simplify 5 into 5 2.384 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.385 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 2.385 * [backup-simplify]: Simplify 0 into 0 2.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.388 * [backup-simplify]: Simplify 0 into 0 2.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.390 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.390 * [backup-simplify]: Simplify 0 into 0 2.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.392 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.392 * [backup-simplify]: Simplify 0 into 0 2.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.395 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.395 * [backup-simplify]: Simplify 0 into 0 2.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.398 * [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 2.398 * [backup-simplify]: Simplify 0 into 0 2.398 * [backup-simplify]: Simplify (* 5 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5 (pow v 2)) 2.398 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 2.398 * [backup-simplify]: Simplify (- (* v v) 1) into (- (pow v 2) 1) 2.398 * [approximate]: Taking taylor expansion of (- (pow v 2) 1) in (v) around 0 2.398 * [taylor]: Taking taylor expansion of (- (pow v 2) 1) in v 2.399 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.399 * [taylor]: Taking taylor expansion of v in v 2.399 * [backup-simplify]: Simplify 0 into 0 2.399 * [backup-simplify]: Simplify 1 into 1 2.399 * [taylor]: Taking taylor expansion of 1 in v 2.399 * [backup-simplify]: Simplify 1 into 1 2.399 * [taylor]: Taking taylor expansion of (- (pow v 2) 1) in v 2.399 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.399 * [taylor]: Taking taylor expansion of v in v 2.399 * [backup-simplify]: Simplify 0 into 0 2.399 * [backup-simplify]: Simplify 1 into 1 2.399 * [taylor]: Taking taylor expansion of 1 in v 2.399 * [backup-simplify]: Simplify 1 into 1 2.399 * [backup-simplify]: Simplify (- 1) into -1 2.400 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.400 * [backup-simplify]: Simplify -1 into -1 2.400 * [backup-simplify]: Simplify (- 0) into 0 2.401 * [backup-simplify]: Simplify (+ 0 0) into 0 2.401 * [backup-simplify]: Simplify 0 into 0 2.401 * [backup-simplify]: Simplify (* 1 1) into 1 2.401 * [backup-simplify]: Simplify (- 0) into 0 2.402 * [backup-simplify]: Simplify (+ 1 0) into 1 2.402 * [backup-simplify]: Simplify 1 into 1 2.402 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.403 * [backup-simplify]: Simplify (- 0) into 0 2.403 * [backup-simplify]: Simplify (+ 0 0) into 0 2.403 * [backup-simplify]: Simplify 0 into 0 2.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.404 * [backup-simplify]: Simplify (- 0) into 0 2.405 * [backup-simplify]: Simplify (+ 0 0) into 0 2.405 * [backup-simplify]: Simplify 0 into 0 2.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.406 * [backup-simplify]: Simplify (- 0) into 0 2.407 * [backup-simplify]: Simplify (+ 0 0) into 0 2.407 * [backup-simplify]: Simplify 0 into 0 2.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.408 * [backup-simplify]: Simplify (- 0) into 0 2.409 * [backup-simplify]: Simplify (+ 0 0) into 0 2.409 * [backup-simplify]: Simplify 0 into 0 2.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.410 * [backup-simplify]: Simplify (- 0) into 0 2.411 * [backup-simplify]: Simplify (+ 0 0) into 0 2.411 * [backup-simplify]: Simplify 0 into 0 2.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.413 * [backup-simplify]: Simplify (- 0) into 0 2.413 * [backup-simplify]: Simplify (+ 0 0) into 0 2.413 * [backup-simplify]: Simplify 0 into 0 2.413 * [backup-simplify]: Simplify (+ (* 1 (pow v 2)) -1) into (- (pow v 2) 1) 2.413 * [backup-simplify]: Simplify (- (* (/ 1 v) (/ 1 v)) 1) into (- (/ 1 (pow v 2)) 1) 2.414 * [approximate]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in (v) around 0 2.414 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 2.414 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.414 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.414 * [taylor]: Taking taylor expansion of v in v 2.414 * [backup-simplify]: Simplify 0 into 0 2.414 * [backup-simplify]: Simplify 1 into 1 2.414 * [backup-simplify]: Simplify (* 1 1) into 1 2.414 * [backup-simplify]: Simplify (/ 1 1) into 1 2.414 * [taylor]: Taking taylor expansion of 1 in v 2.414 * [backup-simplify]: Simplify 1 into 1 2.415 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 2.415 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.415 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.415 * [taylor]: Taking taylor expansion of v in v 2.415 * [backup-simplify]: Simplify 0 into 0 2.415 * [backup-simplify]: Simplify 1 into 1 2.415 * [backup-simplify]: Simplify (* 1 1) into 1 2.415 * [backup-simplify]: Simplify (/ 1 1) into 1 2.415 * [taylor]: Taking taylor expansion of 1 in v 2.415 * [backup-simplify]: Simplify 1 into 1 2.416 * [backup-simplify]: Simplify (+ 1 0) into 1 2.416 * [backup-simplify]: Simplify 1 into 1 2.417 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.418 * [backup-simplify]: Simplify (+ 0 0) into 0 2.418 * [backup-simplify]: Simplify 0 into 0 2.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.420 * [backup-simplify]: Simplify (- 1) into -1 2.421 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.421 * [backup-simplify]: Simplify -1 into -1 2.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.423 * [backup-simplify]: Simplify (- 0) into 0 2.423 * [backup-simplify]: Simplify (+ 0 0) into 0 2.423 * [backup-simplify]: Simplify 0 into 0 2.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.425 * [backup-simplify]: Simplify (- 0) into 0 2.425 * [backup-simplify]: Simplify (+ 0 0) into 0 2.425 * [backup-simplify]: Simplify 0 into 0 2.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.426 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.427 * [backup-simplify]: Simplify (- 0) into 0 2.427 * [backup-simplify]: Simplify (+ 0 0) into 0 2.427 * [backup-simplify]: Simplify 0 into 0 2.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.429 * [backup-simplify]: Simplify (- 0) into 0 2.429 * [backup-simplify]: Simplify (+ 0 0) into 0 2.429 * [backup-simplify]: Simplify 0 into 0 2.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.431 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.431 * [backup-simplify]: Simplify (- 0) into 0 2.431 * [backup-simplify]: Simplify (+ 0 0) into 0 2.431 * [backup-simplify]: Simplify 0 into 0 2.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.433 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.433 * [backup-simplify]: Simplify (- 0) into 0 2.433 * [backup-simplify]: Simplify (+ 0 0) into 0 2.433 * [backup-simplify]: Simplify 0 into 0 2.433 * [backup-simplify]: Simplify (+ -1 (* 1 (pow (/ 1 (/ 1 v)) 2))) into (- (pow v 2) 1) 2.434 * [backup-simplify]: Simplify (- (* (/ 1 (- v)) (/ 1 (- v))) 1) into (- (/ 1 (pow v 2)) 1) 2.434 * [approximate]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in (v) around 0 2.434 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 2.434 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.434 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.434 * [taylor]: Taking taylor expansion of v in v 2.434 * [backup-simplify]: Simplify 0 into 0 2.434 * [backup-simplify]: Simplify 1 into 1 2.434 * [backup-simplify]: Simplify (* 1 1) into 1 2.434 * [backup-simplify]: Simplify (/ 1 1) into 1 2.434 * [taylor]: Taking taylor expansion of 1 in v 2.434 * [backup-simplify]: Simplify 1 into 1 2.434 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 2.434 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.434 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.434 * [taylor]: Taking taylor expansion of v in v 2.434 * [backup-simplify]: Simplify 0 into 0 2.434 * [backup-simplify]: Simplify 1 into 1 2.435 * [backup-simplify]: Simplify (* 1 1) into 1 2.435 * [backup-simplify]: Simplify (/ 1 1) into 1 2.435 * [taylor]: Taking taylor expansion of 1 in v 2.435 * [backup-simplify]: Simplify 1 into 1 2.435 * [backup-simplify]: Simplify (+ 1 0) into 1 2.435 * [backup-simplify]: Simplify 1 into 1 2.436 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.436 * [backup-simplify]: Simplify (+ 0 0) into 0 2.436 * [backup-simplify]: Simplify 0 into 0 2.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.438 * [backup-simplify]: Simplify (- 1) into -1 2.438 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.438 * [backup-simplify]: Simplify -1 into -1 2.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.440 * [backup-simplify]: Simplify (- 0) into 0 2.440 * [backup-simplify]: Simplify (+ 0 0) into 0 2.440 * [backup-simplify]: Simplify 0 into 0 2.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.441 * [backup-simplify]: Simplify (- 0) into 0 2.442 * [backup-simplify]: Simplify (+ 0 0) into 0 2.442 * [backup-simplify]: Simplify 0 into 0 2.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.444 * [backup-simplify]: Simplify (- 0) into 0 2.444 * [backup-simplify]: Simplify (+ 0 0) into 0 2.444 * [backup-simplify]: Simplify 0 into 0 2.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.446 * [backup-simplify]: Simplify (- 0) into 0 2.446 * [backup-simplify]: Simplify (+ 0 0) into 0 2.446 * [backup-simplify]: Simplify 0 into 0 2.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.450 * [backup-simplify]: Simplify (- 0) into 0 2.450 * [backup-simplify]: Simplify (+ 0 0) into 0 2.450 * [backup-simplify]: Simplify 0 into 0 2.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.452 * [backup-simplify]: Simplify (- 0) into 0 2.453 * [backup-simplify]: Simplify (+ 0 0) into 0 2.453 * [backup-simplify]: Simplify 0 into 0 2.453 * [backup-simplify]: Simplify (+ -1 (* 1 (pow (/ 1 (/ 1 (- v))) 2))) into (- (pow v 2) 1) 2.453 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 2.453 * [backup-simplify]: Simplify (- 1 (* 5 (* v v))) into (- 1 (* 5 (pow v 2))) 2.453 * [approximate]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in (v) around 0 2.453 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 2.453 * [taylor]: Taking taylor expansion of 1 in v 2.453 * [backup-simplify]: Simplify 1 into 1 2.453 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 2.453 * [taylor]: Taking taylor expansion of 5 in v 2.453 * [backup-simplify]: Simplify 5 into 5 2.453 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.453 * [taylor]: Taking taylor expansion of v in v 2.453 * [backup-simplify]: Simplify 0 into 0 2.453 * [backup-simplify]: Simplify 1 into 1 2.453 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 2.453 * [taylor]: Taking taylor expansion of 1 in v 2.453 * [backup-simplify]: Simplify 1 into 1 2.453 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 2.453 * [taylor]: Taking taylor expansion of 5 in v 2.453 * [backup-simplify]: Simplify 5 into 5 2.453 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.453 * [taylor]: Taking taylor expansion of v in v 2.453 * [backup-simplify]: Simplify 0 into 0 2.453 * [backup-simplify]: Simplify 1 into 1 2.454 * [backup-simplify]: Simplify (+ 1 0) into 1 2.454 * [backup-simplify]: Simplify 1 into 1 2.454 * [backup-simplify]: Simplify (+ 0 0) into 0 2.454 * [backup-simplify]: Simplify 0 into 0 2.454 * [backup-simplify]: Simplify (* 1 1) into 1 2.455 * [backup-simplify]: Simplify (* 5 1) into 5 2.455 * [backup-simplify]: Simplify (- 5) into -5 2.455 * [backup-simplify]: Simplify (+ 0 -5) into -5 2.455 * [backup-simplify]: Simplify -5 into -5 2.456 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.456 * [backup-simplify]: Simplify (+ (* 5 0) (* 0 1)) into 0 2.456 * [backup-simplify]: Simplify (- 0) into 0 2.457 * [backup-simplify]: Simplify (+ 0 0) into 0 2.457 * [backup-simplify]: Simplify 0 into 0 2.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.458 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 2.458 * [backup-simplify]: Simplify (- 0) into 0 2.458 * [backup-simplify]: Simplify (+ 0 0) into 0 2.458 * [backup-simplify]: Simplify 0 into 0 2.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.460 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.460 * [backup-simplify]: Simplify (- 0) into 0 2.460 * [backup-simplify]: Simplify (+ 0 0) into 0 2.460 * [backup-simplify]: Simplify 0 into 0 2.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.462 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.462 * [backup-simplify]: Simplify (- 0) into 0 2.462 * [backup-simplify]: Simplify (+ 0 0) into 0 2.462 * [backup-simplify]: Simplify 0 into 0 2.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.464 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.464 * [backup-simplify]: Simplify (- 0) into 0 2.465 * [backup-simplify]: Simplify (+ 0 0) into 0 2.465 * [backup-simplify]: Simplify 0 into 0 2.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.468 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.469 * [backup-simplify]: Simplify (- 0) into 0 2.469 * [backup-simplify]: Simplify (+ 0 0) into 0 2.469 * [backup-simplify]: Simplify 0 into 0 2.469 * [backup-simplify]: Simplify (+ (* -5 (pow v 2)) 1) into (- 1 (* 5 (pow v 2))) 2.469 * [backup-simplify]: Simplify (- 1 (* 5 (* (/ 1 v) (/ 1 v)))) into (- 1 (* 5 (/ 1 (pow v 2)))) 2.469 * [approximate]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in (v) around 0 2.470 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 2.470 * [taylor]: Taking taylor expansion of 1 in v 2.470 * [backup-simplify]: Simplify 1 into 1 2.470 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 2.470 * [taylor]: Taking taylor expansion of 5 in v 2.470 * [backup-simplify]: Simplify 5 into 5 2.470 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.470 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.470 * [taylor]: Taking taylor expansion of v in v 2.470 * [backup-simplify]: Simplify 0 into 0 2.470 * [backup-simplify]: Simplify 1 into 1 2.470 * [backup-simplify]: Simplify (* 1 1) into 1 2.471 * [backup-simplify]: Simplify (/ 1 1) into 1 2.471 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 2.471 * [taylor]: Taking taylor expansion of 1 in v 2.471 * [backup-simplify]: Simplify 1 into 1 2.471 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 2.471 * [taylor]: Taking taylor expansion of 5 in v 2.471 * [backup-simplify]: Simplify 5 into 5 2.471 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.471 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.471 * [taylor]: Taking taylor expansion of v in v 2.471 * [backup-simplify]: Simplify 0 into 0 2.471 * [backup-simplify]: Simplify 1 into 1 2.471 * [backup-simplify]: Simplify (* 1 1) into 1 2.472 * [backup-simplify]: Simplify (/ 1 1) into 1 2.472 * [backup-simplify]: Simplify (* 5 1) into 5 2.473 * [backup-simplify]: Simplify (- 5) into -5 2.473 * [backup-simplify]: Simplify (+ 0 -5) into -5 2.473 * [backup-simplify]: Simplify -5 into -5 2.474 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.475 * [backup-simplify]: Simplify (+ (* 5 0) (* 0 1)) into 0 2.476 * [backup-simplify]: Simplify (- 0) into 0 2.476 * [backup-simplify]: Simplify (+ 0 0) into 0 2.476 * [backup-simplify]: Simplify 0 into 0 2.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.479 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 2.479 * [backup-simplify]: Simplify (- 0) into 0 2.480 * [backup-simplify]: Simplify (+ 1 0) into 1 2.480 * [backup-simplify]: Simplify 1 into 1 2.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.483 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.483 * [backup-simplify]: Simplify (- 0) into 0 2.484 * [backup-simplify]: Simplify (+ 0 0) into 0 2.484 * [backup-simplify]: Simplify 0 into 0 2.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.487 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.488 * [backup-simplify]: Simplify (- 0) into 0 2.488 * [backup-simplify]: Simplify (+ 0 0) into 0 2.488 * [backup-simplify]: Simplify 0 into 0 2.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.492 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.493 * [backup-simplify]: Simplify (- 0) into 0 2.493 * [backup-simplify]: Simplify (+ 0 0) into 0 2.493 * [backup-simplify]: Simplify 0 into 0 2.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.497 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.498 * [backup-simplify]: Simplify (- 0) into 0 2.498 * [backup-simplify]: Simplify (+ 0 0) into 0 2.498 * [backup-simplify]: Simplify 0 into 0 2.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.501 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.503 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.503 * [backup-simplify]: Simplify (- 0) into 0 2.504 * [backup-simplify]: Simplify (+ 0 0) into 0 2.504 * [backup-simplify]: Simplify 0 into 0 2.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.509 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.509 * [backup-simplify]: Simplify (- 0) into 0 2.510 * [backup-simplify]: Simplify (+ 0 0) into 0 2.510 * [backup-simplify]: Simplify 0 into 0 2.510 * [backup-simplify]: Simplify (+ 1 (* -5 (pow (/ 1 (/ 1 v)) 2))) into (- 1 (* 5 (pow v 2))) 2.510 * [backup-simplify]: Simplify (- 1 (* 5 (* (/ 1 (- v)) (/ 1 (- v))))) into (- 1 (* 5 (/ 1 (pow v 2)))) 2.510 * [approximate]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in (v) around 0 2.510 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 2.510 * [taylor]: Taking taylor expansion of 1 in v 2.510 * [backup-simplify]: Simplify 1 into 1 2.510 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 2.510 * [taylor]: Taking taylor expansion of 5 in v 2.510 * [backup-simplify]: Simplify 5 into 5 2.510 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.511 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.511 * [taylor]: Taking taylor expansion of v in v 2.511 * [backup-simplify]: Simplify 0 into 0 2.511 * [backup-simplify]: Simplify 1 into 1 2.511 * [backup-simplify]: Simplify (* 1 1) into 1 2.511 * [backup-simplify]: Simplify (/ 1 1) into 1 2.511 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 2.511 * [taylor]: Taking taylor expansion of 1 in v 2.512 * [backup-simplify]: Simplify 1 into 1 2.512 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 2.512 * [taylor]: Taking taylor expansion of 5 in v 2.512 * [backup-simplify]: Simplify 5 into 5 2.512 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 2.512 * [taylor]: Taking taylor expansion of (pow v 2) in v 2.512 * [taylor]: Taking taylor expansion of v in v 2.512 * [backup-simplify]: Simplify 0 into 0 2.512 * [backup-simplify]: Simplify 1 into 1 2.512 * [backup-simplify]: Simplify (* 1 1) into 1 2.512 * [backup-simplify]: Simplify (/ 1 1) into 1 2.513 * [backup-simplify]: Simplify (* 5 1) into 5 2.513 * [backup-simplify]: Simplify (- 5) into -5 2.514 * [backup-simplify]: Simplify (+ 0 -5) into -5 2.514 * [backup-simplify]: Simplify -5 into -5 2.515 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.516 * [backup-simplify]: Simplify (+ (* 5 0) (* 0 1)) into 0 2.517 * [backup-simplify]: Simplify (- 0) into 0 2.517 * [backup-simplify]: Simplify (+ 0 0) into 0 2.517 * [backup-simplify]: Simplify 0 into 0 2.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.520 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 2.520 * [backup-simplify]: Simplify (- 0) into 0 2.521 * [backup-simplify]: Simplify (+ 1 0) into 1 2.521 * [backup-simplify]: Simplify 1 into 1 2.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.524 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.525 * [backup-simplify]: Simplify (- 0) into 0 2.525 * [backup-simplify]: Simplify (+ 0 0) into 0 2.525 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.529 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.529 * [backup-simplify]: Simplify (- 0) into 0 2.530 * [backup-simplify]: Simplify (+ 0 0) into 0 2.530 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.534 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.534 * [backup-simplify]: Simplify (- 0) into 0 2.534 * [backup-simplify]: Simplify (+ 0 0) into 0 2.534 * [backup-simplify]: Simplify 0 into 0 2.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.539 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.539 * [backup-simplify]: Simplify (- 0) into 0 2.540 * [backup-simplify]: Simplify (+ 0 0) into 0 2.540 * [backup-simplify]: Simplify 0 into 0 2.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.545 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.545 * [backup-simplify]: Simplify (- 0) into 0 2.545 * [backup-simplify]: Simplify (+ 0 0) into 0 2.545 * [backup-simplify]: Simplify 0 into 0 2.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.551 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.551 * [backup-simplify]: Simplify (- 0) into 0 2.552 * [backup-simplify]: Simplify (+ 0 0) into 0 2.552 * [backup-simplify]: Simplify 0 into 0 2.552 * [backup-simplify]: Simplify (+ 1 (* -5 (pow (/ 1 (/ 1 (- v))) 2))) into (- 1 (* 5 (pow v 2))) 2.552 * * * [progress]: simplifying candidates 2.552 * * * * [progress]: [ 1 / 70 ] simplifiying candidate # 2.552 * * * * [progress]: [ 2 / 70 ] simplifiying candidate # 2.552 * * * * [progress]: [ 3 / 70 ] simplifiying candidate # 2.552 * * * * [progress]: [ 4 / 70 ] simplifiying candidate # 2.552 * * * * [progress]: [ 5 / 70 ] simplifiying candidate # 2.552 * * * * [progress]: [ 6 / 70 ] simplifiying candidate # 2.552 * * * * [progress]: [ 7 / 70 ] simplifiying candidate # 2.552 * * * * [progress]: [ 8 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 9 / 70 ] simplifiying candidate #real (real->posit16 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))> 2.553 * * * * [progress]: [ 10 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 11 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 12 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 13 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 14 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 15 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 16 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 17 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 18 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 19 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 20 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 21 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 22 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 23 / 70 ] simplifiying candidate # 2.553 * * * * [progress]: [ 24 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 25 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 26 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 27 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 28 / 70 ] simplifiying candidate #real (real->posit16 (* 5 (* v v))))) (- (* v v) 1))))> 2.554 * * * * [progress]: [ 29 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 30 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 31 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 32 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 33 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 34 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 35 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 36 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 37 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 38 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 39 / 70 ] simplifiying candidate # 2.554 * * * * [progress]: [ 40 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 41 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 42 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 43 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 44 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 45 / 70 ] simplifiying candidate #real (real->posit16 (- (* v v) 1))))))> 2.555 * * * * [progress]: [ 46 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 47 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 48 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 49 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 50 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 51 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 52 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 53 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 54 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 55 / 70 ] simplifiying candidate # 2.555 * * * * [progress]: [ 56 / 70 ] simplifiying candidate # 2.556 * * * * [progress]: [ 57 / 70 ] simplifiying candidate # 2.556 * * * * [progress]: [ 58 / 70 ] simplifiying candidate #real (real->posit16 (- 1 (* 5 (* v v))))) (- (* v v) 1))))> 2.556 * * * * [progress]: [ 59 / 70 ] simplifiying candidate # 2.556 * * * * [progress]: [ 60 / 70 ] simplifiying candidate # 2.556 * * * * [progress]: [ 61 / 70 ] simplifiying candidate # 2.556 * * * * [progress]: [ 62 / 70 ] simplifiying candidate # 2.556 * * * * [progress]: [ 63 / 70 ] simplifiying candidate # 2.556 * * * * [progress]: [ 64 / 70 ] simplifiying candidate # 2.556 * * * * [progress]: [ 65 / 70 ] simplifiying candidate # 2.556 * * * * [progress]: [ 66 / 70 ] simplifiying candidate # 2.556 * * * * [progress]: [ 67 / 70 ] simplifiying candidate # 2.556 * * * * [progress]: [ 68 / 70 ] simplifiying candidate # 2.556 * * * * [progress]: [ 69 / 70 ] simplifiying candidate # 2.556 * * * * [progress]: [ 70 / 70 ] simplifiying candidate # 2.557 * [simplify]: Simplifying: (/ PI 2) (asin (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (exp (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (* (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (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)))) (real->posit16 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* 5 (* v v)) (* 5 (* v v)) (+ (log 5) (+ (log v) (log v))) (+ (log 5) (log (* v v))) (log (* 5 (* v v))) (exp (* 5 (* v v))) (* (* (* 5 5) 5) (* (* (* v v) v) (* (* v v) v))) (* (* (* 5 5) 5) (* (* (* v v) (* v v)) (* v v))) (* (cbrt (* 5 (* v v))) (cbrt (* 5 (* v v)))) (cbrt (* 5 (* v v))) (* (* (* 5 (* v v)) (* 5 (* v v))) (* 5 (* v v))) (sqrt (* 5 (* v v))) (sqrt (* 5 (* v v))) (* (sqrt 5) v) (* (sqrt 5) v) (* 5 v) (* (cbrt 5) (* v v)) (* (sqrt 5) (* v v)) (* 5 (* v v)) (real->posit16 (* 5 (* v v))) (/ (exp (* v v)) (exp 1)) (log (- (* v v) 1)) (exp (- (* v v) 1)) (* (cbrt (- (* v v) 1)) (cbrt (- (* v v) 1))) (cbrt (- (* v v) 1)) (* (* (- (* v v) 1) (- (* v v) 1)) (- (* v v) 1)) (sqrt (- (* v v) 1)) (sqrt (- (* v v) 1)) (- (pow (* v v) 3) (pow 1 3)) (+ (* (* v v) (* v v)) (+ (* 1 1) (* (* v v) 1))) (- 1) (- (* (* v v) (* v v)) (* 1 1)) (+ (* v v) 1) (+ v (sqrt 1)) (- v (sqrt 1)) (+ v 1) (- v 1) (+ v 1) (- v 1) (- 1) (real->posit16 (- (* v v) 1)) (/ (exp 1) (exp (* 5 (* v v)))) (log (- 1 (* 5 (* v v)))) (exp (- 1 (* 5 (* v v)))) (* (cbrt (- 1 (* 5 (* v v)))) (cbrt (- 1 (* 5 (* v v))))) (cbrt (- 1 (* 5 (* v v)))) (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (sqrt (- 1 (* 5 (* v v)))) (sqrt (- 1 (* 5 (* v v)))) (- (pow 1 3) (pow (* 5 (* v v)) 3)) (+ (* 1 1) (+ (* (* 5 (* v v)) (* 5 (* v v))) (* 1 (* 5 (* v v))))) (- (* 5 (* v v))) (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v))) (- (* 5 (* v v))) (real->posit16 (- 1 (* 5 (* v v)))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (* 5 (pow v 2)) (* 5 (pow v 2)) (* 5 (pow v 2)) (- (pow v 2) 1) (- (pow v 2) 1) (- (pow v 2) 1) (- 1 (* 5 (pow v 2))) (- 1 (* 5 (pow v 2))) (- 1 (* 5 (pow v 2))) 2.559 * * [simplify]: iteration 1: (99 enodes) 2.629 * * [simplify]: iteration 2: (256 enodes) 2.755 * * [simplify]: iteration 3: (550 enodes) 3.281 * * [simplify]: iteration 4: (1566 enodes) 16.214 * * [simplify]: Extracting #0: cost 50 inf + 0 16.215 * * [simplify]: Extracting #1: cost 276 inf + 1 16.220 * * [simplify]: Extracting #2: cost 592 inf + 3254 16.235 * * [simplify]: Extracting #3: cost 628 inf + 30412 16.262 * * [simplify]: Extracting #4: cost 242 inf + 120816 16.324 * * [simplify]: Extracting #5: cost 18 inf + 182989 16.372 * * [simplify]: Extracting #6: cost 0 inf + 186623 16.430 * * [simplify]: Extracting #7: cost 0 inf + 186380 16.475 * [simplify]: Simplified to: (/ PI 2) (asin (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v)))) (log (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v))))) (exp (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v))))) (* (cbrt (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v))))) (cbrt (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v)))))) (cbrt (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v))))) (* (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v)))) (* (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v)))) (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v)))))) (sqrt (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v))))) (sqrt (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v))))) (real->posit16 (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v))))) (* (* 5 v) v) (* (* 5 v) v) (log (* (* 5 v) v)) (log (* (* 5 v) v)) (log (* (* 5 v) v)) (exp (* (* 5 v) v)) (* 125 (* (* (* v v) v) (* (* v v) v))) (* 125 (* (* (* v v) v) (* (* v v) v))) (* (cbrt (* (* 5 v) v)) (cbrt (* (* 5 v) v))) (cbrt (* (* 5 v) v)) (* 125 (* (* (* v v) v) (* (* v v) v))) (sqrt (* (* 5 v) v)) (sqrt (* (* 5 v) v)) (* v (sqrt 5)) (* v (sqrt 5)) (* 5 v) (* (cbrt 5) (* v v)) (* v (* v (sqrt 5))) (* (* 5 v) v) (real->posit16 (* (* 5 v) v)) (exp (+ -1 (* v v))) (log (+ -1 (* v v))) (exp (+ -1 (* v v))) (* (cbrt (+ -1 (* v v))) (cbrt (+ -1 (* v v)))) (cbrt (+ -1 (* v v))) (* (+ -1 (* v v)) (* (+ -1 (* v v)) (+ -1 (* v v)))) (sqrt (+ -1 (* v v))) (sqrt (+ -1 (* v v))) (- (* (* (* v v) v) (* (* v v) v)) 1) (+ 1 (+ (* (* v v) (* v v)) (* v v))) -1 (+ (* (* v v) (* v v)) -1) (+ 1 (* v v)) (+ 1 v) (+ v -1) (+ 1 v) (+ v -1) (+ 1 v) (+ v -1) -1 (real->posit16 (+ -1 (* v v))) (* (exp (* v (* -5 v))) E) (log (+ (* v (* -5 v)) 1)) (* (exp (* v (* -5 v))) E) (* (cbrt (+ (* v (* -5 v)) 1)) (cbrt (+ (* v (* -5 v)) 1))) (cbrt (+ (* v (* -5 v)) 1)) (* (+ (* v (* -5 v)) 1) (* (+ (* v (* -5 v)) 1) (+ (* v (* -5 v)) 1))) (sqrt (+ (* v (* -5 v)) 1)) (sqrt (+ (* v (* -5 v)) 1)) (- 1 (* 125 (* (* (* v v) v) (* (* v v) v)))) (+ (* (+ 1 (* (* 5 v) v)) (* (* 5 v) v)) 1) (* v (* -5 v)) (+ (* (* -25 (* v v)) (* v v)) 1) (+ 1 (* (* 5 v) v)) (* v (* -5 v)) (real->posit16 (+ (* v (* -5 v)) 1)) (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v)))) (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v)))) (acos (/ (+ (* v (* -5 v)) 1) (+ -1 (* v v)))) (* (* 5 v) v) (* (* 5 v) v) (* (* 5 v) v) (+ -1 (* v v)) (+ -1 (* v v)) (+ -1 (* v v)) (+ (* v (* -5 v)) 1) (+ (* v (* -5 v)) 1) (+ (* v (* -5 v)) 1) 16.478 * * * [progress]: adding candidates to table 17.075 * * [progress]: iteration 2 / 4 17.075 * * * [progress]: picking best candidate 17.088 * * * * [pick]: Picked # 17.088 * * * [progress]: localizing error 17.112 * * * [progress]: generating rewritten candidates 17.112 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 17.113 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2) 17.138 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 17.143 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 17.146 * * * [progress]: generating series expansions 17.146 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 17.146 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 17.146 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 17.147 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 17.147 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 17.147 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 17.147 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 17.147 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 17.147 * [backup-simplify]: Simplify 0 into 0 17.147 * [backup-simplify]: Simplify 0 into 0 17.148 * [backup-simplify]: Simplify 0 into 0 17.148 * [backup-simplify]: Simplify 0 into 0 17.148 * [backup-simplify]: Simplify 0 into 0 17.148 * [backup-simplify]: Simplify 0 into 0 17.148 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 17.148 * [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))) 17.148 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 17.148 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 17.149 * [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))) 17.149 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 17.149 * [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))) 17.149 * [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))) 17.149 * [backup-simplify]: Simplify 0 into 0 17.149 * [backup-simplify]: Simplify 0 into 0 17.149 * [backup-simplify]: Simplify 0 into 0 17.149 * [backup-simplify]: Simplify 0 into 0 17.149 * [backup-simplify]: Simplify 0 into 0 17.149 * [backup-simplify]: Simplify 0 into 0 17.150 * [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))) 17.150 * [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))) 17.150 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 17.150 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 17.151 * [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))) 17.151 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 17.151 * [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))) 17.151 * [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))) 17.151 * [backup-simplify]: Simplify 0 into 0 17.151 * [backup-simplify]: Simplify 0 into 0 17.151 * [backup-simplify]: Simplify 0 into 0 17.151 * [backup-simplify]: Simplify 0 into 0 17.151 * [backup-simplify]: Simplify 0 into 0 17.152 * [backup-simplify]: Simplify 0 into 0 17.152 * [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))) 17.152 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2) 17.152 * [backup-simplify]: Simplify (* 5 (* v v)) into (* 5 (pow v 2)) 17.152 * [approximate]: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 17.152 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 17.152 * [taylor]: Taking taylor expansion of 5 in v 17.152 * [backup-simplify]: Simplify 5 into 5 17.152 * [taylor]: Taking taylor expansion of (pow v 2) in v 17.152 * [taylor]: Taking taylor expansion of v in v 17.152 * [backup-simplify]: Simplify 0 into 0 17.152 * [backup-simplify]: Simplify 1 into 1 17.152 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 17.152 * [taylor]: Taking taylor expansion of 5 in v 17.152 * [backup-simplify]: Simplify 5 into 5 17.152 * [taylor]: Taking taylor expansion of (pow v 2) in v 17.152 * [taylor]: Taking taylor expansion of v in v 17.152 * [backup-simplify]: Simplify 0 into 0 17.152 * [backup-simplify]: Simplify 1 into 1 17.153 * [backup-simplify]: Simplify (* 1 1) into 1 17.154 * [backup-simplify]: Simplify (* 5 1) into 5 17.154 * [backup-simplify]: Simplify 5 into 5 17.155 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.155 * [backup-simplify]: Simplify (+ (* 5 0) (* 0 1)) into 0 17.155 * [backup-simplify]: Simplify 0 into 0 17.156 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.157 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 17.158 * [backup-simplify]: Simplify 0 into 0 17.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.160 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.160 * [backup-simplify]: Simplify 0 into 0 17.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.163 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.163 * [backup-simplify]: Simplify 0 into 0 17.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.166 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.166 * [backup-simplify]: Simplify 0 into 0 17.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.169 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.169 * [backup-simplify]: Simplify 0 into 0 17.170 * [backup-simplify]: Simplify (* 5 (pow v 2)) into (* 5 (pow v 2)) 17.170 * [backup-simplify]: Simplify (* 5 (* (/ 1 v) (/ 1 v))) into (/ 5 (pow v 2)) 17.170 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 17.170 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 17.170 * [taylor]: Taking taylor expansion of 5 in v 17.170 * [backup-simplify]: Simplify 5 into 5 17.170 * [taylor]: Taking taylor expansion of (pow v 2) in v 17.170 * [taylor]: Taking taylor expansion of v in v 17.170 * [backup-simplify]: Simplify 0 into 0 17.170 * [backup-simplify]: Simplify 1 into 1 17.170 * [backup-simplify]: Simplify (* 1 1) into 1 17.171 * [backup-simplify]: Simplify (/ 5 1) into 5 17.171 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 17.171 * [taylor]: Taking taylor expansion of 5 in v 17.171 * [backup-simplify]: Simplify 5 into 5 17.171 * [taylor]: Taking taylor expansion of (pow v 2) in v 17.171 * [taylor]: Taking taylor expansion of v in v 17.171 * [backup-simplify]: Simplify 0 into 0 17.171 * [backup-simplify]: Simplify 1 into 1 17.172 * [backup-simplify]: Simplify (* 1 1) into 1 17.172 * [backup-simplify]: Simplify (/ 5 1) into 5 17.172 * [backup-simplify]: Simplify 5 into 5 17.173 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.174 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 17.174 * [backup-simplify]: Simplify 0 into 0 17.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.176 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.176 * [backup-simplify]: Simplify 0 into 0 17.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.179 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.179 * [backup-simplify]: Simplify 0 into 0 17.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.181 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.181 * [backup-simplify]: Simplify 0 into 0 17.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.184 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.184 * [backup-simplify]: Simplify 0 into 0 17.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.187 * [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 17.187 * [backup-simplify]: Simplify 0 into 0 17.187 * [backup-simplify]: Simplify (* 5 (pow (/ 1 (/ 1 v)) 2)) into (* 5 (pow v 2)) 17.187 * [backup-simplify]: Simplify (* 5 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5 (pow v 2)) 17.187 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 17.188 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 17.188 * [taylor]: Taking taylor expansion of 5 in v 17.188 * [backup-simplify]: Simplify 5 into 5 17.188 * [taylor]: Taking taylor expansion of (pow v 2) in v 17.188 * [taylor]: Taking taylor expansion of v in v 17.188 * [backup-simplify]: Simplify 0 into 0 17.188 * [backup-simplify]: Simplify 1 into 1 17.188 * [backup-simplify]: Simplify (* 1 1) into 1 17.189 * [backup-simplify]: Simplify (/ 5 1) into 5 17.189 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 17.189 * [taylor]: Taking taylor expansion of 5 in v 17.189 * [backup-simplify]: Simplify 5 into 5 17.189 * [taylor]: Taking taylor expansion of (pow v 2) in v 17.189 * [taylor]: Taking taylor expansion of v in v 17.189 * [backup-simplify]: Simplify 0 into 0 17.189 * [backup-simplify]: Simplify 1 into 1 17.189 * [backup-simplify]: Simplify (* 1 1) into 1 17.190 * [backup-simplify]: Simplify (/ 5 1) into 5 17.190 * [backup-simplify]: Simplify 5 into 5 17.191 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.191 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 17.192 * [backup-simplify]: Simplify 0 into 0 17.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.194 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.194 * [backup-simplify]: Simplify 0 into 0 17.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.196 * [backup-simplify]: Simplify 0 into 0 17.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.199 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.199 * [backup-simplify]: Simplify 0 into 0 17.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.202 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.202 * [backup-simplify]: Simplify 0 into 0 17.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.205 * [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 17.205 * [backup-simplify]: Simplify 0 into 0 17.205 * [backup-simplify]: Simplify (* 5 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5 (pow v 2)) 17.205 * * * * [progress]: [ 3 / 4 ] generating series at (2) 17.206 * [backup-simplify]: Simplify (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 17.206 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 17.206 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 17.206 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 17.206 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 17.206 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 17.207 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 17.207 * [backup-simplify]: Simplify 0 into 0 17.207 * [backup-simplify]: Simplify 0 into 0 17.207 * [backup-simplify]: Simplify 0 into 0 17.207 * [backup-simplify]: Simplify 0 into 0 17.207 * [backup-simplify]: Simplify 0 into 0 17.207 * [backup-simplify]: Simplify 0 into 0 17.207 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 17.207 * [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))) 17.208 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 17.208 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 17.208 * [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))) 17.208 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 17.209 * [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))) 17.209 * [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))) 17.209 * [backup-simplify]: Simplify 0 into 0 17.209 * [backup-simplify]: Simplify 0 into 0 17.209 * [backup-simplify]: Simplify 0 into 0 17.209 * [backup-simplify]: Simplify 0 into 0 17.209 * [backup-simplify]: Simplify 0 into 0 17.210 * [backup-simplify]: Simplify 0 into 0 17.210 * [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))) 17.216 * [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))) 17.216 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 17.216 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 17.216 * [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))) 17.216 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 17.216 * [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))) 17.217 * [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))) 17.217 * [backup-simplify]: Simplify 0 into 0 17.217 * [backup-simplify]: Simplify 0 into 0 17.217 * [backup-simplify]: Simplify 0 into 0 17.217 * [backup-simplify]: Simplify 0 into 0 17.217 * [backup-simplify]: Simplify 0 into 0 17.217 * [backup-simplify]: Simplify 0 into 0 17.217 * [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))) 17.217 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 17.218 * [backup-simplify]: Simplify (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) into (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 17.218 * [approximate]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in (v) around 0 17.218 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 17.218 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 17.218 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 17.218 * [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)))) 17.218 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 17.218 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 17.219 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 17.219 * [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)))) 17.219 * [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)))) 17.221 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1)))) 1) into 0 17.221 * [backup-simplify]: Simplify 0 into 0 17.224 * [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 17.224 * [backup-simplify]: Simplify 0 into 0 17.228 * [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 17.228 * [backup-simplify]: Simplify 0 into 0 17.234 * [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 17.234 * [backup-simplify]: Simplify 0 into 0 17.244 * [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 17.244 * [backup-simplify]: Simplify 0 into 0 17.259 * [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 17.259 * [backup-simplify]: Simplify 0 into 0 17.260 * [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)))) 17.260 * [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)))) 17.260 * [approximate]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in (v) around 0 17.260 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 17.260 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 17.260 * [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))) 17.261 * [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)))) 17.261 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 17.261 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 17.261 * [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))) 17.261 * [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)))) 17.262 * [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)))) 17.263 * [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 17.263 * [backup-simplify]: Simplify 0 into 0 17.265 * [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 17.266 * [backup-simplify]: Simplify 0 into 0 17.269 * [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 17.269 * [backup-simplify]: Simplify 0 into 0 17.275 * [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 17.275 * [backup-simplify]: Simplify 0 into 0 17.285 * [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 17.285 * [backup-simplify]: Simplify 0 into 0 17.300 * [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 17.301 * [backup-simplify]: Simplify 0 into 0 17.301 * [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)))) 17.301 * [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)))) 17.301 * [approximate]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in (v) around 0 17.301 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 17.302 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 17.302 * [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))) 17.302 * [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)))) 17.302 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 17.302 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 17.302 * [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))) 17.303 * [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)))) 17.303 * [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)))) 17.304 * [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 17.304 * [backup-simplify]: Simplify 0 into 0 17.306 * [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 17.307 * [backup-simplify]: Simplify 0 into 0 17.310 * [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 17.310 * [backup-simplify]: Simplify 0 into 0 17.316 * [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 17.316 * [backup-simplify]: Simplify 0 into 0 17.321 * [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 17.321 * [backup-simplify]: Simplify 0 into 0 17.330 * [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 17.330 * [backup-simplify]: Simplify 0 into 0 17.330 * [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)))) 17.330 * * * [progress]: simplifying candidates 17.330 * * * * [progress]: [ 1 / 70 ] simplifiying candidate # 17.330 * * * * [progress]: [ 2 / 70 ] simplifiying candidate # 17.330 * * * * [progress]: [ 3 / 70 ] simplifiying candidate # 17.330 * * * * [progress]: [ 4 / 70 ] simplifiying candidate # 17.330 * * * * [progress]: [ 5 / 70 ] simplifiying candidate # 17.330 * * * * [progress]: [ 6 / 70 ] simplifiying candidate # 17.330 * * * * [progress]: [ 7 / 70 ] simplifiying candidate # 17.330 * * * * [progress]: [ 8 / 70 ] simplifiying candidate # 17.330 * * * * [progress]: [ 9 / 70 ] simplifiying candidate #real (real->posit16 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))> 17.330 * * * * [progress]: [ 10 / 70 ] simplifiying candidate # 17.330 * * * * [progress]: [ 11 / 70 ] simplifiying candidate # 17.330 * * * * [progress]: [ 12 / 70 ] simplifiying candidate # 17.330 * * * * [progress]: [ 13 / 70 ] simplifiying candidate # 17.330 * * * * [progress]: [ 14 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 15 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 16 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 17 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 18 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 19 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 20 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 21 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 22 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 23 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 24 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 25 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 26 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 27 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 28 / 70 ] simplifiying candidate #real (real->posit16 (* 5 (* v v))))) (- (* v v) 1))))))> 17.331 * * * * [progress]: [ 29 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 30 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 31 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 32 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 33 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 34 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 35 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 36 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 37 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 38 / 70 ] simplifiying candidate # 17.331 * * * * [progress]: [ 39 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 40 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 41 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 42 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 43 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 44 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 45 / 70 ] simplifiying candidate #real (real->posit16 (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))> 17.332 * * * * [progress]: [ 46 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 47 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 48 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 49 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 50 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 51 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 52 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 53 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 54 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 55 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 56 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 57 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 58 / 70 ] simplifiying candidate #real (real->posit16 (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))> 17.332 * * * * [progress]: [ 59 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 60 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 61 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 62 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 63 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 64 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 65 / 70 ] simplifiying candidate # 17.332 * * * * [progress]: [ 66 / 70 ] simplifiying candidate # 17.333 * * * * [progress]: [ 67 / 70 ] simplifiying candidate # 17.333 * * * * [progress]: [ 68 / 70 ] simplifiying candidate # 17.333 * * * * [progress]: [ 69 / 70 ] simplifiying candidate # 17.333 * * * * [progress]: [ 70 / 70 ] simplifiying candidate # 17.333 * [simplify]: Simplifying: (/ PI 2) (asin (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (exp (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (* (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (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)))) (real->posit16 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* 5 (* v v)) (* 5 (* v v)) (+ (log 5) (+ (log v) (log v))) (+ (log 5) (log (* v v))) (log (* 5 (* v v))) (exp (* 5 (* v v))) (* (* (* 5 5) 5) (* (* (* v v) v) (* (* v v) v))) (* (* (* 5 5) 5) (* (* (* v v) (* v v)) (* v v))) (* (cbrt (* 5 (* v v))) (cbrt (* 5 (* v v)))) (cbrt (* 5 (* v v))) (* (* (* 5 (* v v)) (* 5 (* v v))) (* 5 (* v v))) (sqrt (* 5 (* v v))) (sqrt (* 5 (* v v))) (* (sqrt 5) v) (* (sqrt 5) v) (* 5 v) (* (cbrt 5) (* v v)) (* (sqrt 5) (* v v)) (* 5 (* v v)) (real->posit16 (* 5 (* v v))) (exp 1) (exp (* (cbrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (exp (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (exp 1) (exp (log (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (exp (log (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (exp (log (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (exp (log (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (exp (log 1)) (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (log (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (exp (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (cbrt (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (cbrt (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (cbrt (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (* (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (real->posit16 (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (log (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (log (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (log (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (log (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (log 1) (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (log (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (* (cbrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (cbrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (* (* (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (real->posit16 (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (* 5 (pow v 2)) (* 5 (pow v 2)) (* 5 (pow v 2)) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) 17.334 * * [simplify]: iteration 1: (83 enodes) 17.366 * * [simplify]: iteration 2: (182 enodes) 17.437 * * [simplify]: iteration 3: (462 enodes) 18.001 * * [simplify]: iteration 4: (1863 enodes) 25.886 * * [simplify]: Extracting #0: cost 36 inf + 0 25.887 * * [simplify]: Extracting #1: cost 183 inf + 3 25.892 * * [simplify]: Extracting #2: cost 347 inf + 3997 25.907 * * [simplify]: Extracting #3: cost 278 inf + 30731 25.945 * * [simplify]: Extracting #4: cost 161 inf + 62386 25.986 * * [simplify]: Extracting #5: cost 23 inf + 87710 26.029 * * [simplify]: Extracting #6: cost 2 inf + 96667 26.077 * * [simplify]: Extracting #7: cost 0 inf + 98566 26.114 * [simplify]: Simplified to: (/ PI 2) (asin (/ (- 1 (* v (* 5 v))) (- (* v v) 1))) (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (exp (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (* (cbrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (cbrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (* (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))) (* (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))) (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (sqrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (real->posit16 (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (* v (* 5 v)) (* v (* 5 v)) (log (* v (* 5 v))) (log (* v (* 5 v))) (log (* v (* 5 v))) (exp (* v (* 5 v))) (* (* v v) (* (* (* v v) (* v v)) 125)) (* (* v v) (* (* (* v v) (* v v)) 125)) (* (cbrt (* v (* 5 v))) (cbrt (* v (* 5 v)))) (cbrt (* v (* 5 v))) (* (* v v) (* (* (* v v) (* v v)) 125)) (sqrt (* v (* 5 v))) (sqrt (* v (* 5 v))) (* v (sqrt 5)) (* v (sqrt 5)) (* 5 v) (* (* v (cbrt 5)) v) (* (sqrt 5) (* v v)) (* v (* 5 v)) (real->posit16 (* v (* 5 v))) E (exp (* (cbrt (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (cbrt (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))))) (exp (sqrt (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))))) E (* (cbrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (cbrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) 1 (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))) (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (exp (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (* (cbrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (cbrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (* (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))) (* (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))) (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (sqrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (real->posit16 (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (log (* (cbrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))))) (log (cbrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (log (sqrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (log (sqrt (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) 0 (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (log (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))) (* (cbrt (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (cbrt (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))))) (cbrt (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (* (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (* (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))))) (sqrt (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (sqrt (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (real->posit16 (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))))) (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))) (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))) (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))) (* v (* 5 v)) (* v (* 5 v)) (* v (* 5 v)) (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))) (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))) (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1))) (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) (log (acos (/ (- 1 (* v (* 5 v))) (- (* v v) 1)))) 26.119 * * * [progress]: adding candidates to table 26.718 * * [progress]: iteration 3 / 4 26.718 * * * [progress]: picking best candidate 26.746 * * * * [pick]: Picked # 26.746 * * * [progress]: localizing error 26.801 * * * [progress]: generating rewritten candidates 26.801 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 26.802 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1) 26.803 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 2) 26.817 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 2) 26.838 * * * [progress]: generating series expansions 26.838 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 26.838 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 26.838 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 26.838 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 26.839 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 26.839 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 26.839 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 26.839 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 26.839 * [backup-simplify]: Simplify 0 into 0 26.839 * [backup-simplify]: Simplify 0 into 0 26.839 * [backup-simplify]: Simplify 0 into 0 26.839 * [backup-simplify]: Simplify 0 into 0 26.839 * [backup-simplify]: Simplify 0 into 0 26.839 * [backup-simplify]: Simplify 0 into 0 26.840 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 26.840 * [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))) 26.840 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 26.840 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 26.840 * [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))) 26.840 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 26.841 * [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))) 26.841 * [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))) 26.841 * [backup-simplify]: Simplify 0 into 0 26.841 * [backup-simplify]: Simplify 0 into 0 26.841 * [backup-simplify]: Simplify 0 into 0 26.841 * [backup-simplify]: Simplify 0 into 0 26.841 * [backup-simplify]: Simplify 0 into 0 26.841 * [backup-simplify]: Simplify 0 into 0 26.841 * [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))) 26.842 * [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))) 26.842 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 26.842 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 26.842 * [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))) 26.842 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 26.842 * [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))) 26.843 * [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))) 26.843 * [backup-simplify]: Simplify 0 into 0 26.843 * [backup-simplify]: Simplify 0 into 0 26.843 * [backup-simplify]: Simplify 0 into 0 26.843 * [backup-simplify]: Simplify 0 into 0 26.843 * [backup-simplify]: Simplify 0 into 0 26.843 * [backup-simplify]: Simplify 0 into 0 26.843 * [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))) 26.844 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1) 26.844 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 26.844 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 26.844 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 26.844 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 26.844 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 26.844 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 26.845 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 26.845 * [backup-simplify]: Simplify 0 into 0 26.845 * [backup-simplify]: Simplify 0 into 0 26.845 * [backup-simplify]: Simplify 0 into 0 26.845 * [backup-simplify]: Simplify 0 into 0 26.845 * [backup-simplify]: Simplify 0 into 0 26.845 * [backup-simplify]: Simplify 0 into 0 26.845 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 26.845 * [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))) 26.845 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 26.845 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 26.846 * [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))) 26.846 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 26.846 * [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))) 26.846 * [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))) 26.846 * [backup-simplify]: Simplify 0 into 0 26.846 * [backup-simplify]: Simplify 0 into 0 26.846 * [backup-simplify]: Simplify 0 into 0 26.846 * [backup-simplify]: Simplify 0 into 0 26.847 * [backup-simplify]: Simplify 0 into 0 26.847 * [backup-simplify]: Simplify 0 into 0 26.847 * [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))) 26.847 * [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))) 26.847 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 26.847 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 26.848 * [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))) 26.848 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 26.848 * [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))) 26.848 * [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))) 26.848 * [backup-simplify]: Simplify 0 into 0 26.848 * [backup-simplify]: Simplify 0 into 0 26.848 * [backup-simplify]: Simplify 0 into 0 26.848 * [backup-simplify]: Simplify 0 into 0 26.848 * [backup-simplify]: Simplify 0 into 0 26.848 * [backup-simplify]: Simplify 0 into 0 26.849 * [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))) 26.849 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 2) 26.849 * [backup-simplify]: Simplify (* 5 (* v v)) into (* 5 (pow v 2)) 26.849 * [approximate]: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 26.849 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 26.849 * [taylor]: Taking taylor expansion of 5 in v 26.849 * [backup-simplify]: Simplify 5 into 5 26.849 * [taylor]: Taking taylor expansion of (pow v 2) in v 26.849 * [taylor]: Taking taylor expansion of v in v 26.849 * [backup-simplify]: Simplify 0 into 0 26.849 * [backup-simplify]: Simplify 1 into 1 26.849 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 26.849 * [taylor]: Taking taylor expansion of 5 in v 26.849 * [backup-simplify]: Simplify 5 into 5 26.849 * [taylor]: Taking taylor expansion of (pow v 2) in v 26.849 * [taylor]: Taking taylor expansion of v in v 26.849 * [backup-simplify]: Simplify 0 into 0 26.849 * [backup-simplify]: Simplify 1 into 1 26.850 * [backup-simplify]: Simplify (* 1 1) into 1 26.851 * [backup-simplify]: Simplify (* 5 1) into 5 26.851 * [backup-simplify]: Simplify 5 into 5 26.851 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 26.852 * [backup-simplify]: Simplify (+ (* 5 0) (* 0 1)) into 0 26.852 * [backup-simplify]: Simplify 0 into 0 26.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 26.853 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 26.853 * [backup-simplify]: Simplify 0 into 0 26.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 26.854 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 26.854 * [backup-simplify]: Simplify 0 into 0 26.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 26.856 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 26.856 * [backup-simplify]: Simplify 0 into 0 26.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 26.858 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 26.858 * [backup-simplify]: Simplify 0 into 0 26.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 26.860 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 26.860 * [backup-simplify]: Simplify 0 into 0 26.860 * [backup-simplify]: Simplify (* 5 (pow v 2)) into (* 5 (pow v 2)) 26.860 * [backup-simplify]: Simplify (* 5 (* (/ 1 v) (/ 1 v))) into (/ 5 (pow v 2)) 26.860 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 26.860 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 26.860 * [taylor]: Taking taylor expansion of 5 in v 26.860 * [backup-simplify]: Simplify 5 into 5 26.860 * [taylor]: Taking taylor expansion of (pow v 2) in v 26.860 * [taylor]: Taking taylor expansion of v in v 26.860 * [backup-simplify]: Simplify 0 into 0 26.860 * [backup-simplify]: Simplify 1 into 1 26.860 * [backup-simplify]: Simplify (* 1 1) into 1 26.860 * [backup-simplify]: Simplify (/ 5 1) into 5 26.861 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 26.861 * [taylor]: Taking taylor expansion of 5 in v 26.861 * [backup-simplify]: Simplify 5 into 5 26.861 * [taylor]: Taking taylor expansion of (pow v 2) in v 26.861 * [taylor]: Taking taylor expansion of v in v 26.861 * [backup-simplify]: Simplify 0 into 0 26.861 * [backup-simplify]: Simplify 1 into 1 26.861 * [backup-simplify]: Simplify (* 1 1) into 1 26.861 * [backup-simplify]: Simplify (/ 5 1) into 5 26.861 * [backup-simplify]: Simplify 5 into 5 26.862 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 26.862 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 26.862 * [backup-simplify]: Simplify 0 into 0 26.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 26.863 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.863 * [backup-simplify]: Simplify 0 into 0 26.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 26.865 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.865 * [backup-simplify]: Simplify 0 into 0 26.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 26.866 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.866 * [backup-simplify]: Simplify 0 into 0 26.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 26.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.868 * [backup-simplify]: Simplify 0 into 0 26.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 26.869 * [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 26.869 * [backup-simplify]: Simplify 0 into 0 26.869 * [backup-simplify]: Simplify (* 5 (pow (/ 1 (/ 1 v)) 2)) into (* 5 (pow v 2)) 26.870 * [backup-simplify]: Simplify (* 5 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5 (pow v 2)) 26.870 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 26.870 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 26.870 * [taylor]: Taking taylor expansion of 5 in v 26.870 * [backup-simplify]: Simplify 5 into 5 26.870 * [taylor]: Taking taylor expansion of (pow v 2) in v 26.870 * [taylor]: Taking taylor expansion of v in v 26.870 * [backup-simplify]: Simplify 0 into 0 26.870 * [backup-simplify]: Simplify 1 into 1 26.870 * [backup-simplify]: Simplify (* 1 1) into 1 26.870 * [backup-simplify]: Simplify (/ 5 1) into 5 26.870 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 26.870 * [taylor]: Taking taylor expansion of 5 in v 26.870 * [backup-simplify]: Simplify 5 into 5 26.870 * [taylor]: Taking taylor expansion of (pow v 2) in v 26.870 * [taylor]: Taking taylor expansion of v in v 26.870 * [backup-simplify]: Simplify 0 into 0 26.870 * [backup-simplify]: Simplify 1 into 1 26.871 * [backup-simplify]: Simplify (* 1 1) into 1 26.871 * [backup-simplify]: Simplify (/ 5 1) into 5 26.871 * [backup-simplify]: Simplify 5 into 5 26.871 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 26.872 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 26.872 * [backup-simplify]: Simplify 0 into 0 26.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 26.873 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.873 * [backup-simplify]: Simplify 0 into 0 26.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 26.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.874 * [backup-simplify]: Simplify 0 into 0 26.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 26.876 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.876 * [backup-simplify]: Simplify 0 into 0 26.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 26.877 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.877 * [backup-simplify]: Simplify 0 into 0 26.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 26.879 * [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 26.879 * [backup-simplify]: Simplify 0 into 0 26.879 * [backup-simplify]: Simplify (* 5 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5 (pow v 2)) 26.879 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 2) 26.879 * [backup-simplify]: Simplify (* 5 (* v v)) into (* 5 (pow v 2)) 26.879 * [approximate]: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 26.879 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 26.879 * [taylor]: Taking taylor expansion of 5 in v 26.879 * [backup-simplify]: Simplify 5 into 5 26.879 * [taylor]: Taking taylor expansion of (pow v 2) in v 26.879 * [taylor]: Taking taylor expansion of v in v 26.879 * [backup-simplify]: Simplify 0 into 0 26.879 * [backup-simplify]: Simplify 1 into 1 26.879 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 26.879 * [taylor]: Taking taylor expansion of 5 in v 26.879 * [backup-simplify]: Simplify 5 into 5 26.879 * [taylor]: Taking taylor expansion of (pow v 2) in v 26.879 * [taylor]: Taking taylor expansion of v in v 26.879 * [backup-simplify]: Simplify 0 into 0 26.879 * [backup-simplify]: Simplify 1 into 1 26.880 * [backup-simplify]: Simplify (* 1 1) into 1 26.880 * [backup-simplify]: Simplify (* 5 1) into 5 26.880 * [backup-simplify]: Simplify 5 into 5 26.880 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 26.883 * [backup-simplify]: Simplify (+ (* 5 0) (* 0 1)) into 0 26.884 * [backup-simplify]: Simplify 0 into 0 26.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 26.885 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 26.885 * [backup-simplify]: Simplify 0 into 0 26.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 26.886 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 26.886 * [backup-simplify]: Simplify 0 into 0 26.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 26.888 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 26.888 * [backup-simplify]: Simplify 0 into 0 26.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 26.889 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 26.889 * [backup-simplify]: Simplify 0 into 0 26.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 26.891 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 26.891 * [backup-simplify]: Simplify 0 into 0 26.892 * [backup-simplify]: Simplify (* 5 (pow v 2)) into (* 5 (pow v 2)) 26.892 * [backup-simplify]: Simplify (* 5 (* (/ 1 v) (/ 1 v))) into (/ 5 (pow v 2)) 26.892 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 26.892 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 26.892 * [taylor]: Taking taylor expansion of 5 in v 26.892 * [backup-simplify]: Simplify 5 into 5 26.892 * [taylor]: Taking taylor expansion of (pow v 2) in v 26.892 * [taylor]: Taking taylor expansion of v in v 26.892 * [backup-simplify]: Simplify 0 into 0 26.892 * [backup-simplify]: Simplify 1 into 1 26.892 * [backup-simplify]: Simplify (* 1 1) into 1 26.893 * [backup-simplify]: Simplify (/ 5 1) into 5 26.893 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 26.893 * [taylor]: Taking taylor expansion of 5 in v 26.893 * [backup-simplify]: Simplify 5 into 5 26.893 * [taylor]: Taking taylor expansion of (pow v 2) in v 26.893 * [taylor]: Taking taylor expansion of v in v 26.893 * [backup-simplify]: Simplify 0 into 0 26.893 * [backup-simplify]: Simplify 1 into 1 26.893 * [backup-simplify]: Simplify (* 1 1) into 1 26.894 * [backup-simplify]: Simplify (/ 5 1) into 5 26.894 * [backup-simplify]: Simplify 5 into 5 26.895 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 26.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 26.896 * [backup-simplify]: Simplify 0 into 0 26.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 26.898 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.898 * [backup-simplify]: Simplify 0 into 0 26.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 26.900 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.900 * [backup-simplify]: Simplify 0 into 0 26.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 26.903 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.903 * [backup-simplify]: Simplify 0 into 0 26.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 26.905 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.905 * [backup-simplify]: Simplify 0 into 0 26.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 26.908 * [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 26.908 * [backup-simplify]: Simplify 0 into 0 26.908 * [backup-simplify]: Simplify (* 5 (pow (/ 1 (/ 1 v)) 2)) into (* 5 (pow v 2)) 26.908 * [backup-simplify]: Simplify (* 5 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5 (pow v 2)) 26.908 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 26.908 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 26.908 * [taylor]: Taking taylor expansion of 5 in v 26.908 * [backup-simplify]: Simplify 5 into 5 26.908 * [taylor]: Taking taylor expansion of (pow v 2) in v 26.908 * [taylor]: Taking taylor expansion of v in v 26.909 * [backup-simplify]: Simplify 0 into 0 26.909 * [backup-simplify]: Simplify 1 into 1 26.909 * [backup-simplify]: Simplify (* 1 1) into 1 26.909 * [backup-simplify]: Simplify (/ 5 1) into 5 26.909 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 26.909 * [taylor]: Taking taylor expansion of 5 in v 26.909 * [backup-simplify]: Simplify 5 into 5 26.910 * [taylor]: Taking taylor expansion of (pow v 2) in v 26.910 * [taylor]: Taking taylor expansion of v in v 26.910 * [backup-simplify]: Simplify 0 into 0 26.910 * [backup-simplify]: Simplify 1 into 1 26.910 * [backup-simplify]: Simplify (* 1 1) into 1 26.910 * [backup-simplify]: Simplify (/ 5 1) into 5 26.910 * [backup-simplify]: Simplify 5 into 5 26.911 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 26.912 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)))) into 0 26.912 * [backup-simplify]: Simplify 0 into 0 26.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 26.914 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.914 * [backup-simplify]: Simplify 0 into 0 26.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 26.917 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.917 * [backup-simplify]: Simplify 0 into 0 26.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 26.919 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.919 * [backup-simplify]: Simplify 0 into 0 26.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 26.921 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.921 * [backup-simplify]: Simplify 0 into 0 26.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 26.922 * [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 26.922 * [backup-simplify]: Simplify 0 into 0 26.922 * [backup-simplify]: Simplify (* 5 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5 (pow v 2)) 26.922 * * * [progress]: simplifying candidates 26.922 * * * * [progress]: [ 1 / 70 ] simplifiying candidate # 26.922 * * * * [progress]: [ 2 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 3 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 4 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 5 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 6 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 7 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 8 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 9 / 70 ] simplifiying candidate #real (real->posit16 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))))> 26.923 * * * * [progress]: [ 10 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 11 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 12 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 13 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 14 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 15 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 16 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 17 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 18 / 70 ] simplifiying candidate #real (real->posit16 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))> 26.923 * * * * [progress]: [ 19 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 20 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 21 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 22 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 23 / 70 ] simplifiying candidate # 26.923 * * * * [progress]: [ 24 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 25 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 26 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 27 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 28 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 29 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 30 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 31 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 32 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 33 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 34 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 35 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 36 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 37 / 70 ] simplifiying candidate #real (real->posit16 (* 5 (* v v))))) (- (* v v) 1))))))))> 26.924 * * * * [progress]: [ 38 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 39 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 40 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 41 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 42 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 43 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 44 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 45 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 46 / 70 ] simplifiying candidate # 26.924 * * * * [progress]: [ 47 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 48 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 49 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 50 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 51 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 52 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 53 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 54 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 55 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 56 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 57 / 70 ] simplifiying candidate #real (real->posit16 (* 5 (* v v))))) (- (* v v) 1))))) (sqrt (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))> 26.925 * * * * [progress]: [ 58 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 59 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 60 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 61 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 62 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 63 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 64 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 65 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 66 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 67 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 68 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 69 / 70 ] simplifiying candidate # 26.925 * * * * [progress]: [ 70 / 70 ] simplifiying candidate # 26.926 * [simplify]: Simplifying: (/ PI 2) (asin (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (exp (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (* (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (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)))) (real->posit16 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (/ PI 2) (asin (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (exp (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (* (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (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)))) (real->posit16 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* 5 (* v v)) (* 5 (* v v)) (+ (log 5) (+ (log v) (log v))) (+ (log 5) (log (* v v))) (log (* 5 (* v v))) (exp (* 5 (* v v))) (* (* (* 5 5) 5) (* (* (* v v) v) (* (* v v) v))) (* (* (* 5 5) 5) (* (* (* v v) (* v v)) (* v v))) (* (cbrt (* 5 (* v v))) (cbrt (* 5 (* v v)))) (cbrt (* 5 (* v v))) (* (* (* 5 (* v v)) (* 5 (* v v))) (* 5 (* v v))) (sqrt (* 5 (* v v))) (sqrt (* 5 (* v v))) (* (sqrt 5) v) (* (sqrt 5) v) (* 5 v) (* (cbrt 5) (* v v)) (* (sqrt 5) (* v v)) (* 5 (* v v)) (real->posit16 (* 5 (* v v))) (* 5 (* v v)) (* 5 (* v v)) (+ (log 5) (+ (log v) (log v))) (+ (log 5) (log (* v v))) (log (* 5 (* v v))) (exp (* 5 (* v v))) (* (* (* 5 5) 5) (* (* (* v v) v) (* (* v v) v))) (* (* (* 5 5) 5) (* (* (* v v) (* v v)) (* v v))) (* (cbrt (* 5 (* v v))) (cbrt (* 5 (* v v)))) (cbrt (* 5 (* v v))) (* (* (* 5 (* v v)) (* 5 (* v v))) (* 5 (* v v))) (sqrt (* 5 (* v v))) (sqrt (* 5 (* v v))) (* (sqrt 5) v) (* (sqrt 5) v) (* 5 v) (* (cbrt 5) (* v v)) (* (sqrt 5) (* v v)) (* 5 (* v v)) (real->posit16 (* 5 (* v v))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (* 5 (pow v 2)) (* 5 (pow v 2)) (* 5 (pow v 2)) (* 5 (pow v 2)) (* 5 (pow v 2)) (* 5 (pow v 2)) 26.927 * * [simplify]: iteration 1: (55 enodes) 26.941 * * [simplify]: iteration 2: (138 enodes) 26.988 * * [simplify]: iteration 3: (407 enodes) 27.753 * * [simplify]: iteration 4: (1980 enodes) 35.048 * * [simplify]: Extracting #0: cost 22 inf + 0 35.049 * * [simplify]: Extracting #1: cost 130 inf + 0 35.052 * * [simplify]: Extracting #2: cost 314 inf + 553 35.063 * * [simplify]: Extracting #3: cost 240 inf + 23902 35.085 * * [simplify]: Extracting #4: cost 207 inf + 38621 35.103 * * [simplify]: Extracting #5: cost 48 inf + 58418 35.125 * * [simplify]: Extracting #6: cost 12 inf + 63751 35.160 * * [simplify]: Extracting #7: cost 0 inf + 68281 35.195 * [simplify]: Simplified to: (/ PI 2) (asin (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) (log (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (exp (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (* (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))))) (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (* (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) (* (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))))) (sqrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (sqrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (real->posit16 (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (/ PI 2) (asin (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) (log (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (exp (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (* (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))))) (cbrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (* (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) (* (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))))) (sqrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (sqrt (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (real->posit16 (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1)))) (* (* v v) 5) (* (* v v) 5) (log (* (* v v) 5)) (log (* (* v v) 5)) (log (* (* v v) 5)) (exp (* (* v v) 5)) (* (* (* v v) (* (* v v) (* v v))) 125) (* (* (* v v) (* (* v v) (* v v))) 125) (* (cbrt (* (* v v) 5)) (cbrt (* (* v v) 5))) (cbrt (* (* v v) 5)) (* (* (* v v) (* (* v v) (* v v))) 125) (sqrt (* (* v v) 5)) (sqrt (* (* v v) 5)) (* v (sqrt 5)) (* v (sqrt 5)) (* 5 v) (* (* v v) (cbrt 5)) (* v (* v (sqrt 5))) (* (* v v) 5) (real->posit16 (* (* v v) 5)) (* (* v v) 5) (* (* v v) 5) (log (* (* v v) 5)) (log (* (* v v) 5)) (log (* (* v v) 5)) (exp (* (* v v) 5)) (* (* (* v v) (* (* v v) (* v v))) 125) (* (* (* v v) (* (* v v) (* v v))) 125) (* (cbrt (* (* v v) 5)) (cbrt (* (* v v) 5))) (cbrt (* (* v v) 5)) (* (* (* v v) (* (* v v) (* v v))) 125) (sqrt (* (* v v) 5)) (sqrt (* (* v v) 5)) (* v (sqrt 5)) (* v (sqrt 5)) (* 5 v) (* (* v v) (cbrt 5)) (* v (* v (sqrt 5))) (* (* v v) 5) (real->posit16 (* (* v v) 5)) (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) (acos (/ (- 1 (* (* v v) 5)) (+ (* v v) -1))) (* (* v v) 5) (* (* v v) 5) (* (* v v) 5) (* (* v v) 5) (* (* v v) 5) (* (* v v) 5) 35.202 * * * [progress]: adding candidates to table 36.297 * * [progress]: iteration 4 / 4 36.297 * * * [progress]: picking best candidate 36.313 * * * * [pick]: Picked # 36.313 * * * [progress]: localizing error 36.411 * * * [progress]: generating rewritten candidates 36.411 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1) 36.413 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 36.415 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 2 2) 36.429 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1 2 1) 36.444 * * * [progress]: generating series expansions 36.445 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1) 36.445 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 36.445 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 36.445 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 36.446 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 36.446 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 36.446 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 36.446 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 36.446 * [backup-simplify]: Simplify 0 into 0 36.446 * [backup-simplify]: Simplify 0 into 0 36.446 * [backup-simplify]: Simplify 0 into 0 36.446 * [backup-simplify]: Simplify 0 into 0 36.447 * [backup-simplify]: Simplify 0 into 0 36.447 * [backup-simplify]: Simplify 0 into 0 36.447 * [backup-simplify]: Simplify (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 36.447 * [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))) 36.447 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 36.447 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 36.447 * [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))) 36.448 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 36.448 * [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))) 36.448 * [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))) 36.448 * [backup-simplify]: Simplify 0 into 0 36.448 * [backup-simplify]: Simplify 0 into 0 36.448 * [backup-simplify]: Simplify 0 into 0 36.448 * [backup-simplify]: Simplify 0 into 0 36.448 * [backup-simplify]: Simplify 0 into 0 36.448 * [backup-simplify]: Simplify 0 into 0 36.449 * [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))) 36.449 * [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))) 36.449 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 36.449 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 36.449 * [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))) 36.450 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 36.450 * [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))) 36.450 * [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))) 36.450 * [backup-simplify]: Simplify 0 into 0 36.450 * [backup-simplify]: Simplify 0 into 0 36.450 * [backup-simplify]: Simplify 0 into 0 36.450 * [backup-simplify]: Simplify 0 into 0 36.450 * [backup-simplify]: Simplify 0 into 0 36.450 * [backup-simplify]: Simplify 0 into 0 36.451 * [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))) 36.451 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 36.452 * [backup-simplify]: Simplify (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1))) into (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) 36.452 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) in (v) around 0 36.452 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) in v 36.453 * [backup-simplify]: Simplify (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) 36.453 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) in v 36.453 * [backup-simplify]: Simplify (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) 36.455 * [backup-simplify]: Simplify (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) 36.455 * [backup-simplify]: Simplify 0 into 0 36.455 * [backup-simplify]: Simplify 0 into 0 36.455 * [backup-simplify]: Simplify 0 into 0 36.455 * [backup-simplify]: Simplify 0 into 0 36.455 * [backup-simplify]: Simplify 0 into 0 36.455 * [backup-simplify]: Simplify 0 into 0 36.456 * [backup-simplify]: Simplify (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) into (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) 36.456 * [backup-simplify]: Simplify (acos (/ (- 1 (* (* (sqrt 5) (/ 1 v)) (* (sqrt 5) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1))) into (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) 36.456 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 36.456 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) in v 36.457 * [backup-simplify]: Simplify (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) 36.457 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) in v 36.458 * [backup-simplify]: Simplify (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) 36.459 * [backup-simplify]: Simplify (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) 36.459 * [backup-simplify]: Simplify 0 into 0 36.459 * [backup-simplify]: Simplify 0 into 0 36.459 * [backup-simplify]: Simplify 0 into 0 36.459 * [backup-simplify]: Simplify 0 into 0 36.459 * [backup-simplify]: Simplify 0 into 0 36.459 * [backup-simplify]: Simplify 0 into 0 36.460 * [backup-simplify]: Simplify (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow (/ 1 v) 2))) (- (/ 1 (pow (/ 1 v) 2)) 1))) into (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) 36.460 * [backup-simplify]: Simplify (acos (/ (- 1 (* (* (sqrt 5) (/ 1 (- v))) (* (sqrt 5) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1))) into (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) 36.460 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 36.460 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) in v 36.461 * [backup-simplify]: Simplify (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) 36.461 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) in v 36.462 * [backup-simplify]: Simplify (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) 36.463 * [backup-simplify]: Simplify (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) into (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow v 2))) (- (/ 1 (pow v 2)) 1))) 36.463 * [backup-simplify]: Simplify 0 into 0 36.463 * [backup-simplify]: Simplify 0 into 0 36.463 * [backup-simplify]: Simplify 0 into 0 36.463 * [backup-simplify]: Simplify 0 into 0 36.463 * [backup-simplify]: Simplify 0 into 0 36.463 * [backup-simplify]: Simplify 0 into 0 36.464 * [backup-simplify]: Simplify (acos (/ (- 1 (/ (pow (sqrt 5) 2) (pow (/ 1 (- v)) 2))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1))) into (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) 36.464 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 2 2) 36.469 * [backup-simplify]: Simplify (* (sqrt 5) v) into (* v (sqrt 5)) 36.469 * [approximate]: Taking taylor expansion of (* v (sqrt 5)) in (v) around 0 36.469 * [taylor]: Taking taylor expansion of (* v (sqrt 5)) in v 36.469 * [taylor]: Taking taylor expansion of v in v 36.469 * [backup-simplify]: Simplify 0 into 0 36.469 * [backup-simplify]: Simplify 1 into 1 36.469 * [taylor]: Taking taylor expansion of (sqrt 5) in v 36.469 * [taylor]: Taking taylor expansion of 5 in v 36.469 * [backup-simplify]: Simplify 5 into 5 36.469 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.470 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 5))) into 0 36.470 * [taylor]: Taking taylor expansion of (* v (sqrt 5)) in v 36.470 * [taylor]: Taking taylor expansion of v in v 36.470 * [backup-simplify]: Simplify 0 into 0 36.470 * [backup-simplify]: Simplify 1 into 1 36.470 * [taylor]: Taking taylor expansion of (sqrt 5) in v 36.470 * [taylor]: Taking taylor expansion of 5 in v 36.470 * [backup-simplify]: Simplify 5 into 5 36.470 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.470 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 5))) into 0 36.471 * [backup-simplify]: Simplify (* 0 (sqrt 5)) into 0 36.471 * [backup-simplify]: Simplify 0 into 0 36.472 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 5))) into (sqrt 5) 36.472 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.473 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 5))) into 0 36.474 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 5)))) into 0 36.474 * [backup-simplify]: Simplify 0 into 0 36.474 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.475 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 5))))) into 0 36.475 * [backup-simplify]: Simplify 0 into 0 36.476 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.477 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5)))))) into 0 36.477 * [backup-simplify]: Simplify 0 into 0 36.478 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.479 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5))))))) into 0 36.479 * [backup-simplify]: Simplify 0 into 0 36.480 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.481 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5)))))))) into 0 36.481 * [backup-simplify]: Simplify 0 into 0 36.482 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.483 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5))))))))) into 0 36.483 * [backup-simplify]: Simplify 0 into 0 36.483 * [backup-simplify]: Simplify (* (sqrt 5) v) into (* v (sqrt 5)) 36.483 * [backup-simplify]: Simplify (* (sqrt 5) (/ 1 v)) into (/ (sqrt 5) v) 36.483 * [approximate]: Taking taylor expansion of (/ (sqrt 5) v) in (v) around 0 36.483 * [taylor]: Taking taylor expansion of (/ (sqrt 5) v) in v 36.483 * [taylor]: Taking taylor expansion of (sqrt 5) in v 36.483 * [taylor]: Taking taylor expansion of 5 in v 36.484 * [backup-simplify]: Simplify 5 into 5 36.484 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.484 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 5))) into 0 36.484 * [taylor]: Taking taylor expansion of v in v 36.484 * [backup-simplify]: Simplify 0 into 0 36.484 * [backup-simplify]: Simplify 1 into 1 36.485 * [backup-simplify]: Simplify (/ (sqrt 5) 1) into (sqrt 5) 36.485 * [taylor]: Taking taylor expansion of (/ (sqrt 5) v) in v 36.485 * [taylor]: Taking taylor expansion of (sqrt 5) in v 36.485 * [taylor]: Taking taylor expansion of 5 in v 36.485 * [backup-simplify]: Simplify 5 into 5 36.485 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.486 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 5))) into 0 36.486 * [taylor]: Taking taylor expansion of v in v 36.486 * [backup-simplify]: Simplify 0 into 0 36.486 * [backup-simplify]: Simplify 1 into 1 36.486 * [backup-simplify]: Simplify (/ (sqrt 5) 1) into (sqrt 5) 36.487 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.487 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)))) into 0 36.487 * [backup-simplify]: Simplify 0 into 0 36.488 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 5))) into 0 36.489 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.489 * [backup-simplify]: Simplify 0 into 0 36.489 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.490 * [backup-simplify]: Simplify 0 into 0 36.491 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.492 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.492 * [backup-simplify]: Simplify 0 into 0 36.493 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.493 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.493 * [backup-simplify]: Simplify 0 into 0 36.494 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.495 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.495 * [backup-simplify]: Simplify 0 into 0 36.495 * [backup-simplify]: Simplify (* (sqrt 5) (/ 1 (/ 1 v))) into (* v (sqrt 5)) 36.496 * [backup-simplify]: Simplify (* (sqrt 5) (/ 1 (- v))) into (* -1 (/ (sqrt 5) v)) 36.496 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 5) v)) in (v) around 0 36.496 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 5) v)) in v 36.496 * [taylor]: Taking taylor expansion of -1 in v 36.496 * [backup-simplify]: Simplify -1 into -1 36.496 * [taylor]: Taking taylor expansion of (/ (sqrt 5) v) in v 36.496 * [taylor]: Taking taylor expansion of (sqrt 5) in v 36.496 * [taylor]: Taking taylor expansion of 5 in v 36.496 * [backup-simplify]: Simplify 5 into 5 36.496 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.497 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 5))) into 0 36.497 * [taylor]: Taking taylor expansion of v in v 36.497 * [backup-simplify]: Simplify 0 into 0 36.497 * [backup-simplify]: Simplify 1 into 1 36.498 * [backup-simplify]: Simplify (/ (sqrt 5) 1) into (sqrt 5) 36.498 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 5) v)) in v 36.498 * [taylor]: Taking taylor expansion of -1 in v 36.498 * [backup-simplify]: Simplify -1 into -1 36.498 * [taylor]: Taking taylor expansion of (/ (sqrt 5) v) in v 36.498 * [taylor]: Taking taylor expansion of (sqrt 5) in v 36.498 * [taylor]: Taking taylor expansion of 5 in v 36.498 * [backup-simplify]: Simplify 5 into 5 36.499 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.499 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 5))) into 0 36.500 * [taylor]: Taking taylor expansion of v in v 36.500 * [backup-simplify]: Simplify 0 into 0 36.500 * [backup-simplify]: Simplify 1 into 1 36.500 * [backup-simplify]: Simplify (/ (sqrt 5) 1) into (sqrt 5) 36.501 * [backup-simplify]: Simplify (* -1 (sqrt 5)) into (* -1 (sqrt 5)) 36.502 * [backup-simplify]: Simplify (* -1 (sqrt 5)) into (* -1 (sqrt 5)) 36.504 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)))) into 0 36.505 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt 5))) into 0 36.505 * [backup-simplify]: Simplify 0 into 0 36.506 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 5))) into 0 36.507 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.509 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt 5)))) into 0 36.509 * [backup-simplify]: Simplify 0 into 0 36.510 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.513 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5))))) into 0 36.513 * [backup-simplify]: Simplify 0 into 0 36.514 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.517 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5)))))) into 0 36.517 * [backup-simplify]: Simplify 0 into 0 36.519 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.521 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5))))))) into 0 36.522 * [backup-simplify]: Simplify 0 into 0 36.523 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.525 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5)))))))) into 0 36.525 * [backup-simplify]: Simplify 0 into 0 36.526 * [backup-simplify]: Simplify (* (* -1 (sqrt 5)) (/ 1 (/ 1 (- v)))) into (* v (sqrt 5)) 36.526 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1 2 1) 36.526 * [backup-simplify]: Simplify (* (sqrt 5) v) into (* v (sqrt 5)) 36.526 * [approximate]: Taking taylor expansion of (* v (sqrt 5)) in (v) around 0 36.526 * [taylor]: Taking taylor expansion of (* v (sqrt 5)) in v 36.526 * [taylor]: Taking taylor expansion of v in v 36.526 * [backup-simplify]: Simplify 0 into 0 36.526 * [backup-simplify]: Simplify 1 into 1 36.526 * [taylor]: Taking taylor expansion of (sqrt 5) in v 36.526 * [taylor]: Taking taylor expansion of 5 in v 36.526 * [backup-simplify]: Simplify 5 into 5 36.526 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.527 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 5))) into 0 36.527 * [taylor]: Taking taylor expansion of (* v (sqrt 5)) in v 36.527 * [taylor]: Taking taylor expansion of v in v 36.527 * [backup-simplify]: Simplify 0 into 0 36.527 * [backup-simplify]: Simplify 1 into 1 36.527 * [taylor]: Taking taylor expansion of (sqrt 5) in v 36.527 * [taylor]: Taking taylor expansion of 5 in v 36.527 * [backup-simplify]: Simplify 5 into 5 36.527 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.528 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 5))) into 0 36.528 * [backup-simplify]: Simplify (* 0 (sqrt 5)) into 0 36.528 * [backup-simplify]: Simplify 0 into 0 36.529 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 5))) into (sqrt 5) 36.530 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.530 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 5))) into 0 36.531 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 5)))) into 0 36.531 * [backup-simplify]: Simplify 0 into 0 36.532 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.533 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 5))))) into 0 36.533 * [backup-simplify]: Simplify 0 into 0 36.534 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.535 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5)))))) into 0 36.535 * [backup-simplify]: Simplify 0 into 0 36.535 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.536 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5))))))) into 0 36.536 * [backup-simplify]: Simplify 0 into 0 36.537 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.538 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5)))))))) into 0 36.538 * [backup-simplify]: Simplify 0 into 0 36.539 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.540 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5))))))))) into 0 36.540 * [backup-simplify]: Simplify 0 into 0 36.541 * [backup-simplify]: Simplify (* (sqrt 5) v) into (* v (sqrt 5)) 36.541 * [backup-simplify]: Simplify (* (sqrt 5) (/ 1 v)) into (/ (sqrt 5) v) 36.541 * [approximate]: Taking taylor expansion of (/ (sqrt 5) v) in (v) around 0 36.541 * [taylor]: Taking taylor expansion of (/ (sqrt 5) v) in v 36.541 * [taylor]: Taking taylor expansion of (sqrt 5) in v 36.541 * [taylor]: Taking taylor expansion of 5 in v 36.541 * [backup-simplify]: Simplify 5 into 5 36.541 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.542 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 5))) into 0 36.542 * [taylor]: Taking taylor expansion of v in v 36.542 * [backup-simplify]: Simplify 0 into 0 36.542 * [backup-simplify]: Simplify 1 into 1 36.543 * [backup-simplify]: Simplify (/ (sqrt 5) 1) into (sqrt 5) 36.543 * [taylor]: Taking taylor expansion of (/ (sqrt 5) v) in v 36.543 * [taylor]: Taking taylor expansion of (sqrt 5) in v 36.543 * [taylor]: Taking taylor expansion of 5 in v 36.543 * [backup-simplify]: Simplify 5 into 5 36.543 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.543 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 5))) into 0 36.543 * [taylor]: Taking taylor expansion of v in v 36.543 * [backup-simplify]: Simplify 0 into 0 36.543 * [backup-simplify]: Simplify 1 into 1 36.545 * [backup-simplify]: Simplify (/ (sqrt 5) 1) into (sqrt 5) 36.546 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.546 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)))) into 0 36.546 * [backup-simplify]: Simplify 0 into 0 36.547 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 5))) into 0 36.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.548 * [backup-simplify]: Simplify 0 into 0 36.548 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.549 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.549 * [backup-simplify]: Simplify 0 into 0 36.550 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.551 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.551 * [backup-simplify]: Simplify 0 into 0 36.552 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.552 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.552 * [backup-simplify]: Simplify 0 into 0 36.553 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.554 * [backup-simplify]: Simplify 0 into 0 36.554 * [backup-simplify]: Simplify (* (sqrt 5) (/ 1 (/ 1 v))) into (* v (sqrt 5)) 36.555 * [backup-simplify]: Simplify (* (sqrt 5) (/ 1 (- v))) into (* -1 (/ (sqrt 5) v)) 36.555 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 5) v)) in (v) around 0 36.555 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 5) v)) in v 36.555 * [taylor]: Taking taylor expansion of -1 in v 36.555 * [backup-simplify]: Simplify -1 into -1 36.555 * [taylor]: Taking taylor expansion of (/ (sqrt 5) v) in v 36.555 * [taylor]: Taking taylor expansion of (sqrt 5) in v 36.555 * [taylor]: Taking taylor expansion of 5 in v 36.555 * [backup-simplify]: Simplify 5 into 5 36.555 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.555 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 5))) into 0 36.555 * [taylor]: Taking taylor expansion of v in v 36.555 * [backup-simplify]: Simplify 0 into 0 36.555 * [backup-simplify]: Simplify 1 into 1 36.556 * [backup-simplify]: Simplify (/ (sqrt 5) 1) into (sqrt 5) 36.556 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 5) v)) in v 36.556 * [taylor]: Taking taylor expansion of -1 in v 36.556 * [backup-simplify]: Simplify -1 into -1 36.556 * [taylor]: Taking taylor expansion of (/ (sqrt 5) v) in v 36.556 * [taylor]: Taking taylor expansion of (sqrt 5) in v 36.556 * [taylor]: Taking taylor expansion of 5 in v 36.556 * [backup-simplify]: Simplify 5 into 5 36.557 * [backup-simplify]: Simplify (sqrt 5) into (sqrt 5) 36.557 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 5))) into 0 36.557 * [taylor]: Taking taylor expansion of v in v 36.557 * [backup-simplify]: Simplify 0 into 0 36.557 * [backup-simplify]: Simplify 1 into 1 36.558 * [backup-simplify]: Simplify (/ (sqrt 5) 1) into (sqrt 5) 36.559 * [backup-simplify]: Simplify (* -1 (sqrt 5)) into (* -1 (sqrt 5)) 36.559 * [backup-simplify]: Simplify (* -1 (sqrt 5)) into (* -1 (sqrt 5)) 36.560 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)))) into 0 36.561 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt 5))) into 0 36.561 * [backup-simplify]: Simplify 0 into 0 36.563 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 5))) into 0 36.564 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.565 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt 5)))) into 0 36.565 * [backup-simplify]: Simplify 0 into 0 36.567 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.568 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.569 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5))))) into 0 36.569 * [backup-simplify]: Simplify 0 into 0 36.571 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.572 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.573 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5)))))) into 0 36.574 * [backup-simplify]: Simplify 0 into 0 36.575 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.578 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.580 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5))))))) into 0 36.580 * [backup-simplify]: Simplify 0 into 0 36.582 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 5))) into 0 36.583 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 36.585 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 5)))))))) into 0 36.585 * [backup-simplify]: Simplify 0 into 0 36.586 * [backup-simplify]: Simplify (* (* -1 (sqrt 5)) (/ 1 (/ 1 (- v)))) into (* v (sqrt 5)) 36.586 * * * [progress]: simplifying candidates 36.586 * * * * [progress]: [ 1 / 76 ] simplifiying candidate # 36.586 * * * * [progress]: [ 2 / 76 ] simplifiying candidate # 36.586 * * * * [progress]: [ 3 / 76 ] simplifiying candidate # 36.586 * * * * [progress]: [ 4 / 76 ] simplifiying candidate # 36.587 * * * * [progress]: [ 5 / 76 ] simplifiying candidate # 36.587 * * * * [progress]: [ 6 / 76 ] simplifiying candidate # 36.587 * * * * [progress]: [ 7 / 76 ] simplifiying candidate # 36.587 * * * * [progress]: [ 8 / 76 ] simplifiying candidate # 36.587 * * * * [progress]: [ 9 / 76 ] simplifiying candidate #real (real->posit16 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (sqrt (log (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1))))))))> 36.587 * * * * [progress]: [ 10 / 76 ] simplifiying candidate # 36.587 * * * * [progress]: [ 11 / 76 ] simplifiying candidate # 36.587 * * * * [progress]: [ 12 / 76 ] simplifiying candidate # 36.587 * * * * [progress]: [ 13 / 76 ] simplifiying candidate # 36.587 * * * * [progress]: [ 14 / 76 ] simplifiying candidate # 36.587 * * * * [progress]: [ 15 / 76 ] simplifiying candidate # 36.587 * * * * [progress]: [ 16 / 76 ] simplifiying candidate # 36.587 * * * * [progress]: [ 17 / 76 ] simplifiying candidate # 36.588 * * * * [progress]: [ 18 / 76 ] simplifiying candidate #real (real->posit16 (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1))))))))))> 36.588 * * * * [progress]: [ 19 / 76 ] simplifiying candidate # 36.588 * * * * [progress]: [ 20 / 76 ] simplifiying candidate # 36.588 * * * * [progress]: [ 21 / 76 ] simplifiying candidate # 36.588 * * * * [progress]: [ 22 / 76 ] simplifiying candidate # 36.588 * * * * [progress]: [ 23 / 76 ] simplifiying candidate # 36.588 * * * * [progress]: [ 24 / 76 ] simplifiying candidate # 36.588 * * * * [progress]: [ 25 / 76 ] simplifiying candidate # 36.588 * * * * [progress]: [ 26 / 76 ] simplifiying candidate # 36.588 * * * * [progress]: [ 27 / 76 ] simplifiying candidate # 36.588 * * * * [progress]: [ 28 / 76 ] simplifiying candidate # 36.588 * * * * [progress]: [ 29 / 76 ] simplifiying candidate # 36.588 * * * * [progress]: [ 30 / 76 ] simplifiying candidate # 36.589 * * * * [progress]: [ 31 / 76 ] simplifiying candidate # 36.589 * * * * [progress]: [ 32 / 76 ] simplifiying candidate # 36.589 * * * * [progress]: [ 33 / 76 ] simplifiying candidate # 36.589 * * * * [progress]: [ 34 / 76 ] simplifiying candidate # 36.589 * * * * [progress]: [ 35 / 76 ] simplifiying candidate # 36.589 * * * * [progress]: [ 36 / 76 ] simplifiying candidate # 36.589 * * * * [progress]: [ 37 / 76 ] simplifiying candidate # 36.589 * * * * [progress]: [ 38 / 76 ] simplifiying candidate # 36.589 * * * * [progress]: [ 39 / 76 ] simplifiying candidate # 36.589 * * * * [progress]: [ 40 / 76 ] simplifiying candidate #real (real->posit16 (* (sqrt 5) v))))) (- (* v v) 1))))))))> 36.589 * * * * [progress]: [ 41 / 76 ] simplifiying candidate # 36.589 * * * * [progress]: [ 42 / 76 ] simplifiying candidate # 36.590 * * * * [progress]: [ 43 / 76 ] simplifiying candidate # 36.590 * * * * [progress]: [ 44 / 76 ] simplifiying candidate # 36.590 * * * * [progress]: [ 45 / 76 ] simplifiying candidate # 36.590 * * * * [progress]: [ 46 / 76 ] simplifiying candidate # 36.590 * * * * [progress]: [ 47 / 76 ] simplifiying candidate # 36.590 * * * * [progress]: [ 48 / 76 ] simplifiying candidate # 36.590 * * * * [progress]: [ 49 / 76 ] simplifiying candidate # 36.590 * * * * [progress]: [ 50 / 76 ] simplifiying candidate # 36.590 * * * * [progress]: [ 51 / 76 ] simplifiying candidate # 36.590 * * * * [progress]: [ 52 / 76 ] simplifiying candidate # 36.590 * * * * [progress]: [ 53 / 76 ] simplifiying candidate # 36.590 * * * * [progress]: [ 54 / 76 ] simplifiying candidate # 36.590 * * * * [progress]: [ 55 / 76 ] simplifiying candidate # 36.591 * * * * [progress]: [ 56 / 76 ] simplifiying candidate # 36.591 * * * * [progress]: [ 57 / 76 ] simplifiying candidate # 36.591 * * * * [progress]: [ 58 / 76 ] simplifiying candidate # 36.591 * * * * [progress]: [ 59 / 76 ] simplifiying candidate # 36.591 * * * * [progress]: [ 60 / 76 ] simplifiying candidate # 36.591 * * * * [progress]: [ 61 / 76 ] simplifiying candidate # 36.591 * * * * [progress]: [ 62 / 76 ] simplifiying candidate # 36.591 * * * * [progress]: [ 63 / 76 ] simplifiying candidate #real (real->posit16 (* (sqrt 5) v))) (* (sqrt 5) v))) (- (* v v) 1))))))))> 36.591 * * * * [progress]: [ 64 / 76 ] simplifiying candidate # 36.591 * * * * [progress]: [ 65 / 76 ] simplifiying candidate # 36.591 * * * * [progress]: [ 66 / 76 ] simplifiying candidate # 36.591 * * * * [progress]: [ 67 / 76 ] simplifiying candidate # 36.591 * * * * [progress]: [ 68 / 76 ] simplifiying candidate # 36.592 * * * * [progress]: [ 69 / 76 ] simplifiying candidate # 36.592 * * * * [progress]: [ 70 / 76 ] simplifiying candidate # 36.592 * * * * [progress]: [ 71 / 76 ] simplifiying candidate # 36.592 * * * * [progress]: [ 72 / 76 ] simplifiying candidate # 36.592 * * * * [progress]: [ 73 / 76 ] simplifiying candidate # 36.592 * * * * [progress]: [ 74 / 76 ] simplifiying candidate # 36.592 * * * * [progress]: [ 75 / 76 ] simplifiying candidate # 36.592 * * * * [progress]: [ 76 / 76 ] simplifiying candidate # 36.593 * [simplify]: Simplifying: (/ PI 2) (asin (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (exp (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (* (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (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)))) (real->posit16 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (/ PI 2) (asin (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1))) (log (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1)))) (exp (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1)))) (* (cbrt (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1))))) (cbrt (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1)))) (* (* (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1))) (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1)))) (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1)))) (real->posit16 (acos (/ (- 1 (* (* (sqrt 5) v) (* (sqrt 5) v))) (- (* v v) 1)))) (* (sqrt 5) v) (+ (log (sqrt 5)) (log v)) (log (* (sqrt 5) v)) (exp (* (sqrt 5) v)) (* (* (* (sqrt 5) (sqrt 5)) (sqrt 5)) (* (* v v) v)) (* (cbrt (* (sqrt 5) v)) (cbrt (* (sqrt 5) v))) (cbrt (* (sqrt 5) v)) (* (* (* (sqrt 5) v) (* (sqrt 5) v)) (* (sqrt 5) v)) (sqrt (* (sqrt 5) v)) (sqrt (* (sqrt 5) v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt 5) (* (cbrt v) (cbrt v))) (* (sqrt 5) (sqrt v)) (* (sqrt 5) 1) (* (cbrt (sqrt 5)) v) (* (sqrt (cbrt 5)) v) (* (sqrt (sqrt 5)) v) (* (sqrt 5) v) (* (sqrt (sqrt 5)) v) (* (sqrt 5) v) (real->posit16 (* (sqrt 5) v)) (* (sqrt 5) v) (+ (log (sqrt 5)) (log v)) (log (* (sqrt 5) v)) (exp (* (sqrt 5) v)) (* (* (* (sqrt 5) (sqrt 5)) (sqrt 5)) (* (* v v) v)) (* (cbrt (* (sqrt 5) v)) (cbrt (* (sqrt 5) v))) (cbrt (* (sqrt 5) v)) (* (* (* (sqrt 5) v) (* (sqrt 5) v)) (* (sqrt 5) v)) (sqrt (* (sqrt 5) v)) (sqrt (* (sqrt 5) v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt 5) (* (cbrt v) (cbrt v))) (* (sqrt 5) (sqrt v)) (* (sqrt 5) 1) (* (cbrt (sqrt 5)) v) (* (sqrt (cbrt 5)) v) (* (sqrt (sqrt 5)) v) (* (sqrt 5) v) (* (sqrt (sqrt 5)) v) (* (sqrt 5) v) (real->posit16 (* (sqrt 5) v)) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) (acos (/ (- 1 (* (pow v 2) (pow (sqrt 5) 2))) (- (pow v 2) 1))) (* v (sqrt 5)) (* v (sqrt 5)) (* v (sqrt 5)) (* v (sqrt 5)) (* v (sqrt 5)) (* v (sqrt 5)) 36.595 * * [simplify]: iteration 1: (76 enodes) 36.627 * * [simplify]: iteration 2: (142 enodes) 36.698 * * [simplify]: iteration 3: (343 enodes) 36.938 * * [simplify]: iteration 4: (1081 enodes) 38.345 * * [simplify]: Extracting #0: cost 25 inf + 0 38.345 * * [simplify]: Extracting #1: cost 72 inf + 0 38.345 * * [simplify]: Extracting #2: cost 97 inf + 435 38.347 * * [simplify]: Extracting #3: cost 443 inf + 5457 38.365 * * [simplify]: Extracting #4: cost 678 inf + 47910 38.417 * * [simplify]: Extracting #5: cost 107 inf + 136953 38.480 * * [simplify]: Extracting #6: cost 0 inf + 149651 38.547 * [simplify]: Simplified to: (/ PI 2) (asin (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (log (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (exp (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (* (cbrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) (cbrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (* (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (* (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (real->posit16 (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (/ PI 2) (asin (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (log (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (exp (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (* (cbrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) (cbrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (* (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (* (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))))) (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (real->posit16 (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1)))) (* v (sqrt 5)) (log (* v (sqrt 5))) (log (* v (sqrt 5))) (exp (* v (sqrt 5))) (* (* (* v v) (* v 5)) (sqrt 5)) (* (cbrt (* v (sqrt 5))) (cbrt (* v (sqrt 5)))) (cbrt (* v (sqrt 5))) (* (* (* v v) (* v 5)) (sqrt 5)) (sqrt (* v (sqrt 5))) (sqrt (* v (sqrt 5))) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (* (cbrt v) (sqrt 5)) (cbrt v)) (* (sqrt v) (sqrt 5)) (sqrt 5) (* (cbrt (sqrt 5)) v) (* (sqrt (cbrt 5)) v) (* v (sqrt (sqrt 5))) (* v (sqrt 5)) (* v (sqrt (sqrt 5))) (* v (sqrt 5)) (real->posit16 (* v (sqrt 5))) (* v (sqrt 5)) (log (* v (sqrt 5))) (log (* v (sqrt 5))) (exp (* v (sqrt 5))) (* (* (* v v) (* v 5)) (sqrt 5)) (* (cbrt (* v (sqrt 5))) (cbrt (* v (sqrt 5)))) (cbrt (* v (sqrt 5))) (* (* (* v v) (* v 5)) (sqrt 5)) (sqrt (* v (sqrt 5))) (sqrt (* v (sqrt 5))) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (sqrt (sqrt 5)) (sqrt v)) (* (* (cbrt v) (sqrt 5)) (cbrt v)) (* (sqrt v) (sqrt 5)) (sqrt 5) (* (cbrt (sqrt 5)) v) (* (sqrt (cbrt 5)) v) (* v (sqrt (sqrt 5))) (* v (sqrt 5)) (* v (sqrt (sqrt 5))) (* v (sqrt 5)) (real->posit16 (* v (sqrt 5))) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (acos (/ (- 1 (* (* v v) 5)) (- (* v v) 1))) (* v (sqrt 5)) (* v (sqrt 5)) (* v (sqrt 5)) (* v (sqrt 5)) (* v (sqrt 5)) (* v (sqrt 5)) 38.566 * * * [progress]: adding candidates to table 39.997 * [progress]: [Phase 3 of 3] Extracting. 39.997 * * [regime]: Finding splitpoints for: (# # # #) 39.999 * * * [regime-changes]: Trying 4 branch expressions: ((* v v) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) v) 39.999 * * * * [regimes]: Trying to branch on (* v v) from (# # # #) 40.055 * * * * [regimes]: Trying to branch on (* v v) from (# # #) 40.097 * * * * [regimes]: Trying to branch on (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) from (# # # #) 40.145 * * * * [regimes]: Trying to branch on (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) from (# # #) 40.165 * * * * [regimes]: Trying to branch on (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) from (# # # #) 40.194 * * * * [regimes]: Trying to branch on (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) from (# # #) 40.238 * * * * [regimes]: Trying to branch on v from (# # # #) 40.269 * * * [regime]: Found split indices: #