74.232 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.058 * * * [progress]: [2/2] Setting up program. 0.061 * [progress]: [Phase 2 of 3] Improving. 0.061 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.061 * [simplify]: Simplifying: (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0.061 * * [simplify]: iteration 1: (9 enodes) 0.064 * * [simplify]: iteration 2: (16 enodes) 0.066 * * [simplify]: iteration 3: (20 enodes) 0.070 * * [simplify]: iteration 4: (28 enodes) 0.075 * * [simplify]: iteration 5: (49 enodes) 0.086 * * [simplify]: iteration 6: (101 enodes) 0.141 * * [simplify]: iteration 7: (233 enodes) 0.249 * * [simplify]: iteration 8: (573 enodes) 0.905 * * [simplify]: iteration 9: (1956 enodes) 10.458 * * [simplify]: Extracting #0: cost 1 inf + 0 10.458 * * [simplify]: Extracting #1: cost 4 inf + 0 10.459 * * [simplify]: Extracting #2: cost 4 inf + 2 10.459 * * [simplify]: Extracting #3: cost 5 inf + 3 10.460 * * [simplify]: Extracting #4: cost 253 inf + 3 10.468 * * [simplify]: Extracting #5: cost 1128 inf + 233 10.480 * * [simplify]: Extracting #6: cost 1135 inf + 5578 10.504 * * [simplify]: Extracting #7: cost 979 inf + 93782 10.609 * * [simplify]: Extracting #8: cost 328 inf + 775521 10.814 * * [simplify]: Extracting #9: cost 0 inf + 1131251 10.984 * * [simplify]: Extracting #10: cost 0 inf + 1118680 11.170 * * [simplify]: Extracting #11: cost 0 inf + 1117786 11.353 * [simplify]: Simplified to: (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 11.357 * * [progress]: iteration 1 / 4 11.357 * * * [progress]: picking best candidate 11.360 * * * * [pick]: Picked # 11.360 * * * [progress]: localizing error 11.387 * * * [progress]: generating rewritten candidates 11.387 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 11.461 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 11.474 * * * [progress]: generating series expansions 11.474 * * * * [progress]: [ 1 / 2 ] generating series at (2) 11.474 * [backup-simplify]: Simplify (- (/ 2 (+ 1 (exp (* -2 x)))) 1) into (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) 11.474 * [approximate]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) in (x) around 0 11.474 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) in x 11.474 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (exp (* -2 x)) 1))) in x 11.474 * [taylor]: Taking taylor expansion of 2 in x 11.474 * [backup-simplify]: Simplify 2 into 2 11.474 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2 x)) 1)) in x 11.474 * [taylor]: Taking taylor expansion of (+ (exp (* -2 x)) 1) in x 11.474 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 11.474 * [taylor]: Taking taylor expansion of (* -2 x) in x 11.474 * [taylor]: Taking taylor expansion of -2 in x 11.474 * [backup-simplify]: Simplify -2 into -2 11.474 * [taylor]: Taking taylor expansion of x in x 11.474 * [backup-simplify]: Simplify 0 into 0 11.474 * [backup-simplify]: Simplify 1 into 1 11.475 * [backup-simplify]: Simplify (* -2 0) into 0 11.475 * [backup-simplify]: Simplify (+ (* -2 1) (* 0 0)) into -2 11.476 * [backup-simplify]: Simplify (exp 0) into 1 11.476 * [taylor]: Taking taylor expansion of 1 in x 11.476 * [backup-simplify]: Simplify 1 into 1 11.476 * [backup-simplify]: Simplify (+ 1 1) into 2 11.476 * [backup-simplify]: Simplify (/ 1 2) into 1/2 11.476 * [taylor]: Taking taylor expansion of 1 in x 11.476 * [backup-simplify]: Simplify 1 into 1 11.476 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) in x 11.476 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (exp (* -2 x)) 1))) in x 11.476 * [taylor]: Taking taylor expansion of 2 in x 11.476 * [backup-simplify]: Simplify 2 into 2 11.476 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2 x)) 1)) in x 11.476 * [taylor]: Taking taylor expansion of (+ (exp (* -2 x)) 1) in x 11.476 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 11.476 * [taylor]: Taking taylor expansion of (* -2 x) in x 11.476 * [taylor]: Taking taylor expansion of -2 in x 11.476 * [backup-simplify]: Simplify -2 into -2 11.476 * [taylor]: Taking taylor expansion of x in x 11.476 * [backup-simplify]: Simplify 0 into 0 11.476 * [backup-simplify]: Simplify 1 into 1 11.477 * [backup-simplify]: Simplify (* -2 0) into 0 11.477 * [backup-simplify]: Simplify (+ (* -2 1) (* 0 0)) into -2 11.477 * [backup-simplify]: Simplify (exp 0) into 1 11.477 * [taylor]: Taking taylor expansion of 1 in x 11.477 * [backup-simplify]: Simplify 1 into 1 11.477 * [backup-simplify]: Simplify (+ 1 1) into 2 11.478 * [backup-simplify]: Simplify (/ 1 2) into 1/2 11.478 * [taylor]: Taking taylor expansion of 1 in x 11.478 * [backup-simplify]: Simplify 1 into 1 11.478 * [backup-simplify]: Simplify (* 2 1/2) into 1 11.478 * [backup-simplify]: Simplify (- 1) into -1 11.479 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.479 * [backup-simplify]: Simplify 0 into 0 11.480 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 1) 1)))) into -2 11.480 * [backup-simplify]: Simplify (+ -2 0) into -2 11.481 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ -2 2)))) into 1/2 11.481 * [backup-simplify]: Simplify (+ (* 2 1/2) (* 0 1/2)) into 1 11.481 * [backup-simplify]: Simplify (- 0) into 0 11.481 * [backup-simplify]: Simplify (+ 1 0) into 1 11.481 * [backup-simplify]: Simplify 1 into 1 11.482 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 1) (* 0 0))) into 0 11.483 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 2) 2)) (* (/ (pow 0 1) 1)))) into 2 11.483 * [backup-simplify]: Simplify (+ 2 0) into 2 11.484 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ 2 2)) (* 1/2 (/ -2 2)))) into 0 11.484 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1/2) (* 0 1/2))) into 0 11.485 * [backup-simplify]: Simplify (- 0) into 0 11.485 * [backup-simplify]: Simplify (+ 0 0) into 0 11.485 * [backup-simplify]: Simplify 0 into 0 11.486 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 11.489 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 3) 6)) (* (/ (pow -2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -4/3 11.489 * [backup-simplify]: Simplify (+ -4/3 0) into -4/3 11.491 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ -4/3 2)) (* 1/2 (/ 2 2)) (* 0 (/ -2 2)))) into -1/6 11.492 * [backup-simplify]: Simplify (+ (* 2 -1/6) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/2)))) into -1/3 11.492 * [backup-simplify]: Simplify (- 0) into 0 11.492 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 11.492 * [backup-simplify]: Simplify -1/3 into -1/3 11.493 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 11.495 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 4) 24)) (* (/ (pow -2 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 2/3 11.496 * [backup-simplify]: Simplify (+ 2/3 0) into 2/3 11.497 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ 2/3 2)) (* 1/2 (/ -4/3 2)) (* 0 (/ 2 2)) (* -1/6 (/ -2 2)))) into 0 11.498 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 -1/6) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/2))))) into 0 11.498 * [backup-simplify]: Simplify (- 0) into 0 11.498 * [backup-simplify]: Simplify (+ 0 0) into 0 11.498 * [backup-simplify]: Simplify 0 into 0 11.499 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 11.502 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 5) 120)) (* (/ (pow -2 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -2 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -2 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -4/15 11.503 * [backup-simplify]: Simplify (+ -4/15 0) into -4/15 11.504 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ -4/15 2)) (* 1/2 (/ 2/3 2)) (* 0 (/ -4/3 2)) (* -1/6 (/ 2 2)) (* 0 (/ -2 2)))) into 1/15 11.505 * [backup-simplify]: Simplify (+ (* 2 1/15) (+ (* 0 0) (+ (* 0 -1/6) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/2)))))) into 2/15 11.506 * [backup-simplify]: Simplify (- 0) into 0 11.506 * [backup-simplify]: Simplify (+ 2/15 0) into 2/15 11.506 * [backup-simplify]: Simplify 2/15 into 2/15 11.506 * [backup-simplify]: Simplify (+ (* 2/15 (pow x 5)) (+ (* -1/3 (pow x 3)) (* 1 x))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 11.507 * [backup-simplify]: Simplify (- (/ 2 (+ 1 (exp (* -2 (/ 1 x))))) 1) into (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) 11.507 * [approximate]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) in (x) around 0 11.507 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) in x 11.507 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) in x 11.507 * [taylor]: Taking taylor expansion of 2 in x 11.507 * [backup-simplify]: Simplify 2 into 2 11.507 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2 x)) 1)) in x 11.507 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 11.507 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 11.507 * [taylor]: Taking taylor expansion of (/ -2 x) in x 11.507 * [taylor]: Taking taylor expansion of -2 in x 11.507 * [backup-simplify]: Simplify -2 into -2 11.507 * [taylor]: Taking taylor expansion of x in x 11.507 * [backup-simplify]: Simplify 0 into 0 11.507 * [backup-simplify]: Simplify 1 into 1 11.507 * [backup-simplify]: Simplify (/ -2 1) into -2 11.507 * [backup-simplify]: Simplify (exp (/ -2 x)) into (exp (/ -2 x)) 11.507 * [taylor]: Taking taylor expansion of 1 in x 11.507 * [backup-simplify]: Simplify 1 into 1 11.507 * [backup-simplify]: Simplify (+ (exp (/ -2 x)) 1) into (+ (exp (/ -2 x)) 1) 11.507 * [backup-simplify]: Simplify (/ 1 (+ (exp (/ -2 x)) 1)) into (/ 1 (+ (exp (/ -2 x)) 1)) 11.507 * [taylor]: Taking taylor expansion of 1 in x 11.507 * [backup-simplify]: Simplify 1 into 1 11.507 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) in x 11.507 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) in x 11.507 * [taylor]: Taking taylor expansion of 2 in x 11.507 * [backup-simplify]: Simplify 2 into 2 11.507 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2 x)) 1)) in x 11.507 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 11.507 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 11.507 * [taylor]: Taking taylor expansion of (/ -2 x) in x 11.507 * [taylor]: Taking taylor expansion of -2 in x 11.507 * [backup-simplify]: Simplify -2 into -2 11.508 * [taylor]: Taking taylor expansion of x in x 11.508 * [backup-simplify]: Simplify 0 into 0 11.508 * [backup-simplify]: Simplify 1 into 1 11.508 * [backup-simplify]: Simplify (/ -2 1) into -2 11.508 * [backup-simplify]: Simplify (exp (/ -2 x)) into (exp (/ -2 x)) 11.508 * [taylor]: Taking taylor expansion of 1 in x 11.508 * [backup-simplify]: Simplify 1 into 1 11.508 * [backup-simplify]: Simplify (+ (exp (/ -2 x)) 1) into (+ (exp (/ -2 x)) 1) 11.508 * [backup-simplify]: Simplify (/ 1 (+ (exp (/ -2 x)) 1)) into (/ 1 (+ (exp (/ -2 x)) 1)) 11.508 * [taylor]: Taking taylor expansion of 1 in x 11.508 * [backup-simplify]: Simplify 1 into 1 11.508 * [backup-simplify]: Simplify (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) into (/ 2 (+ (exp (/ -2 x)) 1)) 11.508 * [backup-simplify]: Simplify (- 1) into -1 11.508 * [backup-simplify]: Simplify (+ (/ 2 (+ (exp (/ -2 x)) 1)) -1) into (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) 11.509 * [backup-simplify]: Simplify (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) into (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) 11.509 * [backup-simplify]: Simplify (+ 0 0) into 0 11.509 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 11.509 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 (+ (exp (/ -2 x)) 1)))) into 0 11.510 * [backup-simplify]: Simplify (- 0) into 0 11.510 * [backup-simplify]: Simplify (+ 0 0) into 0 11.510 * [backup-simplify]: Simplify 0 into 0 11.510 * [backup-simplify]: Simplify (+ 0 0) into 0 11.510 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 11.511 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ -2 x)) 1))))) into 0 11.511 * [backup-simplify]: Simplify (- 0) into 0 11.512 * [backup-simplify]: Simplify (+ 0 0) into 0 11.512 * [backup-simplify]: Simplify 0 into 0 11.512 * [backup-simplify]: Simplify (+ 0 0) into 0 11.512 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 11.514 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ -2 x)) 1)))))) into 0 11.514 * [backup-simplify]: Simplify (- 0) into 0 11.514 * [backup-simplify]: Simplify (+ 0 0) into 0 11.514 * [backup-simplify]: Simplify 0 into 0 11.515 * [backup-simplify]: Simplify (+ 0 0) into 0 11.515 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 11.517 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ -2 x)) 1))))))) into 0 11.517 * [backup-simplify]: Simplify (- 0) into 0 11.518 * [backup-simplify]: Simplify (+ 0 0) into 0 11.518 * [backup-simplify]: Simplify 0 into 0 11.518 * [backup-simplify]: Simplify (+ 0 0) into 0 11.518 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 11.524 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ -2 x)) 1)))))))) into 0 11.524 * [backup-simplify]: Simplify (- 0) into 0 11.525 * [backup-simplify]: Simplify (+ 0 0) into 0 11.525 * [backup-simplify]: Simplify 0 into 0 11.525 * [backup-simplify]: Simplify (+ 0 0) into 0 11.526 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 11.528 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ -2 x)) 1))))))))) into 0 11.529 * [backup-simplify]: Simplify (- 0) into 0 11.529 * [backup-simplify]: Simplify (+ 0 0) into 0 11.529 * [backup-simplify]: Simplify 0 into 0 11.529 * [backup-simplify]: Simplify (- (* 2 (/ 1 (+ (exp (/ -2 (/ 1 x))) 1))) 1) into (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) 11.529 * [backup-simplify]: Simplify (- (/ 2 (+ 1 (exp (* -2 (/ 1 (- x)))))) 1) into (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) 11.529 * [approximate]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) in (x) around 0 11.529 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) in x 11.529 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) in x 11.529 * [taylor]: Taking taylor expansion of 2 in x 11.529 * [backup-simplify]: Simplify 2 into 2 11.529 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2 x)) 1)) in x 11.529 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 11.529 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 11.529 * [taylor]: Taking taylor expansion of (/ 2 x) in x 11.529 * [taylor]: Taking taylor expansion of 2 in x 11.529 * [backup-simplify]: Simplify 2 into 2 11.529 * [taylor]: Taking taylor expansion of x in x 11.529 * [backup-simplify]: Simplify 0 into 0 11.530 * [backup-simplify]: Simplify 1 into 1 11.530 * [backup-simplify]: Simplify (/ 2 1) into 2 11.530 * [backup-simplify]: Simplify (exp (/ 2 x)) into (exp (/ 2 x)) 11.530 * [taylor]: Taking taylor expansion of 1 in x 11.530 * [backup-simplify]: Simplify 1 into 1 11.530 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) 1) into (+ (exp (/ 2 x)) 1) 11.530 * [backup-simplify]: Simplify (/ 1 (+ (exp (/ 2 x)) 1)) into (/ 1 (+ (exp (/ 2 x)) 1)) 11.530 * [taylor]: Taking taylor expansion of 1 in x 11.530 * [backup-simplify]: Simplify 1 into 1 11.530 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) in x 11.530 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) in x 11.530 * [taylor]: Taking taylor expansion of 2 in x 11.530 * [backup-simplify]: Simplify 2 into 2 11.530 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2 x)) 1)) in x 11.530 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 11.530 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 11.530 * [taylor]: Taking taylor expansion of (/ 2 x) in x 11.530 * [taylor]: Taking taylor expansion of 2 in x 11.530 * [backup-simplify]: Simplify 2 into 2 11.530 * [taylor]: Taking taylor expansion of x in x 11.530 * [backup-simplify]: Simplify 0 into 0 11.530 * [backup-simplify]: Simplify 1 into 1 11.530 * [backup-simplify]: Simplify (/ 2 1) into 2 11.531 * [backup-simplify]: Simplify (exp (/ 2 x)) into (exp (/ 2 x)) 11.531 * [taylor]: Taking taylor expansion of 1 in x 11.531 * [backup-simplify]: Simplify 1 into 1 11.531 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) 1) into (+ (exp (/ 2 x)) 1) 11.531 * [backup-simplify]: Simplify (/ 1 (+ (exp (/ 2 x)) 1)) into (/ 1 (+ (exp (/ 2 x)) 1)) 11.531 * [taylor]: Taking taylor expansion of 1 in x 11.531 * [backup-simplify]: Simplify 1 into 1 11.531 * [backup-simplify]: Simplify (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) into (/ 2 (+ (exp (/ 2 x)) 1)) 11.531 * [backup-simplify]: Simplify (- 1) into -1 11.531 * [backup-simplify]: Simplify (+ (/ 2 (+ (exp (/ 2 x)) 1)) -1) into (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) 11.531 * [backup-simplify]: Simplify (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) into (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) 11.532 * [backup-simplify]: Simplify (+ 0 0) into 0 11.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 11.532 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 (+ (exp (/ 2 x)) 1)))) into 0 11.532 * [backup-simplify]: Simplify (- 0) into 0 11.532 * [backup-simplify]: Simplify (+ 0 0) into 0 11.532 * [backup-simplify]: Simplify 0 into 0 11.533 * [backup-simplify]: Simplify (+ 0 0) into 0 11.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 11.533 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ 2 x)) 1))))) into 0 11.534 * [backup-simplify]: Simplify (- 0) into 0 11.534 * [backup-simplify]: Simplify (+ 0 0) into 0 11.534 * [backup-simplify]: Simplify 0 into 0 11.534 * [backup-simplify]: Simplify (+ 0 0) into 0 11.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 11.535 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ 2 x)) 1)))))) into 0 11.535 * [backup-simplify]: Simplify (- 0) into 0 11.536 * [backup-simplify]: Simplify (+ 0 0) into 0 11.536 * [backup-simplify]: Simplify 0 into 0 11.536 * [backup-simplify]: Simplify (+ 0 0) into 0 11.536 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 11.537 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ 2 x)) 1))))))) into 0 11.537 * [backup-simplify]: Simplify (- 0) into 0 11.538 * [backup-simplify]: Simplify (+ 0 0) into 0 11.538 * [backup-simplify]: Simplify 0 into 0 11.538 * [backup-simplify]: Simplify (+ 0 0) into 0 11.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 11.539 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ 2 x)) 1)))))))) into 0 11.540 * [backup-simplify]: Simplify (- 0) into 0 11.540 * [backup-simplify]: Simplify (+ 0 0) into 0 11.540 * [backup-simplify]: Simplify 0 into 0 11.540 * [backup-simplify]: Simplify (+ 0 0) into 0 11.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 11.542 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ 2 x)) 1))))))))) into 0 11.542 * [backup-simplify]: Simplify (- 0) into 0 11.542 * [backup-simplify]: Simplify (+ 0 0) into 0 11.542 * [backup-simplify]: Simplify 0 into 0 11.543 * [backup-simplify]: Simplify (- (* 2 (/ 1 (+ (exp (/ 2 (/ 1 (- x)))) 1))) 1) into (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) 11.543 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 11.543 * [backup-simplify]: Simplify (/ 2 (+ 1 (exp (* -2 x)))) into (/ 2 (+ (exp (* -2 x)) 1)) 11.543 * [approximate]: Taking taylor expansion of (/ 2 (+ (exp (* -2 x)) 1)) in (x) around 0 11.543 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (* -2 x)) 1)) in x 11.543 * [taylor]: Taking taylor expansion of 2 in x 11.543 * [backup-simplify]: Simplify 2 into 2 11.543 * [taylor]: Taking taylor expansion of (+ (exp (* -2 x)) 1) in x 11.543 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 11.543 * [taylor]: Taking taylor expansion of (* -2 x) in x 11.543 * [taylor]: Taking taylor expansion of -2 in x 11.543 * [backup-simplify]: Simplify -2 into -2 11.543 * [taylor]: Taking taylor expansion of x in x 11.543 * [backup-simplify]: Simplify 0 into 0 11.543 * [backup-simplify]: Simplify 1 into 1 11.543 * [backup-simplify]: Simplify (* -2 0) into 0 11.544 * [backup-simplify]: Simplify (+ (* -2 1) (* 0 0)) into -2 11.544 * [backup-simplify]: Simplify (exp 0) into 1 11.544 * [taylor]: Taking taylor expansion of 1 in x 11.544 * [backup-simplify]: Simplify 1 into 1 11.544 * [backup-simplify]: Simplify (+ 1 1) into 2 11.544 * [backup-simplify]: Simplify (/ 2 2) into 1 11.544 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (* -2 x)) 1)) in x 11.544 * [taylor]: Taking taylor expansion of 2 in x 11.544 * [backup-simplify]: Simplify 2 into 2 11.544 * [taylor]: Taking taylor expansion of (+ (exp (* -2 x)) 1) in x 11.544 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 11.544 * [taylor]: Taking taylor expansion of (* -2 x) in x 11.544 * [taylor]: Taking taylor expansion of -2 in x 11.544 * [backup-simplify]: Simplify -2 into -2 11.544 * [taylor]: Taking taylor expansion of x in x 11.544 * [backup-simplify]: Simplify 0 into 0 11.544 * [backup-simplify]: Simplify 1 into 1 11.545 * [backup-simplify]: Simplify (* -2 0) into 0 11.545 * [backup-simplify]: Simplify (+ (* -2 1) (* 0 0)) into -2 11.545 * [backup-simplify]: Simplify (exp 0) into 1 11.545 * [taylor]: Taking taylor expansion of 1 in x 11.545 * [backup-simplify]: Simplify 1 into 1 11.545 * [backup-simplify]: Simplify (+ 1 1) into 2 11.545 * [backup-simplify]: Simplify (/ 2 2) into 1 11.546 * [backup-simplify]: Simplify 1 into 1 11.546 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 1) 1)))) into -2 11.547 * [backup-simplify]: Simplify (+ -2 0) into -2 11.547 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ -2 2)))) into 1 11.547 * [backup-simplify]: Simplify 1 into 1 11.548 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 1) (* 0 0))) into 0 11.549 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 2) 2)) (* (/ (pow 0 1) 1)))) into 2 11.549 * [backup-simplify]: Simplify (+ 2 0) into 2 11.550 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 2 2)) (* 1 (/ -2 2)))) into 0 11.550 * [backup-simplify]: Simplify 0 into 0 11.551 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 11.553 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 3) 6)) (* (/ (pow -2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -4/3 11.554 * [backup-simplify]: Simplify (+ -4/3 0) into -4/3 11.556 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ -4/3 2)) (* 1 (/ 2 2)) (* 0 (/ -2 2)))) into -1/3 11.556 * [backup-simplify]: Simplify -1/3 into -1/3 11.556 * [backup-simplify]: Simplify (+ (* -1/3 (pow x 3)) (+ (* 1 x) 1)) into (- (+ x 1) (* 1/3 (pow x 3))) 11.556 * [backup-simplify]: Simplify (/ 2 (+ 1 (exp (* -2 (/ 1 x))))) into (/ 2 (+ (exp (/ -2 x)) 1)) 11.556 * [approximate]: Taking taylor expansion of (/ 2 (+ (exp (/ -2 x)) 1)) in (x) around 0 11.556 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ -2 x)) 1)) in x 11.556 * [taylor]: Taking taylor expansion of 2 in x 11.556 * [backup-simplify]: Simplify 2 into 2 11.556 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 11.556 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 11.556 * [taylor]: Taking taylor expansion of (/ -2 x) in x 11.556 * [taylor]: Taking taylor expansion of -2 in x 11.557 * [backup-simplify]: Simplify -2 into -2 11.557 * [taylor]: Taking taylor expansion of x in x 11.557 * [backup-simplify]: Simplify 0 into 0 11.557 * [backup-simplify]: Simplify 1 into 1 11.557 * [backup-simplify]: Simplify (/ -2 1) into -2 11.557 * [backup-simplify]: Simplify (exp (/ -2 x)) into (exp (/ -2 x)) 11.557 * [taylor]: Taking taylor expansion of 1 in x 11.557 * [backup-simplify]: Simplify 1 into 1 11.557 * [backup-simplify]: Simplify (+ (exp (/ -2 x)) 1) into (+ (exp (/ -2 x)) 1) 11.557 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ -2 x)) 1)) into (/ 2 (+ (exp (/ -2 x)) 1)) 11.557 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ -2 x)) 1)) in x 11.557 * [taylor]: Taking taylor expansion of 2 in x 11.557 * [backup-simplify]: Simplify 2 into 2 11.557 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 11.558 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 11.558 * [taylor]: Taking taylor expansion of (/ -2 x) in x 11.558 * [taylor]: Taking taylor expansion of -2 in x 11.558 * [backup-simplify]: Simplify -2 into -2 11.558 * [taylor]: Taking taylor expansion of x in x 11.558 * [backup-simplify]: Simplify 0 into 0 11.558 * [backup-simplify]: Simplify 1 into 1 11.558 * [backup-simplify]: Simplify (/ -2 1) into -2 11.558 * [backup-simplify]: Simplify (exp (/ -2 x)) into (exp (/ -2 x)) 11.558 * [taylor]: Taking taylor expansion of 1 in x 11.558 * [backup-simplify]: Simplify 1 into 1 11.558 * [backup-simplify]: Simplify (+ (exp (/ -2 x)) 1) into (+ (exp (/ -2 x)) 1) 11.558 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ -2 x)) 1)) into (/ 2 (+ (exp (/ -2 x)) 1)) 11.559 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ -2 x)) 1)) into (/ 2 (+ (exp (/ -2 x)) 1)) 11.559 * [backup-simplify]: Simplify (+ 0 0) into 0 11.559 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -2 x)) 1)) (+ (* (/ 2 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 11.559 * [backup-simplify]: Simplify 0 into 0 11.560 * [backup-simplify]: Simplify (+ 0 0) into 0 11.560 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -2 x)) 1)) (+ (* (/ 2 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 11.560 * [backup-simplify]: Simplify 0 into 0 11.560 * [backup-simplify]: Simplify (+ 0 0) into 0 11.561 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -2 x)) 1)) (+ (* (/ 2 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 11.561 * [backup-simplify]: Simplify 0 into 0 11.561 * [backup-simplify]: Simplify (+ 0 0) into 0 11.562 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -2 x)) 1)) (+ (* (/ 2 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 11.562 * [backup-simplify]: Simplify 0 into 0 11.562 * [backup-simplify]: Simplify (+ 0 0) into 0 11.563 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -2 x)) 1)) (+ (* (/ 2 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 11.563 * [backup-simplify]: Simplify 0 into 0 11.563 * [backup-simplify]: Simplify (+ 0 0) into 0 11.564 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -2 x)) 1)) (+ (* (/ 2 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 11.564 * [backup-simplify]: Simplify 0 into 0 11.564 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ -2 (/ 1 x))) 1)) into (/ 2 (+ (exp (* -2 x)) 1)) 11.564 * [backup-simplify]: Simplify (/ 2 (+ 1 (exp (* -2 (/ 1 (- x)))))) into (/ 2 (+ (exp (/ 2 x)) 1)) 11.564 * [approximate]: Taking taylor expansion of (/ 2 (+ (exp (/ 2 x)) 1)) in (x) around 0 11.564 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ 2 x)) 1)) in x 11.564 * [taylor]: Taking taylor expansion of 2 in x 11.564 * [backup-simplify]: Simplify 2 into 2 11.564 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 11.564 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 11.564 * [taylor]: Taking taylor expansion of (/ 2 x) in x 11.564 * [taylor]: Taking taylor expansion of 2 in x 11.565 * [backup-simplify]: Simplify 2 into 2 11.565 * [taylor]: Taking taylor expansion of x in x 11.565 * [backup-simplify]: Simplify 0 into 0 11.565 * [backup-simplify]: Simplify 1 into 1 11.565 * [backup-simplify]: Simplify (/ 2 1) into 2 11.565 * [backup-simplify]: Simplify (exp (/ 2 x)) into (exp (/ 2 x)) 11.565 * [taylor]: Taking taylor expansion of 1 in x 11.565 * [backup-simplify]: Simplify 1 into 1 11.565 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) 1) into (+ (exp (/ 2 x)) 1) 11.565 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 2 x)) 1)) into (/ 2 (+ (exp (/ 2 x)) 1)) 11.565 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ 2 x)) 1)) in x 11.565 * [taylor]: Taking taylor expansion of 2 in x 11.566 * [backup-simplify]: Simplify 2 into 2 11.566 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 11.566 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 11.566 * [taylor]: Taking taylor expansion of (/ 2 x) in x 11.566 * [taylor]: Taking taylor expansion of 2 in x 11.566 * [backup-simplify]: Simplify 2 into 2 11.566 * [taylor]: Taking taylor expansion of x in x 11.566 * [backup-simplify]: Simplify 0 into 0 11.566 * [backup-simplify]: Simplify 1 into 1 11.566 * [backup-simplify]: Simplify (/ 2 1) into 2 11.566 * [backup-simplify]: Simplify (exp (/ 2 x)) into (exp (/ 2 x)) 11.566 * [taylor]: Taking taylor expansion of 1 in x 11.566 * [backup-simplify]: Simplify 1 into 1 11.566 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) 1) into (+ (exp (/ 2 x)) 1) 11.566 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 2 x)) 1)) into (/ 2 (+ (exp (/ 2 x)) 1)) 11.567 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 2 x)) 1)) into (/ 2 (+ (exp (/ 2 x)) 1)) 11.567 * [backup-simplify]: Simplify (+ 0 0) into 0 11.567 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 2 x)) 1)) (+ (* (/ 2 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 11.567 * [backup-simplify]: Simplify 0 into 0 11.568 * [backup-simplify]: Simplify (+ 0 0) into 0 11.568 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 2 x)) 1)) (+ (* (/ 2 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 11.568 * [backup-simplify]: Simplify 0 into 0 11.568 * [backup-simplify]: Simplify (+ 0 0) into 0 11.569 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 2 x)) 1)) (+ (* (/ 2 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 11.569 * [backup-simplify]: Simplify 0 into 0 11.569 * [backup-simplify]: Simplify (+ 0 0) into 0 11.570 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 2 x)) 1)) (+ (* (/ 2 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 11.570 * [backup-simplify]: Simplify 0 into 0 11.570 * [backup-simplify]: Simplify (+ 0 0) into 0 11.571 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 2 x)) 1)) (+ (* (/ 2 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 11.571 * [backup-simplify]: Simplify 0 into 0 11.571 * [backup-simplify]: Simplify (+ 0 0) into 0 11.572 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 2 x)) 1)) (+ (* (/ 2 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 11.572 * [backup-simplify]: Simplify 0 into 0 11.572 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 2 (/ 1 (- x)))) 1)) into (/ 2 (+ (exp (* -2 x)) 1)) 11.572 * * * [progress]: simplifying candidates 11.572 * * * * [progress]: [ 1 / 138 ] simplifiying candidate # 11.572 * * * * [progress]: [ 2 / 138 ] simplifiying candidate # 11.573 * * * * [progress]: [ 3 / 138 ] simplifiying candidate # 11.573 * * * * [progress]: [ 4 / 138 ] simplifiying candidate # 11.573 * * * * [progress]: [ 5 / 138 ] simplifiying candidate # 11.573 * * * * [progress]: [ 6 / 138 ] simplifiying candidate # 11.573 * * * * [progress]: [ 7 / 138 ] simplifiying candidate # 11.573 * * * * [progress]: [ 8 / 138 ] simplifiying candidate # 11.573 * * * * [progress]: [ 9 / 138 ] simplifiying candidate # 11.573 * * * * [progress]: [ 10 / 138 ] simplifiying candidate # 11.573 * * * * [progress]: [ 11 / 138 ] simplifiying candidate # 11.573 * * * * [progress]: [ 12 / 138 ] simplifiying candidate # 11.573 * * * * [progress]: [ 13 / 138 ] simplifiying candidate # 11.573 * * * * [progress]: [ 14 / 138 ] simplifiying candidate # 11.573 * * * * [progress]: [ 15 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 16 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 17 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 18 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 19 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 20 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 21 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 22 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 23 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 24 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 25 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 26 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 27 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 28 / 138 ] simplifiying candidate # 11.574 * * * * [progress]: [ 29 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 30 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 31 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 32 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 33 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 34 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 35 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 36 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 37 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 38 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 39 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 40 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 41 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 42 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 43 / 138 ] simplifiying candidate # 11.575 * * * * [progress]: [ 44 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 45 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 46 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 47 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 48 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 49 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 50 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 51 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 52 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 53 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 54 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 55 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 56 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 57 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 58 / 138 ] simplifiying candidate # 11.576 * * * * [progress]: [ 59 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 60 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 61 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 62 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 63 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 64 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 65 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 66 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 67 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 68 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 69 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 70 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 71 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 72 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 73 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 74 / 138 ] simplifiying candidate # 11.577 * * * * [progress]: [ 75 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 76 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 77 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 78 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 79 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 80 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 81 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 82 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 83 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 84 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 85 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 86 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 87 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 88 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 89 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 90 / 138 ] simplifiying candidate # 11.578 * * * * [progress]: [ 91 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 92 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 93 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 94 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 95 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 96 / 138 ] simplifiying candidate #real (real->posit16 (- (/ 2 (+ 1 (exp (* -2 x)))) 1))))> 11.579 * * * * [progress]: [ 97 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 98 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 99 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 100 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 101 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 102 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 103 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 104 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 105 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 106 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 107 / 138 ] simplifiying candidate # 11.579 * * * * [progress]: [ 108 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 109 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 110 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 111 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 112 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 113 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 114 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 115 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 116 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 117 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 118 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 119 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 120 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 121 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 122 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 123 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 124 / 138 ] simplifiying candidate # 11.580 * * * * [progress]: [ 125 / 138 ] simplifiying candidate # 11.581 * * * * [progress]: [ 126 / 138 ] simplifiying candidate # 11.581 * * * * [progress]: [ 127 / 138 ] simplifiying candidate # 11.581 * * * * [progress]: [ 128 / 138 ] simplifiying candidate # 11.581 * * * * [progress]: [ 129 / 138 ] simplifiying candidate # 11.581 * * * * [progress]: [ 130 / 138 ] simplifiying candidate # 11.581 * * * * [progress]: [ 131 / 138 ] simplifiying candidate # 11.581 * * * * [progress]: [ 132 / 138 ] simplifiying candidate #real (real->posit16 (/ 2 (+ 1 (exp (* -2 x)))))) 1))> 11.581 * * * * [progress]: [ 133 / 138 ] simplifiying candidate # 11.581 * * * * [progress]: [ 134 / 138 ] simplifiying candidate # 11.581 * * * * [progress]: [ 135 / 138 ] simplifiying candidate # 11.581 * * * * [progress]: [ 136 / 138 ] simplifiying candidate # 11.581 * * * * [progress]: [ 137 / 138 ] simplifiying candidate # 11.581 * * * * [progress]: [ 138 / 138 ] simplifiying candidate # 11.584 * [simplify]: Simplifying: (fma (* (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (cbrt (/ 2 (+ 1 (exp (* -2 x)))))) (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (* (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (cbrt (/ 2 (+ 1 (exp (* -2 x)))))) (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (* (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (cbrt (/ 2 (+ 1 (exp (* -2 x)))))) (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (sqrt 2) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (sqrt 2) (cbrt (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (sqrt 2) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (sqrt 2) (cbrt (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (sqrt 2) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (sqrt 2) (cbrt (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ 1 (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ 1 (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ 1 (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ 1 (sqrt (+ 1 (exp (* -2 x))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ 1 (sqrt (+ 1 (exp (* -2 x))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ 1 (sqrt (+ 1 (exp (* -2 x))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (/ 2 (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (/ 2 (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (/ 2 (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 2 (/ 1 (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 2 (/ 1 (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 2 (/ 1 (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ 2 (+ (pow 1 3) (pow (exp (* -2 x)) 3))) (+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ 2 (+ (pow 1 3) (pow (exp (* -2 x)) 3))) (+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ 2 (+ (pow 1 3) (pow (exp (* -2 x)) 3))) (+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ 2 (- (* 1 1) (* (exp (* -2 x)) (exp (* -2 x))))) (- 1 (exp (* -2 x))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ 2 (- (* 1 1) (* (exp (* -2 x)) (exp (* -2 x))))) (- 1 (exp (* -2 x))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ 2 (- (* 1 1) (* (exp (* -2 x)) (exp (* -2 x))))) (- 1 (exp (* -2 x))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (expm1 (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (log1p (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (/ (exp (/ 2 (+ 1 (exp (* -2 x))))) (exp 1)) (log (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (* (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1))) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (* (* (- (/ 2 (+ 1 (exp (* -2 x)))) 1) (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (sqrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (sqrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (- (pow (/ 2 (+ 1 (exp (* -2 x)))) 3) (pow 1 3)) (+ (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (+ (* 1 1) (* (/ 2 (+ 1 (exp (* -2 x)))) 1))) (- 1) (- (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (* 1 1)) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1) (+ (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt 1)) (- (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt 1)) (+ (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (- (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (sqrt 1)) (- (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (sqrt 1)) (+ (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (+ (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (- (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ 2 (+ 1 (exp (* -2 x)))) 1) (- 1) (real->posit16 (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (expm1 (/ 2 (+ 1 (exp (* -2 x))))) (log1p (/ 2 (+ 1 (exp (* -2 x))))) (- (log 2) (log (+ 1 (exp (* -2 x))))) (log (/ 2 (+ 1 (exp (* -2 x))))) (exp (/ 2 (+ 1 (exp (* -2 x))))) (/ (* (* 2 2) 2) (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x))))) (* (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (cbrt (/ 2 (+ 1 (exp (* -2 x)))))) (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (- 2) (- (+ 1 (exp (* -2 x)))) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (/ (sqrt 2) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (sqrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (/ 1 (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (/ 1 (sqrt (+ 1 (exp (* -2 x))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (/ 1 (+ 1 (exp (* -2 x)))) (/ (+ 1 (exp (* -2 x))) 2) (/ 2 (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (/ 2 1) (/ 2 1) (/ (+ 1 (exp (* -2 x))) (cbrt 2)) (/ (+ 1 (exp (* -2 x))) (sqrt 2)) (/ (+ 1 (exp (* -2 x))) 2) (/ 2 (+ (pow 1 3) (pow (exp (* -2 x)) 3))) (/ 2 (- (* 1 1) (* (exp (* -2 x)) (exp (* -2 x))))) (real->posit16 (/ 2 (+ 1 (exp (* -2 x))))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) (- (+ x 1) (* 1/3 (pow x 3))) (/ 2 (+ (exp (* -2 x)) 1)) (/ 2 (+ (exp (* -2 x)) 1)) 11.587 * * [simplify]: iteration 1: (172 enodes) 11.737 * * [simplify]: iteration 2: (383 enodes) 11.994 * * [simplify]: iteration 3: (835 enodes) 12.753 * * [simplify]: iteration 4: (1933 enodes) 20.416 * * [simplify]: Extracting #0: cost 65 inf + 0 20.418 * * [simplify]: Extracting #1: cost 436 inf + 5 20.421 * * [simplify]: Extracting #2: cost 961 inf + 3907 20.428 * * [simplify]: Extracting #3: cost 1057 inf + 14582 20.453 * * [simplify]: Extracting #4: cost 714 inf + 121871 20.509 * * [simplify]: Extracting #5: cost 238 inf + 302554 20.586 * * [simplify]: Extracting #6: cost 34 inf + 375465 20.687 * * [simplify]: Extracting #7: cost 0 inf + 387007 20.803 * * [simplify]: Extracting #8: cost 0 inf + 386523 20.950 * * [simplify]: Extracting #9: cost 0 inf + 386441 21.063 * [simplify]: Simplified to: (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (fma (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (* (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (fma (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (* (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (fma (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (* (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (fma (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) -1) 0 (fma (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) -1) 0 (fma (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) -1) 0 (fma (/ (cbrt 2) (/ (+ 1 (exp (* -2 x))) (cbrt 2))) (cbrt 2) -1) 0 (fma (/ (cbrt 2) (/ (+ 1 (exp (* -2 x))) (cbrt 2))) (cbrt 2) -1) 0 (fma (/ (cbrt 2) (/ (+ 1 (exp (* -2 x))) (cbrt 2))) (cbrt 2) -1) 0 (fma (/ (cbrt 2) (/ (+ 1 (exp (* -2 x))) (cbrt 2))) (cbrt 2) -1) 0 (fma (/ (cbrt 2) (/ (+ 1 (exp (* -2 x))) (cbrt 2))) (cbrt 2) -1) 0 (fma (/ (cbrt 2) (/ (+ 1 (exp (* -2 x))) (cbrt 2))) (cbrt 2) -1) 0 (+ (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (+ (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (+ (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (+ -1 (/ 2 (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x))))))) 0 (+ -1 (/ 2 (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x))))))) 0 (+ -1 (/ 2 (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x))))))) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (+ (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (+ (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (+ (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (+ -1 (/ 2 (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x))))))) 0 (+ -1 (/ 2 (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x))))))) 0 (+ -1 (/ 2 (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x))))))) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (+ -1 (/ (fma 2 (- (* (exp (* -2 x)) (exp (* -2 x))) (exp (* -2 x))) 2) (fma (* (exp (* -2 x)) (exp (* -2 x))) (exp (* -2 x)) 1))) 0 (+ -1 (/ (fma 2 (- (* (exp (* -2 x)) (exp (* -2 x))) (exp (* -2 x))) 2) (fma (* (exp (* -2 x)) (exp (* -2 x))) (exp (* -2 x)) 1))) 0 (+ -1 (/ (fma 2 (- (* (exp (* -2 x)) (exp (* -2 x))) (exp (* -2 x))) 2) (fma (* (exp (* -2 x)) (exp (* -2 x))) (exp (* -2 x)) 1))) 0 (fma (/ 2 (- 1 (* (exp (* -2 x)) (exp (* -2 x))))) (- 1 (exp (* -2 x))) -1) 0 (fma (/ 2 (- 1 (* (exp (* -2 x)) (exp (* -2 x))))) (- 1 (exp (* -2 x))) -1) 0 (fma (/ 2 (- 1 (* (exp (* -2 x)) (exp (* -2 x))))) (- 1 (exp (* -2 x))) -1) 0 (expm1 (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (log1p (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (log (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (* (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1))) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (* (- (/ 2 (+ 1 (exp (* -2 x)))) 1) (* (- (/ 2 (+ 1 (exp (* -2 x)))) 1) (- (/ 2 (+ 1 (exp (* -2 x)))) 1))) (sqrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (sqrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (- (/ 8 (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x))))) 1) (fma (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x)))) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1)) -1 (fma (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x)))) -1) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1) (+ 1 (sqrt (/ 2 (+ 1 (exp (* -2 x)))))) (- (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ 1 (sqrt (/ 2 (+ 1 (exp (* -2 x)))))) (- (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (+ (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (+ 1 (sqrt (/ 2 (+ 1 (exp (* -2 x)))))) (- (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ 2 (+ 1 (exp (* -2 x)))) 1) -1 (real->posit16 (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (expm1 (/ 2 (+ 1 (exp (* -2 x))))) (log1p (/ 2 (+ 1 (exp (* -2 x))))) (log (/ 2 (+ 1 (exp (* -2 x))))) (log (/ 2 (+ 1 (exp (* -2 x))))) (exp (/ 2 (+ 1 (exp (* -2 x))))) (/ 8 (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x))))) (* (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (cbrt (/ 2 (+ 1 (exp (* -2 x)))))) (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (/ 8 (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) -2 (- -1 (exp (* -2 x))) (* (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x)))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) (* (cbrt 2) (cbrt 2)) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (* (cbrt 2) (cbrt 2)) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (/ (/ (sqrt 2) (cbrt (+ 1 (exp (* -2 x))))) (cbrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (sqrt 2) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (sqrt 2) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (/ 1 (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (/ 1 (sqrt (+ 1 (exp (* -2 x))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) 1 (/ 2 (+ 1 (exp (* -2 x)))) 1 (/ 2 (+ 1 (exp (* -2 x)))) (/ 1 (+ 1 (exp (* -2 x)))) (/ (+ 1 (exp (* -2 x))) 2) (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (cbrt (+ 1 (exp (* -2 x))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) 2 2 (/ (+ 1 (exp (* -2 x))) (cbrt 2)) (/ (+ 1 (exp (* -2 x))) (sqrt 2)) (/ (+ 1 (exp (* -2 x))) 2) (/ 2 (+ 1 (exp (* x -6)))) (/ 2 (- 1 (exp (* x -4)))) (real->posit16 (/ 2 (+ 1 (exp (* -2 x))))) (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x)) (- (/ 2 (+ 1 (exp (* -2 x)))) 1) (- (/ 2 (+ 1 (exp (* -2 x)))) 1) (fma (* x -1/3) (* x x) (+ 1 x)) (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x)))) 21.073 * * * [progress]: adding candidates to table 22.169 * * [progress]: iteration 2 / 4 22.169 * * * [progress]: picking best candidate 22.174 * * * * [pick]: Picked # 22.174 * * * [progress]: localizing error 22.202 * * * [progress]: generating rewritten candidates 22.202 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 22.202 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3 1) 22.210 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3) 22.211 * * * [progress]: generating series expansions 22.211 * * * * [progress]: [ 1 / 3 ] generating series at (2) 22.211 * [backup-simplify]: Simplify (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x)) into (fma 2/15 (pow x 5) (fma (* -1/3 x) (pow x 2) x)) 22.211 * [approximate]: Taking taylor expansion of (fma 2/15 (pow x 5) (fma (* -1/3 x) (pow x 2) x)) in (x) around 0 22.211 * [taylor]: Taking taylor expansion of (fma 2/15 (pow x 5) (fma (* -1/3 x) (pow x 2) x)) in x 22.211 * [taylor]: Rewrote expression to (+ (* 2/15 (pow x 5)) (fma (* -1/3 x) (pow x 2) x)) 22.211 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 22.211 * [taylor]: Taking taylor expansion of 2/15 in x 22.211 * [backup-simplify]: Simplify 2/15 into 2/15 22.211 * [taylor]: Taking taylor expansion of (pow x 5) in x 22.211 * [taylor]: Taking taylor expansion of x in x 22.211 * [backup-simplify]: Simplify 0 into 0 22.211 * [backup-simplify]: Simplify 1 into 1 22.212 * [taylor]: Taking taylor expansion of (fma (* -1/3 x) (pow x 2) x) in x 22.212 * [taylor]: Rewrote expression to (+ (* (* -1/3 x) (pow x 2)) x) 22.212 * [taylor]: Taking taylor expansion of (* (* -1/3 x) (pow x 2)) in x 22.212 * [taylor]: Taking taylor expansion of (* -1/3 x) in x 22.212 * [taylor]: Taking taylor expansion of -1/3 in x 22.212 * [backup-simplify]: Simplify -1/3 into -1/3 22.212 * [taylor]: Taking taylor expansion of x in x 22.212 * [backup-simplify]: Simplify 0 into 0 22.212 * [backup-simplify]: Simplify 1 into 1 22.212 * [taylor]: Taking taylor expansion of (pow x 2) in x 22.212 * [taylor]: Taking taylor expansion of x in x 22.212 * [backup-simplify]: Simplify 0 into 0 22.212 * [backup-simplify]: Simplify 1 into 1 22.212 * [taylor]: Taking taylor expansion of x in x 22.212 * [backup-simplify]: Simplify 0 into 0 22.212 * [backup-simplify]: Simplify 1 into 1 22.212 * [taylor]: Taking taylor expansion of (fma 2/15 (pow x 5) (fma (* -1/3 x) (pow x 2) x)) in x 22.212 * [taylor]: Rewrote expression to (+ (* 2/15 (pow x 5)) (fma (* -1/3 x) (pow x 2) x)) 22.212 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 22.212 * [taylor]: Taking taylor expansion of 2/15 in x 22.212 * [backup-simplify]: Simplify 2/15 into 2/15 22.212 * [taylor]: Taking taylor expansion of (pow x 5) in x 22.212 * [taylor]: Taking taylor expansion of x in x 22.212 * [backup-simplify]: Simplify 0 into 0 22.212 * [backup-simplify]: Simplify 1 into 1 22.212 * [taylor]: Taking taylor expansion of (fma (* -1/3 x) (pow x 2) x) in x 22.212 * [taylor]: Rewrote expression to (+ (* (* -1/3 x) (pow x 2)) x) 22.212 * [taylor]: Taking taylor expansion of (* (* -1/3 x) (pow x 2)) in x 22.212 * [taylor]: Taking taylor expansion of (* -1/3 x) in x 22.212 * [taylor]: Taking taylor expansion of -1/3 in x 22.212 * [backup-simplify]: Simplify -1/3 into -1/3 22.212 * [taylor]: Taking taylor expansion of x in x 22.212 * [backup-simplify]: Simplify 0 into 0 22.212 * [backup-simplify]: Simplify 1 into 1 22.212 * [taylor]: Taking taylor expansion of (pow x 2) in x 22.212 * [taylor]: Taking taylor expansion of x in x 22.212 * [backup-simplify]: Simplify 0 into 0 22.212 * [backup-simplify]: Simplify 1 into 1 22.212 * [taylor]: Taking taylor expansion of x in x 22.212 * [backup-simplify]: Simplify 0 into 0 22.212 * [backup-simplify]: Simplify 1 into 1 22.213 * [backup-simplify]: Simplify (+ 0 0) into 0 22.213 * [backup-simplify]: Simplify (+ 0 0) into 0 22.213 * [backup-simplify]: Simplify 0 into 0 22.213 * [backup-simplify]: Simplify (+ 0 1) into 1 22.214 * [backup-simplify]: Simplify (+ 0 1) into 1 22.214 * [backup-simplify]: Simplify 1 into 1 22.214 * [backup-simplify]: Simplify (* -1/3 0) into 0 22.214 * [backup-simplify]: Simplify (* 1 1) into 1 22.215 * [backup-simplify]: Simplify (* 0 1) into 0 22.215 * [backup-simplify]: Simplify (+ 0 0) into 0 22.215 * [backup-simplify]: Simplify (+ 0 0) into 0 22.215 * [backup-simplify]: Simplify 0 into 0 22.215 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 22.216 * [backup-simplify]: Simplify (+ (* -1/3 1) (* 0 0)) into -1/3 22.216 * [backup-simplify]: Simplify (+ (* 0 0) (* -1/3 1)) into -1/3 22.217 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 22.217 * [backup-simplify]: Simplify (+ 0 -1/3) into -1/3 22.217 * [backup-simplify]: Simplify -1/3 into -1/3 22.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 22.223 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 1) (* 0 0))) into 0 22.224 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1/3 0) (* 0 1))) into 0 22.224 * [backup-simplify]: Simplify (+ 0 0) into 0 22.224 * [backup-simplify]: Simplify (+ 0 0) into 0 22.224 * [backup-simplify]: Simplify 0 into 0 22.225 * [backup-simplify]: Simplify (* 1 1) into 1 22.225 * [backup-simplify]: Simplify (* 1 1) into 1 22.225 * [backup-simplify]: Simplify (* 1 1) into 1 22.225 * [backup-simplify]: Simplify (* 2/15 1) into 2/15 22.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 22.227 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 22.228 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1/3 0) (+ (* 0 0) (* 0 1)))) into 0 22.228 * [backup-simplify]: Simplify (+ 0 0) into 0 22.228 * [backup-simplify]: Simplify (+ 2/15 0) into 2/15 22.229 * [backup-simplify]: Simplify 2/15 into 2/15 22.229 * [backup-simplify]: Simplify (+ (* 2/15 (pow x 5)) (+ (* -1/3 (pow x 3)) (* 1 x))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 22.229 * [backup-simplify]: Simplify (fma 2/15 (pow (/ 1 x) 5) (fma (* (/ 1 x) -1/3) (* (/ 1 x) (/ 1 x)) (/ 1 x))) into (fma 2/15 (pow (/ 1 x) 5) (fma (/ -1/3 x) (/ 1 (pow x 2)) (/ 1 x))) 22.229 * [approximate]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (fma (/ -1/3 x) (/ 1 (pow x 2)) (/ 1 x))) in (x) around 0 22.229 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (fma (/ -1/3 x) (/ 1 (pow x 2)) (/ 1 x))) in x 22.229 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ 1 x) 5)) (fma (/ -1/3 x) (/ 1 (pow x 2)) (/ 1 x))) 22.229 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ 1 x) 5)) in x 22.229 * [taylor]: Taking taylor expansion of 2/15 in x 22.229 * [backup-simplify]: Simplify 2/15 into 2/15 22.229 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 22.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.229 * [taylor]: Taking taylor expansion of x in x 22.229 * [backup-simplify]: Simplify 0 into 0 22.230 * [backup-simplify]: Simplify 1 into 1 22.230 * [backup-simplify]: Simplify (/ 1 1) into 1 22.230 * [taylor]: Taking taylor expansion of (fma (/ -1/3 x) (/ 1 (pow x 2)) (/ 1 x)) in x 22.230 * [taylor]: Rewrote expression to (+ (* (/ -1/3 x) (/ 1 (pow x 2))) (/ 1 x)) 22.230 * [taylor]: Taking taylor expansion of (* (/ -1/3 x) (/ 1 (pow x 2))) in x 22.230 * [taylor]: Taking taylor expansion of (/ -1/3 x) in x 22.230 * [taylor]: Taking taylor expansion of -1/3 in x 22.230 * [backup-simplify]: Simplify -1/3 into -1/3 22.230 * [taylor]: Taking taylor expansion of x in x 22.230 * [backup-simplify]: Simplify 0 into 0 22.230 * [backup-simplify]: Simplify 1 into 1 22.231 * [backup-simplify]: Simplify (/ -1/3 1) into -1/3 22.231 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 22.231 * [taylor]: Taking taylor expansion of (pow x 2) in x 22.231 * [taylor]: Taking taylor expansion of x in x 22.231 * [backup-simplify]: Simplify 0 into 0 22.231 * [backup-simplify]: Simplify 1 into 1 22.231 * [backup-simplify]: Simplify (* 1 1) into 1 22.231 * [backup-simplify]: Simplify (/ 1 1) into 1 22.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.232 * [taylor]: Taking taylor expansion of x in x 22.232 * [backup-simplify]: Simplify 0 into 0 22.232 * [backup-simplify]: Simplify 1 into 1 22.232 * [backup-simplify]: Simplify (/ 1 1) into 1 22.232 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (fma (/ -1/3 x) (/ 1 (pow x 2)) (/ 1 x))) in x 22.232 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ 1 x) 5)) (fma (/ -1/3 x) (/ 1 (pow x 2)) (/ 1 x))) 22.232 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ 1 x) 5)) in x 22.232 * [taylor]: Taking taylor expansion of 2/15 in x 22.232 * [backup-simplify]: Simplify 2/15 into 2/15 22.232 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 22.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.232 * [taylor]: Taking taylor expansion of x in x 22.232 * [backup-simplify]: Simplify 0 into 0 22.232 * [backup-simplify]: Simplify 1 into 1 22.233 * [backup-simplify]: Simplify (/ 1 1) into 1 22.233 * [taylor]: Taking taylor expansion of (fma (/ -1/3 x) (/ 1 (pow x 2)) (/ 1 x)) in x 22.233 * [taylor]: Rewrote expression to (+ (* (/ -1/3 x) (/ 1 (pow x 2))) (/ 1 x)) 22.233 * [taylor]: Taking taylor expansion of (* (/ -1/3 x) (/ 1 (pow x 2))) in x 22.233 * [taylor]: Taking taylor expansion of (/ -1/3 x) in x 22.233 * [taylor]: Taking taylor expansion of -1/3 in x 22.233 * [backup-simplify]: Simplify -1/3 into -1/3 22.233 * [taylor]: Taking taylor expansion of x in x 22.233 * [backup-simplify]: Simplify 0 into 0 22.233 * [backup-simplify]: Simplify 1 into 1 22.233 * [backup-simplify]: Simplify (/ -1/3 1) into -1/3 22.233 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 22.233 * [taylor]: Taking taylor expansion of (pow x 2) in x 22.233 * [taylor]: Taking taylor expansion of x in x 22.233 * [backup-simplify]: Simplify 0 into 0 22.233 * [backup-simplify]: Simplify 1 into 1 22.234 * [backup-simplify]: Simplify (* 1 1) into 1 22.234 * [backup-simplify]: Simplify (/ 1 1) into 1 22.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.234 * [taylor]: Taking taylor expansion of x in x 22.234 * [backup-simplify]: Simplify 0 into 0 22.234 * [backup-simplify]: Simplify 1 into 1 22.235 * [backup-simplify]: Simplify (/ 1 1) into 1 22.235 * [backup-simplify]: Simplify (* 1 1) into 1 22.235 * [backup-simplify]: Simplify (* 1 1) into 1 22.236 * [backup-simplify]: Simplify (* 1 1) into 1 22.236 * [backup-simplify]: Simplify (* 2/15 1) into 2/15 22.236 * [backup-simplify]: Simplify (+ 2/15 0) into 2/15 22.236 * [backup-simplify]: Simplify 2/15 into 2/15 22.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 22.238 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 22.238 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 22.239 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 22.240 * [backup-simplify]: Simplify (+ (* 2/15 0) (* 0 1)) into 0 22.241 * [backup-simplify]: Simplify (+ 0 0) into 0 22.241 * [backup-simplify]: Simplify 0 into 0 22.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 22.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 22.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 22.245 * [backup-simplify]: Simplify (+ (* 2/15 0) (+ (* 0 0) (* 0 1))) into 0 22.245 * [backup-simplify]: Simplify (* -1/3 1) into -1/3 22.246 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 22.246 * [backup-simplify]: Simplify (+ 0 -1/3) into -1/3 22.246 * [backup-simplify]: Simplify -1/3 into -1/3 22.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 22.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 22.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 22.251 * [backup-simplify]: Simplify (+ (* 2/15 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 22.251 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 22.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 22.253 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)))) into 0 22.253 * [backup-simplify]: Simplify (+ (* -1/3 0) (* 0 1)) into 0 22.254 * [backup-simplify]: Simplify (+ 0 0) into 0 22.254 * [backup-simplify]: Simplify (+ 0 0) into 0 22.254 * [backup-simplify]: Simplify 0 into 0 22.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 22.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 22.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 22.259 * [backup-simplify]: Simplify (+ (* 2/15 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 22.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 22.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.262 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (* 0 1))) into 0 22.263 * [backup-simplify]: Simplify (+ 0 1) into 1 22.263 * [backup-simplify]: Simplify (+ 0 1) into 1 22.263 * [backup-simplify]: Simplify 1 into 1 22.264 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 x))) (+ (* -1/3 (pow (/ 1 (/ 1 x)) 3)) (* 2/15 (pow (/ 1 (/ 1 x)) 5)))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 22.264 * [backup-simplify]: Simplify (fma 2/15 (pow (/ 1 (- x)) 5) (fma (* (/ 1 (- x)) -1/3) (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- x)))) into (fma 2/15 (pow (/ -1 x) 5) (fma (/ 1/3 x) (/ 1 (pow x 2)) (/ -1 x))) 22.264 * [approximate]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (fma (/ 1/3 x) (/ 1 (pow x 2)) (/ -1 x))) in (x) around 0 22.264 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (fma (/ 1/3 x) (/ 1 (pow x 2)) (/ -1 x))) in x 22.264 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ -1 x) 5)) (fma (/ 1/3 x) (/ 1 (pow x 2)) (/ -1 x))) 22.264 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ -1 x) 5)) in x 22.264 * [taylor]: Taking taylor expansion of 2/15 in x 22.264 * [backup-simplify]: Simplify 2/15 into 2/15 22.264 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 22.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x 22.264 * [taylor]: Taking taylor expansion of -1 in x 22.264 * [backup-simplify]: Simplify -1 into -1 22.264 * [taylor]: Taking taylor expansion of x in x 22.264 * [backup-simplify]: Simplify 0 into 0 22.264 * [backup-simplify]: Simplify 1 into 1 22.265 * [backup-simplify]: Simplify (/ -1 1) into -1 22.265 * [taylor]: Taking taylor expansion of (fma (/ 1/3 x) (/ 1 (pow x 2)) (/ -1 x)) in x 22.265 * [taylor]: Rewrote expression to (+ (* (/ 1/3 x) (/ 1 (pow x 2))) (/ -1 x)) 22.265 * [taylor]: Taking taylor expansion of (* (/ 1/3 x) (/ 1 (pow x 2))) in x 22.265 * [taylor]: Taking taylor expansion of (/ 1/3 x) in x 22.265 * [taylor]: Taking taylor expansion of 1/3 in x 22.265 * [backup-simplify]: Simplify 1/3 into 1/3 22.265 * [taylor]: Taking taylor expansion of x in x 22.265 * [backup-simplify]: Simplify 0 into 0 22.265 * [backup-simplify]: Simplify 1 into 1 22.266 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 22.266 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 22.266 * [taylor]: Taking taylor expansion of (pow x 2) in x 22.266 * [taylor]: Taking taylor expansion of x in x 22.266 * [backup-simplify]: Simplify 0 into 0 22.266 * [backup-simplify]: Simplify 1 into 1 22.266 * [backup-simplify]: Simplify (* 1 1) into 1 22.266 * [backup-simplify]: Simplify (/ 1 1) into 1 22.266 * [taylor]: Taking taylor expansion of (/ -1 x) in x 22.266 * [taylor]: Taking taylor expansion of -1 in x 22.266 * [backup-simplify]: Simplify -1 into -1 22.266 * [taylor]: Taking taylor expansion of x in x 22.267 * [backup-simplify]: Simplify 0 into 0 22.267 * [backup-simplify]: Simplify 1 into 1 22.267 * [backup-simplify]: Simplify (/ -1 1) into -1 22.267 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (fma (/ 1/3 x) (/ 1 (pow x 2)) (/ -1 x))) in x 22.267 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ -1 x) 5)) (fma (/ 1/3 x) (/ 1 (pow x 2)) (/ -1 x))) 22.267 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ -1 x) 5)) in x 22.267 * [taylor]: Taking taylor expansion of 2/15 in x 22.267 * [backup-simplify]: Simplify 2/15 into 2/15 22.267 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 22.267 * [taylor]: Taking taylor expansion of (/ -1 x) in x 22.267 * [taylor]: Taking taylor expansion of -1 in x 22.267 * [backup-simplify]: Simplify -1 into -1 22.267 * [taylor]: Taking taylor expansion of x in x 22.267 * [backup-simplify]: Simplify 0 into 0 22.267 * [backup-simplify]: Simplify 1 into 1 22.268 * [backup-simplify]: Simplify (/ -1 1) into -1 22.268 * [taylor]: Taking taylor expansion of (fma (/ 1/3 x) (/ 1 (pow x 2)) (/ -1 x)) in x 22.268 * [taylor]: Rewrote expression to (+ (* (/ 1/3 x) (/ 1 (pow x 2))) (/ -1 x)) 22.268 * [taylor]: Taking taylor expansion of (* (/ 1/3 x) (/ 1 (pow x 2))) in x 22.268 * [taylor]: Taking taylor expansion of (/ 1/3 x) in x 22.268 * [taylor]: Taking taylor expansion of 1/3 in x 22.268 * [backup-simplify]: Simplify 1/3 into 1/3 22.268 * [taylor]: Taking taylor expansion of x in x 22.268 * [backup-simplify]: Simplify 0 into 0 22.268 * [backup-simplify]: Simplify 1 into 1 22.268 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 22.268 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 22.268 * [taylor]: Taking taylor expansion of (pow x 2) in x 22.268 * [taylor]: Taking taylor expansion of x in x 22.268 * [backup-simplify]: Simplify 0 into 0 22.268 * [backup-simplify]: Simplify 1 into 1 22.269 * [backup-simplify]: Simplify (* 1 1) into 1 22.269 * [backup-simplify]: Simplify (/ 1 1) into 1 22.269 * [taylor]: Taking taylor expansion of (/ -1 x) in x 22.269 * [taylor]: Taking taylor expansion of -1 in x 22.269 * [backup-simplify]: Simplify -1 into -1 22.269 * [taylor]: Taking taylor expansion of x in x 22.269 * [backup-simplify]: Simplify 0 into 0 22.269 * [backup-simplify]: Simplify 1 into 1 22.270 * [backup-simplify]: Simplify (/ -1 1) into -1 22.270 * [backup-simplify]: Simplify (* -1 -1) into 1 22.270 * [backup-simplify]: Simplify (* 1 1) into 1 22.271 * [backup-simplify]: Simplify (* -1 1) into -1 22.271 * [backup-simplify]: Simplify (* 2/15 -1) into -2/15 22.271 * [backup-simplify]: Simplify (+ -2/15 0) into -2/15 22.271 * [backup-simplify]: Simplify -2/15 into -2/15 22.272 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 22.272 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 22.272 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 22.273 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 22.273 * [backup-simplify]: Simplify (+ (* 2/15 0) (* 0 -1)) into 0 22.273 * [backup-simplify]: Simplify (+ 0 0) into 0 22.273 * [backup-simplify]: Simplify 0 into 0 22.274 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.275 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 22.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 22.276 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 22.276 * [backup-simplify]: Simplify (+ (* 2/15 0) (+ (* 0 0) (* 0 -1))) into 0 22.277 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 22.277 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 22.277 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3 22.277 * [backup-simplify]: Simplify 1/3 into 1/3 22.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.278 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 22.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 22.280 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 22.280 * [backup-simplify]: Simplify (+ (* 2/15 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 22.281 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 22.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 22.282 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)))) into 0 22.282 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 22.282 * [backup-simplify]: Simplify (+ 0 0) into 0 22.282 * [backup-simplify]: Simplify (+ 0 0) into 0 22.282 * [backup-simplify]: Simplify 0 into 0 22.283 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.284 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 22.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 22.285 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 22.286 * [backup-simplify]: Simplify (+ (* 2/15 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 22.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 22.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.288 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 22.288 * [backup-simplify]: Simplify (+ 0 -1) into -1 22.289 * [backup-simplify]: Simplify (+ 0 -1) into -1 22.289 * [backup-simplify]: Simplify -1 into -1 22.289 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (+ (* 1/3 (pow (/ 1 (/ 1 (- x))) 3)) (* -2/15 (pow (/ 1 (/ 1 (- x))) 5)))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 22.289 * * * * [progress]: [ 2 / 3 ] generating series at (2 3 1) 22.289 * [backup-simplify]: Simplify (* x -1/3) into (* -1/3 x) 22.289 * [approximate]: Taking taylor expansion of (* -1/3 x) in (x) around 0 22.289 * [taylor]: Taking taylor expansion of (* -1/3 x) in x 22.289 * [taylor]: Taking taylor expansion of -1/3 in x 22.289 * [backup-simplify]: Simplify -1/3 into -1/3 22.289 * [taylor]: Taking taylor expansion of x in x 22.289 * [backup-simplify]: Simplify 0 into 0 22.289 * [backup-simplify]: Simplify 1 into 1 22.289 * [taylor]: Taking taylor expansion of (* -1/3 x) in x 22.289 * [taylor]: Taking taylor expansion of -1/3 in x 22.289 * [backup-simplify]: Simplify -1/3 into -1/3 22.289 * [taylor]: Taking taylor expansion of x in x 22.289 * [backup-simplify]: Simplify 0 into 0 22.289 * [backup-simplify]: Simplify 1 into 1 22.290 * [backup-simplify]: Simplify (* -1/3 0) into 0 22.290 * [backup-simplify]: Simplify 0 into 0 22.290 * [backup-simplify]: Simplify (+ (* -1/3 1) (* 0 0)) into -1/3 22.290 * [backup-simplify]: Simplify -1/3 into -1/3 22.291 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 1) (* 0 0))) into 0 22.291 * [backup-simplify]: Simplify 0 into 0 22.291 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 22.292 * [backup-simplify]: Simplify 0 into 0 22.292 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 22.292 * [backup-simplify]: Simplify 0 into 0 22.293 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 22.293 * [backup-simplify]: Simplify 0 into 0 22.294 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 22.294 * [backup-simplify]: Simplify 0 into 0 22.295 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 22.295 * [backup-simplify]: Simplify 0 into 0 22.295 * [backup-simplify]: Simplify (* -1/3 x) into (* -1/3 x) 22.295 * [backup-simplify]: Simplify (* (/ 1 x) -1/3) into (/ -1/3 x) 22.295 * [approximate]: Taking taylor expansion of (/ -1/3 x) in (x) around 0 22.295 * [taylor]: Taking taylor expansion of (/ -1/3 x) in x 22.295 * [taylor]: Taking taylor expansion of -1/3 in x 22.295 * [backup-simplify]: Simplify -1/3 into -1/3 22.295 * [taylor]: Taking taylor expansion of x in x 22.295 * [backup-simplify]: Simplify 0 into 0 22.295 * [backup-simplify]: Simplify 1 into 1 22.296 * [backup-simplify]: Simplify (/ -1/3 1) into -1/3 22.296 * [taylor]: Taking taylor expansion of (/ -1/3 x) in x 22.296 * [taylor]: Taking taylor expansion of -1/3 in x 22.296 * [backup-simplify]: Simplify -1/3 into -1/3 22.296 * [taylor]: Taking taylor expansion of x in x 22.296 * [backup-simplify]: Simplify 0 into 0 22.296 * [backup-simplify]: Simplify 1 into 1 22.296 * [backup-simplify]: Simplify (/ -1/3 1) into -1/3 22.296 * [backup-simplify]: Simplify -1/3 into -1/3 22.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)))) into 0 22.297 * [backup-simplify]: Simplify 0 into 0 22.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.297 * [backup-simplify]: Simplify 0 into 0 22.298 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.298 * [backup-simplify]: Simplify 0 into 0 22.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.299 * [backup-simplify]: Simplify 0 into 0 22.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.299 * [backup-simplify]: Simplify 0 into 0 22.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.300 * [backup-simplify]: Simplify 0 into 0 22.300 * [backup-simplify]: Simplify (* -1/3 (/ 1 (/ 1 x))) into (* -1/3 x) 22.300 * [backup-simplify]: Simplify (* (/ 1 (- x)) -1/3) into (/ 1/3 x) 22.300 * [approximate]: Taking taylor expansion of (/ 1/3 x) in (x) around 0 22.300 * [taylor]: Taking taylor expansion of (/ 1/3 x) in x 22.300 * [taylor]: Taking taylor expansion of 1/3 in x 22.300 * [backup-simplify]: Simplify 1/3 into 1/3 22.300 * [taylor]: Taking taylor expansion of x in x 22.300 * [backup-simplify]: Simplify 0 into 0 22.300 * [backup-simplify]: Simplify 1 into 1 22.300 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 22.301 * [taylor]: Taking taylor expansion of (/ 1/3 x) in x 22.301 * [taylor]: Taking taylor expansion of 1/3 in x 22.301 * [backup-simplify]: Simplify 1/3 into 1/3 22.301 * [taylor]: Taking taylor expansion of x in x 22.301 * [backup-simplify]: Simplify 0 into 0 22.301 * [backup-simplify]: Simplify 1 into 1 22.301 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 22.301 * [backup-simplify]: Simplify 1/3 into 1/3 22.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)))) into 0 22.302 * [backup-simplify]: Simplify 0 into 0 22.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.302 * [backup-simplify]: Simplify 0 into 0 22.303 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.303 * [backup-simplify]: Simplify 0 into 0 22.304 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.304 * [backup-simplify]: Simplify 0 into 0 22.304 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.304 * [backup-simplify]: Simplify 0 into 0 22.305 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.305 * [backup-simplify]: Simplify 0 into 0 22.305 * [backup-simplify]: Simplify (* 1/3 (/ 1 (/ 1 (- x)))) into (* -1/3 x) 22.305 * * * * [progress]: [ 3 / 3 ] generating series at (2 3) 22.305 * [backup-simplify]: Simplify (fma (* x -1/3) (* x x) x) into (fma (* -1/3 x) (pow x 2) x) 22.305 * [approximate]: Taking taylor expansion of (fma (* -1/3 x) (pow x 2) x) in (x) around 0 22.305 * [taylor]: Taking taylor expansion of (fma (* -1/3 x) (pow x 2) x) in x 22.305 * [taylor]: Rewrote expression to (+ (* (* -1/3 x) (pow x 2)) x) 22.305 * [taylor]: Taking taylor expansion of (* (* -1/3 x) (pow x 2)) in x 22.305 * [taylor]: Taking taylor expansion of (* -1/3 x) in x 22.305 * [taylor]: Taking taylor expansion of -1/3 in x 22.305 * [backup-simplify]: Simplify -1/3 into -1/3 22.305 * [taylor]: Taking taylor expansion of x in x 22.305 * [backup-simplify]: Simplify 0 into 0 22.306 * [backup-simplify]: Simplify 1 into 1 22.306 * [taylor]: Taking taylor expansion of (pow x 2) in x 22.306 * [taylor]: Taking taylor expansion of x in x 22.306 * [backup-simplify]: Simplify 0 into 0 22.306 * [backup-simplify]: Simplify 1 into 1 22.306 * [taylor]: Taking taylor expansion of x in x 22.306 * [backup-simplify]: Simplify 0 into 0 22.306 * [backup-simplify]: Simplify 1 into 1 22.306 * [taylor]: Taking taylor expansion of (fma (* -1/3 x) (pow x 2) x) in x 22.306 * [taylor]: Rewrote expression to (+ (* (* -1/3 x) (pow x 2)) x) 22.306 * [taylor]: Taking taylor expansion of (* (* -1/3 x) (pow x 2)) in x 22.306 * [taylor]: Taking taylor expansion of (* -1/3 x) in x 22.306 * [taylor]: Taking taylor expansion of -1/3 in x 22.306 * [backup-simplify]: Simplify -1/3 into -1/3 22.306 * [taylor]: Taking taylor expansion of x in x 22.306 * [backup-simplify]: Simplify 0 into 0 22.306 * [backup-simplify]: Simplify 1 into 1 22.306 * [taylor]: Taking taylor expansion of (pow x 2) in x 22.306 * [taylor]: Taking taylor expansion of x in x 22.306 * [backup-simplify]: Simplify 0 into 0 22.306 * [backup-simplify]: Simplify 1 into 1 22.306 * [taylor]: Taking taylor expansion of x in x 22.306 * [backup-simplify]: Simplify 0 into 0 22.306 * [backup-simplify]: Simplify 1 into 1 22.306 * [backup-simplify]: Simplify (+ 0 0) into 0 22.306 * [backup-simplify]: Simplify 0 into 0 22.306 * [backup-simplify]: Simplify (+ 0 1) into 1 22.306 * [backup-simplify]: Simplify 1 into 1 22.307 * [backup-simplify]: Simplify (* -1/3 0) into 0 22.307 * [backup-simplify]: Simplify (* 1 1) into 1 22.307 * [backup-simplify]: Simplify (* 0 1) into 0 22.308 * [backup-simplify]: Simplify (+ 0 0) into 0 22.308 * [backup-simplify]: Simplify 0 into 0 22.308 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 22.308 * [backup-simplify]: Simplify (+ (* -1/3 1) (* 0 0)) into -1/3 22.309 * [backup-simplify]: Simplify (+ (* 0 0) (* -1/3 1)) into -1/3 22.309 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 22.309 * [backup-simplify]: Simplify -1/3 into -1/3 22.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 22.310 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 1) (* 0 0))) into 0 22.311 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1/3 0) (* 0 1))) into 0 22.311 * [backup-simplify]: Simplify (+ 0 0) into 0 22.311 * [backup-simplify]: Simplify 0 into 0 22.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 22.312 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 22.313 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1/3 0) (+ (* 0 0) (* 0 1)))) into 0 22.313 * [backup-simplify]: Simplify (+ 0 0) into 0 22.313 * [backup-simplify]: Simplify 0 into 0 22.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 22.315 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 22.315 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 22.316 * [backup-simplify]: Simplify (+ 0 0) into 0 22.316 * [backup-simplify]: Simplify 0 into 0 22.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 22.317 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 22.318 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 22.318 * [backup-simplify]: Simplify (+ 0 0) into 0 22.318 * [backup-simplify]: Simplify 0 into 0 22.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 22.320 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 22.321 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 22.321 * [backup-simplify]: Simplify (+ 0 0) into 0 22.321 * [backup-simplify]: Simplify 0 into 0 22.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 22.328 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 22.329 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 22.329 * [backup-simplify]: Simplify (+ 0 0) into 0 22.329 * [backup-simplify]: Simplify 0 into 0 22.329 * [backup-simplify]: Simplify (+ (* -1/3 (pow x 3)) (* 1 x)) into (- x (* 1/3 (pow x 3))) 22.329 * [backup-simplify]: Simplify (fma (* (/ 1 x) -1/3) (* (/ 1 x) (/ 1 x)) (/ 1 x)) into (fma (/ -1/3 x) (/ 1 (pow x 2)) (/ 1 x)) 22.329 * [approximate]: Taking taylor expansion of (fma (/ -1/3 x) (/ 1 (pow x 2)) (/ 1 x)) in (x) around 0 22.329 * [taylor]: Taking taylor expansion of (fma (/ -1/3 x) (/ 1 (pow x 2)) (/ 1 x)) in x 22.329 * [taylor]: Rewrote expression to (+ (* (/ -1/3 x) (/ 1 (pow x 2))) (/ 1 x)) 22.329 * [taylor]: Taking taylor expansion of (* (/ -1/3 x) (/ 1 (pow x 2))) in x 22.329 * [taylor]: Taking taylor expansion of (/ -1/3 x) in x 22.329 * [taylor]: Taking taylor expansion of -1/3 in x 22.329 * [backup-simplify]: Simplify -1/3 into -1/3 22.329 * [taylor]: Taking taylor expansion of x in x 22.329 * [backup-simplify]: Simplify 0 into 0 22.329 * [backup-simplify]: Simplify 1 into 1 22.330 * [backup-simplify]: Simplify (/ -1/3 1) into -1/3 22.330 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 22.330 * [taylor]: Taking taylor expansion of (pow x 2) in x 22.330 * [taylor]: Taking taylor expansion of x in x 22.330 * [backup-simplify]: Simplify 0 into 0 22.330 * [backup-simplify]: Simplify 1 into 1 22.330 * [backup-simplify]: Simplify (* 1 1) into 1 22.330 * [backup-simplify]: Simplify (/ 1 1) into 1 22.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.330 * [taylor]: Taking taylor expansion of x in x 22.330 * [backup-simplify]: Simplify 0 into 0 22.330 * [backup-simplify]: Simplify 1 into 1 22.331 * [backup-simplify]: Simplify (/ 1 1) into 1 22.331 * [taylor]: Taking taylor expansion of (fma (/ -1/3 x) (/ 1 (pow x 2)) (/ 1 x)) in x 22.331 * [taylor]: Rewrote expression to (+ (* (/ -1/3 x) (/ 1 (pow x 2))) (/ 1 x)) 22.331 * [taylor]: Taking taylor expansion of (* (/ -1/3 x) (/ 1 (pow x 2))) in x 22.331 * [taylor]: Taking taylor expansion of (/ -1/3 x) in x 22.331 * [taylor]: Taking taylor expansion of -1/3 in x 22.331 * [backup-simplify]: Simplify -1/3 into -1/3 22.331 * [taylor]: Taking taylor expansion of x in x 22.331 * [backup-simplify]: Simplify 0 into 0 22.331 * [backup-simplify]: Simplify 1 into 1 22.331 * [backup-simplify]: Simplify (/ -1/3 1) into -1/3 22.331 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 22.331 * [taylor]: Taking taylor expansion of (pow x 2) in x 22.331 * [taylor]: Taking taylor expansion of x in x 22.331 * [backup-simplify]: Simplify 0 into 0 22.331 * [backup-simplify]: Simplify 1 into 1 22.331 * [backup-simplify]: Simplify (* 1 1) into 1 22.332 * [backup-simplify]: Simplify (/ 1 1) into 1 22.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.332 * [taylor]: Taking taylor expansion of x in x 22.332 * [backup-simplify]: Simplify 0 into 0 22.332 * [backup-simplify]: Simplify 1 into 1 22.332 * [backup-simplify]: Simplify (/ 1 1) into 1 22.332 * [backup-simplify]: Simplify (* -1/3 1) into -1/3 22.333 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 22.333 * [backup-simplify]: Simplify -1/3 into -1/3 22.333 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 22.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 22.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)))) into 0 22.334 * [backup-simplify]: Simplify (+ (* -1/3 0) (* 0 1)) into 0 22.335 * [backup-simplify]: Simplify (+ 0 0) into 0 22.335 * [backup-simplify]: Simplify 0 into 0 22.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 22.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.336 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.337 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (* 0 1))) into 0 22.337 * [backup-simplify]: Simplify (+ 0 1) into 1 22.337 * [backup-simplify]: Simplify 1 into 1 22.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 22.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.340 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 22.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 22.341 * [backup-simplify]: Simplify (+ 0 0) into 0 22.341 * [backup-simplify]: Simplify 0 into 0 22.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 22.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.342 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.343 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 22.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.344 * [backup-simplify]: Simplify (+ 0 0) into 0 22.344 * [backup-simplify]: Simplify 0 into 0 22.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 22.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.346 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.347 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 22.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.348 * [backup-simplify]: Simplify (+ 0 0) into 0 22.348 * [backup-simplify]: Simplify 0 into 0 22.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 22.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.350 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.351 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 22.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.351 * [backup-simplify]: Simplify (+ 0 0) into 0 22.351 * [backup-simplify]: Simplify 0 into 0 22.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 22.353 * [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 22.354 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.355 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 22.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.355 * [backup-simplify]: Simplify (+ 0 0) into 0 22.355 * [backup-simplify]: Simplify 0 into 0 22.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 22.357 * [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 22.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 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 22.359 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 22.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.360 * [backup-simplify]: Simplify (+ 0 0) into 0 22.360 * [backup-simplify]: Simplify 0 into 0 22.360 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 x))) (* -1/3 (pow (/ 1 (/ 1 x)) 3))) into (- x (* 1/3 (pow x 3))) 22.360 * [backup-simplify]: Simplify (fma (* (/ 1 (- x)) -1/3) (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- x))) into (fma (/ 1/3 x) (/ 1 (pow x 2)) (/ -1 x)) 22.360 * [approximate]: Taking taylor expansion of (fma (/ 1/3 x) (/ 1 (pow x 2)) (/ -1 x)) in (x) around 0 22.360 * [taylor]: Taking taylor expansion of (fma (/ 1/3 x) (/ 1 (pow x 2)) (/ -1 x)) in x 22.360 * [taylor]: Rewrote expression to (+ (* (/ 1/3 x) (/ 1 (pow x 2))) (/ -1 x)) 22.360 * [taylor]: Taking taylor expansion of (* (/ 1/3 x) (/ 1 (pow x 2))) in x 22.360 * [taylor]: Taking taylor expansion of (/ 1/3 x) in x 22.360 * [taylor]: Taking taylor expansion of 1/3 in x 22.360 * [backup-simplify]: Simplify 1/3 into 1/3 22.360 * [taylor]: Taking taylor expansion of x in x 22.360 * [backup-simplify]: Simplify 0 into 0 22.360 * [backup-simplify]: Simplify 1 into 1 22.361 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 22.361 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 22.361 * [taylor]: Taking taylor expansion of (pow x 2) in x 22.361 * [taylor]: Taking taylor expansion of x in x 22.361 * [backup-simplify]: Simplify 0 into 0 22.361 * [backup-simplify]: Simplify 1 into 1 22.361 * [backup-simplify]: Simplify (* 1 1) into 1 22.361 * [backup-simplify]: Simplify (/ 1 1) into 1 22.361 * [taylor]: Taking taylor expansion of (/ -1 x) in x 22.361 * [taylor]: Taking taylor expansion of -1 in x 22.361 * [backup-simplify]: Simplify -1 into -1 22.361 * [taylor]: Taking taylor expansion of x in x 22.361 * [backup-simplify]: Simplify 0 into 0 22.361 * [backup-simplify]: Simplify 1 into 1 22.362 * [backup-simplify]: Simplify (/ -1 1) into -1 22.362 * [taylor]: Taking taylor expansion of (fma (/ 1/3 x) (/ 1 (pow x 2)) (/ -1 x)) in x 22.362 * [taylor]: Rewrote expression to (+ (* (/ 1/3 x) (/ 1 (pow x 2))) (/ -1 x)) 22.362 * [taylor]: Taking taylor expansion of (* (/ 1/3 x) (/ 1 (pow x 2))) in x 22.362 * [taylor]: Taking taylor expansion of (/ 1/3 x) in x 22.362 * [taylor]: Taking taylor expansion of 1/3 in x 22.362 * [backup-simplify]: Simplify 1/3 into 1/3 22.362 * [taylor]: Taking taylor expansion of x in x 22.362 * [backup-simplify]: Simplify 0 into 0 22.362 * [backup-simplify]: Simplify 1 into 1 22.362 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 22.362 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 22.362 * [taylor]: Taking taylor expansion of (pow x 2) in x 22.362 * [taylor]: Taking taylor expansion of x in x 22.362 * [backup-simplify]: Simplify 0 into 0 22.362 * [backup-simplify]: Simplify 1 into 1 22.363 * [backup-simplify]: Simplify (* 1 1) into 1 22.363 * [backup-simplify]: Simplify (/ 1 1) into 1 22.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x 22.363 * [taylor]: Taking taylor expansion of -1 in x 22.363 * [backup-simplify]: Simplify -1 into -1 22.363 * [taylor]: Taking taylor expansion of x in x 22.363 * [backup-simplify]: Simplify 0 into 0 22.363 * [backup-simplify]: Simplify 1 into 1 22.363 * [backup-simplify]: Simplify (/ -1 1) into -1 22.364 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 22.364 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 22.364 * [backup-simplify]: Simplify 1/3 into 1/3 22.365 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 22.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 22.365 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)))) into 0 22.366 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 22.366 * [backup-simplify]: Simplify (+ 0 0) into 0 22.366 * [backup-simplify]: Simplify 0 into 0 22.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 22.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.368 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 22.369 * [backup-simplify]: Simplify (+ 0 -1) into -1 22.369 * [backup-simplify]: Simplify -1 into -1 22.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 22.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.371 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 22.372 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 22.372 * [backup-simplify]: Simplify (+ 0 0) into 0 22.372 * [backup-simplify]: Simplify 0 into 0 22.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 22.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.374 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.375 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 22.375 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.375 * [backup-simplify]: Simplify (+ 0 0) into 0 22.375 * [backup-simplify]: Simplify 0 into 0 22.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 22.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.377 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.378 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 22.379 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.379 * [backup-simplify]: Simplify (+ 0 0) into 0 22.379 * [backup-simplify]: Simplify 0 into 0 22.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 22.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.381 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.382 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 22.383 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.383 * [backup-simplify]: Simplify (+ 0 0) into 0 22.383 * [backup-simplify]: Simplify 0 into 0 22.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 22.384 * [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 22.385 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.386 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 22.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.387 * [backup-simplify]: Simplify (+ 0 0) into 0 22.387 * [backup-simplify]: Simplify 0 into 0 22.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 22.389 * [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 22.389 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 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 22.391 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 22.391 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 22.392 * [backup-simplify]: Simplify (+ 0 0) into 0 22.392 * [backup-simplify]: Simplify 0 into 0 22.392 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (* 1/3 (pow (/ 1 (/ 1 (- x))) 3))) into (- x (* 1/3 (pow x 3))) 22.392 * * * [progress]: simplifying candidates 22.392 * * * * [progress]: [ 1 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 2 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 3 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 4 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 5 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 6 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 7 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 8 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 9 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 10 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #real (real->posit16 (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x)))))> 22.392 * * * * [progress]: [ 12 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 13 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 14 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 15 / 52 ] simplifiying candidate # 22.392 * * * * [progress]: [ 16 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 17 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 18 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 19 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 20 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 21 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 22 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 23 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 24 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 25 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 26 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 27 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 28 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 29 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 30 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #real (real->posit16 (* x -1/3))) (* x x) x)))> 22.393 * * * * [progress]: [ 32 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 33 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 34 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 35 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 36 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 37 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 38 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 39 / 52 ] simplifiying candidate # 22.393 * * * * [progress]: [ 40 / 52 ] simplifiying candidate # 22.394 * * * * [progress]: [ 41 / 52 ] simplifiying candidate # 22.394 * * * * [progress]: [ 42 / 52 ] simplifiying candidate # 22.394 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #real (real->posit16 (fma (* x -1/3) (* x x) x)))))> 22.394 * * * * [progress]: [ 44 / 52 ] simplifiying candidate # 22.394 * * * * [progress]: [ 45 / 52 ] simplifiying candidate # 22.394 * * * * [progress]: [ 46 / 52 ] simplifiying candidate # 22.394 * * * * [progress]: [ 47 / 52 ] simplifiying candidate # 22.394 * * * * [progress]: [ 48 / 52 ] simplifiying candidate # 22.394 * * * * [progress]: [ 49 / 52 ] simplifiying candidate # 22.394 * * * * [progress]: [ 50 / 52 ] simplifiying candidate # 22.394 * * * * [progress]: [ 51 / 52 ] simplifiying candidate # 22.394 * * * * [progress]: [ 52 / 52 ] simplifiying candidate # 22.395 * [simplify]: Simplifying: (expm1 (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x))) (log1p (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x))) (* 2/15 (pow x 5)) (log (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x))) (exp (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x))) (* (cbrt (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x))) (cbrt (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x)))) (cbrt (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x))) (* (* (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x)) (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x))) (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x))) (sqrt (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x))) (sqrt (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x))) (real->posit16 (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x))) (expm1 (* x -1/3)) (log1p (* x -1/3)) (* x -1/3) (+ (log x) (log -1/3)) (log (* x -1/3)) (exp (* x -1/3)) (* (* (* x x) x) (* (* -1/3 -1/3) -1/3)) (* (cbrt (* x -1/3)) (cbrt (* x -1/3))) (cbrt (* x -1/3)) (* (* (* x -1/3) (* x -1/3)) (* x -1/3)) (sqrt (* x -1/3)) (sqrt (* x -1/3)) (* (sqrt x) (sqrt -1/3)) (* (sqrt x) (sqrt -1/3)) (* x (* (cbrt -1/3) (cbrt -1/3))) (* x (sqrt -1/3)) (* x 1) (* (cbrt x) -1/3) (* (sqrt x) -1/3) (* x -1/3) (real->posit16 (* x -1/3)) (expm1 (fma (* x -1/3) (* x x) x)) (log1p (fma (* x -1/3) (* x x) x)) (* (* x -1/3) (* x x)) (log (fma (* x -1/3) (* x x) x)) (exp (fma (* x -1/3) (* x x) x)) (* (cbrt (fma (* x -1/3) (* x x) x)) (cbrt (fma (* x -1/3) (* x x) x))) (cbrt (fma (* x -1/3) (* x x) x)) (* (* (fma (* x -1/3) (* x x) x) (fma (* x -1/3) (* x x) x)) (fma (* x -1/3) (* x x) x)) (sqrt (fma (* x -1/3) (* x x) x)) (sqrt (fma (* x -1/3) (* x x) x)) (real->posit16 (fma (* x -1/3) (* x x) x)) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (* -1/3 x) (* -1/3 x) (* -1/3 x) (- x (* 1/3 (pow x 3))) (- x (* 1/3 (pow x 3))) (- x (* 1/3 (pow x 3))) 22.396 * * [simplify]: iteration 1: (68 enodes) 22.414 * * [simplify]: iteration 2: (119 enodes) 22.447 * * [simplify]: iteration 3: (261 enodes) 22.534 * * [simplify]: iteration 4: (897 enodes) 23.567 * * [simplify]: Extracting #0: cost 38 inf + 0 23.567 * * [simplify]: Extracting #1: cost 211 inf + 1 23.570 * * [simplify]: Extracting #2: cost 701 inf + 4584 23.579 * * [simplify]: Extracting #3: cost 853 inf + 43051 23.622 * * [simplify]: Extracting #4: cost 267 inf + 260787 23.712 * * [simplify]: Extracting #5: cost 17 inf + 390146 23.839 * * [simplify]: Extracting #6: cost 0 inf + 399346 23.934 * [simplify]: Simplified to: (expm1 (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x))) (log1p (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x))) (* (pow x 5) 2/15) (log (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x))) (exp (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x))) (* (cbrt (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x))) (cbrt (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x)))) (cbrt (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x))) (* (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x)) (* (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x)) (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x)))) (sqrt (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x))) (sqrt (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x))) (real->posit16 (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x))) (expm1 (* x -1/3)) (log1p (* x -1/3)) (* x -1/3) (log (* x -1/3)) (log (* x -1/3)) (exp (* x -1/3)) (* (* (* x -1/27) x) x) (* (cbrt (* x -1/3)) (cbrt (* x -1/3))) (cbrt (* x -1/3)) (* (* (* x -1/27) x) x) (sqrt (* x -1/3)) (sqrt (* x -1/3)) (* (sqrt x) (sqrt -1/3)) (* (sqrt x) (sqrt -1/3)) (* (* (cbrt -1/3) (cbrt -1/3)) x) (* (sqrt -1/3) x) x (* -1/3 (cbrt x)) (* -1/3 (sqrt x)) (* x -1/3) (real->posit16 (* x -1/3)) (expm1 (fma (* x x) (* x -1/3) x)) (log1p (fma (* x x) (* x -1/3) x)) (* (* (* x -1/3) x) x) (log (fma (* x x) (* x -1/3) x)) (exp (fma (* x x) (* x -1/3) x)) (* (cbrt (fma (* x x) (* x -1/3) x)) (cbrt (fma (* x x) (* x -1/3) x))) (cbrt (fma (* x x) (* x -1/3) x)) (* (* (fma (* x x) (* x -1/3) x) (fma (* x x) (* x -1/3) x)) (fma (* x x) (* x -1/3) x)) (sqrt (fma (* x x) (* x -1/3) x)) (sqrt (fma (* x x) (* x -1/3) x)) (real->posit16 (fma (* x x) (* x -1/3) x)) (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x)) (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x)) (fma 2/15 (pow x 5) (fma (* x x) (* x -1/3) x)) (* x -1/3) (* x -1/3) (* x -1/3) (fma (* x x) (* x -1/3) x) (fma (* x x) (* x -1/3) x) (fma (* x x) (* x -1/3) x) 23.938 * * * [progress]: adding candidates to table 24.504 * * [progress]: iteration 3 / 4 24.504 * * * [progress]: picking best candidate 24.509 * * * * [pick]: Picked # 24.509 * * * [progress]: localizing error 24.535 * * * [progress]: generating rewritten candidates 24.535 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 24.965 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 24.982 * * * [progress]: generating series expansions 24.982 * * * * [progress]: [ 1 / 2 ] generating series at (2) 24.983 * [backup-simplify]: Simplify (- (/ 2 (+ 1 (exp (* -2 x)))) 1) into (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) 24.983 * [approximate]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) in (x) around 0 24.983 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) in x 24.983 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (exp (* -2 x)) 1))) in x 24.983 * [taylor]: Taking taylor expansion of 2 in x 24.983 * [backup-simplify]: Simplify 2 into 2 24.983 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2 x)) 1)) in x 24.983 * [taylor]: Taking taylor expansion of (+ (exp (* -2 x)) 1) in x 24.983 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 24.983 * [taylor]: Taking taylor expansion of (* -2 x) in x 24.983 * [taylor]: Taking taylor expansion of -2 in x 24.983 * [backup-simplify]: Simplify -2 into -2 24.983 * [taylor]: Taking taylor expansion of x in x 24.983 * [backup-simplify]: Simplify 0 into 0 24.983 * [backup-simplify]: Simplify 1 into 1 24.983 * [backup-simplify]: Simplify (* -2 0) into 0 24.984 * [backup-simplify]: Simplify (+ (* -2 1) (* 0 0)) into -2 24.984 * [backup-simplify]: Simplify (exp 0) into 1 24.984 * [taylor]: Taking taylor expansion of 1 in x 24.984 * [backup-simplify]: Simplify 1 into 1 24.984 * [backup-simplify]: Simplify (+ 1 1) into 2 24.985 * [backup-simplify]: Simplify (/ 1 2) into 1/2 24.985 * [taylor]: Taking taylor expansion of 1 in x 24.985 * [backup-simplify]: Simplify 1 into 1 24.985 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) in x 24.985 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (exp (* -2 x)) 1))) in x 24.985 * [taylor]: Taking taylor expansion of 2 in x 24.985 * [backup-simplify]: Simplify 2 into 2 24.985 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2 x)) 1)) in x 24.985 * [taylor]: Taking taylor expansion of (+ (exp (* -2 x)) 1) in x 24.985 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 24.985 * [taylor]: Taking taylor expansion of (* -2 x) in x 24.985 * [taylor]: Taking taylor expansion of -2 in x 24.985 * [backup-simplify]: Simplify -2 into -2 24.985 * [taylor]: Taking taylor expansion of x in x 24.985 * [backup-simplify]: Simplify 0 into 0 24.985 * [backup-simplify]: Simplify 1 into 1 24.985 * [backup-simplify]: Simplify (* -2 0) into 0 24.986 * [backup-simplify]: Simplify (+ (* -2 1) (* 0 0)) into -2 24.986 * [backup-simplify]: Simplify (exp 0) into 1 24.986 * [taylor]: Taking taylor expansion of 1 in x 24.986 * [backup-simplify]: Simplify 1 into 1 24.986 * [backup-simplify]: Simplify (+ 1 1) into 2 24.986 * [backup-simplify]: Simplify (/ 1 2) into 1/2 24.986 * [taylor]: Taking taylor expansion of 1 in x 24.986 * [backup-simplify]: Simplify 1 into 1 24.987 * [backup-simplify]: Simplify (* 2 1/2) into 1 24.987 * [backup-simplify]: Simplify (- 1) into -1 24.987 * [backup-simplify]: Simplify (+ 1 -1) into 0 24.987 * [backup-simplify]: Simplify 0 into 0 24.988 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 1) 1)))) into -2 24.988 * [backup-simplify]: Simplify (+ -2 0) into -2 24.989 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ -2 2)))) into 1/2 24.989 * [backup-simplify]: Simplify (+ (* 2 1/2) (* 0 1/2)) into 1 24.989 * [backup-simplify]: Simplify (- 0) into 0 24.989 * [backup-simplify]: Simplify (+ 1 0) into 1 24.989 * [backup-simplify]: Simplify 1 into 1 24.990 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 1) (* 0 0))) into 0 24.992 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 2) 2)) (* (/ (pow 0 1) 1)))) into 2 24.993 * [backup-simplify]: Simplify (+ 2 0) into 2 24.994 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ 2 2)) (* 1/2 (/ -2 2)))) into 0 24.995 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1/2) (* 0 1/2))) into 0 24.995 * [backup-simplify]: Simplify (- 0) into 0 24.996 * [backup-simplify]: Simplify (+ 0 0) into 0 24.996 * [backup-simplify]: Simplify 0 into 0 24.997 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 25.000 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 3) 6)) (* (/ (pow -2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -4/3 25.000 * [backup-simplify]: Simplify (+ -4/3 0) into -4/3 25.002 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ -4/3 2)) (* 1/2 (/ 2 2)) (* 0 (/ -2 2)))) into -1/6 25.003 * [backup-simplify]: Simplify (+ (* 2 -1/6) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/2)))) into -1/3 25.004 * [backup-simplify]: Simplify (- 0) into 0 25.004 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 25.004 * [backup-simplify]: Simplify -1/3 into -1/3 25.006 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 25.010 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 4) 24)) (* (/ (pow -2 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 2/3 25.011 * [backup-simplify]: Simplify (+ 2/3 0) into 2/3 25.014 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ 2/3 2)) (* 1/2 (/ -4/3 2)) (* 0 (/ 2 2)) (* -1/6 (/ -2 2)))) into 0 25.015 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 -1/6) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/2))))) into 0 25.015 * [backup-simplify]: Simplify (- 0) into 0 25.015 * [backup-simplify]: Simplify (+ 0 0) into 0 25.015 * [backup-simplify]: Simplify 0 into 0 25.016 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 25.020 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 5) 120)) (* (/ (pow -2 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -2 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -2 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -4/15 25.020 * [backup-simplify]: Simplify (+ -4/15 0) into -4/15 25.022 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ -4/15 2)) (* 1/2 (/ 2/3 2)) (* 0 (/ -4/3 2)) (* -1/6 (/ 2 2)) (* 0 (/ -2 2)))) into 1/15 25.023 * [backup-simplify]: Simplify (+ (* 2 1/15) (+ (* 0 0) (+ (* 0 -1/6) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/2)))))) into 2/15 25.024 * [backup-simplify]: Simplify (- 0) into 0 25.024 * [backup-simplify]: Simplify (+ 2/15 0) into 2/15 25.024 * [backup-simplify]: Simplify 2/15 into 2/15 25.024 * [backup-simplify]: Simplify (+ (* 2/15 (pow x 5)) (+ (* -1/3 (pow x 3)) (* 1 x))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 25.024 * [backup-simplify]: Simplify (- (/ 2 (+ 1 (exp (* -2 (/ 1 x))))) 1) into (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) 25.024 * [approximate]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) in (x) around 0 25.024 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) in x 25.024 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) in x 25.024 * [taylor]: Taking taylor expansion of 2 in x 25.024 * [backup-simplify]: Simplify 2 into 2 25.024 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2 x)) 1)) in x 25.024 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 25.024 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 25.024 * [taylor]: Taking taylor expansion of (/ -2 x) in x 25.024 * [taylor]: Taking taylor expansion of -2 in x 25.024 * [backup-simplify]: Simplify -2 into -2 25.024 * [taylor]: Taking taylor expansion of x in x 25.024 * [backup-simplify]: Simplify 0 into 0 25.024 * [backup-simplify]: Simplify 1 into 1 25.025 * [backup-simplify]: Simplify (/ -2 1) into -2 25.025 * [backup-simplify]: Simplify (exp (/ -2 x)) into (exp (/ -2 x)) 25.025 * [taylor]: Taking taylor expansion of 1 in x 25.025 * [backup-simplify]: Simplify 1 into 1 25.025 * [backup-simplify]: Simplify (+ (exp (/ -2 x)) 1) into (+ (exp (/ -2 x)) 1) 25.025 * [backup-simplify]: Simplify (/ 1 (+ (exp (/ -2 x)) 1)) into (/ 1 (+ (exp (/ -2 x)) 1)) 25.025 * [taylor]: Taking taylor expansion of 1 in x 25.025 * [backup-simplify]: Simplify 1 into 1 25.025 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) in x 25.025 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) in x 25.025 * [taylor]: Taking taylor expansion of 2 in x 25.025 * [backup-simplify]: Simplify 2 into 2 25.025 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2 x)) 1)) in x 25.025 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 25.025 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 25.025 * [taylor]: Taking taylor expansion of (/ -2 x) in x 25.025 * [taylor]: Taking taylor expansion of -2 in x 25.025 * [backup-simplify]: Simplify -2 into -2 25.025 * [taylor]: Taking taylor expansion of x in x 25.025 * [backup-simplify]: Simplify 0 into 0 25.025 * [backup-simplify]: Simplify 1 into 1 25.026 * [backup-simplify]: Simplify (/ -2 1) into -2 25.026 * [backup-simplify]: Simplify (exp (/ -2 x)) into (exp (/ -2 x)) 25.026 * [taylor]: Taking taylor expansion of 1 in x 25.026 * [backup-simplify]: Simplify 1 into 1 25.026 * [backup-simplify]: Simplify (+ (exp (/ -2 x)) 1) into (+ (exp (/ -2 x)) 1) 25.026 * [backup-simplify]: Simplify (/ 1 (+ (exp (/ -2 x)) 1)) into (/ 1 (+ (exp (/ -2 x)) 1)) 25.026 * [taylor]: Taking taylor expansion of 1 in x 25.026 * [backup-simplify]: Simplify 1 into 1 25.026 * [backup-simplify]: Simplify (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) into (/ 2 (+ (exp (/ -2 x)) 1)) 25.026 * [backup-simplify]: Simplify (- 1) into -1 25.026 * [backup-simplify]: Simplify (+ (/ 2 (+ (exp (/ -2 x)) 1)) -1) into (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) 25.026 * [backup-simplify]: Simplify (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) into (- (* 2 (/ 1 (+ (exp (/ -2 x)) 1))) 1) 25.027 * [backup-simplify]: Simplify (+ 0 0) into 0 25.027 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 25.027 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 (+ (exp (/ -2 x)) 1)))) into 0 25.027 * [backup-simplify]: Simplify (- 0) into 0 25.028 * [backup-simplify]: Simplify (+ 0 0) into 0 25.028 * [backup-simplify]: Simplify 0 into 0 25.028 * [backup-simplify]: Simplify (+ 0 0) into 0 25.028 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 25.029 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ -2 x)) 1))))) into 0 25.029 * [backup-simplify]: Simplify (- 0) into 0 25.029 * [backup-simplify]: Simplify (+ 0 0) into 0 25.029 * [backup-simplify]: Simplify 0 into 0 25.029 * [backup-simplify]: Simplify (+ 0 0) into 0 25.030 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 25.030 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ -2 x)) 1)))))) into 0 25.031 * [backup-simplify]: Simplify (- 0) into 0 25.031 * [backup-simplify]: Simplify (+ 0 0) into 0 25.031 * [backup-simplify]: Simplify 0 into 0 25.031 * [backup-simplify]: Simplify (+ 0 0) into 0 25.031 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 25.032 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ -2 x)) 1))))))) into 0 25.033 * [backup-simplify]: Simplify (- 0) into 0 25.033 * [backup-simplify]: Simplify (+ 0 0) into 0 25.033 * [backup-simplify]: Simplify 0 into 0 25.033 * [backup-simplify]: Simplify (+ 0 0) into 0 25.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 25.035 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ -2 x)) 1)))))))) into 0 25.035 * [backup-simplify]: Simplify (- 0) into 0 25.035 * [backup-simplify]: Simplify (+ 0 0) into 0 25.036 * [backup-simplify]: Simplify 0 into 0 25.036 * [backup-simplify]: Simplify (+ 0 0) into 0 25.036 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 25.038 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ -2 x)) 1))))))))) into 0 25.038 * [backup-simplify]: Simplify (- 0) into 0 25.038 * [backup-simplify]: Simplify (+ 0 0) into 0 25.038 * [backup-simplify]: Simplify 0 into 0 25.038 * [backup-simplify]: Simplify (- (* 2 (/ 1 (+ (exp (/ -2 (/ 1 x))) 1))) 1) into (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) 25.038 * [backup-simplify]: Simplify (- (/ 2 (+ 1 (exp (* -2 (/ 1 (- x)))))) 1) into (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) 25.038 * [approximate]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) in (x) around 0 25.038 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) in x 25.038 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) in x 25.038 * [taylor]: Taking taylor expansion of 2 in x 25.038 * [backup-simplify]: Simplify 2 into 2 25.038 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2 x)) 1)) in x 25.038 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 25.038 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 25.038 * [taylor]: Taking taylor expansion of (/ 2 x) in x 25.038 * [taylor]: Taking taylor expansion of 2 in x 25.038 * [backup-simplify]: Simplify 2 into 2 25.038 * [taylor]: Taking taylor expansion of x in x 25.038 * [backup-simplify]: Simplify 0 into 0 25.038 * [backup-simplify]: Simplify 1 into 1 25.039 * [backup-simplify]: Simplify (/ 2 1) into 2 25.039 * [backup-simplify]: Simplify (exp (/ 2 x)) into (exp (/ 2 x)) 25.039 * [taylor]: Taking taylor expansion of 1 in x 25.039 * [backup-simplify]: Simplify 1 into 1 25.039 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) 1) into (+ (exp (/ 2 x)) 1) 25.039 * [backup-simplify]: Simplify (/ 1 (+ (exp (/ 2 x)) 1)) into (/ 1 (+ (exp (/ 2 x)) 1)) 25.039 * [taylor]: Taking taylor expansion of 1 in x 25.039 * [backup-simplify]: Simplify 1 into 1 25.039 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) in x 25.039 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) in x 25.039 * [taylor]: Taking taylor expansion of 2 in x 25.039 * [backup-simplify]: Simplify 2 into 2 25.039 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2 x)) 1)) in x 25.039 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 25.039 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 25.039 * [taylor]: Taking taylor expansion of (/ 2 x) in x 25.039 * [taylor]: Taking taylor expansion of 2 in x 25.039 * [backup-simplify]: Simplify 2 into 2 25.039 * [taylor]: Taking taylor expansion of x in x 25.039 * [backup-simplify]: Simplify 0 into 0 25.039 * [backup-simplify]: Simplify 1 into 1 25.039 * [backup-simplify]: Simplify (/ 2 1) into 2 25.040 * [backup-simplify]: Simplify (exp (/ 2 x)) into (exp (/ 2 x)) 25.040 * [taylor]: Taking taylor expansion of 1 in x 25.040 * [backup-simplify]: Simplify 1 into 1 25.040 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) 1) into (+ (exp (/ 2 x)) 1) 25.040 * [backup-simplify]: Simplify (/ 1 (+ (exp (/ 2 x)) 1)) into (/ 1 (+ (exp (/ 2 x)) 1)) 25.040 * [taylor]: Taking taylor expansion of 1 in x 25.040 * [backup-simplify]: Simplify 1 into 1 25.040 * [backup-simplify]: Simplify (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) into (/ 2 (+ (exp (/ 2 x)) 1)) 25.040 * [backup-simplify]: Simplify (- 1) into -1 25.040 * [backup-simplify]: Simplify (+ (/ 2 (+ (exp (/ 2 x)) 1)) -1) into (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) 25.040 * [backup-simplify]: Simplify (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) into (- (* 2 (/ 1 (+ (exp (/ 2 x)) 1))) 1) 25.040 * [backup-simplify]: Simplify (+ 0 0) into 0 25.041 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 25.041 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 (+ (exp (/ 2 x)) 1)))) into 0 25.041 * [backup-simplify]: Simplify (- 0) into 0 25.041 * [backup-simplify]: Simplify (+ 0 0) into 0 25.041 * [backup-simplify]: Simplify 0 into 0 25.042 * [backup-simplify]: Simplify (+ 0 0) into 0 25.042 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 25.042 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ 2 x)) 1))))) into 0 25.043 * [backup-simplify]: Simplify (- 0) into 0 25.043 * [backup-simplify]: Simplify (+ 0 0) into 0 25.043 * [backup-simplify]: Simplify 0 into 0 25.043 * [backup-simplify]: Simplify (+ 0 0) into 0 25.043 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 25.044 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ 2 x)) 1)))))) into 0 25.044 * [backup-simplify]: Simplify (- 0) into 0 25.045 * [backup-simplify]: Simplify (+ 0 0) into 0 25.045 * [backup-simplify]: Simplify 0 into 0 25.045 * [backup-simplify]: Simplify (+ 0 0) into 0 25.045 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 25.046 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ 2 x)) 1))))))) into 0 25.046 * [backup-simplify]: Simplify (- 0) into 0 25.047 * [backup-simplify]: Simplify (+ 0 0) into 0 25.047 * [backup-simplify]: Simplify 0 into 0 25.047 * [backup-simplify]: Simplify (+ 0 0) into 0 25.047 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 25.048 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ 2 x)) 1)))))))) into 0 25.049 * [backup-simplify]: Simplify (- 0) into 0 25.049 * [backup-simplify]: Simplify (+ 0 0) into 0 25.049 * [backup-simplify]: Simplify 0 into 0 25.049 * [backup-simplify]: Simplify (+ 0 0) into 0 25.049 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 25.051 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (+ (exp (/ 2 x)) 1))))))))) into 0 25.051 * [backup-simplify]: Simplify (- 0) into 0 25.051 * [backup-simplify]: Simplify (+ 0 0) into 0 25.051 * [backup-simplify]: Simplify 0 into 0 25.052 * [backup-simplify]: Simplify (- (* 2 (/ 1 (+ (exp (/ 2 (/ 1 (- x)))) 1))) 1) into (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) 25.052 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 25.052 * [backup-simplify]: Simplify (/ 2 (+ 1 (exp (* -2 x)))) into (/ 2 (+ (exp (* -2 x)) 1)) 25.052 * [approximate]: Taking taylor expansion of (/ 2 (+ (exp (* -2 x)) 1)) in (x) around 0 25.052 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (* -2 x)) 1)) in x 25.052 * [taylor]: Taking taylor expansion of 2 in x 25.052 * [backup-simplify]: Simplify 2 into 2 25.052 * [taylor]: Taking taylor expansion of (+ (exp (* -2 x)) 1) in x 25.052 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 25.052 * [taylor]: Taking taylor expansion of (* -2 x) in x 25.052 * [taylor]: Taking taylor expansion of -2 in x 25.052 * [backup-simplify]: Simplify -2 into -2 25.052 * [taylor]: Taking taylor expansion of x in x 25.052 * [backup-simplify]: Simplify 0 into 0 25.052 * [backup-simplify]: Simplify 1 into 1 25.052 * [backup-simplify]: Simplify (* -2 0) into 0 25.053 * [backup-simplify]: Simplify (+ (* -2 1) (* 0 0)) into -2 25.053 * [backup-simplify]: Simplify (exp 0) into 1 25.053 * [taylor]: Taking taylor expansion of 1 in x 25.053 * [backup-simplify]: Simplify 1 into 1 25.053 * [backup-simplify]: Simplify (+ 1 1) into 2 25.053 * [backup-simplify]: Simplify (/ 2 2) into 1 25.053 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (* -2 x)) 1)) in x 25.053 * [taylor]: Taking taylor expansion of 2 in x 25.053 * [backup-simplify]: Simplify 2 into 2 25.053 * [taylor]: Taking taylor expansion of (+ (exp (* -2 x)) 1) in x 25.053 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 25.053 * [taylor]: Taking taylor expansion of (* -2 x) in x 25.053 * [taylor]: Taking taylor expansion of -2 in x 25.053 * [backup-simplify]: Simplify -2 into -2 25.053 * [taylor]: Taking taylor expansion of x in x 25.053 * [backup-simplify]: Simplify 0 into 0 25.053 * [backup-simplify]: Simplify 1 into 1 25.054 * [backup-simplify]: Simplify (* -2 0) into 0 25.054 * [backup-simplify]: Simplify (+ (* -2 1) (* 0 0)) into -2 25.054 * [backup-simplify]: Simplify (exp 0) into 1 25.054 * [taylor]: Taking taylor expansion of 1 in x 25.054 * [backup-simplify]: Simplify 1 into 1 25.054 * [backup-simplify]: Simplify (+ 1 1) into 2 25.055 * [backup-simplify]: Simplify (/ 2 2) into 1 25.055 * [backup-simplify]: Simplify 1 into 1 25.055 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 1) 1)))) into -2 25.056 * [backup-simplify]: Simplify (+ -2 0) into -2 25.056 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ -2 2)))) into 1 25.056 * [backup-simplify]: Simplify 1 into 1 25.057 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 1) (* 0 0))) into 0 25.058 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 2) 2)) (* (/ (pow 0 1) 1)))) into 2 25.058 * [backup-simplify]: Simplify (+ 2 0) into 2 25.059 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 2 2)) (* 1 (/ -2 2)))) into 0 25.059 * [backup-simplify]: Simplify 0 into 0 25.060 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 25.062 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 3) 6)) (* (/ (pow -2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -4/3 25.062 * [backup-simplify]: Simplify (+ -4/3 0) into -4/3 25.063 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ -4/3 2)) (* 1 (/ 2 2)) (* 0 (/ -2 2)))) into -1/3 25.063 * [backup-simplify]: Simplify -1/3 into -1/3 25.063 * [backup-simplify]: Simplify (+ (* -1/3 (pow x 3)) (+ (* 1 x) 1)) into (- (+ x 1) (* 1/3 (pow x 3))) 25.064 * [backup-simplify]: Simplify (/ 2 (+ 1 (exp (* -2 (/ 1 x))))) into (/ 2 (+ (exp (/ -2 x)) 1)) 25.064 * [approximate]: Taking taylor expansion of (/ 2 (+ (exp (/ -2 x)) 1)) in (x) around 0 25.064 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ -2 x)) 1)) in x 25.064 * [taylor]: Taking taylor expansion of 2 in x 25.064 * [backup-simplify]: Simplify 2 into 2 25.064 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 25.064 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 25.064 * [taylor]: Taking taylor expansion of (/ -2 x) in x 25.064 * [taylor]: Taking taylor expansion of -2 in x 25.064 * [backup-simplify]: Simplify -2 into -2 25.064 * [taylor]: Taking taylor expansion of x in x 25.064 * [backup-simplify]: Simplify 0 into 0 25.064 * [backup-simplify]: Simplify 1 into 1 25.064 * [backup-simplify]: Simplify (/ -2 1) into -2 25.064 * [backup-simplify]: Simplify (exp (/ -2 x)) into (exp (/ -2 x)) 25.064 * [taylor]: Taking taylor expansion of 1 in x 25.064 * [backup-simplify]: Simplify 1 into 1 25.064 * [backup-simplify]: Simplify (+ (exp (/ -2 x)) 1) into (+ (exp (/ -2 x)) 1) 25.064 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ -2 x)) 1)) into (/ 2 (+ (exp (/ -2 x)) 1)) 25.064 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ -2 x)) 1)) in x 25.064 * [taylor]: Taking taylor expansion of 2 in x 25.064 * [backup-simplify]: Simplify 2 into 2 25.064 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 25.064 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 25.064 * [taylor]: Taking taylor expansion of (/ -2 x) in x 25.064 * [taylor]: Taking taylor expansion of -2 in x 25.064 * [backup-simplify]: Simplify -2 into -2 25.064 * [taylor]: Taking taylor expansion of x in x 25.064 * [backup-simplify]: Simplify 0 into 0 25.064 * [backup-simplify]: Simplify 1 into 1 25.065 * [backup-simplify]: Simplify (/ -2 1) into -2 25.065 * [backup-simplify]: Simplify (exp (/ -2 x)) into (exp (/ -2 x)) 25.065 * [taylor]: Taking taylor expansion of 1 in x 25.065 * [backup-simplify]: Simplify 1 into 1 25.065 * [backup-simplify]: Simplify (+ (exp (/ -2 x)) 1) into (+ (exp (/ -2 x)) 1) 25.065 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ -2 x)) 1)) into (/ 2 (+ (exp (/ -2 x)) 1)) 25.065 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ -2 x)) 1)) into (/ 2 (+ (exp (/ -2 x)) 1)) 25.065 * [backup-simplify]: Simplify (+ 0 0) into 0 25.065 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -2 x)) 1)) (+ (* (/ 2 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 25.065 * [backup-simplify]: Simplify 0 into 0 25.066 * [backup-simplify]: Simplify (+ 0 0) into 0 25.066 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -2 x)) 1)) (+ (* (/ 2 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 25.066 * [backup-simplify]: Simplify 0 into 0 25.066 * [backup-simplify]: Simplify (+ 0 0) into 0 25.067 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -2 x)) 1)) (+ (* (/ 2 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 25.067 * [backup-simplify]: Simplify 0 into 0 25.067 * [backup-simplify]: Simplify (+ 0 0) into 0 25.067 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -2 x)) 1)) (+ (* (/ 2 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 25.067 * [backup-simplify]: Simplify 0 into 0 25.068 * [backup-simplify]: Simplify (+ 0 0) into 0 25.068 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -2 x)) 1)) (+ (* (/ 2 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 25.068 * [backup-simplify]: Simplify 0 into 0 25.068 * [backup-simplify]: Simplify (+ 0 0) into 0 25.069 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -2 x)) 1)) (+ (* (/ 2 (+ (exp (/ -2 x)) 1)) (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))) (* 0 (/ 0 (+ (exp (/ -2 x)) 1))))) into 0 25.069 * [backup-simplify]: Simplify 0 into 0 25.069 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ -2 (/ 1 x))) 1)) into (/ 2 (+ (exp (* -2 x)) 1)) 25.069 * [backup-simplify]: Simplify (/ 2 (+ 1 (exp (* -2 (/ 1 (- x)))))) into (/ 2 (+ (exp (/ 2 x)) 1)) 25.069 * [approximate]: Taking taylor expansion of (/ 2 (+ (exp (/ 2 x)) 1)) in (x) around 0 25.069 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ 2 x)) 1)) in x 25.069 * [taylor]: Taking taylor expansion of 2 in x 25.069 * [backup-simplify]: Simplify 2 into 2 25.069 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 25.069 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 25.069 * [taylor]: Taking taylor expansion of (/ 2 x) in x 25.069 * [taylor]: Taking taylor expansion of 2 in x 25.069 * [backup-simplify]: Simplify 2 into 2 25.069 * [taylor]: Taking taylor expansion of x in x 25.069 * [backup-simplify]: Simplify 0 into 0 25.069 * [backup-simplify]: Simplify 1 into 1 25.069 * [backup-simplify]: Simplify (/ 2 1) into 2 25.069 * [backup-simplify]: Simplify (exp (/ 2 x)) into (exp (/ 2 x)) 25.069 * [taylor]: Taking taylor expansion of 1 in x 25.069 * [backup-simplify]: Simplify 1 into 1 25.070 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) 1) into (+ (exp (/ 2 x)) 1) 25.070 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 2 x)) 1)) into (/ 2 (+ (exp (/ 2 x)) 1)) 25.070 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ 2 x)) 1)) in x 25.070 * [taylor]: Taking taylor expansion of 2 in x 25.070 * [backup-simplify]: Simplify 2 into 2 25.070 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 25.070 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 25.070 * [taylor]: Taking taylor expansion of (/ 2 x) in x 25.070 * [taylor]: Taking taylor expansion of 2 in x 25.070 * [backup-simplify]: Simplify 2 into 2 25.070 * [taylor]: Taking taylor expansion of x in x 25.070 * [backup-simplify]: Simplify 0 into 0 25.070 * [backup-simplify]: Simplify 1 into 1 25.072 * [backup-simplify]: Simplify (/ 2 1) into 2 25.072 * [backup-simplify]: Simplify (exp (/ 2 x)) into (exp (/ 2 x)) 25.072 * [taylor]: Taking taylor expansion of 1 in x 25.072 * [backup-simplify]: Simplify 1 into 1 25.072 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) 1) into (+ (exp (/ 2 x)) 1) 25.072 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 2 x)) 1)) into (/ 2 (+ (exp (/ 2 x)) 1)) 25.073 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 2 x)) 1)) into (/ 2 (+ (exp (/ 2 x)) 1)) 25.073 * [backup-simplify]: Simplify (+ 0 0) into 0 25.073 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 2 x)) 1)) (+ (* (/ 2 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 25.073 * [backup-simplify]: Simplify 0 into 0 25.074 * [backup-simplify]: Simplify (+ 0 0) into 0 25.074 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 2 x)) 1)) (+ (* (/ 2 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 25.074 * [backup-simplify]: Simplify 0 into 0 25.074 * [backup-simplify]: Simplify (+ 0 0) into 0 25.074 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 2 x)) 1)) (+ (* (/ 2 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 25.074 * [backup-simplify]: Simplify 0 into 0 25.075 * [backup-simplify]: Simplify (+ 0 0) into 0 25.075 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 2 x)) 1)) (+ (* (/ 2 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 25.075 * [backup-simplify]: Simplify 0 into 0 25.075 * [backup-simplify]: Simplify (+ 0 0) into 0 25.076 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 2 x)) 1)) (+ (* (/ 2 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 25.076 * [backup-simplify]: Simplify 0 into 0 25.076 * [backup-simplify]: Simplify (+ 0 0) into 0 25.076 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 2 x)) 1)) (+ (* (/ 2 (+ (exp (/ 2 x)) 1)) (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))) (* 0 (/ 0 (+ (exp (/ 2 x)) 1))))) into 0 25.076 * [backup-simplify]: Simplify 0 into 0 25.076 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 2 (/ 1 (- x)))) 1)) into (/ 2 (+ (exp (* -2 x)) 1)) 25.076 * * * [progress]: simplifying candidates 25.077 * * * * [progress]: [ 1 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 2 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 3 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 4 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 5 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 6 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 7 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 8 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 9 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 10 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 11 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 12 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 13 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 14 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 15 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 16 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 17 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 18 / 138 ] simplifiying candidate # 25.077 * * * * [progress]: [ 19 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 20 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 21 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 22 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 23 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 24 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 25 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 26 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 27 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 28 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 29 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 30 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 31 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 32 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 33 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 34 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 35 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 36 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 37 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 38 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 39 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 40 / 138 ] simplifiying candidate # 25.078 * * * * [progress]: [ 41 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 42 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 43 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 44 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 45 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 46 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 47 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 48 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 49 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 50 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 51 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 52 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 53 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 54 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 55 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 56 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 57 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 58 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 59 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 60 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 61 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 62 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 63 / 138 ] simplifiying candidate # 25.079 * * * * [progress]: [ 64 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 65 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 66 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 67 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 68 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 69 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 70 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 71 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 72 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 73 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 74 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 75 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 76 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 77 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 78 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 79 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 80 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 81 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 82 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 83 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 84 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 85 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 86 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 87 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 88 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 89 / 138 ] simplifiying candidate # 25.080 * * * * [progress]: [ 90 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 91 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 92 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 93 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 94 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 95 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 96 / 138 ] simplifiying candidate #real (real->posit16 (- (/ 2 (+ 1 (exp (* -2 x)))) 1))))> 25.081 * * * * [progress]: [ 97 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 98 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 99 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 100 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 101 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 102 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 103 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 104 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 105 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 106 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 107 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 108 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 109 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 110 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 111 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 112 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 113 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 114 / 138 ] simplifiying candidate # 25.081 * * * * [progress]: [ 115 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 116 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 117 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 118 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 119 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 120 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 121 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 122 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 123 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 124 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 125 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 126 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 127 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 128 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 129 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 130 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 131 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 132 / 138 ] simplifiying candidate #real (real->posit16 (/ 2 (+ 1 (exp (* -2 x)))))) 1))> 25.082 * * * * [progress]: [ 133 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 134 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 135 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 136 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 137 / 138 ] simplifiying candidate # 25.082 * * * * [progress]: [ 138 / 138 ] simplifiying candidate # 25.084 * [simplify]: Simplifying: (fma (* (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (cbrt (/ 2 (+ 1 (exp (* -2 x)))))) (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (* (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (cbrt (/ 2 (+ 1 (exp (* -2 x)))))) (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (* (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (cbrt (/ 2 (+ 1 (exp (* -2 x)))))) (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (sqrt 2) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (sqrt 2) (cbrt (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (sqrt 2) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (sqrt 2) (cbrt (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (sqrt 2) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (sqrt 2) (cbrt (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ 1 (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ 1 (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ 1 (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ 1 (sqrt (+ 1 (exp (* -2 x))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ 1 (sqrt (+ 1 (exp (* -2 x))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ 1 (sqrt (+ 1 (exp (* -2 x))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (/ 2 (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (/ 2 (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (/ 2 (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 2 (/ 1 (+ 1 (exp (* -2 x)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 2 (/ 1 (+ 1 (exp (* -2 x)))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 2 (/ 1 (+ 1 (exp (* -2 x)))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ 2 (+ (pow 1 3) (pow (exp (* -2 x)) 3))) (+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ 2 (+ (pow 1 3) (pow (exp (* -2 x)) 3))) (+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x))))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ 2 (+ (pow 1 3) (pow (exp (* -2 x)) 3))) (+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x))))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (/ 2 (- (* 1 1) (* (exp (* -2 x)) (exp (* -2 x))))) (- 1 (exp (* -2 x))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (/ 2 (- (* 1 1) (* (exp (* -2 x)) (exp (* -2 x))))) (- 1 (exp (* -2 x))) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (/ 2 (- (* 1 1) (* (exp (* -2 x)) (exp (* -2 x))))) (- 1 (exp (* -2 x))) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (expm1 (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (log1p (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (/ (exp (/ 2 (+ 1 (exp (* -2 x))))) (exp 1)) (log (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (* (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1))) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (* (* (- (/ 2 (+ 1 (exp (* -2 x)))) 1) (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (sqrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (sqrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (- (pow (/ 2 (+ 1 (exp (* -2 x)))) 3) (pow 1 3)) (+ (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (+ (* 1 1) (* (/ 2 (+ 1 (exp (* -2 x)))) 1))) (- 1) (- (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (* 1 1)) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1) (+ (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt 1)) (- (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt 1)) (+ (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (- (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (sqrt 1)) (- (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (sqrt 1)) (+ (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (+ (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (- (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ 2 (+ 1 (exp (* -2 x)))) 1) (- 1) (real->posit16 (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (expm1 (/ 2 (+ 1 (exp (* -2 x))))) (log1p (/ 2 (+ 1 (exp (* -2 x))))) (- (log 2) (log (+ 1 (exp (* -2 x))))) (log (/ 2 (+ 1 (exp (* -2 x))))) (exp (/ 2 (+ 1 (exp (* -2 x))))) (/ (* (* 2 2) 2) (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x))))) (* (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (cbrt (/ 2 (+ 1 (exp (* -2 x)))))) (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (- 2) (- (+ 1 (exp (* -2 x)))) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (/ (sqrt 2) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ (sqrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (/ (sqrt 2) 1) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (/ 1 (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (/ 1 (sqrt (+ 1 (exp (* -2 x))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (/ 1 1) (/ 2 (+ 1 (exp (* -2 x)))) (/ 1 (+ 1 (exp (* -2 x)))) (/ (+ 1 (exp (* -2 x))) 2) (/ 2 (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (/ 2 1) (/ 2 1) (/ (+ 1 (exp (* -2 x))) (cbrt 2)) (/ (+ 1 (exp (* -2 x))) (sqrt 2)) (/ (+ 1 (exp (* -2 x))) 2) (/ 2 (+ (pow 1 3) (pow (exp (* -2 x)) 3))) (/ 2 (- (* 1 1) (* (exp (* -2 x)) (exp (* -2 x))))) (real->posit16 (/ 2 (+ 1 (exp (* -2 x))))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) (- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1) (- (+ x 1) (* 1/3 (pow x 3))) (/ 2 (+ (exp (* -2 x)) 1)) (/ 2 (+ (exp (* -2 x)) 1)) 25.087 * * [simplify]: iteration 1: (172 enodes) 25.238 * * [simplify]: iteration 2: (383 enodes) 25.471 * * [simplify]: iteration 3: (835 enodes) 26.252 * * [simplify]: iteration 4: (1933 enodes) 34.306 * * [simplify]: Extracting #0: cost 65 inf + 0 34.308 * * [simplify]: Extracting #1: cost 436 inf + 5 34.315 * * [simplify]: Extracting #2: cost 961 inf + 3907 34.323 * * [simplify]: Extracting #3: cost 1057 inf + 14582 34.348 * * [simplify]: Extracting #4: cost 714 inf + 121871 34.431 * * [simplify]: Extracting #5: cost 238 inf + 302554 34.531 * * [simplify]: Extracting #6: cost 34 inf + 375465 34.663 * * [simplify]: Extracting #7: cost 0 inf + 387007 34.770 * * [simplify]: Extracting #8: cost 0 inf + 386523 34.903 * * [simplify]: Extracting #9: cost 0 inf + 386441 35.028 * [simplify]: Simplified to: (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (fma (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (* (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (fma (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (* (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (fma (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (* (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (fma (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) -1) 0 (fma (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) -1) 0 (fma (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) -1) 0 (fma (/ (cbrt 2) (/ (+ 1 (exp (* -2 x))) (cbrt 2))) (cbrt 2) -1) 0 (fma (/ (cbrt 2) (/ (+ 1 (exp (* -2 x))) (cbrt 2))) (cbrt 2) -1) 0 (fma (/ (cbrt 2) (/ (+ 1 (exp (* -2 x))) (cbrt 2))) (cbrt 2) -1) 0 (fma (/ (cbrt 2) (/ (+ 1 (exp (* -2 x))) (cbrt 2))) (cbrt 2) -1) 0 (fma (/ (cbrt 2) (/ (+ 1 (exp (* -2 x))) (cbrt 2))) (cbrt 2) -1) 0 (fma (/ (cbrt 2) (/ (+ 1 (exp (* -2 x))) (cbrt 2))) (cbrt 2) -1) 0 (+ (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (+ (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (+ (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (+ -1 (/ 2 (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x))))))) 0 (+ -1 (/ 2 (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x))))))) 0 (+ -1 (/ 2 (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x))))))) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (+ (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (+ (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (+ (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) -1) 0 (+ -1 (/ 2 (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x))))))) 0 (+ -1 (/ 2 (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x))))))) 0 (+ -1 (/ 2 (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x))))))) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (- (/ 2 (+ 1 (exp (* -2 x)))) 1) 0 (+ -1 (/ (fma 2 (- (* (exp (* -2 x)) (exp (* -2 x))) (exp (* -2 x))) 2) (fma (* (exp (* -2 x)) (exp (* -2 x))) (exp (* -2 x)) 1))) 0 (+ -1 (/ (fma 2 (- (* (exp (* -2 x)) (exp (* -2 x))) (exp (* -2 x))) 2) (fma (* (exp (* -2 x)) (exp (* -2 x))) (exp (* -2 x)) 1))) 0 (+ -1 (/ (fma 2 (- (* (exp (* -2 x)) (exp (* -2 x))) (exp (* -2 x))) 2) (fma (* (exp (* -2 x)) (exp (* -2 x))) (exp (* -2 x)) 1))) 0 (fma (/ 2 (- 1 (* (exp (* -2 x)) (exp (* -2 x))))) (- 1 (exp (* -2 x))) -1) 0 (fma (/ 2 (- 1 (* (exp (* -2 x)) (exp (* -2 x))))) (- 1 (exp (* -2 x))) -1) 0 (fma (/ 2 (- 1 (* (exp (* -2 x)) (exp (* -2 x))))) (- 1 (exp (* -2 x))) -1) 0 (expm1 (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (log1p (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (log (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (* (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1))) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (* (- (/ 2 (+ 1 (exp (* -2 x)))) 1) (* (- (/ 2 (+ 1 (exp (* -2 x)))) 1) (- (/ 2 (+ 1 (exp (* -2 x)))) 1))) (sqrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (sqrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (- (/ 8 (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x))))) 1) (fma (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x)))) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1)) -1 (fma (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x)))) -1) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1) (+ 1 (sqrt (/ 2 (+ 1 (exp (* -2 x)))))) (- (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ 1 (sqrt (/ 2 (+ 1 (exp (* -2 x)))))) (- (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (+ (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (+ 1 (sqrt (/ 2 (+ 1 (exp (* -2 x)))))) (- (sqrt (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1) (- (/ 2 (+ 1 (exp (* -2 x)))) 1) -1 (real->posit16 (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (expm1 (/ 2 (+ 1 (exp (* -2 x))))) (log1p (/ 2 (+ 1 (exp (* -2 x))))) (log (/ 2 (+ 1 (exp (* -2 x))))) (log (/ 2 (+ 1 (exp (* -2 x))))) (exp (/ 2 (+ 1 (exp (* -2 x))))) (/ 8 (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x))))) (* (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (cbrt (/ 2 (+ 1 (exp (* -2 x)))))) (cbrt (/ 2 (+ 1 (exp (* -2 x))))) (/ 8 (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt (/ 2 (+ 1 (exp (* -2 x))))) -2 (- -1 (exp (* -2 x))) (* (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x)))))) (/ (cbrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 (exp (* -2 x))))) (/ (cbrt 2) (sqrt (+ 1 (exp (* -2 x))))) (* (cbrt 2) (cbrt 2)) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (* (cbrt 2) (cbrt 2)) (/ (cbrt 2) (+ 1 (exp (* -2 x)))) (/ (/ (sqrt 2) (cbrt (+ 1 (exp (* -2 x))))) (cbrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (cbrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) (sqrt 2) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (sqrt 2) (/ (sqrt 2) (+ 1 (exp (* -2 x)))) (/ 1 (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x)))))) (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (/ 1 (sqrt (+ 1 (exp (* -2 x))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) 1 (/ 2 (+ 1 (exp (* -2 x)))) 1 (/ 2 (+ 1 (exp (* -2 x)))) (/ 1 (+ 1 (exp (* -2 x)))) (/ (+ 1 (exp (* -2 x))) 2) (/ (/ 2 (cbrt (+ 1 (exp (* -2 x))))) (cbrt (+ 1 (exp (* -2 x))))) (/ 2 (sqrt (+ 1 (exp (* -2 x))))) 2 2 (/ (+ 1 (exp (* -2 x))) (cbrt 2)) (/ (+ 1 (exp (* -2 x))) (sqrt 2)) (/ (+ 1 (exp (* -2 x))) 2) (/ 2 (+ 1 (exp (* x -6)))) (/ 2 (- 1 (exp (* x -4)))) (real->posit16 (/ 2 (+ 1 (exp (* -2 x))))) (fma 2/15 (pow x 5) (fma (* x -1/3) (* x x) x)) (- (/ 2 (+ 1 (exp (* -2 x)))) 1) (- (/ 2 (+ 1 (exp (* -2 x)))) 1) (fma (* x -1/3) (* x x) (+ 1 x)) (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x)))) 35.039 * * * [progress]: adding candidates to table 36.281 * [progress]: [Phase 3 of 3] Extracting. 36.281 * * [regime]: Finding splitpoints for: (# #) 36.281 * * * [regime-changes]: Trying 7 branch expressions: ((* -2 x) (exp (* -2 x)) (+ 1 (exp (* -2 x))) (/ 2 (+ 1 (exp (* -2 x)))) (- (/ 2 (+ 1 (exp (* -2 x)))) 1) y x) 36.281 * * * * [regimes]: Trying to branch on (* -2 x) from (# #) 36.326 * * * * [regimes]: Trying to branch on (exp (* -2 x)) from (# #) 36.362 * * * * [regimes]: Trying to branch on (+ 1 (exp (* -2 x))) from (# #) 36.402 * * * * [regimes]: Trying to branch on (/ 2 (+ 1 (exp (* -2 x)))) from (# #) 36.454 * * * * [regimes]: Trying to branch on (- (/ 2 (+ 1 (exp (* -2 x)))) 1) from (# #) 36.494 * * * * [regimes]: Trying to branch on y from (# #) 36.597 * * * * [regimes]: Trying to branch on x from (# #) 36.642 * * * [regime]: Found split indices: #