1553946234.677 * [progress]: [Phase 1 of 3] Setting up. 1553946234.677 * * * [progress]: [1/2] Preparing points 1553946235.340 * * * [progress]: [2/2] Setting up program. 1553946235.344 * [progress]: [Phase 2 of 3] Improving. 1553946235.345 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553946235.346 * [simplify]: Simplifying (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))) 1553946235.348 * * [simplify]: iters left: 4 (7 enodes) 1553946235.362 * * [simplify]: iters left: 3 (29 enodes) 1553946235.373 * * [simplify]: iters left: 2 (50 enodes) 1553946235.385 * * [simplify]: iters left: 1 (72 enodes) 1553946235.416 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946235.416 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946235.416 * * [simplify]: Extracting #2: cost 16 inf + 0 1553946235.417 * * [simplify]: Extracting #3: cost 21 inf + 360 1553946235.417 * * [simplify]: Extracting #4: cost 12 inf + 1582 1553946235.418 * * [simplify]: Extracting #5: cost 1 inf + 2933 1553946235.419 * * [simplify]: Extracting #6: cost 0 inf + 2972 1553946235.419 * [simplify]: Simplified to (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 1553946235.420 * [simplify]: Simplified (2) to (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946235.433 * * [progress]: iteration 1 / 4 1553946235.433 * * * [progress]: picking best candidate 1553946235.437 * * * * [pick]: Picked # 1553946235.437 * * * [progress]: localizing error 1553946235.456 * * * [progress]: generating rewritten candidates 1553946235.456 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 1553946235.458 * * * [progress]: generating series expansions 1553946235.459 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 1553946235.461 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1553946235.461 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1553946235.464 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946235.466 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946235.466 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946235.466 * [taylor]: Taking taylor expansion of (exp c) in c 1553946235.466 * [taylor]: Taking taylor expansion of c in c 1553946235.466 * [backup-simplify]: Simplify 0 into 0 1553946235.466 * [backup-simplify]: Simplify 1 into 1 1553946235.466 * [backup-simplify]: Simplify (exp 0) into 1 1553946235.466 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946235.466 * [taylor]: Taking taylor expansion of (- c) in c 1553946235.466 * [taylor]: Taking taylor expansion of c in c 1553946235.466 * [backup-simplify]: Simplify 0 into 0 1553946235.466 * [backup-simplify]: Simplify 1 into 1 1553946235.466 * [backup-simplify]: Simplify (- 0) into 0 1553946235.467 * [backup-simplify]: Simplify (- 1) into -1 1553946235.467 * [backup-simplify]: Simplify (exp 0) into 1 1553946235.468 * [taylor]: Taking taylor expansion of 2 in c 1553946235.468 * [backup-simplify]: Simplify 2 into 2 1553946235.468 * [backup-simplify]: Simplify (- 1) into -1 1553946235.469 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946235.470 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946235.470 * [backup-simplify]: Simplify (- 1) into -1 1553946235.471 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946235.471 * [backup-simplify]: Simplify (- -1) into 1 1553946235.471 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946235.471 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946235.471 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946235.471 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946235.471 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946235.471 * [taylor]: Taking taylor expansion of (exp c) in c 1553946235.472 * [taylor]: Taking taylor expansion of c in c 1553946235.472 * [backup-simplify]: Simplify 0 into 0 1553946235.472 * [backup-simplify]: Simplify 1 into 1 1553946235.472 * [backup-simplify]: Simplify (exp 0) into 1 1553946235.472 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946235.472 * [taylor]: Taking taylor expansion of (- c) in c 1553946235.472 * [taylor]: Taking taylor expansion of c in c 1553946235.472 * [backup-simplify]: Simplify 0 into 0 1553946235.472 * [backup-simplify]: Simplify 1 into 1 1553946235.472 * [backup-simplify]: Simplify (- 0) into 0 1553946235.472 * [backup-simplify]: Simplify (- 1) into -1 1553946235.472 * [backup-simplify]: Simplify (exp 0) into 1 1553946235.472 * [taylor]: Taking taylor expansion of 2 in c 1553946235.472 * [backup-simplify]: Simplify 2 into 2 1553946235.472 * [backup-simplify]: Simplify (- 1) into -1 1553946235.473 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946235.473 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946235.474 * [backup-simplify]: Simplify (- 1) into -1 1553946235.474 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946235.474 * [backup-simplify]: Simplify (- -1) into 1 1553946235.475 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946235.475 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946235.475 * [backup-simplify]: Simplify 1 into 1 1553946235.477 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946235.477 * [backup-simplify]: Simplify (- 1) into -1 1553946235.477 * [backup-simplify]: Simplify (- 0) into 0 1553946235.478 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946235.478 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553946235.478 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553946235.479 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553946235.479 * [backup-simplify]: Simplify 0 into 0 1553946235.480 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553946235.481 * [backup-simplify]: Simplify (- 1) into -1 1553946235.481 * [backup-simplify]: Simplify (- 1) into -1 1553946235.481 * [backup-simplify]: Simplify (- 0) into 0 1553946235.481 * [backup-simplify]: Simplify (- 0) into 0 1553946235.483 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553946235.483 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553946235.483 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553946235.484 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553946235.484 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.486 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1553946235.486 * [backup-simplify]: Simplify (- 1) into -1 1553946235.486 * [backup-simplify]: Simplify (- 1) into -1 1553946235.487 * [backup-simplify]: Simplify (- 0) into 0 1553946235.487 * [backup-simplify]: Simplify (- 1) into -1 1553946235.487 * [backup-simplify]: Simplify (- 0) into 0 1553946235.487 * [backup-simplify]: Simplify (- 0) into 0 1553946235.488 * [backup-simplify]: Simplify (- 0) into 0 1553946235.490 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1553946235.490 * [backup-simplify]: Simplify (- 1/24) into -1/24 1553946235.490 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1553946235.491 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1553946235.491 * [backup-simplify]: Simplify 0 into 0 1553946235.495 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1553946235.496 * [backup-simplify]: Simplify (- 1) into -1 1553946235.496 * [backup-simplify]: Simplify (- 1) into -1 1553946235.497 * [backup-simplify]: Simplify (- 0) into 0 1553946235.497 * [backup-simplify]: Simplify (- 1) into -1 1553946235.497 * [backup-simplify]: Simplify (- 0) into 0 1553946235.498 * [backup-simplify]: Simplify (- 1) into -1 1553946235.498 * [backup-simplify]: Simplify (- 0) into 0 1553946235.498 * [backup-simplify]: Simplify (- 1) into -1 1553946235.499 * [backup-simplify]: Simplify (- 0) into 0 1553946235.499 * [backup-simplify]: Simplify (- 0) into 0 1553946235.499 * [backup-simplify]: Simplify (- 0) into 0 1553946235.500 * [backup-simplify]: Simplify (- 0) into 0 1553946235.506 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1553946235.506 * [backup-simplify]: Simplify (- -1/120) into 1/120 1553946235.520 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1553946235.522 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1553946235.522 * [backup-simplify]: Simplify 1/120 into 1/120 1553946235.527 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946235.527 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1553946235.527 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1553946235.527 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946235.527 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946235.527 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946235.527 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946235.527 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946235.528 * [taylor]: Taking taylor expansion of c in c 1553946235.528 * [backup-simplify]: Simplify 0 into 0 1553946235.528 * [backup-simplify]: Simplify 1 into 1 1553946235.528 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.528 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946235.528 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946235.528 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946235.528 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946235.528 * [taylor]: Taking taylor expansion of c in c 1553946235.529 * [backup-simplify]: Simplify 0 into 0 1553946235.529 * [backup-simplify]: Simplify 1 into 1 1553946235.529 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.529 * [backup-simplify]: Simplify (- 1) into -1 1553946235.530 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946235.530 * [taylor]: Taking taylor expansion of 2 in c 1553946235.530 * [backup-simplify]: Simplify 2 into 2 1553946235.530 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946235.530 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946235.530 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946235.530 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946235.530 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946235.530 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946235.530 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946235.530 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946235.530 * [taylor]: Taking taylor expansion of c in c 1553946235.530 * [backup-simplify]: Simplify 0 into 0 1553946235.530 * [backup-simplify]: Simplify 1 into 1 1553946235.531 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.531 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946235.531 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946235.531 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946235.531 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946235.531 * [taylor]: Taking taylor expansion of c in c 1553946235.531 * [backup-simplify]: Simplify 0 into 0 1553946235.531 * [backup-simplify]: Simplify 1 into 1 1553946235.531 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.532 * [backup-simplify]: Simplify (- 1) into -1 1553946235.532 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946235.532 * [taylor]: Taking taylor expansion of 2 in c 1553946235.532 * [backup-simplify]: Simplify 2 into 2 1553946235.532 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946235.532 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946235.532 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946235.533 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946235.533 * [backup-simplify]: Simplify (- 0) into 0 1553946235.533 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.534 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553946235.534 * [backup-simplify]: Simplify 0 into 0 1553946235.535 * [backup-simplify]: Simplify (- 0) into 0 1553946235.535 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.537 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.537 * [backup-simplify]: Simplify 0 into 0 1553946235.537 * [backup-simplify]: Simplify (- 0) into 0 1553946235.537 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.538 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.538 * [backup-simplify]: Simplify 0 into 0 1553946235.539 * [backup-simplify]: Simplify (- 0) into 0 1553946235.539 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.540 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.541 * [backup-simplify]: Simplify 0 into 0 1553946235.541 * [backup-simplify]: Simplify (- 0) into 0 1553946235.541 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.543 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.543 * [backup-simplify]: Simplify 0 into 0 1553946235.543 * [backup-simplify]: Simplify (- 0) into 0 1553946235.543 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.545 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.545 * [backup-simplify]: Simplify 0 into 0 1553946235.545 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1553946235.545 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1553946235.545 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1553946235.546 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946235.546 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946235.546 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946235.546 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946235.546 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946235.546 * [taylor]: Taking taylor expansion of -1 in c 1553946235.546 * [backup-simplify]: Simplify -1 into -1 1553946235.546 * [taylor]: Taking taylor expansion of c in c 1553946235.546 * [backup-simplify]: Simplify 0 into 0 1553946235.546 * [backup-simplify]: Simplify 1 into 1 1553946235.546 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946235.546 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946235.546 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946235.546 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946235.546 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946235.546 * [taylor]: Taking taylor expansion of -1 in c 1553946235.546 * [backup-simplify]: Simplify -1 into -1 1553946235.546 * [taylor]: Taking taylor expansion of c in c 1553946235.546 * [backup-simplify]: Simplify 0 into 0 1553946235.546 * [backup-simplify]: Simplify 1 into 1 1553946235.546 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946235.547 * [backup-simplify]: Simplify (- -1) into 1 1553946235.547 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946235.547 * [taylor]: Taking taylor expansion of 2 in c 1553946235.547 * [backup-simplify]: Simplify 2 into 2 1553946235.547 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946235.547 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946235.547 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946235.547 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946235.547 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946235.547 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946235.547 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946235.547 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946235.547 * [taylor]: Taking taylor expansion of -1 in c 1553946235.547 * [backup-simplify]: Simplify -1 into -1 1553946235.547 * [taylor]: Taking taylor expansion of c in c 1553946235.547 * [backup-simplify]: Simplify 0 into 0 1553946235.547 * [backup-simplify]: Simplify 1 into 1 1553946235.547 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946235.547 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946235.547 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946235.547 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946235.547 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946235.547 * [taylor]: Taking taylor expansion of -1 in c 1553946235.547 * [backup-simplify]: Simplify -1 into -1 1553946235.547 * [taylor]: Taking taylor expansion of c in c 1553946235.547 * [backup-simplify]: Simplify 0 into 0 1553946235.547 * [backup-simplify]: Simplify 1 into 1 1553946235.548 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946235.548 * [backup-simplify]: Simplify (- -1) into 1 1553946235.548 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946235.548 * [taylor]: Taking taylor expansion of 2 in c 1553946235.548 * [backup-simplify]: Simplify 2 into 2 1553946235.548 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946235.548 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946235.548 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946235.548 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946235.549 * [backup-simplify]: Simplify (- 0) into 0 1553946235.549 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.549 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553946235.549 * [backup-simplify]: Simplify 0 into 0 1553946235.550 * [backup-simplify]: Simplify (- 0) into 0 1553946235.550 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.551 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.551 * [backup-simplify]: Simplify 0 into 0 1553946235.551 * [backup-simplify]: Simplify (- 0) into 0 1553946235.551 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.552 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.552 * [backup-simplify]: Simplify 0 into 0 1553946235.553 * [backup-simplify]: Simplify (- 0) into 0 1553946235.553 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.554 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.554 * [backup-simplify]: Simplify 0 into 0 1553946235.555 * [backup-simplify]: Simplify (- 0) into 0 1553946235.555 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.557 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.557 * [backup-simplify]: Simplify 0 into 0 1553946235.557 * [backup-simplify]: Simplify (- 0) into 0 1553946235.557 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.559 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.559 * [backup-simplify]: Simplify 0 into 0 1553946235.559 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946235.559 * * * [progress]: simplifying candidates 1553946235.559 * * * * [progress]: [ 1 / 14 ] simplifiying candidate # 1553946235.559 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 1553946235.559 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 1553946235.560 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 1553946235.560 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 1553946235.560 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 1553946235.560 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 1553946235.560 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 1553946235.560 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 1553946235.560 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 1553946235.560 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946235.560 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 1553946235.560 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946235.560 * * [simplify]: iters left: 6 (11 enodes) 1553946235.564 * * [simplify]: iters left: 5 (44 enodes) 1553946235.572 * * [simplify]: iters left: 4 (66 enodes) 1553946235.584 * * [simplify]: iters left: 3 (102 enodes) 1553946235.597 * * [simplify]: iters left: 2 (114 enodes) 1553946235.621 * * [simplify]: iters left: 1 (122 enodes) 1553946235.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946235.651 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946235.651 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946235.652 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946235.653 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946235.655 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946235.656 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946235.658 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946235.658 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946235.658 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 1553946235.659 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1553946235.659 * * [simplify]: iters left: 6 (7 enodes) 1553946235.662 * * [simplify]: iters left: 5 (26 enodes) 1553946235.671 * * [simplify]: iters left: 4 (42 enodes) 1553946235.685 * * [simplify]: iters left: 3 (62 enodes) 1553946235.704 * * [simplify]: iters left: 2 (82 enodes) 1553946235.723 * * [simplify]: iters left: 1 (86 enodes) 1553946235.740 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946235.740 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946235.740 * * [simplify]: Extracting #2: cost 20 inf + 2 1553946235.740 * * [simplify]: Extracting #3: cost 17 inf + 46 1553946235.741 * * [simplify]: Extracting #4: cost 5 inf + 1453 1553946235.741 * * [simplify]: Extracting #5: cost 1 inf + 1819 1553946235.742 * * [simplify]: Extracting #6: cost 0 inf + 1987 1553946235.743 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946235.743 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946235.743 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 1553946235.744 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946235.744 * * [simplify]: iters left: 6 (8 enodes) 1553946235.749 * * [simplify]: iters left: 5 (31 enodes) 1553946235.761 * * [simplify]: iters left: 4 (45 enodes) 1553946235.771 * * [simplify]: iters left: 3 (67 enodes) 1553946235.783 * * [simplify]: iters left: 2 (89 enodes) 1553946235.794 * * [simplify]: iters left: 1 (93 enodes) 1553946235.805 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946235.805 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946235.805 * * [simplify]: Extracting #2: cost 21 inf + 2 1553946235.805 * * [simplify]: Extracting #3: cost 20 inf + 5 1553946235.805 * * [simplify]: Extracting #4: cost 10 inf + 889 1553946235.806 * * [simplify]: Extracting #5: cost 0 inf + 2129 1553946235.806 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946235.806 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946235.806 * * * [progress]: adding candidates to table 1553946235.919 * * [progress]: iteration 2 / 4 1553946235.919 * * * [progress]: picking best candidate 1553946235.924 * * * * [pick]: Picked # 1553946235.925 * * * [progress]: localizing error 1553946235.950 * * * [progress]: generating rewritten candidates 1553946235.950 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 1553946235.950 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1553946235.951 * * * [progress]: generating series expansions 1553946235.951 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 1553946235.951 * [backup-simplify]: Simplify (* 1/6 c) into (* 1/6 c) 1553946235.951 * [approximate]: Taking taylor expansion of (* 1/6 c) in (c) around 0 1553946235.951 * [taylor]: Taking taylor expansion of (* 1/6 c) in c 1553946235.951 * [taylor]: Taking taylor expansion of 1/6 in c 1553946235.951 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.951 * [taylor]: Taking taylor expansion of c in c 1553946235.951 * [backup-simplify]: Simplify 0 into 0 1553946235.951 * [backup-simplify]: Simplify 1 into 1 1553946235.951 * [taylor]: Taking taylor expansion of (* 1/6 c) in c 1553946235.951 * [taylor]: Taking taylor expansion of 1/6 in c 1553946235.951 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.951 * [taylor]: Taking taylor expansion of c in c 1553946235.951 * [backup-simplify]: Simplify 0 into 0 1553946235.951 * [backup-simplify]: Simplify 1 into 1 1553946235.952 * [backup-simplify]: Simplify (* 1/6 0) into 0 1553946235.952 * [backup-simplify]: Simplify 0 into 0 1553946235.952 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 1553946235.952 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.953 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0 1553946235.953 * [backup-simplify]: Simplify 0 into 0 1553946235.954 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553946235.954 * [backup-simplify]: Simplify 0 into 0 1553946235.954 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1553946235.954 * [backup-simplify]: Simplify 0 into 0 1553946235.955 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1553946235.955 * [backup-simplify]: Simplify 0 into 0 1553946235.956 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1553946235.956 * [backup-simplify]: Simplify 0 into 0 1553946235.957 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1553946235.957 * [backup-simplify]: Simplify 0 into 0 1553946235.957 * [backup-simplify]: Simplify (* 1/6 c) into (* 1/6 c) 1553946235.957 * [backup-simplify]: Simplify (* 1/6 (/ 1 c)) into (/ 1/6 c) 1553946235.957 * [approximate]: Taking taylor expansion of (/ 1/6 c) in (c) around 0 1553946235.957 * [taylor]: Taking taylor expansion of (/ 1/6 c) in c 1553946235.957 * [taylor]: Taking taylor expansion of 1/6 in c 1553946235.957 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.957 * [taylor]: Taking taylor expansion of c in c 1553946235.957 * [backup-simplify]: Simplify 0 into 0 1553946235.957 * [backup-simplify]: Simplify 1 into 1 1553946235.958 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1553946235.958 * [taylor]: Taking taylor expansion of (/ 1/6 c) in c 1553946235.958 * [taylor]: Taking taylor expansion of 1/6 in c 1553946235.958 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.958 * [taylor]: Taking taylor expansion of c in c 1553946235.958 * [backup-simplify]: Simplify 0 into 0 1553946235.958 * [backup-simplify]: Simplify 1 into 1 1553946235.958 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1553946235.958 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.958 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1553946235.958 * [backup-simplify]: Simplify 0 into 0 1553946235.959 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.959 * [backup-simplify]: Simplify 0 into 0 1553946235.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.960 * [backup-simplify]: Simplify 0 into 0 1553946235.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.960 * [backup-simplify]: Simplify 0 into 0 1553946235.961 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.961 * [backup-simplify]: Simplify 0 into 0 1553946235.962 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.962 * [backup-simplify]: Simplify 0 into 0 1553946235.962 * [backup-simplify]: Simplify (* 1/6 (/ 1 (/ 1 c))) into (* 1/6 c) 1553946235.962 * [backup-simplify]: Simplify (* 1/6 (/ 1 (- c))) into (/ -1/6 c) 1553946235.962 * [approximate]: Taking taylor expansion of (/ -1/6 c) in (c) around 0 1553946235.962 * [taylor]: Taking taylor expansion of (/ -1/6 c) in c 1553946235.962 * [taylor]: Taking taylor expansion of -1/6 in c 1553946235.962 * [backup-simplify]: Simplify -1/6 into -1/6 1553946235.962 * [taylor]: Taking taylor expansion of c in c 1553946235.962 * [backup-simplify]: Simplify 0 into 0 1553946235.962 * [backup-simplify]: Simplify 1 into 1 1553946235.962 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1553946235.963 * [taylor]: Taking taylor expansion of (/ -1/6 c) in c 1553946235.963 * [taylor]: Taking taylor expansion of -1/6 in c 1553946235.963 * [backup-simplify]: Simplify -1/6 into -1/6 1553946235.963 * [taylor]: Taking taylor expansion of c in c 1553946235.963 * [backup-simplify]: Simplify 0 into 0 1553946235.963 * [backup-simplify]: Simplify 1 into 1 1553946235.963 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1553946235.963 * [backup-simplify]: Simplify -1/6 into -1/6 1553946235.963 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 1553946235.963 * [backup-simplify]: Simplify 0 into 0 1553946235.964 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.964 * [backup-simplify]: Simplify 0 into 0 1553946235.965 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.965 * [backup-simplify]: Simplify 0 into 0 1553946235.965 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.965 * [backup-simplify]: Simplify 0 into 0 1553946235.966 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.966 * [backup-simplify]: Simplify 0 into 0 1553946235.966 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.966 * [backup-simplify]: Simplify 0 into 0 1553946235.966 * [backup-simplify]: Simplify (* -1/6 (/ 1 (/ 1 (- c)))) into (* 1/6 c) 1553946235.967 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1553946235.967 * [backup-simplify]: Simplify (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) into (fma (pow c 2) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946235.967 * [approximate]: Taking taylor expansion of (fma (pow c 2) (* 1/6 c) (fma 1/120 (pow c 5) c)) in (c) around 0 1553946235.967 * [taylor]: Taking taylor expansion of (fma (pow c 2) (* 1/6 c) (fma 1/120 (pow c 5) c)) in c 1553946235.967 * [taylor]: Rewrote expression to (+ (* (pow c 2) (* 1/6 c)) (fma 1/120 (pow c 5) c)) 1553946235.967 * [taylor]: Taking taylor expansion of (* (pow c 2) (* 1/6 c)) in c 1553946235.967 * [taylor]: Taking taylor expansion of (pow c 2) in c 1553946235.967 * [taylor]: Taking taylor expansion of c in c 1553946235.967 * [backup-simplify]: Simplify 0 into 0 1553946235.967 * [backup-simplify]: Simplify 1 into 1 1553946235.967 * [taylor]: Taking taylor expansion of (* 1/6 c) in c 1553946235.967 * [taylor]: Taking taylor expansion of 1/6 in c 1553946235.967 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.967 * [taylor]: Taking taylor expansion of c in c 1553946235.967 * [backup-simplify]: Simplify 0 into 0 1553946235.967 * [backup-simplify]: Simplify 1 into 1 1553946235.967 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 1553946235.967 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 1553946235.967 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 1553946235.967 * [taylor]: Taking taylor expansion of 1/120 in c 1553946235.967 * [backup-simplify]: Simplify 1/120 into 1/120 1553946235.967 * [taylor]: Taking taylor expansion of (pow c 5) in c 1553946235.967 * [taylor]: Taking taylor expansion of c in c 1553946235.967 * [backup-simplify]: Simplify 0 into 0 1553946235.967 * [backup-simplify]: Simplify 1 into 1 1553946235.967 * [taylor]: Taking taylor expansion of c in c 1553946235.967 * [backup-simplify]: Simplify 0 into 0 1553946235.967 * [backup-simplify]: Simplify 1 into 1 1553946235.967 * [taylor]: Taking taylor expansion of (fma (pow c 2) (* 1/6 c) (fma 1/120 (pow c 5) c)) in c 1553946235.967 * [taylor]: Rewrote expression to (+ (* (pow c 2) (* 1/6 c)) (fma 1/120 (pow c 5) c)) 1553946235.967 * [taylor]: Taking taylor expansion of (* (pow c 2) (* 1/6 c)) in c 1553946235.967 * [taylor]: Taking taylor expansion of (pow c 2) in c 1553946235.967 * [taylor]: Taking taylor expansion of c in c 1553946235.967 * [backup-simplify]: Simplify 0 into 0 1553946235.967 * [backup-simplify]: Simplify 1 into 1 1553946235.967 * [taylor]: Taking taylor expansion of (* 1/6 c) in c 1553946235.967 * [taylor]: Taking taylor expansion of 1/6 in c 1553946235.968 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.968 * [taylor]: Taking taylor expansion of c in c 1553946235.968 * [backup-simplify]: Simplify 0 into 0 1553946235.968 * [backup-simplify]: Simplify 1 into 1 1553946235.968 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 1553946235.968 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 1553946235.968 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 1553946235.968 * [taylor]: Taking taylor expansion of 1/120 in c 1553946235.968 * [backup-simplify]: Simplify 1/120 into 1/120 1553946235.968 * [taylor]: Taking taylor expansion of (pow c 5) in c 1553946235.968 * [taylor]: Taking taylor expansion of c in c 1553946235.968 * [backup-simplify]: Simplify 0 into 0 1553946235.968 * [backup-simplify]: Simplify 1 into 1 1553946235.968 * [taylor]: Taking taylor expansion of c in c 1553946235.968 * [backup-simplify]: Simplify 0 into 0 1553946235.968 * [backup-simplify]: Simplify 1 into 1 1553946235.968 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.968 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.968 * [backup-simplify]: Simplify 0 into 0 1553946235.969 * [backup-simplify]: Simplify (+ 0 1) into 1 1553946235.969 * [backup-simplify]: Simplify (+ 0 1) into 1 1553946235.969 * [backup-simplify]: Simplify 1 into 1 1553946235.969 * [backup-simplify]: Simplify (* 1 1) into 1 1553946235.970 * [backup-simplify]: Simplify (* 1/6 0) into 0 1553946235.970 * [backup-simplify]: Simplify (* 1 0) into 0 1553946235.970 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.970 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.970 * [backup-simplify]: Simplify 0 into 0 1553946235.971 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 1553946235.971 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946235.972 * [backup-simplify]: Simplify (+ (* 1 1/6) (* 0 0)) into 1/6 1553946235.972 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.972 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1553946235.972 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.973 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0 1553946235.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946235.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/6) (* 0 0))) into 0 1553946235.974 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.974 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.974 * [backup-simplify]: Simplify 0 into 0 1553946235.975 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553946235.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946235.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 0)))) into 0 1553946235.977 * [backup-simplify]: Simplify (* 1 1) into 1 1553946235.977 * [backup-simplify]: Simplify (* 1 1) into 1 1553946235.977 * [backup-simplify]: Simplify (* 1 1) into 1 1553946235.977 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 1553946235.978 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 1553946235.978 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 1553946235.978 * [backup-simplify]: Simplify 1/120 into 1/120 1553946235.978 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946235.978 * [backup-simplify]: Simplify (fma (* (/ 1 c) (/ 1 c)) (* 1/6 (/ 1 c)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) into (fma (/ 1 (pow c 2)) (/ 1/6 c) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 1553946235.978 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ 1/6 c) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in (c) around 0 1553946235.978 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ 1/6 c) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 1553946235.978 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow c 2)) (/ 1/6 c)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 1553946235.978 * [taylor]: Taking taylor expansion of (* (/ 1 (pow c 2)) (/ 1/6 c)) in c 1553946235.978 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1553946235.978 * [taylor]: Taking taylor expansion of (pow c 2) in c 1553946235.978 * [taylor]: Taking taylor expansion of c in c 1553946235.978 * [backup-simplify]: Simplify 0 into 0 1553946235.978 * [backup-simplify]: Simplify 1 into 1 1553946235.979 * [backup-simplify]: Simplify (* 1 1) into 1 1553946235.979 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.979 * [taylor]: Taking taylor expansion of (/ 1/6 c) in c 1553946235.979 * [taylor]: Taking taylor expansion of 1/6 in c 1553946235.979 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.979 * [taylor]: Taking taylor expansion of c in c 1553946235.979 * [backup-simplify]: Simplify 0 into 0 1553946235.979 * [backup-simplify]: Simplify 1 into 1 1553946235.979 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1553946235.979 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 1553946235.979 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 1553946235.979 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 1553946235.979 * [taylor]: Taking taylor expansion of 1/120 in c 1553946235.979 * [backup-simplify]: Simplify 1/120 into 1/120 1553946235.979 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 1553946235.979 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946235.979 * [taylor]: Taking taylor expansion of c in c 1553946235.979 * [backup-simplify]: Simplify 0 into 0 1553946235.979 * [backup-simplify]: Simplify 1 into 1 1553946235.980 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.980 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946235.980 * [taylor]: Taking taylor expansion of c in c 1553946235.980 * [backup-simplify]: Simplify 0 into 0 1553946235.980 * [backup-simplify]: Simplify 1 into 1 1553946235.980 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.980 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ 1/6 c) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 1553946235.980 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow c 2)) (/ 1/6 c)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 1553946235.980 * [taylor]: Taking taylor expansion of (* (/ 1 (pow c 2)) (/ 1/6 c)) in c 1553946235.980 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1553946235.980 * [taylor]: Taking taylor expansion of (pow c 2) in c 1553946235.980 * [taylor]: Taking taylor expansion of c in c 1553946235.980 * [backup-simplify]: Simplify 0 into 0 1553946235.980 * [backup-simplify]: Simplify 1 into 1 1553946235.980 * [backup-simplify]: Simplify (* 1 1) into 1 1553946235.981 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.981 * [taylor]: Taking taylor expansion of (/ 1/6 c) in c 1553946235.981 * [taylor]: Taking taylor expansion of 1/6 in c 1553946235.981 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.981 * [taylor]: Taking taylor expansion of c in c 1553946235.981 * [backup-simplify]: Simplify 0 into 0 1553946235.981 * [backup-simplify]: Simplify 1 into 1 1553946235.981 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1553946235.981 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 1553946235.981 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 1553946235.981 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 1553946235.981 * [taylor]: Taking taylor expansion of 1/120 in c 1553946235.981 * [backup-simplify]: Simplify 1/120 into 1/120 1553946235.981 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 1553946235.981 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946235.981 * [taylor]: Taking taylor expansion of c in c 1553946235.981 * [backup-simplify]: Simplify 0 into 0 1553946235.981 * [backup-simplify]: Simplify 1 into 1 1553946235.981 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.981 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946235.981 * [taylor]: Taking taylor expansion of c in c 1553946235.981 * [backup-simplify]: Simplify 0 into 0 1553946235.981 * [backup-simplify]: Simplify 1 into 1 1553946235.982 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.982 * [backup-simplify]: Simplify (* 1 1) into 1 1553946235.982 * [backup-simplify]: Simplify (* 1 1) into 1 1553946235.982 * [backup-simplify]: Simplify (* 1 1) into 1 1553946235.983 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 1553946235.983 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 1553946235.983 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 1553946235.983 * [backup-simplify]: Simplify 1/120 into 1/120 1553946235.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946235.984 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946235.985 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946235.985 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946235.985 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 1553946235.986 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.986 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.986 * [backup-simplify]: Simplify 0 into 0 1553946235.986 * [backup-simplify]: Simplify (* 1 1/6) into 1/6 1553946235.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946235.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946235.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946235.989 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 1553946235.989 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.989 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1553946235.989 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.990 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1553946235.990 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946235.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946235.991 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1/6)) into 0 1553946235.991 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946235.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946235.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946235.994 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946235.994 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.994 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.994 * [backup-simplify]: Simplify 0 into 0 1553946235.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946235.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/6))) into 0 1553946235.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946235.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553946235.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553946235.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553946235.999 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553946236.000 * [backup-simplify]: Simplify (+ 0 1) into 1 1553946236.000 * [backup-simplify]: Simplify (+ 0 1) into 1 1553946236.000 * [backup-simplify]: Simplify 1 into 1 1553946236.000 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 c))) (+ (* 1/6 (pow (/ 1 (/ 1 c)) 3)) (* 1/120 (pow (/ 1 (/ 1 c)) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946236.001 * [backup-simplify]: Simplify (fma (* (/ 1 (- c)) (/ 1 (- c))) (* 1/6 (/ 1 (- c))) (fma 1/120 (pow (/ 1 (- c)) 5) (/ 1 (- c)))) into (fma (/ 1 (pow c 2)) (/ -1/6 c) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 1553946236.001 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ -1/6 c) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in (c) around 0 1553946236.001 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ -1/6 c) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 1553946236.001 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow c 2)) (/ -1/6 c)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 1553946236.001 * [taylor]: Taking taylor expansion of (* (/ 1 (pow c 2)) (/ -1/6 c)) in c 1553946236.001 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1553946236.001 * [taylor]: Taking taylor expansion of (pow c 2) in c 1553946236.001 * [taylor]: Taking taylor expansion of c in c 1553946236.001 * [backup-simplify]: Simplify 0 into 0 1553946236.001 * [backup-simplify]: Simplify 1 into 1 1553946236.001 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.001 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.001 * [taylor]: Taking taylor expansion of (/ -1/6 c) in c 1553946236.001 * [taylor]: Taking taylor expansion of -1/6 in c 1553946236.001 * [backup-simplify]: Simplify -1/6 into -1/6 1553946236.001 * [taylor]: Taking taylor expansion of c in c 1553946236.001 * [backup-simplify]: Simplify 0 into 0 1553946236.001 * [backup-simplify]: Simplify 1 into 1 1553946236.002 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1553946236.002 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 1553946236.002 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 1553946236.002 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 1553946236.002 * [taylor]: Taking taylor expansion of 1/120 in c 1553946236.002 * [backup-simplify]: Simplify 1/120 into 1/120 1553946236.002 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 1553946236.002 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.002 * [taylor]: Taking taylor expansion of -1 in c 1553946236.002 * [backup-simplify]: Simplify -1 into -1 1553946236.002 * [taylor]: Taking taylor expansion of c in c 1553946236.002 * [backup-simplify]: Simplify 0 into 0 1553946236.002 * [backup-simplify]: Simplify 1 into 1 1553946236.002 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.002 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.002 * [taylor]: Taking taylor expansion of -1 in c 1553946236.002 * [backup-simplify]: Simplify -1 into -1 1553946236.002 * [taylor]: Taking taylor expansion of c in c 1553946236.002 * [backup-simplify]: Simplify 0 into 0 1553946236.002 * [backup-simplify]: Simplify 1 into 1 1553946236.003 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.003 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ -1/6 c) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 1553946236.003 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow c 2)) (/ -1/6 c)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 1553946236.003 * [taylor]: Taking taylor expansion of (* (/ 1 (pow c 2)) (/ -1/6 c)) in c 1553946236.003 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1553946236.003 * [taylor]: Taking taylor expansion of (pow c 2) in c 1553946236.003 * [taylor]: Taking taylor expansion of c in c 1553946236.003 * [backup-simplify]: Simplify 0 into 0 1553946236.003 * [backup-simplify]: Simplify 1 into 1 1553946236.003 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.003 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.003 * [taylor]: Taking taylor expansion of (/ -1/6 c) in c 1553946236.003 * [taylor]: Taking taylor expansion of -1/6 in c 1553946236.003 * [backup-simplify]: Simplify -1/6 into -1/6 1553946236.003 * [taylor]: Taking taylor expansion of c in c 1553946236.003 * [backup-simplify]: Simplify 0 into 0 1553946236.003 * [backup-simplify]: Simplify 1 into 1 1553946236.004 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1553946236.004 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 1553946236.004 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 1553946236.004 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 1553946236.004 * [taylor]: Taking taylor expansion of 1/120 in c 1553946236.004 * [backup-simplify]: Simplify 1/120 into 1/120 1553946236.004 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 1553946236.004 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.004 * [taylor]: Taking taylor expansion of -1 in c 1553946236.004 * [backup-simplify]: Simplify -1 into -1 1553946236.004 * [taylor]: Taking taylor expansion of c in c 1553946236.004 * [backup-simplify]: Simplify 0 into 0 1553946236.004 * [backup-simplify]: Simplify 1 into 1 1553946236.004 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.004 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.004 * [taylor]: Taking taylor expansion of -1 in c 1553946236.004 * [backup-simplify]: Simplify -1 into -1 1553946236.004 * [taylor]: Taking taylor expansion of c in c 1553946236.004 * [backup-simplify]: Simplify 0 into 0 1553946236.004 * [backup-simplify]: Simplify 1 into 1 1553946236.004 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.005 * [backup-simplify]: Simplify (* -1 -1) into 1 1553946236.005 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.005 * [backup-simplify]: Simplify (* -1 1) into -1 1553946236.005 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 1553946236.006 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 1553946236.006 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 1553946236.006 * [backup-simplify]: Simplify -1/120 into -1/120 1553946236.006 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553946236.007 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 1553946236.007 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946236.008 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 1553946236.008 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 -1)) into 0 1553946236.008 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.008 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.008 * [backup-simplify]: Simplify 0 into 0 1553946236.009 * [backup-simplify]: Simplify (* 1 -1/6) into -1/6 1553946236.009 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.010 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 1553946236.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946236.011 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 1553946236.011 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 -1))) into 0 1553946236.012 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.012 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 1553946236.012 * [backup-simplify]: Simplify -1/6 into -1/6 1553946236.012 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 1553946236.013 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946236.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946236.014 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 -1/6)) into 0 1553946236.014 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.015 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1553946236.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946236.016 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946236.017 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1553946236.017 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.017 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.017 * [backup-simplify]: Simplify 0 into 0 1553946236.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.018 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946236.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 -1/6))) into 0 1553946236.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.020 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1553946236.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553946236.025 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553946236.026 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1553946236.026 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553946236.026 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553946236.026 * [backup-simplify]: Simplify -1 into -1 1553946236.027 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- c)))) (+ (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946236.027 * * * [progress]: simplifying candidates 1553946236.027 * * * * [progress]: [ 1 / 28 ] simplifiying candidate # 1553946236.027 * * * * [progress]: [ 2 / 28 ] simplifiying candidate # 1553946236.027 * * * * [progress]: [ 3 / 28 ] simplifiying candidate # 1553946236.027 * * * * [progress]: [ 4 / 28 ] simplifiying candidate # 1553946236.027 * * * * [progress]: [ 5 / 28 ] simplifiying candidate # 1553946236.027 * * * * [progress]: [ 6 / 28 ] simplifiying candidate # 1553946236.027 * * * * [progress]: [ 7 / 28 ] simplifiying candidate # 1553946236.027 * * * * [progress]: [ 8 / 28 ] simplifiying candidate # 1553946236.027 * * * * [progress]: [ 9 / 28 ] simplifiying candidate # 1553946236.027 * * * * [progress]: [ 10 / 28 ] simplifiying candidate #real (real->posit16 (* 1/6 c))) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946236.028 * * * * [progress]: [ 11 / 28 ] simplifiying candidate # 1553946236.028 * * * * [progress]: [ 12 / 28 ] simplifiying candidate # 1553946236.028 * * * * [progress]: [ 13 / 28 ] simplifiying candidate # 1553946236.028 * * * * [progress]: [ 14 / 28 ] simplifiying candidate # 1553946236.028 * * * * [progress]: [ 15 / 28 ] simplifiying candidate # 1553946236.028 * * * * [progress]: [ 16 / 28 ] simplifiying candidate # 1553946236.028 * * * * [progress]: [ 17 / 28 ] simplifiying candidate # 1553946236.028 * * * * [progress]: [ 18 / 28 ] simplifiying candidate # 1553946236.028 * * * * [progress]: [ 19 / 28 ] simplifiying candidate # 1553946236.028 * * * * [progress]: [ 20 / 28 ] simplifiying candidate # 1553946236.028 * * * * [progress]: [ 21 / 28 ] simplifiying candidate # 1553946236.028 * * * * [progress]: [ 22 / 28 ] simplifiying candidate #real (real->posit16 (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946236.028 * * * * [progress]: [ 23 / 28 ] simplifiying candidate # 1553946236.028 * [simplify]: Simplifying (* 1/6 c) 1553946236.028 * * [simplify]: iters left: 2 (3 enodes) 1553946236.029 * * [simplify]: iters left: 1 (10 enodes) 1553946236.031 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946236.031 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946236.031 * * [simplify]: Extracting #2: cost 2 inf + 2 1553946236.031 * * [simplify]: Extracting #3: cost 0 inf + 86 1553946236.031 * [simplify]: Simplified to (* 1/6 c) 1553946236.031 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946236.031 * * * * [progress]: [ 24 / 28 ] simplifiying candidate # 1553946236.032 * [simplify]: Simplifying (* 1/6 c) 1553946236.032 * * [simplify]: iters left: 2 (3 enodes) 1553946236.033 * * [simplify]: iters left: 1 (10 enodes) 1553946236.034 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946236.034 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946236.034 * * [simplify]: Extracting #2: cost 2 inf + 2 1553946236.034 * * [simplify]: Extracting #3: cost 0 inf + 86 1553946236.034 * [simplify]: Simplified to (* 1/6 c) 1553946236.034 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946236.034 * * * * [progress]: [ 25 / 28 ] simplifiying candidate # 1553946236.035 * [simplify]: Simplifying (* 1/6 c) 1553946236.035 * * [simplify]: iters left: 2 (3 enodes) 1553946236.036 * * [simplify]: iters left: 1 (10 enodes) 1553946236.037 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946236.037 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946236.037 * * [simplify]: Extracting #2: cost 2 inf + 2 1553946236.037 * * [simplify]: Extracting #3: cost 0 inf + 86 1553946236.037 * [simplify]: Simplified to (* 1/6 c) 1553946236.037 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946236.037 * * * * [progress]: [ 26 / 28 ] simplifiying candidate # 1553946236.038 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946236.038 * * [simplify]: iters left: 6 (11 enodes) 1553946236.041 * * [simplify]: iters left: 5 (44 enodes) 1553946236.049 * * [simplify]: iters left: 4 (66 enodes) 1553946236.061 * * [simplify]: iters left: 3 (102 enodes) 1553946236.078 * * [simplify]: iters left: 2 (114 enodes) 1553946236.104 * * [simplify]: iters left: 1 (122 enodes) 1553946236.138 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946236.138 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946236.138 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946236.139 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946236.140 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946236.142 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946236.144 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946236.145 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946236.145 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946236.145 * * * * [progress]: [ 27 / 28 ] simplifiying candidate # 1553946236.146 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946236.146 * * [simplify]: iters left: 6 (11 enodes) 1553946236.153 * * [simplify]: iters left: 5 (44 enodes) 1553946236.167 * * [simplify]: iters left: 4 (66 enodes) 1553946236.191 * * [simplify]: iters left: 3 (102 enodes) 1553946236.216 * * [simplify]: iters left: 2 (114 enodes) 1553946236.242 * * [simplify]: iters left: 1 (122 enodes) 1553946236.276 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946236.276 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946236.276 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946236.277 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946236.278 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946236.280 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946236.282 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946236.284 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946236.284 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946236.284 * * * * [progress]: [ 28 / 28 ] simplifiying candidate # 1553946236.285 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946236.285 * * [simplify]: iters left: 6 (11 enodes) 1553946236.292 * * [simplify]: iters left: 5 (44 enodes) 1553946236.306 * * [simplify]: iters left: 4 (66 enodes) 1553946236.329 * * [simplify]: iters left: 3 (102 enodes) 1553946236.346 * * [simplify]: iters left: 2 (114 enodes) 1553946236.360 * * [simplify]: iters left: 1 (122 enodes) 1553946236.384 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946236.384 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946236.384 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946236.387 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946236.388 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946236.390 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946236.392 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946236.393 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946236.393 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946236.394 * * * [progress]: adding candidates to table 1553946236.777 * * [progress]: iteration 3 / 4 1553946236.777 * * * [progress]: picking best candidate 1553946236.781 * * * * [pick]: Picked # 1553946236.782 * * * [progress]: localizing error 1553946236.794 * * * [progress]: generating rewritten candidates 1553946236.794 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1553946236.804 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1553946236.833 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1553946236.834 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1553946236.836 * * * [progress]: generating series expansions 1553946236.836 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1553946236.836 * [backup-simplify]: Simplify (cbrt (* (* (sinh c) (sinh c)) (sinh c))) into (sinh c) 1553946236.836 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1553946236.836 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946236.836 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946236.836 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946236.836 * [taylor]: Taking taylor expansion of (exp c) in c 1553946236.836 * [taylor]: Taking taylor expansion of c in c 1553946236.836 * [backup-simplify]: Simplify 0 into 0 1553946236.836 * [backup-simplify]: Simplify 1 into 1 1553946236.836 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.836 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946236.836 * [taylor]: Taking taylor expansion of (- c) in c 1553946236.836 * [taylor]: Taking taylor expansion of c in c 1553946236.837 * [backup-simplify]: Simplify 0 into 0 1553946236.837 * [backup-simplify]: Simplify 1 into 1 1553946236.837 * [backup-simplify]: Simplify (- 0) into 0 1553946236.838 * [backup-simplify]: Simplify (- 1) into -1 1553946236.838 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.838 * [taylor]: Taking taylor expansion of 2 in c 1553946236.838 * [backup-simplify]: Simplify 2 into 2 1553946236.838 * [backup-simplify]: Simplify (- 1) into -1 1553946236.838 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946236.839 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946236.840 * [backup-simplify]: Simplify (- 1) into -1 1553946236.841 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946236.841 * [backup-simplify]: Simplify (- -1) into 1 1553946236.842 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946236.842 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946236.842 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946236.842 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946236.842 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946236.842 * [taylor]: Taking taylor expansion of (exp c) in c 1553946236.842 * [taylor]: Taking taylor expansion of c in c 1553946236.842 * [backup-simplify]: Simplify 0 into 0 1553946236.842 * [backup-simplify]: Simplify 1 into 1 1553946236.842 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.842 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946236.842 * [taylor]: Taking taylor expansion of (- c) in c 1553946236.842 * [taylor]: Taking taylor expansion of c in c 1553946236.842 * [backup-simplify]: Simplify 0 into 0 1553946236.842 * [backup-simplify]: Simplify 1 into 1 1553946236.843 * [backup-simplify]: Simplify (- 0) into 0 1553946236.843 * [backup-simplify]: Simplify (- 1) into -1 1553946236.843 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.843 * [taylor]: Taking taylor expansion of 2 in c 1553946236.843 * [backup-simplify]: Simplify 2 into 2 1553946236.844 * [backup-simplify]: Simplify (- 1) into -1 1553946236.844 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946236.845 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946236.845 * [backup-simplify]: Simplify (- 1) into -1 1553946236.846 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946236.847 * [backup-simplify]: Simplify (- -1) into 1 1553946236.847 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946236.848 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946236.848 * [backup-simplify]: Simplify 1 into 1 1553946236.849 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946236.850 * [backup-simplify]: Simplify (- 1) into -1 1553946236.850 * [backup-simplify]: Simplify (- 0) into 0 1553946236.852 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946236.852 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553946236.853 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553946236.853 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553946236.853 * [backup-simplify]: Simplify 0 into 0 1553946236.854 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553946236.855 * [backup-simplify]: Simplify (- 1) into -1 1553946236.855 * [backup-simplify]: Simplify (- 1) into -1 1553946236.855 * [backup-simplify]: Simplify (- 0) into 0 1553946236.855 * [backup-simplify]: Simplify (- 0) into 0 1553946236.857 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553946236.857 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553946236.857 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553946236.858 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553946236.858 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.860 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1553946236.860 * [backup-simplify]: Simplify (- 1) into -1 1553946236.860 * [backup-simplify]: Simplify (- 1) into -1 1553946236.861 * [backup-simplify]: Simplify (- 0) into 0 1553946236.861 * [backup-simplify]: Simplify (- 1) into -1 1553946236.861 * [backup-simplify]: Simplify (- 0) into 0 1553946236.861 * [backup-simplify]: Simplify (- 0) into 0 1553946236.862 * [backup-simplify]: Simplify (- 0) into 0 1553946236.864 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1553946236.864 * [backup-simplify]: Simplify (- 1/24) into -1/24 1553946236.864 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1553946236.865 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1553946236.865 * [backup-simplify]: Simplify 0 into 0 1553946236.868 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1553946236.868 * [backup-simplify]: Simplify (- 1) into -1 1553946236.869 * [backup-simplify]: Simplify (- 1) into -1 1553946236.869 * [backup-simplify]: Simplify (- 0) into 0 1553946236.869 * [backup-simplify]: Simplify (- 1) into -1 1553946236.869 * [backup-simplify]: Simplify (- 0) into 0 1553946236.869 * [backup-simplify]: Simplify (- 1) into -1 1553946236.870 * [backup-simplify]: Simplify (- 0) into 0 1553946236.870 * [backup-simplify]: Simplify (- 1) into -1 1553946236.870 * [backup-simplify]: Simplify (- 0) into 0 1553946236.870 * [backup-simplify]: Simplify (- 0) into 0 1553946236.871 * [backup-simplify]: Simplify (- 0) into 0 1553946236.871 * [backup-simplify]: Simplify (- 0) into 0 1553946236.874 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1553946236.874 * [backup-simplify]: Simplify (- -1/120) into 1/120 1553946236.875 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1553946236.876 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1553946236.876 * [backup-simplify]: Simplify 1/120 into 1/120 1553946236.876 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946236.876 * [backup-simplify]: Simplify (cbrt (* (* (sinh (/ 1 c)) (sinh (/ 1 c))) (sinh (/ 1 c)))) into (sinh (/ 1 c)) 1553946236.876 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1553946236.876 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946236.876 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946236.876 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946236.876 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946236.876 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.876 * [taylor]: Taking taylor expansion of c in c 1553946236.876 * [backup-simplify]: Simplify 0 into 0 1553946236.876 * [backup-simplify]: Simplify 1 into 1 1553946236.876 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.876 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946236.877 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946236.877 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946236.877 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.877 * [taylor]: Taking taylor expansion of c in c 1553946236.877 * [backup-simplify]: Simplify 0 into 0 1553946236.877 * [backup-simplify]: Simplify 1 into 1 1553946236.877 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.877 * [backup-simplify]: Simplify (- 1) into -1 1553946236.877 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946236.877 * [taylor]: Taking taylor expansion of 2 in c 1553946236.877 * [backup-simplify]: Simplify 2 into 2 1553946236.877 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946236.877 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946236.877 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946236.877 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946236.877 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946236.878 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946236.878 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946236.878 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.878 * [taylor]: Taking taylor expansion of c in c 1553946236.878 * [backup-simplify]: Simplify 0 into 0 1553946236.878 * [backup-simplify]: Simplify 1 into 1 1553946236.878 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.878 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946236.878 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946236.878 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946236.878 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.878 * [taylor]: Taking taylor expansion of c in c 1553946236.878 * [backup-simplify]: Simplify 0 into 0 1553946236.878 * [backup-simplify]: Simplify 1 into 1 1553946236.878 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.879 * [backup-simplify]: Simplify (- 1) into -1 1553946236.879 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946236.879 * [taylor]: Taking taylor expansion of 2 in c 1553946236.879 * [backup-simplify]: Simplify 2 into 2 1553946236.879 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946236.879 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946236.879 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946236.879 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946236.879 * [backup-simplify]: Simplify (- 0) into 0 1553946236.880 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.880 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553946236.880 * [backup-simplify]: Simplify 0 into 0 1553946236.880 * [backup-simplify]: Simplify (- 0) into 0 1553946236.881 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.882 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.882 * [backup-simplify]: Simplify 0 into 0 1553946236.882 * [backup-simplify]: Simplify (- 0) into 0 1553946236.882 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.883 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.883 * [backup-simplify]: Simplify 0 into 0 1553946236.883 * [backup-simplify]: Simplify (- 0) into 0 1553946236.884 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.885 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.885 * [backup-simplify]: Simplify 0 into 0 1553946236.885 * [backup-simplify]: Simplify (- 0) into 0 1553946236.886 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.887 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.887 * [backup-simplify]: Simplify 0 into 0 1553946236.888 * [backup-simplify]: Simplify (- 0) into 0 1553946236.888 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.890 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.890 * [backup-simplify]: Simplify 0 into 0 1553946236.890 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1553946236.890 * [backup-simplify]: Simplify (cbrt (* (* (sinh (/ 1 (- c))) (sinh (/ 1 (- c)))) (sinh (/ 1 (- c))))) into (sinh (/ -1 c)) 1553946236.890 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1553946236.891 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946236.891 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946236.891 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946236.891 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946236.891 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.891 * [taylor]: Taking taylor expansion of -1 in c 1553946236.891 * [backup-simplify]: Simplify -1 into -1 1553946236.891 * [taylor]: Taking taylor expansion of c in c 1553946236.891 * [backup-simplify]: Simplify 0 into 0 1553946236.891 * [backup-simplify]: Simplify 1 into 1 1553946236.891 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.891 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946236.891 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946236.891 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946236.891 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.891 * [taylor]: Taking taylor expansion of -1 in c 1553946236.891 * [backup-simplify]: Simplify -1 into -1 1553946236.891 * [taylor]: Taking taylor expansion of c in c 1553946236.891 * [backup-simplify]: Simplify 0 into 0 1553946236.891 * [backup-simplify]: Simplify 1 into 1 1553946236.891 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.892 * [backup-simplify]: Simplify (- -1) into 1 1553946236.892 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946236.892 * [taylor]: Taking taylor expansion of 2 in c 1553946236.892 * [backup-simplify]: Simplify 2 into 2 1553946236.892 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946236.892 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946236.892 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946236.892 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946236.892 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946236.892 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946236.892 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946236.892 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.892 * [taylor]: Taking taylor expansion of -1 in c 1553946236.892 * [backup-simplify]: Simplify -1 into -1 1553946236.892 * [taylor]: Taking taylor expansion of c in c 1553946236.892 * [backup-simplify]: Simplify 0 into 0 1553946236.892 * [backup-simplify]: Simplify 1 into 1 1553946236.892 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.892 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946236.893 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946236.893 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946236.893 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.893 * [taylor]: Taking taylor expansion of -1 in c 1553946236.893 * [backup-simplify]: Simplify -1 into -1 1553946236.893 * [taylor]: Taking taylor expansion of c in c 1553946236.893 * [backup-simplify]: Simplify 0 into 0 1553946236.893 * [backup-simplify]: Simplify 1 into 1 1553946236.893 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.893 * [backup-simplify]: Simplify (- -1) into 1 1553946236.893 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946236.893 * [taylor]: Taking taylor expansion of 2 in c 1553946236.893 * [backup-simplify]: Simplify 2 into 2 1553946236.893 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946236.893 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946236.893 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946236.894 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946236.894 * [backup-simplify]: Simplify (- 0) into 0 1553946236.894 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.895 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553946236.895 * [backup-simplify]: Simplify 0 into 0 1553946236.895 * [backup-simplify]: Simplify (- 0) into 0 1553946236.895 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.896 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.896 * [backup-simplify]: Simplify 0 into 0 1553946236.896 * [backup-simplify]: Simplify (- 0) into 0 1553946236.896 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.898 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.898 * [backup-simplify]: Simplify 0 into 0 1553946236.899 * [backup-simplify]: Simplify (- 0) into 0 1553946236.899 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.901 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.902 * [backup-simplify]: Simplify 0 into 0 1553946236.902 * [backup-simplify]: Simplify (- 0) into 0 1553946236.902 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.905 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.905 * [backup-simplify]: Simplify 0 into 0 1553946236.906 * [backup-simplify]: Simplify (- 0) into 0 1553946236.906 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.910 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.910 * [backup-simplify]: Simplify 0 into 0 1553946236.910 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946236.910 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1553946236.910 * [backup-simplify]: Simplify (* (* (sinh c) (sinh c)) (sinh c)) into (pow (sinh c) 3) 1553946236.911 * [approximate]: Taking taylor expansion of (pow (sinh c) 3) in (c) around 0 1553946236.911 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c 1553946236.911 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946236.911 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946236.911 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946236.911 * [taylor]: Taking taylor expansion of (exp c) in c 1553946236.911 * [taylor]: Taking taylor expansion of c in c 1553946236.911 * [backup-simplify]: Simplify 0 into 0 1553946236.911 * [backup-simplify]: Simplify 1 into 1 1553946236.911 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.911 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946236.911 * [taylor]: Taking taylor expansion of (- c) in c 1553946236.911 * [taylor]: Taking taylor expansion of c in c 1553946236.911 * [backup-simplify]: Simplify 0 into 0 1553946236.911 * [backup-simplify]: Simplify 1 into 1 1553946236.911 * [backup-simplify]: Simplify (- 0) into 0 1553946236.912 * [backup-simplify]: Simplify (- 1) into -1 1553946236.912 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.912 * [taylor]: Taking taylor expansion of 2 in c 1553946236.912 * [backup-simplify]: Simplify 2 into 2 1553946236.912 * [backup-simplify]: Simplify (- 1) into -1 1553946236.913 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946236.914 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946236.914 * [backup-simplify]: Simplify (- 1) into -1 1553946236.915 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946236.915 * [backup-simplify]: Simplify (- -1) into 1 1553946236.916 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946236.916 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946236.916 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c 1553946236.916 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946236.916 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946236.916 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946236.916 * [taylor]: Taking taylor expansion of (exp c) in c 1553946236.916 * [taylor]: Taking taylor expansion of c in c 1553946236.916 * [backup-simplify]: Simplify 0 into 0 1553946236.916 * [backup-simplify]: Simplify 1 into 1 1553946236.917 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.917 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946236.917 * [taylor]: Taking taylor expansion of (- c) in c 1553946236.917 * [taylor]: Taking taylor expansion of c in c 1553946236.917 * [backup-simplify]: Simplify 0 into 0 1553946236.917 * [backup-simplify]: Simplify 1 into 1 1553946236.917 * [backup-simplify]: Simplify (- 0) into 0 1553946236.917 * [backup-simplify]: Simplify (- 1) into -1 1553946236.917 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.917 * [taylor]: Taking taylor expansion of 2 in c 1553946236.918 * [backup-simplify]: Simplify 2 into 2 1553946236.918 * [backup-simplify]: Simplify (- 1) into -1 1553946236.918 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946236.919 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946236.920 * [backup-simplify]: Simplify (- 1) into -1 1553946236.921 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946236.921 * [backup-simplify]: Simplify (- -1) into 1 1553946236.922 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946236.922 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946236.923 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.923 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.923 * [backup-simplify]: Simplify 1 into 1 1553946236.924 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946236.925 * [backup-simplify]: Simplify (- 1) into -1 1553946236.925 * [backup-simplify]: Simplify (- 0) into 0 1553946236.927 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946236.927 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553946236.928 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553946236.929 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553946236.929 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946236.930 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946236.930 * [backup-simplify]: Simplify 0 into 0 1553946236.932 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553946236.933 * [backup-simplify]: Simplify (- 1) into -1 1553946236.933 * [backup-simplify]: Simplify (- 1) into -1 1553946236.933 * [backup-simplify]: Simplify (- 0) into 0 1553946236.934 * [backup-simplify]: Simplify (- 0) into 0 1553946236.939 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553946236.939 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553946236.940 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553946236.941 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553946236.942 * [backup-simplify]: Simplify (+ (* 1 1/6) (+ (* 0 0) (* 1/6 1))) into 1/3 1553946236.943 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 0) (* 1/6 1))) into 1/2 1553946236.943 * [backup-simplify]: Simplify 1/2 into 1/2 1553946236.947 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1553946236.947 * [backup-simplify]: Simplify (- 1) into -1 1553946236.948 * [backup-simplify]: Simplify (- 1) into -1 1553946236.948 * [backup-simplify]: Simplify (- 0) into 0 1553946236.948 * [backup-simplify]: Simplify (- 1) into -1 1553946236.949 * [backup-simplify]: Simplify (- 0) into 0 1553946236.949 * [backup-simplify]: Simplify (- 0) into 0 1553946236.949 * [backup-simplify]: Simplify (- 0) into 0 1553946236.953 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1553946236.954 * [backup-simplify]: Simplify (- 1/24) into -1/24 1553946236.954 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1553946236.956 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1553946236.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/6) (+ (* 1/6 0) (* 0 1)))) into 0 1553946236.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/3) (+ (* 1/6 0) (* 0 1)))) into 0 1553946236.958 * [backup-simplify]: Simplify 0 into 0 1553946236.964 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1553946236.965 * [backup-simplify]: Simplify (- 1) into -1 1553946236.965 * [backup-simplify]: Simplify (- 1) into -1 1553946236.965 * [backup-simplify]: Simplify (- 0) into 0 1553946236.966 * [backup-simplify]: Simplify (- 1) into -1 1553946236.966 * [backup-simplify]: Simplify (- 0) into 0 1553946236.967 * [backup-simplify]: Simplify (- 1) into -1 1553946236.967 * [backup-simplify]: Simplify (- 0) into 0 1553946236.967 * [backup-simplify]: Simplify (- 1) into -1 1553946236.968 * [backup-simplify]: Simplify (- 0) into 0 1553946236.968 * [backup-simplify]: Simplify (- 0) into 0 1553946236.968 * [backup-simplify]: Simplify (- 0) into 0 1553946236.969 * [backup-simplify]: Simplify (- 0) into 0 1553946236.975 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1553946236.976 * [backup-simplify]: Simplify (- -1/120) into 1/120 1553946236.976 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1553946236.977 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1553946236.979 * [backup-simplify]: Simplify (+ (* 1 1/120) (+ (* 0 0) (+ (* 1/6 1/6) (+ (* 0 0) (* 1/120 1))))) into 2/45 1553946236.981 * [backup-simplify]: Simplify (+ (* 1 2/45) (+ (* 0 0) (+ (* 1/6 1/3) (+ (* 0 0) (* 1/120 1))))) into 13/120 1553946236.981 * [backup-simplify]: Simplify 13/120 into 13/120 1553946236.981 * [backup-simplify]: Simplify (+ (* 13/120 (pow c 7)) (+ (* 1/2 (pow c 5)) (* 1 (pow c 3)))) into (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) 1553946236.982 * [backup-simplify]: Simplify (* (* (sinh (/ 1 c)) (sinh (/ 1 c))) (sinh (/ 1 c))) into (pow (sinh (/ 1 c)) 3) 1553946236.982 * [approximate]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in (c) around 0 1553946236.982 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 1553946236.982 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946236.982 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946236.982 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946236.982 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946236.982 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.982 * [taylor]: Taking taylor expansion of c in c 1553946236.982 * [backup-simplify]: Simplify 0 into 0 1553946236.982 * [backup-simplify]: Simplify 1 into 1 1553946236.982 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.983 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946236.983 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946236.983 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946236.983 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.983 * [taylor]: Taking taylor expansion of c in c 1553946236.983 * [backup-simplify]: Simplify 0 into 0 1553946236.983 * [backup-simplify]: Simplify 1 into 1 1553946236.983 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.983 * [backup-simplify]: Simplify (- 1) into -1 1553946236.984 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946236.984 * [taylor]: Taking taylor expansion of 2 in c 1553946236.984 * [backup-simplify]: Simplify 2 into 2 1553946236.984 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946236.984 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946236.984 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946236.984 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 1553946236.984 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946236.984 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946236.984 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946236.984 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946236.984 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.984 * [taylor]: Taking taylor expansion of c in c 1553946236.984 * [backup-simplify]: Simplify 0 into 0 1553946236.984 * [backup-simplify]: Simplify 1 into 1 1553946236.985 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.985 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946236.985 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946236.985 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946236.985 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.985 * [taylor]: Taking taylor expansion of c in c 1553946236.985 * [backup-simplify]: Simplify 0 into 0 1553946236.985 * [backup-simplify]: Simplify 1 into 1 1553946236.986 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.986 * [backup-simplify]: Simplify (- 1) into -1 1553946236.986 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946236.986 * [taylor]: Taking taylor expansion of 2 in c 1553946236.986 * [backup-simplify]: Simplify 2 into 2 1553946236.986 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946236.986 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946236.986 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946236.987 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)) 1553946236.987 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 1553946236.987 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 1553946236.988 * [backup-simplify]: Simplify (- 0) into 0 1553946236.988 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.989 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553946236.990 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into 0 1553946236.990 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))) into 0 1553946236.990 * [backup-simplify]: Simplify 0 into 0 1553946236.991 * [backup-simplify]: Simplify (- 0) into 0 1553946236.991 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.993 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.993 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0 1553946236.994 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))) into 0 1553946236.994 * [backup-simplify]: Simplify 0 into 0 1553946236.995 * [backup-simplify]: Simplify (- 0) into 0 1553946236.995 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.997 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.998 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))) into 0 1553946236.999 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))) into 0 1553946236.999 * [backup-simplify]: Simplify 0 into 0 1553946237.000 * [backup-simplify]: Simplify (- 0) into 0 1553946237.000 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.003 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.004 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))) into 0 1553946237.006 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))) into 0 1553946237.006 * [backup-simplify]: Simplify 0 into 0 1553946237.006 * [backup-simplify]: Simplify (- 0) into 0 1553946237.006 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.009 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.011 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))))) into 0 1553946237.013 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))))) into 0 1553946237.013 * [backup-simplify]: Simplify 0 into 0 1553946237.013 * [backup-simplify]: Simplify (- 0) into 0 1553946237.014 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.017 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.019 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))))) into 0 1553946237.022 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))))) into 0 1553946237.022 * [backup-simplify]: Simplify 0 into 0 1553946237.022 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (- c))) 3)) 1553946237.022 * [backup-simplify]: Simplify (* (* (sinh (/ 1 (- c))) (sinh (/ 1 (- c)))) (sinh (/ 1 (- c)))) into (pow (sinh (/ -1 c)) 3) 1553946237.022 * [approximate]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in (c) around 0 1553946237.022 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 1553946237.022 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946237.022 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946237.022 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946237.022 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946237.023 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.023 * [taylor]: Taking taylor expansion of -1 in c 1553946237.023 * [backup-simplify]: Simplify -1 into -1 1553946237.023 * [taylor]: Taking taylor expansion of c in c 1553946237.023 * [backup-simplify]: Simplify 0 into 0 1553946237.023 * [backup-simplify]: Simplify 1 into 1 1553946237.023 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.023 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946237.023 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946237.023 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946237.023 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.023 * [taylor]: Taking taylor expansion of -1 in c 1553946237.023 * [backup-simplify]: Simplify -1 into -1 1553946237.023 * [taylor]: Taking taylor expansion of c in c 1553946237.023 * [backup-simplify]: Simplify 0 into 0 1553946237.023 * [backup-simplify]: Simplify 1 into 1 1553946237.024 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.024 * [backup-simplify]: Simplify (- -1) into 1 1553946237.024 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946237.024 * [taylor]: Taking taylor expansion of 2 in c 1553946237.024 * [backup-simplify]: Simplify 2 into 2 1553946237.025 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946237.025 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946237.025 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.025 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 1553946237.025 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946237.025 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946237.025 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946237.025 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946237.025 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.025 * [taylor]: Taking taylor expansion of -1 in c 1553946237.025 * [backup-simplify]: Simplify -1 into -1 1553946237.025 * [taylor]: Taking taylor expansion of c in c 1553946237.025 * [backup-simplify]: Simplify 0 into 0 1553946237.025 * [backup-simplify]: Simplify 1 into 1 1553946237.026 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.026 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946237.026 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946237.026 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946237.026 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.026 * [taylor]: Taking taylor expansion of -1 in c 1553946237.026 * [backup-simplify]: Simplify -1 into -1 1553946237.026 * [taylor]: Taking taylor expansion of c in c 1553946237.026 * [backup-simplify]: Simplify 0 into 0 1553946237.026 * [backup-simplify]: Simplify 1 into 1 1553946237.026 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.027 * [backup-simplify]: Simplify (- -1) into 1 1553946237.027 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946237.027 * [taylor]: Taking taylor expansion of 2 in c 1553946237.027 * [backup-simplify]: Simplify 2 into 2 1553946237.027 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946237.027 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946237.027 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.028 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)) 1553946237.028 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) 1553946237.028 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) 1553946237.029 * [backup-simplify]: Simplify (- 0) into 0 1553946237.029 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.030 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553946237.030 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into 0 1553946237.031 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))) into 0 1553946237.031 * [backup-simplify]: Simplify 0 into 0 1553946237.031 * [backup-simplify]: Simplify (- 0) into 0 1553946237.031 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.033 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.034 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))) into 0 1553946237.034 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))) into 0 1553946237.034 * [backup-simplify]: Simplify 0 into 0 1553946237.035 * [backup-simplify]: Simplify (- 0) into 0 1553946237.035 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.037 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.038 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))) into 0 1553946237.039 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))))) into 0 1553946237.039 * [backup-simplify]: Simplify 0 into 0 1553946237.040 * [backup-simplify]: Simplify (- 0) into 0 1553946237.040 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.042 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.044 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))) into 0 1553946237.045 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))))) into 0 1553946237.045 * [backup-simplify]: Simplify 0 into 0 1553946237.046 * [backup-simplify]: Simplify (- 0) into 0 1553946237.046 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.049 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.051 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))))) into 0 1553946237.053 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))))))) into 0 1553946237.053 * [backup-simplify]: Simplify 0 into 0 1553946237.053 * [backup-simplify]: Simplify (- 0) into 0 1553946237.053 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.057 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.059 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))))) into 0 1553946237.061 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))))))) into 0 1553946237.061 * [backup-simplify]: Simplify 0 into 0 1553946237.061 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3)) 1553946237.061 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1553946237.061 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1553946237.061 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1553946237.061 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946237.062 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946237.062 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946237.062 * [taylor]: Taking taylor expansion of (exp c) in c 1553946237.062 * [taylor]: Taking taylor expansion of c in c 1553946237.062 * [backup-simplify]: Simplify 0 into 0 1553946237.062 * [backup-simplify]: Simplify 1 into 1 1553946237.062 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.062 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946237.062 * [taylor]: Taking taylor expansion of (- c) in c 1553946237.062 * [taylor]: Taking taylor expansion of c in c 1553946237.062 * [backup-simplify]: Simplify 0 into 0 1553946237.062 * [backup-simplify]: Simplify 1 into 1 1553946237.062 * [backup-simplify]: Simplify (- 0) into 0 1553946237.063 * [backup-simplify]: Simplify (- 1) into -1 1553946237.063 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.063 * [taylor]: Taking taylor expansion of 2 in c 1553946237.063 * [backup-simplify]: Simplify 2 into 2 1553946237.063 * [backup-simplify]: Simplify (- 1) into -1 1553946237.064 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946237.065 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946237.065 * [backup-simplify]: Simplify (- 1) into -1 1553946237.066 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946237.067 * [backup-simplify]: Simplify (- -1) into 1 1553946237.067 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946237.067 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946237.067 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946237.067 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946237.067 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946237.067 * [taylor]: Taking taylor expansion of (exp c) in c 1553946237.067 * [taylor]: Taking taylor expansion of c in c 1553946237.068 * [backup-simplify]: Simplify 0 into 0 1553946237.068 * [backup-simplify]: Simplify 1 into 1 1553946237.068 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.068 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946237.068 * [taylor]: Taking taylor expansion of (- c) in c 1553946237.068 * [taylor]: Taking taylor expansion of c in c 1553946237.068 * [backup-simplify]: Simplify 0 into 0 1553946237.068 * [backup-simplify]: Simplify 1 into 1 1553946237.068 * [backup-simplify]: Simplify (- 0) into 0 1553946237.068 * [backup-simplify]: Simplify (- 1) into -1 1553946237.068 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.069 * [taylor]: Taking taylor expansion of 2 in c 1553946237.069 * [backup-simplify]: Simplify 2 into 2 1553946237.069 * [backup-simplify]: Simplify (- 1) into -1 1553946237.069 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946237.070 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946237.071 * [backup-simplify]: Simplify (- 1) into -1 1553946237.072 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946237.072 * [backup-simplify]: Simplify (- -1) into 1 1553946237.073 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946237.073 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946237.073 * [backup-simplify]: Simplify 1 into 1 1553946237.075 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946237.075 * [backup-simplify]: Simplify (- 1) into -1 1553946237.076 * [backup-simplify]: Simplify (- 0) into 0 1553946237.077 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946237.080 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553946237.080 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553946237.081 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553946237.081 * [backup-simplify]: Simplify 0 into 0 1553946237.084 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553946237.085 * [backup-simplify]: Simplify (- 1) into -1 1553946237.085 * [backup-simplify]: Simplify (- 1) into -1 1553946237.085 * [backup-simplify]: Simplify (- 0) into 0 1553946237.086 * [backup-simplify]: Simplify (- 0) into 0 1553946237.088 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553946237.089 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553946237.089 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553946237.090 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553946237.090 * [backup-simplify]: Simplify 1/6 into 1/6 1553946237.094 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1553946237.095 * [backup-simplify]: Simplify (- 1) into -1 1553946237.095 * [backup-simplify]: Simplify (- 1) into -1 1553946237.096 * [backup-simplify]: Simplify (- 0) into 0 1553946237.096 * [backup-simplify]: Simplify (- 1) into -1 1553946237.096 * [backup-simplify]: Simplify (- 0) into 0 1553946237.097 * [backup-simplify]: Simplify (- 0) into 0 1553946237.097 * [backup-simplify]: Simplify (- 0) into 0 1553946237.101 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1553946237.102 * [backup-simplify]: Simplify (- 1/24) into -1/24 1553946237.102 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1553946237.104 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1553946237.104 * [backup-simplify]: Simplify 0 into 0 1553946237.109 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1553946237.110 * [backup-simplify]: Simplify (- 1) into -1 1553946237.110 * [backup-simplify]: Simplify (- 1) into -1 1553946237.111 * [backup-simplify]: Simplify (- 0) into 0 1553946237.111 * [backup-simplify]: Simplify (- 1) into -1 1553946237.112 * [backup-simplify]: Simplify (- 0) into 0 1553946237.112 * [backup-simplify]: Simplify (- 1) into -1 1553946237.112 * [backup-simplify]: Simplify (- 0) into 0 1553946237.113 * [backup-simplify]: Simplify (- 1) into -1 1553946237.113 * [backup-simplify]: Simplify (- 0) into 0 1553946237.113 * [backup-simplify]: Simplify (- 0) into 0 1553946237.114 * [backup-simplify]: Simplify (- 0) into 0 1553946237.114 * [backup-simplify]: Simplify (- 0) into 0 1553946237.120 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1553946237.120 * [backup-simplify]: Simplify (- -1/120) into 1/120 1553946237.121 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1553946237.122 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1553946237.122 * [backup-simplify]: Simplify 1/120 into 1/120 1553946237.123 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946237.123 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1553946237.123 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1553946237.123 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946237.123 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946237.123 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946237.123 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946237.123 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.123 * [taylor]: Taking taylor expansion of c in c 1553946237.123 * [backup-simplify]: Simplify 0 into 0 1553946237.123 * [backup-simplify]: Simplify 1 into 1 1553946237.124 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.124 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946237.124 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946237.124 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946237.124 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.124 * [taylor]: Taking taylor expansion of c in c 1553946237.124 * [backup-simplify]: Simplify 0 into 0 1553946237.124 * [backup-simplify]: Simplify 1 into 1 1553946237.124 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.125 * [backup-simplify]: Simplify (- 1) into -1 1553946237.125 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946237.125 * [taylor]: Taking taylor expansion of 2 in c 1553946237.125 * [backup-simplify]: Simplify 2 into 2 1553946237.125 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946237.125 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946237.125 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946237.125 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946237.125 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946237.125 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946237.125 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946237.125 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.125 * [taylor]: Taking taylor expansion of c in c 1553946237.125 * [backup-simplify]: Simplify 0 into 0 1553946237.126 * [backup-simplify]: Simplify 1 into 1 1553946237.126 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.126 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946237.126 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946237.126 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946237.126 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.126 * [taylor]: Taking taylor expansion of c in c 1553946237.126 * [backup-simplify]: Simplify 0 into 0 1553946237.126 * [backup-simplify]: Simplify 1 into 1 1553946237.127 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.128 * [backup-simplify]: Simplify (- 1) into -1 1553946237.128 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946237.128 * [taylor]: Taking taylor expansion of 2 in c 1553946237.128 * [backup-simplify]: Simplify 2 into 2 1553946237.128 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946237.128 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946237.128 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946237.129 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946237.129 * [backup-simplify]: Simplify (- 0) into 0 1553946237.130 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.131 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553946237.131 * [backup-simplify]: Simplify 0 into 0 1553946237.131 * [backup-simplify]: Simplify (- 0) into 0 1553946237.131 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.133 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.133 * [backup-simplify]: Simplify 0 into 0 1553946237.133 * [backup-simplify]: Simplify (- 0) into 0 1553946237.133 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.134 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.135 * [backup-simplify]: Simplify 0 into 0 1553946237.135 * [backup-simplify]: Simplify (- 0) into 0 1553946237.135 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.136 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.136 * [backup-simplify]: Simplify 0 into 0 1553946237.137 * [backup-simplify]: Simplify (- 0) into 0 1553946237.137 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.139 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.139 * [backup-simplify]: Simplify 0 into 0 1553946237.139 * [backup-simplify]: Simplify (- 0) into 0 1553946237.139 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.141 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.141 * [backup-simplify]: Simplify 0 into 0 1553946237.141 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1553946237.141 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1553946237.141 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1553946237.141 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946237.141 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946237.142 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946237.142 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946237.142 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.142 * [taylor]: Taking taylor expansion of -1 in c 1553946237.142 * [backup-simplify]: Simplify -1 into -1 1553946237.142 * [taylor]: Taking taylor expansion of c in c 1553946237.142 * [backup-simplify]: Simplify 0 into 0 1553946237.142 * [backup-simplify]: Simplify 1 into 1 1553946237.142 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.142 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946237.142 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946237.142 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946237.142 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.142 * [taylor]: Taking taylor expansion of -1 in c 1553946237.142 * [backup-simplify]: Simplify -1 into -1 1553946237.142 * [taylor]: Taking taylor expansion of c in c 1553946237.142 * [backup-simplify]: Simplify 0 into 0 1553946237.142 * [backup-simplify]: Simplify 1 into 1 1553946237.142 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.143 * [backup-simplify]: Simplify (- -1) into 1 1553946237.143 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946237.143 * [taylor]: Taking taylor expansion of 2 in c 1553946237.143 * [backup-simplify]: Simplify 2 into 2 1553946237.143 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946237.143 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946237.143 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.143 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946237.143 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946237.143 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946237.143 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946237.143 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.143 * [taylor]: Taking taylor expansion of -1 in c 1553946237.143 * [backup-simplify]: Simplify -1 into -1 1553946237.143 * [taylor]: Taking taylor expansion of c in c 1553946237.143 * [backup-simplify]: Simplify 0 into 0 1553946237.143 * [backup-simplify]: Simplify 1 into 1 1553946237.143 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.143 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946237.143 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946237.143 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946237.143 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.143 * [taylor]: Taking taylor expansion of -1 in c 1553946237.143 * [backup-simplify]: Simplify -1 into -1 1553946237.143 * [taylor]: Taking taylor expansion of c in c 1553946237.144 * [backup-simplify]: Simplify 0 into 0 1553946237.144 * [backup-simplify]: Simplify 1 into 1 1553946237.144 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.144 * [backup-simplify]: Simplify (- -1) into 1 1553946237.144 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946237.144 * [taylor]: Taking taylor expansion of 2 in c 1553946237.144 * [backup-simplify]: Simplify 2 into 2 1553946237.144 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946237.144 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946237.144 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.145 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.145 * [backup-simplify]: Simplify (- 0) into 0 1553946237.145 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.146 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553946237.146 * [backup-simplify]: Simplify 0 into 0 1553946237.146 * [backup-simplify]: Simplify (- 0) into 0 1553946237.146 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.147 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.147 * [backup-simplify]: Simplify 0 into 0 1553946237.147 * [backup-simplify]: Simplify (- 0) into 0 1553946237.147 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.149 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.149 * [backup-simplify]: Simplify 0 into 0 1553946237.149 * [backup-simplify]: Simplify (- 0) into 0 1553946237.149 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.151 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.151 * [backup-simplify]: Simplify 0 into 0 1553946237.151 * [backup-simplify]: Simplify (- 0) into 0 1553946237.151 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.153 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.153 * [backup-simplify]: Simplify 0 into 0 1553946237.153 * [backup-simplify]: Simplify (- 0) into 0 1553946237.153 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.155 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.155 * [backup-simplify]: Simplify 0 into 0 1553946237.155 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946237.155 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2) 1553946237.156 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1553946237.156 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1553946237.156 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946237.156 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946237.156 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946237.156 * [taylor]: Taking taylor expansion of (exp c) in c 1553946237.156 * [taylor]: Taking taylor expansion of c in c 1553946237.156 * [backup-simplify]: Simplify 0 into 0 1553946237.156 * [backup-simplify]: Simplify 1 into 1 1553946237.156 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.156 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946237.156 * [taylor]: Taking taylor expansion of (- c) in c 1553946237.156 * [taylor]: Taking taylor expansion of c in c 1553946237.156 * [backup-simplify]: Simplify 0 into 0 1553946237.156 * [backup-simplify]: Simplify 1 into 1 1553946237.156 * [backup-simplify]: Simplify (- 0) into 0 1553946237.156 * [backup-simplify]: Simplify (- 1) into -1 1553946237.156 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.156 * [taylor]: Taking taylor expansion of 2 in c 1553946237.156 * [backup-simplify]: Simplify 2 into 2 1553946237.157 * [backup-simplify]: Simplify (- 1) into -1 1553946237.157 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946237.157 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946237.158 * [backup-simplify]: Simplify (- 1) into -1 1553946237.158 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946237.158 * [backup-simplify]: Simplify (- -1) into 1 1553946237.159 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946237.159 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946237.159 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946237.159 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946237.159 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946237.159 * [taylor]: Taking taylor expansion of (exp c) in c 1553946237.159 * [taylor]: Taking taylor expansion of c in c 1553946237.159 * [backup-simplify]: Simplify 0 into 0 1553946237.159 * [backup-simplify]: Simplify 1 into 1 1553946237.159 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.159 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946237.159 * [taylor]: Taking taylor expansion of (- c) in c 1553946237.159 * [taylor]: Taking taylor expansion of c in c 1553946237.159 * [backup-simplify]: Simplify 0 into 0 1553946237.159 * [backup-simplify]: Simplify 1 into 1 1553946237.159 * [backup-simplify]: Simplify (- 0) into 0 1553946237.160 * [backup-simplify]: Simplify (- 1) into -1 1553946237.160 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.160 * [taylor]: Taking taylor expansion of 2 in c 1553946237.160 * [backup-simplify]: Simplify 2 into 2 1553946237.160 * [backup-simplify]: Simplify (- 1) into -1 1553946237.160 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946237.161 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946237.161 * [backup-simplify]: Simplify (- 1) into -1 1553946237.162 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946237.162 * [backup-simplify]: Simplify (- -1) into 1 1553946237.162 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946237.162 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946237.162 * [backup-simplify]: Simplify 1 into 1 1553946237.163 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946237.163 * [backup-simplify]: Simplify (- 1) into -1 1553946237.164 * [backup-simplify]: Simplify (- 0) into 0 1553946237.165 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946237.165 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553946237.165 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553946237.166 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553946237.166 * [backup-simplify]: Simplify 0 into 0 1553946237.168 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553946237.169 * [backup-simplify]: Simplify (- 1) into -1 1553946237.169 * [backup-simplify]: Simplify (- 1) into -1 1553946237.170 * [backup-simplify]: Simplify (- 0) into 0 1553946237.170 * [backup-simplify]: Simplify (- 0) into 0 1553946237.172 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553946237.173 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553946237.173 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553946237.174 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553946237.174 * [backup-simplify]: Simplify 1/6 into 1/6 1553946237.178 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1553946237.179 * [backup-simplify]: Simplify (- 1) into -1 1553946237.179 * [backup-simplify]: Simplify (- 1) into -1 1553946237.179 * [backup-simplify]: Simplify (- 0) into 0 1553946237.180 * [backup-simplify]: Simplify (- 1) into -1 1553946237.180 * [backup-simplify]: Simplify (- 0) into 0 1553946237.180 * [backup-simplify]: Simplify (- 0) into 0 1553946237.181 * [backup-simplify]: Simplify (- 0) into 0 1553946237.185 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1553946237.185 * [backup-simplify]: Simplify (- 1/24) into -1/24 1553946237.186 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1553946237.187 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1553946237.187 * [backup-simplify]: Simplify 0 into 0 1553946237.193 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1553946237.193 * [backup-simplify]: Simplify (- 1) into -1 1553946237.193 * [backup-simplify]: Simplify (- 1) into -1 1553946237.194 * [backup-simplify]: Simplify (- 0) into 0 1553946237.194 * [backup-simplify]: Simplify (- 1) into -1 1553946237.195 * [backup-simplify]: Simplify (- 0) into 0 1553946237.195 * [backup-simplify]: Simplify (- 1) into -1 1553946237.196 * [backup-simplify]: Simplify (- 0) into 0 1553946237.196 * [backup-simplify]: Simplify (- 1) into -1 1553946237.196 * [backup-simplify]: Simplify (- 0) into 0 1553946237.197 * [backup-simplify]: Simplify (- 0) into 0 1553946237.197 * [backup-simplify]: Simplify (- 0) into 0 1553946237.197 * [backup-simplify]: Simplify (- 0) into 0 1553946237.205 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1553946237.205 * [backup-simplify]: Simplify (- -1/120) into 1/120 1553946237.206 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1553946237.207 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1553946237.207 * [backup-simplify]: Simplify 1/120 into 1/120 1553946237.208 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946237.208 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1553946237.208 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1553946237.208 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946237.208 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946237.208 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946237.208 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946237.208 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.208 * [taylor]: Taking taylor expansion of c in c 1553946237.208 * [backup-simplify]: Simplify 0 into 0 1553946237.208 * [backup-simplify]: Simplify 1 into 1 1553946237.209 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.209 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946237.209 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946237.209 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946237.209 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.209 * [taylor]: Taking taylor expansion of c in c 1553946237.209 * [backup-simplify]: Simplify 0 into 0 1553946237.209 * [backup-simplify]: Simplify 1 into 1 1553946237.209 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.210 * [backup-simplify]: Simplify (- 1) into -1 1553946237.210 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946237.210 * [taylor]: Taking taylor expansion of 2 in c 1553946237.210 * [backup-simplify]: Simplify 2 into 2 1553946237.210 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946237.210 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946237.210 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946237.210 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946237.210 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946237.210 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946237.210 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946237.210 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.210 * [taylor]: Taking taylor expansion of c in c 1553946237.210 * [backup-simplify]: Simplify 0 into 0 1553946237.210 * [backup-simplify]: Simplify 1 into 1 1553946237.211 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.211 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946237.211 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946237.211 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946237.211 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.211 * [taylor]: Taking taylor expansion of c in c 1553946237.211 * [backup-simplify]: Simplify 0 into 0 1553946237.211 * [backup-simplify]: Simplify 1 into 1 1553946237.211 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.212 * [backup-simplify]: Simplify (- 1) into -1 1553946237.212 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946237.212 * [taylor]: Taking taylor expansion of 2 in c 1553946237.212 * [backup-simplify]: Simplify 2 into 2 1553946237.212 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946237.212 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946237.212 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946237.213 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946237.213 * [backup-simplify]: Simplify (- 0) into 0 1553946237.213 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.214 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553946237.214 * [backup-simplify]: Simplify 0 into 0 1553946237.215 * [backup-simplify]: Simplify (- 0) into 0 1553946237.215 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.217 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.217 * [backup-simplify]: Simplify 0 into 0 1553946237.217 * [backup-simplify]: Simplify (- 0) into 0 1553946237.217 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.219 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.219 * [backup-simplify]: Simplify 0 into 0 1553946237.220 * [backup-simplify]: Simplify (- 0) into 0 1553946237.220 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.223 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.223 * [backup-simplify]: Simplify 0 into 0 1553946237.223 * [backup-simplify]: Simplify (- 0) into 0 1553946237.224 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.226 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.226 * [backup-simplify]: Simplify 0 into 0 1553946237.226 * [backup-simplify]: Simplify (- 0) into 0 1553946237.226 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.228 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.228 * [backup-simplify]: Simplify 0 into 0 1553946237.228 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1553946237.229 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1553946237.229 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1553946237.229 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946237.229 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946237.229 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946237.229 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946237.229 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.229 * [taylor]: Taking taylor expansion of -1 in c 1553946237.229 * [backup-simplify]: Simplify -1 into -1 1553946237.229 * [taylor]: Taking taylor expansion of c in c 1553946237.229 * [backup-simplify]: Simplify 0 into 0 1553946237.229 * [backup-simplify]: Simplify 1 into 1 1553946237.229 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.229 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946237.229 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946237.229 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946237.229 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.229 * [taylor]: Taking taylor expansion of -1 in c 1553946237.229 * [backup-simplify]: Simplify -1 into -1 1553946237.229 * [taylor]: Taking taylor expansion of c in c 1553946237.229 * [backup-simplify]: Simplify 0 into 0 1553946237.229 * [backup-simplify]: Simplify 1 into 1 1553946237.229 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.230 * [backup-simplify]: Simplify (- -1) into 1 1553946237.230 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946237.230 * [taylor]: Taking taylor expansion of 2 in c 1553946237.230 * [backup-simplify]: Simplify 2 into 2 1553946237.230 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946237.230 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946237.230 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.230 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946237.230 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946237.230 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946237.230 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946237.230 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.230 * [taylor]: Taking taylor expansion of -1 in c 1553946237.230 * [backup-simplify]: Simplify -1 into -1 1553946237.230 * [taylor]: Taking taylor expansion of c in c 1553946237.230 * [backup-simplify]: Simplify 0 into 0 1553946237.230 * [backup-simplify]: Simplify 1 into 1 1553946237.230 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.231 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946237.231 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946237.231 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946237.231 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.231 * [taylor]: Taking taylor expansion of -1 in c 1553946237.231 * [backup-simplify]: Simplify -1 into -1 1553946237.231 * [taylor]: Taking taylor expansion of c in c 1553946237.231 * [backup-simplify]: Simplify 0 into 0 1553946237.231 * [backup-simplify]: Simplify 1 into 1 1553946237.231 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.231 * [backup-simplify]: Simplify (- -1) into 1 1553946237.231 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946237.231 * [taylor]: Taking taylor expansion of 2 in c 1553946237.231 * [backup-simplify]: Simplify 2 into 2 1553946237.231 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946237.231 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946237.231 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.232 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.232 * [backup-simplify]: Simplify (- 0) into 0 1553946237.232 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.233 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553946237.233 * [backup-simplify]: Simplify 0 into 0 1553946237.233 * [backup-simplify]: Simplify (- 0) into 0 1553946237.233 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.234 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.234 * [backup-simplify]: Simplify 0 into 0 1553946237.234 * [backup-simplify]: Simplify (- 0) into 0 1553946237.234 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.236 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.236 * [backup-simplify]: Simplify 0 into 0 1553946237.236 * [backup-simplify]: Simplify (- 0) into 0 1553946237.236 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.238 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.238 * [backup-simplify]: Simplify 0 into 0 1553946237.238 * [backup-simplify]: Simplify (- 0) into 0 1553946237.238 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.240 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.240 * [backup-simplify]: Simplify 0 into 0 1553946237.240 * [backup-simplify]: Simplify (- 0) into 0 1553946237.240 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.242 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.242 * [backup-simplify]: Simplify 0 into 0 1553946237.242 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946237.242 * * * [progress]: simplifying candidates 1553946237.243 * * * * [progress]: [ 1 / 89 ] simplifiying candidate # 1553946237.243 * * * * [progress]: [ 2 / 89 ] simplifiying candidate # 1553946237.243 * * * * [progress]: [ 3 / 89 ] simplifiying candidate # 1553946237.243 * * * * [progress]: [ 4 / 89 ] simplifiying candidate # 1553946237.243 * * * * [progress]: [ 5 / 89 ] simplifiying candidate # 1553946237.243 * * * * [progress]: [ 6 / 89 ] simplifiying candidate # 1553946237.243 * * * * [progress]: [ 7 / 89 ] simplifiying candidate # 1553946237.243 * [simplify]: Simplifying (cbrt (* (sinh c) (sinh c))) 1553946237.243 * * [simplify]: iters left: 4 (4 enodes) 1553946237.244 * * [simplify]: iters left: 3 (18 enodes) 1553946237.248 * * [simplify]: iters left: 2 (39 enodes) 1553946237.254 * * [simplify]: iters left: 1 (71 enodes) 1553946237.277 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946237.277 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946237.277 * * [simplify]: Extracting #2: cost 21 inf + 0 1553946237.278 * * [simplify]: Extracting #3: cost 42 inf + 2 1553946237.278 * * [simplify]: Extracting #4: cost 61 inf + 227 1553946237.279 * * [simplify]: Extracting #5: cost 32 inf + 4452 1553946237.281 * * [simplify]: Extracting #6: cost 3 inf + 9633 1553946237.284 * * [simplify]: Extracting #7: cost 0 inf + 10366 1553946237.287 * [simplify]: Simplified to (cbrt (* (sinh c) (sinh c))) 1553946237.287 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (cbrt (* (sinh c) (sinh c))) (cbrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946237.288 * * * * [progress]: [ 8 / 89 ] simplifiying candidate # 1553946237.288 * [simplify]: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c))))) 1553946237.288 * * [simplify]: iters left: 6 (8 enodes) 1553946237.291 * * [simplify]: iters left: 5 (29 enodes) 1553946237.301 * * [simplify]: iters left: 4 (53 enodes) 1553946237.323 * * [simplify]: iters left: 3 (153 enodes) 1553946237.421 * * [simplify]: iters left: 2 (412 enodes) 1553946237.660 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946237.661 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946237.661 * * [simplify]: Extracting #2: cost 66 inf + 1 1553946237.662 * * [simplify]: Extracting #3: cost 160 inf + 75 1553946237.666 * * [simplify]: Extracting #4: cost 107 inf + 10439 1553946237.682 * * [simplify]: Extracting #5: cost 13 inf + 33761 1553946237.700 * * [simplify]: Extracting #6: cost 0 inf + 36328 1553946237.717 * * [simplify]: Extracting #7: cost 0 inf + 36118 1553946237.735 * [simplify]: Simplified to (+ (/ -1 (exp c)) (exp c)) 1553946237.735 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (+ (/ -1 (exp c)) (exp c)) (cbrt (* (* 2 2) 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946237.735 * * * * [progress]: [ 9 / 89 ] simplifiying candidate # 1553946237.736 * [simplify]: Simplifying (cbrt (* (* (sinh c) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c))))) 1553946237.736 * * [simplify]: iters left: 6 (9 enodes) 1553946237.740 * * [simplify]: iters left: 5 (37 enodes) 1553946237.754 * * [simplify]: iters left: 4 (76 enodes) 1553946237.791 * * [simplify]: iters left: 3 (229 enodes) 1553946237.889 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946237.890 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946237.890 * * [simplify]: Extracting #2: cost 37 inf + 0 1553946237.890 * * [simplify]: Extracting #3: cost 143 inf + 1 1553946237.892 * * [simplify]: Extracting #4: cost 181 inf + 951 1553946237.896 * * [simplify]: Extracting #5: cost 123 inf + 13468 1553946237.909 * * [simplify]: Extracting #6: cost 8 inf + 46119 1553946237.926 * * [simplify]: Extracting #7: cost 0 inf + 44316 1553946237.944 * * [simplify]: Extracting #8: cost 0 inf + 43972 1553946237.961 * [simplify]: Simplified to (cbrt (/ (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) 1553946237.961 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) (cbrt (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946237.961 * * * * [progress]: [ 10 / 89 ] simplifiying candidate # 1553946237.961 * [simplify]: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (sinh c)) (- (exp c) (exp (- c))))) 1553946237.962 * * [simplify]: iters left: 6 (9 enodes) 1553946237.964 * * [simplify]: iters left: 5 (35 enodes) 1553946237.970 * * [simplify]: iters left: 4 (66 enodes) 1553946237.984 * * [simplify]: iters left: 3 (178 enodes) 1553946238.034 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946238.034 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946238.034 * * [simplify]: Extracting #2: cost 34 inf + 0 1553946238.034 * * [simplify]: Extracting #3: cost 128 inf + 1 1553946238.035 * * [simplify]: Extracting #4: cost 137 inf + 768 1553946238.036 * * [simplify]: Extracting #5: cost 84 inf + 11224 1553946238.042 * * [simplify]: Extracting #6: cost 9 inf + 30523 1553946238.049 * * [simplify]: Extracting #7: cost 0 inf + 32925 1553946238.056 * * [simplify]: Extracting #8: cost 0 inf + 32923 1553946238.063 * [simplify]: Simplified to (cbrt (* (/ (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) 2) (+ (/ -1 (exp c)) (exp c)))) 1553946238.063 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (* (/ (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) 2) (+ (/ -1 (exp c)) (exp c)))) (cbrt (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.064 * * * * [progress]: [ 11 / 89 ] simplifiying candidate # 1553946238.064 * [simplify]: Simplifying (cbrt (* (* (sinh c) (sinh c)) (- (exp c) (exp (- c))))) 1553946238.064 * * [simplify]: iters left: 6 (9 enodes) 1553946238.066 * * [simplify]: iters left: 5 (36 enodes) 1553946238.076 * * [simplify]: iters left: 4 (73 enodes) 1553946238.091 * * [simplify]: iters left: 3 (181 enodes) 1553946238.134 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946238.134 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946238.134 * * [simplify]: Extracting #2: cost 29 inf + 0 1553946238.134 * * [simplify]: Extracting #3: cost 114 inf + 2 1553946238.135 * * [simplify]: Extracting #4: cost 139 inf + 1678 1553946238.137 * * [simplify]: Extracting #5: cost 73 inf + 15769 1553946238.149 * * [simplify]: Extracting #6: cost 9 inf + 31547 1553946238.162 * * [simplify]: Extracting #7: cost 0 inf + 33318 1553946238.174 * * [simplify]: Extracting #8: cost 0 inf + 33262 1553946238.180 * [simplify]: Simplified to (cbrt (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4)) 1553946238.180 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4)) (cbrt 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.180 * * * * [progress]: [ 12 / 89 ] simplifiying candidate # 1553946238.180 * [simplify]: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (sinh c))) 1553946238.181 * * [simplify]: iters left: 6 (9 enodes) 1553946238.183 * * [simplify]: iters left: 5 (36 enodes) 1553946238.189 * * [simplify]: iters left: 4 (66 enodes) 1553946238.203 * * [simplify]: iters left: 3 (167 enodes) 1553946238.303 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946238.303 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946238.303 * * [simplify]: Extracting #2: cost 26 inf + 0 1553946238.304 * * [simplify]: Extracting #3: cost 98 inf + 1 1553946238.305 * * [simplify]: Extracting #4: cost 161 inf + 243 1553946238.308 * * [simplify]: Extracting #5: cost 116 inf + 7909 1553946238.317 * * [simplify]: Extracting #6: cost 25 inf + 30561 1553946238.331 * * [simplify]: Extracting #7: cost 0 inf + 36868 1553946238.345 * * [simplify]: Extracting #8: cost 0 inf + 36799 1553946238.352 * [simplify]: Simplified to (cbrt (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c)))))) 1553946238.352 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c)))))) (cbrt (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.352 * * * * [progress]: [ 13 / 89 ] simplifiying candidate # 1553946238.352 * [simplify]: Simplifying (cbrt (* (* (sinh c) (- (exp c) (exp (- c)))) (sinh c))) 1553946238.352 * * [simplify]: iters left: 6 (9 enodes) 1553946238.354 * * [simplify]: iters left: 5 (35 enodes) 1553946238.361 * * [simplify]: iters left: 4 (65 enodes) 1553946238.377 * * [simplify]: iters left: 3 (163 enodes) 1553946238.433 * * [simplify]: iters left: 2 (484 enodes) 1553946238.870 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946238.870 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946238.871 * * [simplify]: Extracting #2: cost 32 inf + 0 1553946238.872 * * [simplify]: Extracting #3: cost 194 inf + 2 1553946238.874 * * [simplify]: Extracting #4: cost 314 inf + 3469 1553946238.891 * * [simplify]: Extracting #5: cost 120 inf + 47694 1553946238.920 * * [simplify]: Extracting #6: cost 3 inf + 76892 1553946238.938 * * [simplify]: Extracting #7: cost 0 inf + 76714 1553946238.956 * [simplify]: Simplified to (cbrt (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 4)) 1553946238.956 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 4)) (cbrt 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.957 * * * * [progress]: [ 14 / 89 ] simplifiying candidate # 1553946238.957 * [simplify]: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (sinh c)) (sinh c))) 1553946238.957 * * [simplify]: iters left: 6 (9 enodes) 1553946238.959 * * [simplify]: iters left: 5 (37 enodes) 1553946238.966 * * [simplify]: iters left: 4 (68 enodes) 1553946238.980 * * [simplify]: iters left: 3 (169 enodes) 1553946239.027 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.027 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946239.027 * * [simplify]: Extracting #2: cost 31 inf + 0 1553946239.027 * * [simplify]: Extracting #3: cost 110 inf + 2 1553946239.028 * * [simplify]: Extracting #4: cost 157 inf + 483 1553946239.029 * * [simplify]: Extracting #5: cost 95 inf + 13035 1553946239.034 * * [simplify]: Extracting #6: cost 12 inf + 33133 1553946239.041 * * [simplify]: Extracting #7: cost 0 inf + 35951 1553946239.047 * [simplify]: Simplified to (cbrt (/ (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (+ (/ -1 (exp c)) (exp c)))) (/ 2 (+ (/ -1 (exp c)) (exp c))))) 1553946239.047 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (+ (/ -1 (exp c)) (exp c)))) (/ 2 (+ (/ -1 (exp c)) (exp c))))) (cbrt 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.047 * * * * [progress]: [ 15 / 89 ] simplifiying candidate # 1553946239.047 * * * * [progress]: [ 16 / 89 ] simplifiying candidate # 1553946239.047 * * * * [progress]: [ 17 / 89 ] simplifiying candidate # 1553946239.047 * * * * [progress]: [ 18 / 89 ] simplifiying candidate # 1553946239.047 * * * * [progress]: [ 19 / 89 ] simplifiying candidate # 1553946239.048 * * * * [progress]: [ 20 / 89 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (sinh c) (sinh c)) (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946239.048 * * * * [progress]: [ 21 / 89 ] simplifiying candidate # 1553946239.048 * * * * [progress]: [ 22 / 89 ] simplifiying candidate # 1553946239.048 * * * * [progress]: [ 23 / 89 ] simplifiying candidate # 1553946239.048 * [simplify]: Simplifying (sinh c) 1553946239.048 * * [simplify]: iters left: 1 (2 enodes) 1553946239.048 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.048 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946239.048 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946239.049 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946239.049 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946239.049 * [simplify]: Simplified to (sinh c) 1553946239.049 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ (+ 1 1) 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.049 * [simplify]: Simplifying (+ (+ 1 1) 1) 1553946239.049 * * [simplify]: iters left: 4 (3 enodes) 1553946239.051 * * [simplify]: iters left: 3 (14 enodes) 1553946239.055 * * [simplify]: iters left: 2 (16 enodes) 1553946239.059 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.059 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946239.059 * [simplify]: Simplified to 3 1553946239.059 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.059 * * * * [progress]: [ 24 / 89 ] simplifiying candidate # 1553946239.059 * [simplify]: Simplifying (sinh c) 1553946239.059 * * [simplify]: iters left: 1 (2 enodes) 1553946239.060 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.060 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946239.060 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946239.060 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946239.061 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946239.061 * [simplify]: Simplified to (sinh c) 1553946239.061 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ 2 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.061 * [simplify]: Simplifying (+ 2 1) 1553946239.061 * * [simplify]: iters left: 2 (3 enodes) 1553946239.065 * * [simplify]: iters left: 1 (13 enodes) 1553946239.069 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.069 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946239.069 * [simplify]: Simplified to 3 1553946239.069 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.069 * * * * [progress]: [ 25 / 89 ] simplifiying candidate # 1553946239.070 * [simplify]: Simplifying (sinh c) 1553946239.070 * * [simplify]: iters left: 1 (2 enodes) 1553946239.071 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.071 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946239.071 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946239.071 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946239.071 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946239.071 * [simplify]: Simplified to (sinh c) 1553946239.071 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ (+ 1 1) 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.072 * [simplify]: Simplifying (+ (+ 1 1) 1) 1553946239.072 * * [simplify]: iters left: 4 (3 enodes) 1553946239.076 * * [simplify]: iters left: 3 (14 enodes) 1553946239.080 * * [simplify]: iters left: 2 (16 enodes) 1553946239.083 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.083 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946239.083 * [simplify]: Simplified to 3 1553946239.083 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.083 * * * * [progress]: [ 26 / 89 ] simplifiying candidate # 1553946239.083 * [simplify]: Simplifying (* (* (sinh c) (sinh c)) (sinh c)) 1553946239.083 * * [simplify]: iters left: 5 (4 enodes) 1553946239.084 * * [simplify]: iters left: 4 (19 enodes) 1553946239.087 * * [simplify]: iters left: 3 (46 enodes) 1553946239.097 * * [simplify]: iters left: 2 (107 enodes) 1553946239.127 * * [simplify]: iters left: 1 (295 enodes) 1553946239.316 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.316 * * [simplify]: Extracting #1: cost 34 inf + 0 1553946239.317 * * [simplify]: Extracting #2: cost 122 inf + 4 1553946239.318 * * [simplify]: Extracting #3: cost 239 inf + 1965 1553946239.323 * * [simplify]: Extracting #4: cost 95 inf + 33793 1553946239.335 * * [simplify]: Extracting #5: cost 0 inf + 58426 1553946239.352 * * [simplify]: Extracting #6: cost 0 inf + 54532 1553946239.365 * [simplify]: Simplified to (* (* (sinh c) (sinh c)) (sinh c)) 1553946239.365 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (* (* (sinh c) (sinh c)) (sinh c)) 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.365 * * * * [progress]: [ 27 / 89 ] simplifiying candidate # 1553946239.365 * [simplify]: Simplifying (* (* (sinh c) (sinh c)) (sinh c)) 1553946239.365 * * [simplify]: iters left: 5 (4 enodes) 1553946239.366 * * [simplify]: iters left: 4 (19 enodes) 1553946239.370 * * [simplify]: iters left: 3 (46 enodes) 1553946239.380 * * [simplify]: iters left: 2 (107 enodes) 1553946239.415 * * [simplify]: iters left: 1 (295 enodes) 1553946239.579 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.579 * * [simplify]: Extracting #1: cost 34 inf + 0 1553946239.580 * * [simplify]: Extracting #2: cost 122 inf + 4 1553946239.582 * * [simplify]: Extracting #3: cost 239 inf + 1965 1553946239.593 * * [simplify]: Extracting #4: cost 95 inf + 33793 1553946239.617 * * [simplify]: Extracting #5: cost 0 inf + 58426 1553946239.645 * * [simplify]: Extracting #6: cost 0 inf + 54532 1553946239.659 * [simplify]: Simplified to (* (* (sinh c) (sinh c)) (sinh c)) 1553946239.659 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (* (* (sinh c) (sinh c)) (sinh c)) 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.659 * * * * [progress]: [ 28 / 89 ] simplifiying candidate # 1553946239.660 * [simplify]: Simplifying (sinh c) 1553946239.660 * * [simplify]: iters left: 1 (2 enodes) 1553946239.660 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.660 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946239.660 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946239.660 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946239.661 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946239.661 * [simplify]: Simplified to (sinh c) 1553946239.661 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.661 * * * * [progress]: [ 29 / 89 ] simplifiying candidate # 1553946239.661 * [simplify]: Simplifying (sinh c) 1553946239.661 * * [simplify]: iters left: 1 (2 enodes) 1553946239.661 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.661 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946239.661 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946239.662 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946239.662 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946239.662 * [simplify]: Simplified to (sinh c) 1553946239.662 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ (+ 1 1) 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.662 * * * * [progress]: [ 30 / 89 ] simplifiying candidate # 1553946239.662 * [simplify]: Simplifying (sinh c) 1553946239.662 * * [simplify]: iters left: 1 (2 enodes) 1553946239.662 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.662 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946239.662 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946239.663 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946239.663 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946239.663 * [simplify]: Simplified to (sinh c) 1553946239.663 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ 2 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.663 * * * * [progress]: [ 31 / 89 ] simplifiying candidate # 1553946239.663 * [simplify]: Simplifying (sinh c) 1553946239.663 * * [simplify]: iters left: 1 (2 enodes) 1553946239.663 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.663 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946239.663 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946239.664 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946239.664 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946239.664 * [simplify]: Simplified to (sinh c) 1553946239.664 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ (+ 1 1) 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.664 * * * * [progress]: [ 32 / 89 ] simplifiying candidate # 1553946239.664 * * * * [progress]: [ 33 / 89 ] simplifiying candidate # 1553946239.664 * [simplify]: Simplifying (+ (+ (log (sinh c)) (log (sinh c))) (log (sinh c))) 1553946239.664 * * [simplify]: iters left: 6 (5 enodes) 1553946239.665 * * [simplify]: iters left: 5 (22 enodes) 1553946239.669 * * [simplify]: iters left: 4 (42 enodes) 1553946239.677 * * [simplify]: iters left: 3 (74 enodes) 1553946239.701 * * [simplify]: iters left: 2 (129 enodes) 1553946239.726 * * [simplify]: iters left: 1 (240 enodes) 1553946239.786 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.786 * * [simplify]: Extracting #1: cost 22 inf + 0 1553946239.787 * * [simplify]: Extracting #2: cost 62 inf + 0 1553946239.787 * * [simplify]: Extracting #3: cost 74 inf + 1 1553946239.788 * * [simplify]: Extracting #4: cost 82 inf + 200 1553946239.790 * * [simplify]: Extracting #5: cost 44 inf + 6356 1553946239.793 * * [simplify]: Extracting #6: cost 21 inf + 11363 1553946239.800 * * [simplify]: Extracting #7: cost 4 inf + 17783 1553946239.808 * * [simplify]: Extracting #8: cost 0 inf + 19037 1553946239.817 * * [simplify]: Extracting #9: cost 0 inf + 19009 1553946239.827 * [simplify]: Simplified to (+ (+ (log (sinh c)) (log (sinh c))) (log (sinh c))) 1553946239.827 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (exp (+ (+ (log (sinh c)) (log (sinh c))) (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.827 * * * * [progress]: [ 34 / 89 ] simplifiying candidate # 1553946239.827 * [simplify]: Simplifying (+ (log (* (sinh c) (sinh c))) (log (sinh c))) 1553946239.827 * * [simplify]: iters left: 6 (6 enodes) 1553946239.830 * * [simplify]: iters left: 5 (26 enodes) 1553946239.841 * * [simplify]: iters left: 4 (50 enodes) 1553946239.858 * * [simplify]: iters left: 3 (100 enodes) 1553946239.877 * * [simplify]: iters left: 2 (233 enodes) 1553946239.962 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.962 * * [simplify]: Extracting #1: cost 20 inf + 0 1553946239.962 * * [simplify]: Extracting #2: cost 71 inf + 0 1553946239.963 * * [simplify]: Extracting #3: cost 98 inf + 778 1553946239.963 * * [simplify]: Extracting #4: cost 152 inf + 2916 1553946239.965 * * [simplify]: Extracting #5: cost 103 inf + 10922 1553946239.969 * * [simplify]: Extracting #6: cost 26 inf + 30234 1553946239.976 * * [simplify]: Extracting #7: cost 0 inf + 36118 1553946239.989 * * [simplify]: Extracting #8: cost 0 inf + 34969 1553946240.002 * * [simplify]: Extracting #9: cost 0 inf + 34801 1553946240.015 * [simplify]: Simplified to (+ (log (* (sinh c) (sinh c))) (log (sinh c))) 1553946240.015 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (exp (+ (log (* (sinh c) (sinh c))) (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946240.016 * * * * [progress]: [ 35 / 89 ] simplifiying candidate # 1553946240.016 * * * * [progress]: [ 36 / 89 ] simplifiying candidate # 1553946240.016 * * * * [progress]: [ 37 / 89 ] simplifiying candidate # 1553946240.016 * [simplify]: Simplifying (* (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c))) (* (* (sinh c) (sinh c)) (sinh c))) 1553946240.016 * * [simplify]: iters left: 6 (6 enodes) 1553946240.019 * * [simplify]: iters left: 5 (32 enodes) 1553946240.033 * * [simplify]: iters left: 4 (93 enodes) 1553946240.086 * * [simplify]: iters left: 3 (308 enodes) 1553946240.272 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946240.272 * * [simplify]: Extracting #1: cost 31 inf + 0 1553946240.273 * * [simplify]: Extracting #2: cost 189 inf + 3 1553946240.274 * * [simplify]: Extracting #3: cost 277 inf + 4936 1553946240.280 * * [simplify]: Extracting #4: cost 192 inf + 32041 1553946240.297 * * [simplify]: Extracting #5: cost 23 inf + 86838 1553946240.317 * * [simplify]: Extracting #6: cost 0 inf + 95906 1553946240.340 * * [simplify]: Extracting #7: cost 0 inf + 95769 1553946240.376 * [simplify]: Simplified to (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)))) 1553946240.376 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (cbrt (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946240.377 * * * * [progress]: [ 38 / 89 ] simplifiying candidate # 1553946240.377 * [simplify]: Simplifying (* (* (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c))) (* (sinh c) (sinh c))) (* (* (sinh c) (sinh c)) (sinh c))) 1553946240.377 * * [simplify]: iters left: 6 (7 enodes) 1553946240.381 * * [simplify]: iters left: 5 (38 enodes) 1553946240.396 * * [simplify]: iters left: 4 (102 enodes) 1553946240.434 * * [simplify]: iters left: 3 (321 enodes) 1553946240.676 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946240.676 * * [simplify]: Extracting #1: cost 31 inf + 0 1553946240.677 * * [simplify]: Extracting #2: cost 190 inf + 3 1553946240.679 * * [simplify]: Extracting #3: cost 258 inf + 6355 1553946240.684 * * [simplify]: Extracting #4: cost 189 inf + 32524 1553946240.702 * * [simplify]: Extracting #5: cost 25 inf + 86374 1553946240.739 * * [simplify]: Extracting #6: cost 0 inf + 93982 1553946240.762 * * [simplify]: Extracting #7: cost 0 inf + 93954 1553946240.798 * [simplify]: Simplified to (* (* (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c))) (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c)))) (sinh c)) 1553946240.798 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (cbrt (* (* (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c))) (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c)))) (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946240.798 * * * * [progress]: [ 39 / 89 ] simplifiying candidate # 1553946240.798 * * * * [progress]: [ 40 / 89 ] simplifiying candidate # 1553946240.798 * * * * [progress]: [ 41 / 89 ] simplifiying candidate # 1553946240.798 * * * * [progress]: [ 42 / 89 ] simplifiying candidate # 1553946240.798 * [simplify]: Simplifying (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c)))) 1553946240.798 * * [simplify]: iters left: 6 (7 enodes) 1553946240.800 * * [simplify]: iters left: 5 (26 enodes) 1553946240.805 * * [simplify]: iters left: 4 (50 enodes) 1553946240.816 * * [simplify]: iters left: 3 (132 enodes) 1553946240.862 * * [simplify]: iters left: 2 (431 enodes) 1553946241.214 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.214 * * [simplify]: Extracting #1: cost 51 inf + 0 1553946241.215 * * [simplify]: Extracting #2: cost 329 inf + 2 1553946241.217 * * [simplify]: Extracting #3: cost 293 inf + 9500 1553946241.226 * * [simplify]: Extracting #4: cost 82 inf + 56649 1553946241.248 * * [simplify]: Extracting #5: cost 0 inf + 79248 1553946241.264 * * [simplify]: Extracting #6: cost 0 inf + 77986 1553946241.292 * [simplify]: Simplified to (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 1553946241.292 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) (* (* 2 2) 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.292 * [simplify]: Simplifying (* (* 2 2) 2) 1553946241.293 * * [simplify]: iters left: 4 (3 enodes) 1553946241.295 * * [simplify]: iters left: 3 (12 enodes) 1553946241.297 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.297 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946241.297 * [simplify]: Simplified to 8 1553946241.297 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (/ (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 8)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.297 * * * * [progress]: [ 43 / 89 ] simplifiying candidate # 1553946241.297 * [simplify]: Simplifying (* (* (sinh c) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c)))) 1553946241.297 * * [simplify]: iters left: 6 (8 enodes) 1553946241.299 * * [simplify]: iters left: 5 (34 enodes) 1553946241.305 * * [simplify]: iters left: 4 (73 enodes) 1553946241.323 * * [simplify]: iters left: 3 (226 enodes) 1553946241.395 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.395 * * [simplify]: Extracting #1: cost 35 inf + 0 1553946241.395 * * [simplify]: Extracting #2: cost 144 inf + 1 1553946241.396 * * [simplify]: Extracting #3: cost 187 inf + 522 1553946241.398 * * [simplify]: Extracting #4: cost 130 inf + 13285 1553946241.406 * * [simplify]: Extracting #5: cost 9 inf + 46426 1553946241.415 * * [simplify]: Extracting #6: cost 0 inf + 44955 1553946241.427 * * [simplify]: Extracting #7: cost 0 inf + 44799 1553946241.444 * [simplify]: Simplified to (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 2) 1553946241.444 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 2) (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.445 * [simplify]: Simplifying (* 2 2) 1553946241.445 * * [simplify]: iters left: 2 (2 enodes) 1553946241.447 * * [simplify]: iters left: 1 (7 enodes) 1553946241.449 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.449 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946241.449 * [simplify]: Simplified to 4 1553946241.449 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 2) 4)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.450 * * * * [progress]: [ 44 / 89 ] simplifiying candidate # 1553946241.450 * [simplify]: Simplifying (* (* (- (exp c) (exp (- c))) (sinh c)) (- (exp c) (exp (- c)))) 1553946241.450 * * [simplify]: iters left: 6 (8 enodes) 1553946241.453 * * [simplify]: iters left: 5 (32 enodes) 1553946241.467 * * [simplify]: iters left: 4 (63 enodes) 1553946241.482 * * [simplify]: iters left: 3 (175 enodes) 1553946241.528 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.529 * * [simplify]: Extracting #1: cost 32 inf + 0 1553946241.529 * * [simplify]: Extracting #2: cost 126 inf + 1 1553946241.531 * * [simplify]: Extracting #3: cost 135 inf + 753 1553946241.533 * * [simplify]: Extracting #4: cost 77 inf + 13423 1553946241.539 * * [simplify]: Extracting #5: cost 8 inf + 30426 1553946241.545 * * [simplify]: Extracting #6: cost 0 inf + 32395 1553946241.552 * [simplify]: Simplified to (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 2) 1553946241.552 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 2) (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.553 * [simplify]: Simplifying (* 2 2) 1553946241.553 * * [simplify]: iters left: 2 (2 enodes) 1553946241.554 * * [simplify]: iters left: 1 (7 enodes) 1553946241.556 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.556 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946241.556 * [simplify]: Simplified to 4 1553946241.556 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 2) 4)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.556 * * * * [progress]: [ 45 / 89 ] simplifiying candidate # 1553946241.556 * * * * [progress]: [ 46 / 89 ] simplifiying candidate # 1553946241.556 * [simplify]: Simplifying (cbrt (sinh c)) 1553946241.556 * * [simplify]: iters left: 2 (3 enodes) 1553946241.557 * * [simplify]: iters left: 1 (15 enodes) 1553946241.560 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.560 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946241.560 * * [simplify]: Extracting #2: cost 9 inf + 0 1553946241.560 * * [simplify]: Extracting #3: cost 11 inf + 2 1553946241.560 * * [simplify]: Extracting #4: cost 12 inf + 185 1553946241.560 * * [simplify]: Extracting #5: cost 5 inf + 904 1553946241.560 * * [simplify]: Extracting #6: cost 0 inf + 1690 1553946241.561 * [simplify]: Simplified to (cbrt (sinh c)) 1553946241.561 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (* (sinh c) (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c)))) (cbrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.561 * * * * [progress]: [ 47 / 89 ] simplifiying candidate # 1553946241.561 * [simplify]: Simplifying (sqrt (sinh c)) 1553946241.561 * * [simplify]: iters left: 2 (3 enodes) 1553946241.562 * * [simplify]: iters left: 1 (15 enodes) 1553946241.565 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.565 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946241.565 * * [simplify]: Extracting #2: cost 9 inf + 0 1553946241.565 * * [simplify]: Extracting #3: cost 11 inf + 2 1553946241.565 * * [simplify]: Extracting #4: cost 12 inf + 185 1553946241.565 * * [simplify]: Extracting #5: cost 5 inf + 824 1553946241.565 * * [simplify]: Extracting #6: cost 0 inf + 1610 1553946241.565 * [simplify]: Simplified to (sqrt (sinh c)) 1553946241.565 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (* (sinh c) (sinh c)) (sqrt (sinh c))) (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.565 * * * * [progress]: [ 48 / 89 ] simplifiying candidate # 1553946241.566 * [simplify]: Simplifying (sinh c) 1553946241.566 * * [simplify]: iters left: 1 (2 enodes) 1553946241.566 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.566 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946241.566 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946241.566 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946241.566 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946241.566 * [simplify]: Simplified to (sinh c) 1553946241.566 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (* (sinh c) (sinh c)) 1) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.567 * * * * [progress]: [ 49 / 89 ] simplifiying candidate # 1553946241.567 * [simplify]: Simplifying (sinh c) 1553946241.567 * * [simplify]: iters left: 1 (2 enodes) 1553946241.567 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.567 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946241.567 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946241.567 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946241.567 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946241.567 * [simplify]: Simplified to (sinh c) 1553946241.567 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (* (sinh c) (* (sinh c) (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.568 * * * * [progress]: [ 50 / 89 ] simplifiying candidate # 1553946241.568 * * * * [progress]: [ 51 / 89 ] simplifiying candidate # 1553946241.568 * [simplify]: Simplifying (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (sinh c)) 1553946241.568 * * [simplify]: iters left: 6 (8 enodes) 1553946241.570 * * [simplify]: iters left: 5 (33 enodes) 1553946241.577 * * [simplify]: iters left: 4 (63 enodes) 1553946241.589 * * [simplify]: iters left: 3 (164 enodes) 1553946241.658 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.658 * * [simplify]: Extracting #1: cost 26 inf + 0 1553946241.659 * * [simplify]: Extracting #2: cost 104 inf + 1 1553946241.660 * * [simplify]: Extracting #3: cost 174 inf + 726 1553946241.665 * * [simplify]: Extracting #4: cost 96 inf + 19777 1553946241.679 * * [simplify]: Extracting #5: cost 4 inf + 44060 1553946241.693 * * [simplify]: Extracting #6: cost 0 inf + 40461 1553946241.704 * * [simplify]: Extracting #7: cost 0 inf + 40185 1553946241.712 * [simplify]: Simplified to (/ (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 2) 1553946241.712 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 2) (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.712 * * * * [progress]: [ 52 / 89 ] simplifiying candidate # 1553946241.712 * [simplify]: Simplifying (* (* (sinh c) (- (exp c) (exp (- c)))) (sinh c)) 1553946241.712 * * [simplify]: iters left: 6 (8 enodes) 1553946241.714 * * [simplify]: iters left: 5 (32 enodes) 1553946241.722 * * [simplify]: iters left: 4 (62 enodes) 1553946241.735 * * [simplify]: iters left: 3 (160 enodes) 1553946241.802 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.802 * * [simplify]: Extracting #1: cost 30 inf + 0 1553946241.802 * * [simplify]: Extracting #2: cost 105 inf + 2 1553946241.803 * * [simplify]: Extracting #3: cost 153 inf + 1320 1553946241.806 * * [simplify]: Extracting #4: cost 109 inf + 9614 1553946241.819 * * [simplify]: Extracting #5: cost 11 inf + 33779 1553946241.831 * * [simplify]: Extracting #6: cost 0 inf + 35877 1553946241.840 * * [simplify]: Extracting #7: cost 0 inf + 35863 1553946241.847 * [simplify]: Simplified to (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4) 1553946241.847 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4) 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.847 * * * * [progress]: [ 53 / 89 ] simplifiying candidate # 1553946241.847 * [simplify]: Simplifying (* (* (- (exp c) (exp (- c))) (sinh c)) (sinh c)) 1553946241.847 * * [simplify]: iters left: 6 (8 enodes) 1553946241.849 * * [simplify]: iters left: 5 (34 enodes) 1553946241.855 * * [simplify]: iters left: 4 (65 enodes) 1553946241.872 * * [simplify]: iters left: 3 (166 enodes) 1553946241.933 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.933 * * [simplify]: Extracting #1: cost 30 inf + 0 1553946241.933 * * [simplify]: Extracting #2: cost 109 inf + 2 1553946241.934 * * [simplify]: Extracting #3: cost 161 inf + 397 1553946241.938 * * [simplify]: Extracting #4: cost 89 inf + 14681 1553946241.948 * * [simplify]: Extracting #5: cost 16 inf + 32861 1553946241.960 * * [simplify]: Extracting #6: cost 0 inf + 36627 1553946241.973 * * [simplify]: Extracting #7: cost 0 inf + 36613 1553946241.986 * [simplify]: Simplified to (/ (+ (exp c) (/ -1 (exp c))) (* (/ 2 (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) 1553946241.986 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (+ (exp c) (/ -1 (exp c))) (* (/ 2 (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.986 * * * * [progress]: [ 54 / 89 ] simplifiying candidate #real (real->posit16 (* (* (sinh c) (sinh c)) (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946241.986 * * * * [progress]: [ 55 / 89 ] simplifiying candidate # 1553946241.986 * * * * [progress]: [ 56 / 89 ] simplifiying candidate # 1553946241.986 * * * * [progress]: [ 57 / 89 ] simplifiying candidate # 1553946241.986 * * * * [progress]: [ 58 / 89 ] simplifiying candidate # 1553946241.986 * * * * [progress]: [ 59 / 89 ] simplifiying candidate # 1553946241.986 * * * * [progress]: [ 60 / 89 ] simplifiying candidate # 1553946241.986 * * * * [progress]: [ 61 / 89 ] simplifiying candidate # 1553946241.986 * * * * [progress]: [ 62 / 89 ] simplifiying candidate # 1553946241.986 * * * * [progress]: [ 63 / 89 ] simplifiying candidate # 1553946241.986 * * * * [progress]: [ 64 / 89 ] simplifiying candidate # 1553946241.986 * * * * [progress]: [ 65 / 89 ] simplifiying candidate # 1553946241.986 * * * * [progress]: [ 66 / 89 ] simplifiying candidate #real (real->posit16 (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946241.986 * * * * [progress]: [ 67 / 89 ] simplifiying candidate # 1553946241.987 * * * * [progress]: [ 68 / 89 ] simplifiying candidate # 1553946241.987 * * * * [progress]: [ 69 / 89 ] simplifiying candidate # 1553946241.987 * * * * [progress]: [ 70 / 89 ] simplifiying candidate # 1553946241.987 * * * * [progress]: [ 71 / 89 ] simplifiying candidate # 1553946241.987 * * * * [progress]: [ 72 / 89 ] simplifiying candidate # 1553946241.987 * * * * [progress]: [ 73 / 89 ] simplifiying candidate # 1553946241.987 * * * * [progress]: [ 74 / 89 ] simplifiying candidate # 1553946241.987 * * * * [progress]: [ 75 / 89 ] simplifiying candidate # 1553946241.987 * * * * [progress]: [ 76 / 89 ] simplifiying candidate # 1553946241.987 * * * * [progress]: [ 77 / 89 ] simplifiying candidate #real (real->posit16 (sinh c)))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946241.987 * * * * [progress]: [ 78 / 89 ] simplifiying candidate # 1553946241.987 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946241.987 * * [simplify]: iters left: 6 (11 enodes) 1553946241.991 * * [simplify]: iters left: 5 (44 enodes) 1553946242.000 * * [simplify]: iters left: 4 (66 enodes) 1553946242.012 * * [simplify]: iters left: 3 (102 enodes) 1553946242.032 * * [simplify]: iters left: 2 (114 enodes) 1553946242.057 * * [simplify]: iters left: 1 (122 enodes) 1553946242.074 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.074 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946242.074 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946242.074 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946242.075 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946242.076 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946242.077 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946242.078 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946242.078 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.078 * * * * [progress]: [ 79 / 89 ] simplifiying candidate # 1553946242.078 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1553946242.078 * * [simplify]: iters left: 6 (7 enodes) 1553946242.080 * * [simplify]: iters left: 5 (26 enodes) 1553946242.085 * * [simplify]: iters left: 4 (42 enodes) 1553946242.094 * * [simplify]: iters left: 3 (62 enodes) 1553946242.114 * * [simplify]: iters left: 2 (82 enodes) 1553946242.134 * * [simplify]: iters left: 1 (86 enodes) 1553946242.144 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.144 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946242.144 * * [simplify]: Extracting #2: cost 20 inf + 2 1553946242.144 * * [simplify]: Extracting #3: cost 17 inf + 46 1553946242.144 * * [simplify]: Extracting #4: cost 5 inf + 1453 1553946242.145 * * [simplify]: Extracting #5: cost 1 inf + 1819 1553946242.145 * * [simplify]: Extracting #6: cost 0 inf + 1987 1553946242.146 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946242.146 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.146 * * * * [progress]: [ 80 / 89 ] simplifiying candidate # 1553946242.146 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946242.146 * * [simplify]: iters left: 6 (8 enodes) 1553946242.149 * * [simplify]: iters left: 5 (31 enodes) 1553946242.154 * * [simplify]: iters left: 4 (45 enodes) 1553946242.163 * * [simplify]: iters left: 3 (67 enodes) 1553946242.183 * * [simplify]: iters left: 2 (89 enodes) 1553946242.195 * * [simplify]: iters left: 1 (93 enodes) 1553946242.205 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.205 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946242.205 * * [simplify]: Extracting #2: cost 21 inf + 2 1553946242.205 * * [simplify]: Extracting #3: cost 20 inf + 5 1553946242.206 * * [simplify]: Extracting #4: cost 10 inf + 889 1553946242.206 * * [simplify]: Extracting #5: cost 0 inf + 2129 1553946242.207 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946242.207 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.207 * * * * [progress]: [ 81 / 89 ] simplifiying candidate # 1553946242.207 * [simplify]: Simplifying (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) 1553946242.207 * * [simplify]: iters left: 6 (13 enodes) 1553946242.211 * * [simplify]: iters left: 5 (49 enodes) 1553946242.221 * * [simplify]: iters left: 4 (66 enodes) 1553946242.242 * * [simplify]: iters left: 3 (81 enodes) 1553946242.256 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.256 * * [simplify]: Extracting #1: cost 14 inf + 0 1553946242.256 * * [simplify]: Extracting #2: cost 23 inf + 3 1553946242.256 * * [simplify]: Extracting #3: cost 16 inf + 512 1553946242.257 * * [simplify]: Extracting #4: cost 1 inf + 5252 1553946242.258 * * [simplify]: Extracting #5: cost 0 inf + 5772 1553946242.258 * [simplify]: Simplified to (fma (pow c 7) 13/120 (fma (pow c 5) 1/2 (* c (* c c)))) 1553946242.259 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (cbrt (fma (pow c 7) 13/120 (fma (pow c 5) 1/2 (* c (* c c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.259 * * * * [progress]: [ 82 / 89 ] simplifiying candidate # 1553946242.259 * [simplify]: Simplifying (* 1/8 (pow (- (exp c) (exp (- c))) 3)) 1553946242.259 * * [simplify]: iters left: 6 (9 enodes) 1553946242.262 * * [simplify]: iters left: 5 (35 enodes) 1553946242.268 * * [simplify]: iters left: 4 (67 enodes) 1553946242.287 * * [simplify]: iters left: 3 (209 enodes) 1553946242.369 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.369 * * [simplify]: Extracting #1: cost 25 inf + 0 1553946242.370 * * [simplify]: Extracting #2: cost 147 inf + 1 1553946242.371 * * [simplify]: Extracting #3: cost 215 inf + 146 1553946242.376 * * [simplify]: Extracting #4: cost 148 inf + 17658 1553946242.398 * * [simplify]: Extracting #5: cost 17 inf + 56678 1553946242.421 * * [simplify]: Extracting #6: cost 0 inf + 56530 1553946242.444 * * [simplify]: Extracting #7: cost 0 inf + 54321 1553946242.467 * * [simplify]: Extracting #8: cost 0 inf + 54271 1553946242.489 * [simplify]: Simplified to (* (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 1/8) 1553946242.489 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (cbrt (* (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 1/8)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.490 * * * * [progress]: [ 83 / 89 ] simplifiying candidate # 1553946242.490 * [simplify]: Simplifying (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3)) 1553946242.490 * * [simplify]: iters left: 6 (10 enodes) 1553946242.496 * * [simplify]: iters left: 5 (40 enodes) 1553946242.510 * * [simplify]: iters left: 4 (70 enodes) 1553946242.534 * * [simplify]: iters left: 3 (214 enodes) 1553946242.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.650 * * [simplify]: Extracting #1: cost 25 inf + 0 1553946242.650 * * [simplify]: Extracting #2: cost 134 inf + 1 1553946242.652 * * [simplify]: Extracting #3: cost 202 inf + 1394 1553946242.657 * * [simplify]: Extracting #4: cost 129 inf + 22890 1553946242.676 * * [simplify]: Extracting #5: cost 11 inf + 55130 1553946242.698 * * [simplify]: Extracting #6: cost 0 inf + 50767 1553946242.719 * * [simplify]: Extracting #7: cost 0 inf + 50225 1553946242.741 * [simplify]: Simplified to (* 1/8 (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c)))) 1553946242.741 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (cbrt (* 1/8 (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.741 * * * * [progress]: [ 84 / 89 ] simplifiying candidate # 1553946242.742 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946242.742 * * [simplify]: iters left: 6 (11 enodes) 1553946242.748 * * [simplify]: iters left: 5 (44 enodes) 1553946242.766 * * [simplify]: iters left: 4 (66 enodes) 1553946242.788 * * [simplify]: iters left: 3 (102 enodes) 1553946242.811 * * [simplify]: iters left: 2 (114 enodes) 1553946242.826 * * [simplify]: iters left: 1 (122 enodes) 1553946242.842 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.842 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946242.842 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946242.843 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946242.843 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946242.844 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946242.845 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946242.846 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946242.846 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (sinh c)) (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.846 * * * * [progress]: [ 85 / 89 ] simplifiying candidate # 1553946242.846 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1553946242.846 * * [simplify]: iters left: 6 (7 enodes) 1553946242.848 * * [simplify]: iters left: 5 (26 enodes) 1553946242.853 * * [simplify]: iters left: 4 (42 enodes) 1553946242.869 * * [simplify]: iters left: 3 (62 enodes) 1553946242.888 * * [simplify]: iters left: 2 (82 enodes) 1553946242.908 * * [simplify]: iters left: 1 (86 enodes) 1553946242.925 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.925 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946242.925 * * [simplify]: Extracting #2: cost 20 inf + 2 1553946242.925 * * [simplify]: Extracting #3: cost 17 inf + 46 1553946242.926 * * [simplify]: Extracting #4: cost 5 inf + 1453 1553946242.927 * * [simplify]: Extracting #5: cost 1 inf + 1819 1553946242.927 * * [simplify]: Extracting #6: cost 0 inf + 1987 1553946242.928 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946242.928 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (sinh c)) (fma 1/2 (exp c) (/ -1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.929 * * * * [progress]: [ 86 / 89 ] simplifiying candidate # 1553946242.929 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946242.929 * * [simplify]: iters left: 6 (8 enodes) 1553946242.934 * * [simplify]: iters left: 5 (31 enodes) 1553946242.944 * * [simplify]: iters left: 4 (45 enodes) 1553946242.960 * * [simplify]: iters left: 3 (67 enodes) 1553946242.981 * * [simplify]: iters left: 2 (89 enodes) 1553946243.002 * * [simplify]: iters left: 1 (93 enodes) 1553946243.023 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946243.023 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946243.023 * * [simplify]: Extracting #2: cost 21 inf + 2 1553946243.024 * * [simplify]: Extracting #3: cost 20 inf + 5 1553946243.024 * * [simplify]: Extracting #4: cost 10 inf + 889 1553946243.025 * * [simplify]: Extracting #5: cost 0 inf + 2129 1553946243.026 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946243.026 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (sinh c)) (fma 1/2 (exp c) (/ -1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946243.026 * * * * [progress]: [ 87 / 89 ] simplifiying candidate # 1553946243.026 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946243.026 * * [simplify]: iters left: 6 (11 enodes) 1553946243.033 * * [simplify]: iters left: 5 (44 enodes) 1553946243.047 * * [simplify]: iters left: 4 (66 enodes) 1553946243.070 * * [simplify]: iters left: 3 (102 enodes) 1553946243.094 * * [simplify]: iters left: 2 (114 enodes) 1553946243.119 * * [simplify]: iters left: 1 (122 enodes) 1553946243.151 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946243.151 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946243.151 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946243.151 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946243.152 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946243.153 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946243.154 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946243.154 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946243.155 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946243.155 * * * * [progress]: [ 88 / 89 ] simplifiying candidate # 1553946243.155 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1553946243.155 * * [simplify]: iters left: 6 (7 enodes) 1553946243.157 * * [simplify]: iters left: 5 (26 enodes) 1553946243.161 * * [simplify]: iters left: 4 (42 enodes) 1553946243.169 * * [simplify]: iters left: 3 (62 enodes) 1553946243.180 * * [simplify]: iters left: 2 (82 enodes) 1553946243.197 * * [simplify]: iters left: 1 (86 enodes) 1553946243.206 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946243.206 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946243.206 * * [simplify]: Extracting #2: cost 20 inf + 2 1553946243.206 * * [simplify]: Extracting #3: cost 17 inf + 46 1553946243.206 * * [simplify]: Extracting #4: cost 5 inf + 1453 1553946243.206 * * [simplify]: Extracting #5: cost 1 inf + 1819 1553946243.207 * * [simplify]: Extracting #6: cost 0 inf + 1987 1553946243.207 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946243.207 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (fma 1/2 (exp c) (/ -1/2 (exp c)))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946243.207 * * * * [progress]: [ 89 / 89 ] simplifiying candidate # 1553946243.208 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946243.208 * * [simplify]: iters left: 6 (8 enodes) 1553946243.210 * * [simplify]: iters left: 5 (31 enodes) 1553946243.215 * * [simplify]: iters left: 4 (45 enodes) 1553946243.225 * * [simplify]: iters left: 3 (67 enodes) 1553946243.247 * * [simplify]: iters left: 2 (89 enodes) 1553946243.268 * * [simplify]: iters left: 1 (93 enodes) 1553946243.288 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946243.288 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946243.288 * * [simplify]: Extracting #2: cost 21 inf + 2 1553946243.288 * * [simplify]: Extracting #3: cost 20 inf + 5 1553946243.289 * * [simplify]: Extracting #4: cost 10 inf + 889 1553946243.289 * * [simplify]: Extracting #5: cost 0 inf + 2129 1553946243.290 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946243.290 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (fma 1/2 (exp c) (/ -1/2 (exp c)))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946243.291 * * * [progress]: adding candidates to table 1553946243.921 * [progress]: [Phase 3 of 3] Extracting. 1553946243.921 * * [regime]: Finding splitpoints for: (# # #) 1553946243.922 * * * [regime-changes]: Trying 1 branch expressions: (c) 1553946243.922 * * * * [regimes]: Trying to branch on c from (# # #) 1553946243.946 * * * [regime]: Found split indices: #