0.867 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.264 * * * [progress]: [2/2] Setting up program. 0.299 * [progress]: [Phase 2 of 3] Improving. 0.300 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.302 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))) 0.302 * * [simplify]: iteration 0: 7 enodes 0.308 * * [simplify]: iteration 1: 19 enodes 0.316 * * [simplify]: iteration 2: 39 enodes 0.330 * * [simplify]: iteration 3: 72 enodes 0.363 * * [simplify]: iteration 4: 112 enodes 0.434 * * [simplify]: iteration 5: 196 enodes 0.590 * * [simplify]: iteration 6: 398 enodes 1.088 * * [simplify]: iteration 7: 851 enodes 3.490 * * [simplify]: iteration 8: 1838 enodes 12.251 * * [simplify]: iteration 9: 4736 enodes 13.336 * * [simplify]: iteration complete: 5002 enodes 13.337 * * [simplify]: Extracting #0: cost 1 inf + 0 13.337 * * [simplify]: Extracting #1: cost 3 inf + 0 13.337 * * [simplify]: Extracting #2: cost 29 inf + 0 13.338 * * [simplify]: Extracting #3: cost 51 inf + 269 13.338 * * [simplify]: Extracting #4: cost 36 inf + 1658 13.339 * * [simplify]: Extracting #5: cost 5 inf + 5294 13.341 * * [simplify]: Extracting #6: cost 1 inf + 5907 13.342 * * [simplify]: Extracting #7: cost 1 inf + 5908 13.344 * * [simplify]: Extracting #8: cost 0 inf + 5909 13.345 * [simplify]: Simplified to: (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 13.352 * * [progress]: iteration 1 / 4 13.352 * * * [progress]: picking best candidate 13.355 * * * * [pick]: Picked # 13.355 * * * [progress]: localizing error 13.369 * * * [progress]: generating rewritten candidates 13.369 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 13.378 * * * [progress]: generating series expansions 13.378 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 13.382 * [backup-simplify]: Simplify (sinh c) into (sinh c) 13.382 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 13.384 * [taylor]: Taking taylor expansion of (sinh c) in c 13.385 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 13.385 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 13.385 * [taylor]: Taking taylor expansion of (exp c) in c 13.385 * [taylor]: Taking taylor expansion of c in c 13.386 * [backup-simplify]: Simplify 0 into 0 13.386 * [backup-simplify]: Simplify 1 into 1 13.386 * [backup-simplify]: Simplify (exp 0) into 1 13.386 * [taylor]: Taking taylor expansion of (exp (- c)) in c 13.386 * [taylor]: Taking taylor expansion of (- c) in c 13.386 * [taylor]: Taking taylor expansion of c in c 13.386 * [backup-simplify]: Simplify 0 into 0 13.386 * [backup-simplify]: Simplify 1 into 1 13.386 * [backup-simplify]: Simplify (- 0) into 0 13.387 * [backup-simplify]: Simplify (- 1) into -1 13.387 * [backup-simplify]: Simplify (exp 0) into 1 13.387 * [taylor]: Taking taylor expansion of 2 in c 13.387 * [backup-simplify]: Simplify 2 into 2 13.388 * [backup-simplify]: Simplify (- 1) into -1 13.389 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.391 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.391 * [backup-simplify]: Simplify (- 1) into -1 13.392 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.393 * [backup-simplify]: Simplify (- -1) into 1 13.393 * [backup-simplify]: Simplify (+ 1 1) into 2 13.405 * [backup-simplify]: Simplify (/ 2 2) into 1 13.405 * [taylor]: Taking taylor expansion of (sinh c) in c 13.405 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 13.405 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 13.405 * [taylor]: Taking taylor expansion of (exp c) in c 13.405 * [taylor]: Taking taylor expansion of c in c 13.405 * [backup-simplify]: Simplify 0 into 0 13.405 * [backup-simplify]: Simplify 1 into 1 13.405 * [backup-simplify]: Simplify (exp 0) into 1 13.405 * [taylor]: Taking taylor expansion of (exp (- c)) in c 13.405 * [taylor]: Taking taylor expansion of (- c) in c 13.405 * [taylor]: Taking taylor expansion of c in c 13.405 * [backup-simplify]: Simplify 0 into 0 13.405 * [backup-simplify]: Simplify 1 into 1 13.406 * [backup-simplify]: Simplify (- 0) into 0 13.406 * [backup-simplify]: Simplify (- 1) into -1 13.406 * [backup-simplify]: Simplify (exp 0) into 1 13.406 * [taylor]: Taking taylor expansion of 2 in c 13.406 * [backup-simplify]: Simplify 2 into 2 13.406 * [backup-simplify]: Simplify (- 1) into -1 13.407 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.407 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.408 * [backup-simplify]: Simplify (- 1) into -1 13.408 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.409 * [backup-simplify]: Simplify (- -1) into 1 13.409 * [backup-simplify]: Simplify (+ 1 1) into 2 13.409 * [backup-simplify]: Simplify (/ 2 2) into 1 13.410 * [backup-simplify]: Simplify 1 into 1 13.411 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.412 * [backup-simplify]: Simplify (- 1) into -1 13.412 * [backup-simplify]: Simplify (- 0) into 0 13.413 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.413 * [backup-simplify]: Simplify (- 1/2) into -1/2 13.413 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 13.414 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 13.414 * [backup-simplify]: Simplify 0 into 0 13.416 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 13.416 * [backup-simplify]: Simplify (- 1) into -1 13.416 * [backup-simplify]: Simplify (- 1) into -1 13.417 * [backup-simplify]: Simplify (- 0) into 0 13.417 * [backup-simplify]: Simplify (- 0) into 0 13.418 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 13.418 * [backup-simplify]: Simplify (- -1/6) into 1/6 13.419 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 13.419 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 13.419 * [backup-simplify]: Simplify 1/6 into 1/6 13.422 * [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 13.422 * [backup-simplify]: Simplify (- 1) into -1 13.422 * [backup-simplify]: Simplify (- 1) into -1 13.423 * [backup-simplify]: Simplify (- 0) into 0 13.423 * [backup-simplify]: Simplify (- 1) into -1 13.423 * [backup-simplify]: Simplify (- 0) into 0 13.423 * [backup-simplify]: Simplify (- 0) into 0 13.424 * [backup-simplify]: Simplify (- 0) into 0 13.426 * [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 13.426 * [backup-simplify]: Simplify (- 1/24) into -1/24 13.427 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 13.427 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 13.427 * [backup-simplify]: Simplify 0 into 0 13.431 * [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 13.431 * [backup-simplify]: Simplify (- 1) into -1 13.431 * [backup-simplify]: Simplify (- 1) into -1 13.432 * [backup-simplify]: Simplify (- 0) into 0 13.432 * [backup-simplify]: Simplify (- 1) into -1 13.432 * [backup-simplify]: Simplify (- 0) into 0 13.432 * [backup-simplify]: Simplify (- 1) into -1 13.433 * [backup-simplify]: Simplify (- 0) into 0 13.433 * [backup-simplify]: Simplify (- 1) into -1 13.433 * [backup-simplify]: Simplify (- 0) into 0 13.433 * [backup-simplify]: Simplify (- 0) into 0 13.433 * [backup-simplify]: Simplify (- 0) into 0 13.434 * [backup-simplify]: Simplify (- 0) into 0 13.437 * [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 13.437 * [backup-simplify]: Simplify (- -1/120) into 1/120 13.438 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 13.439 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 13.439 * [backup-simplify]: Simplify 1/120 into 1/120 13.444 * [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)) 13.444 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 13.444 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 13.444 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 13.444 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 13.444 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 13.444 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 13.444 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.444 * [taylor]: Taking taylor expansion of c in c 13.444 * [backup-simplify]: Simplify 0 into 0 13.444 * [backup-simplify]: Simplify 1 into 1 13.445 * [backup-simplify]: Simplify (/ 1 1) into 1 13.445 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 13.445 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 13.445 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 13.445 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.445 * [taylor]: Taking taylor expansion of c in c 13.445 * [backup-simplify]: Simplify 0 into 0 13.445 * [backup-simplify]: Simplify 1 into 1 13.445 * [backup-simplify]: Simplify (/ 1 1) into 1 13.445 * [backup-simplify]: Simplify (- 1) into -1 13.446 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 13.446 * [taylor]: Taking taylor expansion of 2 in c 13.446 * [backup-simplify]: Simplify 2 into 2 13.446 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 13.446 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 13.446 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.446 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 13.446 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 13.446 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 13.446 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 13.446 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.446 * [taylor]: Taking taylor expansion of c in c 13.446 * [backup-simplify]: Simplify 0 into 0 13.446 * [backup-simplify]: Simplify 1 into 1 13.446 * [backup-simplify]: Simplify (/ 1 1) into 1 13.446 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 13.446 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 13.446 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 13.446 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.446 * [taylor]: Taking taylor expansion of c in c 13.446 * [backup-simplify]: Simplify 0 into 0 13.446 * [backup-simplify]: Simplify 1 into 1 13.447 * [backup-simplify]: Simplify (/ 1 1) into 1 13.447 * [backup-simplify]: Simplify (- 1) into -1 13.447 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 13.447 * [taylor]: Taking taylor expansion of 2 in c 13.447 * [backup-simplify]: Simplify 2 into 2 13.447 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 13.447 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 13.447 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.447 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.448 * [backup-simplify]: Simplify (- 0) into 0 13.448 * [backup-simplify]: Simplify (+ 0 0) into 0 13.449 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 13.449 * [backup-simplify]: Simplify 0 into 0 13.449 * [backup-simplify]: Simplify (- 0) into 0 13.449 * [backup-simplify]: Simplify (+ 0 0) into 0 13.450 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.450 * [backup-simplify]: Simplify 0 into 0 13.450 * [backup-simplify]: Simplify (- 0) into 0 13.451 * [backup-simplify]: Simplify (+ 0 0) into 0 13.452 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.452 * [backup-simplify]: Simplify 0 into 0 13.452 * [backup-simplify]: Simplify (- 0) into 0 13.452 * [backup-simplify]: Simplify (+ 0 0) into 0 13.454 * [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 13.454 * [backup-simplify]: Simplify 0 into 0 13.454 * [backup-simplify]: Simplify (- 0) into 0 13.455 * [backup-simplify]: Simplify (+ 0 0) into 0 13.457 * [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 13.458 * [backup-simplify]: Simplify 0 into 0 13.458 * [backup-simplify]: Simplify (- 0) into 0 13.458 * [backup-simplify]: Simplify (+ 0 0) into 0 13.462 * [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 13.462 * [backup-simplify]: Simplify 0 into 0 13.462 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 13.462 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 13.462 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 13.462 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 13.463 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 13.463 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 13.463 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 13.463 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.463 * [taylor]: Taking taylor expansion of -1 in c 13.463 * [backup-simplify]: Simplify -1 into -1 13.463 * [taylor]: Taking taylor expansion of c in c 13.463 * [backup-simplify]: Simplify 0 into 0 13.463 * [backup-simplify]: Simplify 1 into 1 13.463 * [backup-simplify]: Simplify (/ -1 1) into -1 13.463 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 13.463 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 13.463 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 13.463 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.463 * [taylor]: Taking taylor expansion of -1 in c 13.463 * [backup-simplify]: Simplify -1 into -1 13.463 * [taylor]: Taking taylor expansion of c in c 13.463 * [backup-simplify]: Simplify 0 into 0 13.463 * [backup-simplify]: Simplify 1 into 1 13.464 * [backup-simplify]: Simplify (/ -1 1) into -1 13.464 * [backup-simplify]: Simplify (- -1) into 1 13.464 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 13.464 * [taylor]: Taking taylor expansion of 2 in c 13.464 * [backup-simplify]: Simplify 2 into 2 13.465 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 13.465 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 13.465 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.465 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 13.465 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 13.465 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 13.465 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 13.465 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.465 * [taylor]: Taking taylor expansion of -1 in c 13.465 * [backup-simplify]: Simplify -1 into -1 13.465 * [taylor]: Taking taylor expansion of c in c 13.465 * [backup-simplify]: Simplify 0 into 0 13.465 * [backup-simplify]: Simplify 1 into 1 13.466 * [backup-simplify]: Simplify (/ -1 1) into -1 13.466 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 13.466 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 13.466 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 13.466 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.466 * [taylor]: Taking taylor expansion of -1 in c 13.466 * [backup-simplify]: Simplify -1 into -1 13.466 * [taylor]: Taking taylor expansion of c in c 13.466 * [backup-simplify]: Simplify 0 into 0 13.466 * [backup-simplify]: Simplify 1 into 1 13.466 * [backup-simplify]: Simplify (/ -1 1) into -1 13.467 * [backup-simplify]: Simplify (- -1) into 1 13.467 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 13.467 * [taylor]: Taking taylor expansion of 2 in c 13.467 * [backup-simplify]: Simplify 2 into 2 13.467 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 13.467 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 13.467 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.467 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.468 * [backup-simplify]: Simplify (- 0) into 0 13.468 * [backup-simplify]: Simplify (+ 0 0) into 0 13.469 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 13.469 * [backup-simplify]: Simplify 0 into 0 13.470 * [backup-simplify]: Simplify (- 0) into 0 13.470 * [backup-simplify]: Simplify (+ 0 0) into 0 13.471 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.472 * [backup-simplify]: Simplify 0 into 0 13.472 * [backup-simplify]: Simplify (- 0) into 0 13.472 * [backup-simplify]: Simplify (+ 0 0) into 0 13.474 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.474 * [backup-simplify]: Simplify 0 into 0 13.475 * [backup-simplify]: Simplify (- 0) into 0 13.475 * [backup-simplify]: Simplify (+ 0 0) into 0 13.478 * [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 13.478 * [backup-simplify]: Simplify 0 into 0 13.478 * [backup-simplify]: Simplify (- 0) into 0 13.478 * [backup-simplify]: Simplify (+ 0 0) into 0 13.481 * [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 13.482 * [backup-simplify]: Simplify 0 into 0 13.482 * [backup-simplify]: Simplify (- 0) into 0 13.482 * [backup-simplify]: Simplify (+ 0 0) into 0 13.486 * [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 13.486 * [backup-simplify]: Simplify 0 into 0 13.486 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 13.486 * * * [progress]: simplifying candidates 13.486 * * * * [progress]: [ 1 / 14 ] simplifiying candidate # 13.487 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 13.487 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 13.487 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 13.487 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 13.487 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 13.487 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 13.487 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 13.487 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 13.487 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 13.487 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 13.487 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 13.487 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 13.487 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 13.488 * [simplify]: Simplifying: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (real->posit16 (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 13.488 * * [simplify]: iteration 0: 33 enodes 13.502 * * [simplify]: iteration 1: 65 enodes 13.531 * * [simplify]: iteration 2: 131 enodes 13.582 * * [simplify]: iteration 3: 262 enodes 13.665 * * [simplify]: iteration 4: 565 enodes 13.942 * * [simplify]: iteration 5: 1904 enodes 14.927 * * [simplify]: iteration complete: 5001 enodes 14.927 * * [simplify]: Extracting #0: cost 12 inf + 0 14.928 * * [simplify]: Extracting #1: cost 183 inf + 0 14.934 * * [simplify]: Extracting #2: cost 816 inf + 2455 14.948 * * [simplify]: Extracting #3: cost 1204 inf + 31537 14.991 * * [simplify]: Extracting #4: cost 594 inf + 240544 15.076 * * [simplify]: Extracting #5: cost 128 inf + 442260 15.148 * * [simplify]: Extracting #6: cost 5 inf + 502862 15.241 * * [simplify]: Extracting #7: cost 0 inf + 502709 15.389 * * [simplify]: Extracting #8: cost 0 inf + 502276 15.505 * [simplify]: Simplified to: (expm1 (sinh c)) (log1p (sinh c)) (+ (/ -1 (exp c)) (exp c)) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (sinh c) (* (sinh c) (sinh c))) (sqrt (sinh c)) (sqrt (sinh c)) (real->posit16 (sinh c)) (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) 15.506 * * * [progress]: adding candidates to table 15.592 * * [progress]: iteration 2 / 4 15.592 * * * [progress]: picking best candidate 15.598 * * * * [pick]: Picked # 15.598 * * * [progress]: localizing error 15.635 * * * [progress]: generating rewritten candidates 15.635 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 15.642 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1) 15.645 * * * [progress]: generating series expansions 15.645 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 15.645 * [backup-simplify]: Simplify (exp (log (sinh c))) into (sinh c) 15.645 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 15.645 * [taylor]: Taking taylor expansion of (sinh c) in c 15.645 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.646 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.646 * [taylor]: Taking taylor expansion of (exp c) in c 15.646 * [taylor]: Taking taylor expansion of c in c 15.646 * [backup-simplify]: Simplify 0 into 0 15.646 * [backup-simplify]: Simplify 1 into 1 15.646 * [backup-simplify]: Simplify (exp 0) into 1 15.646 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.646 * [taylor]: Taking taylor expansion of (- c) in c 15.646 * [taylor]: Taking taylor expansion of c in c 15.646 * [backup-simplify]: Simplify 0 into 0 15.646 * [backup-simplify]: Simplify 1 into 1 15.646 * [backup-simplify]: Simplify (- 0) into 0 15.647 * [backup-simplify]: Simplify (- 1) into -1 15.647 * [backup-simplify]: Simplify (exp 0) into 1 15.647 * [taylor]: Taking taylor expansion of 2 in c 15.647 * [backup-simplify]: Simplify 2 into 2 15.647 * [backup-simplify]: Simplify (- 1) into -1 15.648 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.649 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.649 * [backup-simplify]: Simplify (- 1) into -1 15.650 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.651 * [backup-simplify]: Simplify (- -1) into 1 15.651 * [backup-simplify]: Simplify (+ 1 1) into 2 15.651 * [backup-simplify]: Simplify (/ 2 2) into 1 15.651 * [taylor]: Taking taylor expansion of (sinh c) in c 15.651 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.651 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.651 * [taylor]: Taking taylor expansion of (exp c) in c 15.651 * [taylor]: Taking taylor expansion of c in c 15.651 * [backup-simplify]: Simplify 0 into 0 15.652 * [backup-simplify]: Simplify 1 into 1 15.652 * [backup-simplify]: Simplify (exp 0) into 1 15.652 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.652 * [taylor]: Taking taylor expansion of (- c) in c 15.652 * [taylor]: Taking taylor expansion of c in c 15.652 * [backup-simplify]: Simplify 0 into 0 15.652 * [backup-simplify]: Simplify 1 into 1 15.652 * [backup-simplify]: Simplify (- 0) into 0 15.652 * [backup-simplify]: Simplify (- 1) into -1 15.652 * [backup-simplify]: Simplify (exp 0) into 1 15.652 * [taylor]: Taking taylor expansion of 2 in c 15.652 * [backup-simplify]: Simplify 2 into 2 15.653 * [backup-simplify]: Simplify (- 1) into -1 15.653 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.654 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.655 * [backup-simplify]: Simplify (- 1) into -1 15.656 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.656 * [backup-simplify]: Simplify (- -1) into 1 15.657 * [backup-simplify]: Simplify (+ 1 1) into 2 15.657 * [backup-simplify]: Simplify (/ 2 2) into 1 15.657 * [backup-simplify]: Simplify 1 into 1 15.659 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.659 * [backup-simplify]: Simplify (- 1) into -1 15.659 * [backup-simplify]: Simplify (- 0) into 0 15.661 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.661 * [backup-simplify]: Simplify (- 1/2) into -1/2 15.662 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 15.663 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 15.663 * [backup-simplify]: Simplify 0 into 0 15.665 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 15.666 * [backup-simplify]: Simplify (- 1) into -1 15.666 * [backup-simplify]: Simplify (- 1) into -1 15.667 * [backup-simplify]: Simplify (- 0) into 0 15.667 * [backup-simplify]: Simplify (- 0) into 0 15.669 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 15.670 * [backup-simplify]: Simplify (- -1/6) into 1/6 15.670 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 15.671 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 15.671 * [backup-simplify]: Simplify 1/6 into 1/6 15.676 * [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 15.676 * [backup-simplify]: Simplify (- 1) into -1 15.676 * [backup-simplify]: Simplify (- 1) into -1 15.677 * [backup-simplify]: Simplify (- 0) into 0 15.677 * [backup-simplify]: Simplify (- 1) into -1 15.677 * [backup-simplify]: Simplify (- 0) into 0 15.678 * [backup-simplify]: Simplify (- 0) into 0 15.678 * [backup-simplify]: Simplify (- 0) into 0 15.682 * [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 15.683 * [backup-simplify]: Simplify (- 1/24) into -1/24 15.683 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 15.685 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 15.685 * [backup-simplify]: Simplify 0 into 0 15.690 * [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 15.691 * [backup-simplify]: Simplify (- 1) into -1 15.691 * [backup-simplify]: Simplify (- 1) into -1 15.691 * [backup-simplify]: Simplify (- 0) into 0 15.692 * [backup-simplify]: Simplify (- 1) into -1 15.692 * [backup-simplify]: Simplify (- 0) into 0 15.693 * [backup-simplify]: Simplify (- 1) into -1 15.693 * [backup-simplify]: Simplify (- 0) into 0 15.693 * [backup-simplify]: Simplify (- 1) into -1 15.694 * [backup-simplify]: Simplify (- 0) into 0 15.694 * [backup-simplify]: Simplify (- 0) into 0 15.695 * [backup-simplify]: Simplify (- 0) into 0 15.695 * [backup-simplify]: Simplify (- 0) into 0 15.698 * [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 15.698 * [backup-simplify]: Simplify (- -1/120) into 1/120 15.699 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 15.700 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 15.700 * [backup-simplify]: Simplify 1/120 into 1/120 15.700 * [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)) 15.700 * [backup-simplify]: Simplify (exp (log (sinh (/ 1 c)))) into (sinh (/ 1 c)) 15.700 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 15.700 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.700 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.700 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.700 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.700 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.700 * [taylor]: Taking taylor expansion of c in c 15.700 * [backup-simplify]: Simplify 0 into 0 15.700 * [backup-simplify]: Simplify 1 into 1 15.701 * [backup-simplify]: Simplify (/ 1 1) into 1 15.701 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.701 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.701 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.701 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.701 * [taylor]: Taking taylor expansion of c in c 15.701 * [backup-simplify]: Simplify 0 into 0 15.701 * [backup-simplify]: Simplify 1 into 1 15.701 * [backup-simplify]: Simplify (/ 1 1) into 1 15.701 * [backup-simplify]: Simplify (- 1) into -1 15.701 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.701 * [taylor]: Taking taylor expansion of 2 in c 15.701 * [backup-simplify]: Simplify 2 into 2 15.701 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.701 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.702 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.702 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.702 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.702 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.702 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.702 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.702 * [taylor]: Taking taylor expansion of c in c 15.702 * [backup-simplify]: Simplify 0 into 0 15.702 * [backup-simplify]: Simplify 1 into 1 15.702 * [backup-simplify]: Simplify (/ 1 1) into 1 15.702 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.702 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.702 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.702 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.702 * [taylor]: Taking taylor expansion of c in c 15.702 * [backup-simplify]: Simplify 0 into 0 15.702 * [backup-simplify]: Simplify 1 into 1 15.702 * [backup-simplify]: Simplify (/ 1 1) into 1 15.703 * [backup-simplify]: Simplify (- 1) into -1 15.703 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.703 * [taylor]: Taking taylor expansion of 2 in c 15.703 * [backup-simplify]: Simplify 2 into 2 15.703 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.703 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.703 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.703 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.703 * [backup-simplify]: Simplify (- 0) into 0 15.708 * [backup-simplify]: Simplify (+ 0 0) into 0 15.709 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 15.709 * [backup-simplify]: Simplify 0 into 0 15.709 * [backup-simplify]: Simplify (- 0) into 0 15.709 * [backup-simplify]: Simplify (+ 0 0) into 0 15.710 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.710 * [backup-simplify]: Simplify 0 into 0 15.710 * [backup-simplify]: Simplify (- 0) into 0 15.711 * [backup-simplify]: Simplify (+ 0 0) into 0 15.712 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.712 * [backup-simplify]: Simplify 0 into 0 15.712 * [backup-simplify]: Simplify (- 0) into 0 15.712 * [backup-simplify]: Simplify (+ 0 0) into 0 15.714 * [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 15.714 * [backup-simplify]: Simplify 0 into 0 15.714 * [backup-simplify]: Simplify (- 0) into 0 15.714 * [backup-simplify]: Simplify (+ 0 0) into 0 15.716 * [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 15.716 * [backup-simplify]: Simplify 0 into 0 15.717 * [backup-simplify]: Simplify (- 0) into 0 15.717 * [backup-simplify]: Simplify (+ 0 0) into 0 15.719 * [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 15.719 * [backup-simplify]: Simplify 0 into 0 15.719 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 15.719 * [backup-simplify]: Simplify (exp (log (sinh (/ 1 (- c))))) into (sinh (/ -1 c)) 15.719 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 15.719 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.719 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.719 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.719 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.719 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.719 * [taylor]: Taking taylor expansion of -1 in c 15.719 * [backup-simplify]: Simplify -1 into -1 15.719 * [taylor]: Taking taylor expansion of c in c 15.720 * [backup-simplify]: Simplify 0 into 0 15.720 * [backup-simplify]: Simplify 1 into 1 15.720 * [backup-simplify]: Simplify (/ -1 1) into -1 15.720 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.720 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.720 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.720 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.720 * [taylor]: Taking taylor expansion of -1 in c 15.720 * [backup-simplify]: Simplify -1 into -1 15.720 * [taylor]: Taking taylor expansion of c in c 15.720 * [backup-simplify]: Simplify 0 into 0 15.720 * [backup-simplify]: Simplify 1 into 1 15.720 * [backup-simplify]: Simplify (/ -1 1) into -1 15.720 * [backup-simplify]: Simplify (- -1) into 1 15.721 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.721 * [taylor]: Taking taylor expansion of 2 in c 15.721 * [backup-simplify]: Simplify 2 into 2 15.721 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.721 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.721 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.721 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.721 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.721 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.721 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.721 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.721 * [taylor]: Taking taylor expansion of -1 in c 15.721 * [backup-simplify]: Simplify -1 into -1 15.721 * [taylor]: Taking taylor expansion of c in c 15.721 * [backup-simplify]: Simplify 0 into 0 15.721 * [backup-simplify]: Simplify 1 into 1 15.721 * [backup-simplify]: Simplify (/ -1 1) into -1 15.721 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.721 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.721 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.721 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.721 * [taylor]: Taking taylor expansion of -1 in c 15.721 * [backup-simplify]: Simplify -1 into -1 15.721 * [taylor]: Taking taylor expansion of c in c 15.721 * [backup-simplify]: Simplify 0 into 0 15.721 * [backup-simplify]: Simplify 1 into 1 15.722 * [backup-simplify]: Simplify (/ -1 1) into -1 15.722 * [backup-simplify]: Simplify (- -1) into 1 15.722 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.722 * [taylor]: Taking taylor expansion of 2 in c 15.722 * [backup-simplify]: Simplify 2 into 2 15.722 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.722 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.722 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.722 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.723 * [backup-simplify]: Simplify (- 0) into 0 15.723 * [backup-simplify]: Simplify (+ 0 0) into 0 15.724 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 15.724 * [backup-simplify]: Simplify 0 into 0 15.725 * [backup-simplify]: Simplify (- 0) into 0 15.725 * [backup-simplify]: Simplify (+ 0 0) into 0 15.726 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.726 * [backup-simplify]: Simplify 0 into 0 15.727 * [backup-simplify]: Simplify (- 0) into 0 15.727 * [backup-simplify]: Simplify (+ 0 0) into 0 15.729 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.729 * [backup-simplify]: Simplify 0 into 0 15.730 * [backup-simplify]: Simplify (- 0) into 0 15.730 * [backup-simplify]: Simplify (+ 0 0) into 0 15.733 * [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 15.733 * [backup-simplify]: Simplify 0 into 0 15.733 * [backup-simplify]: Simplify (- 0) into 0 15.733 * [backup-simplify]: Simplify (+ 0 0) into 0 15.736 * [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 15.736 * [backup-simplify]: Simplify 0 into 0 15.737 * [backup-simplify]: Simplify (- 0) into 0 15.737 * [backup-simplify]: Simplify (+ 0 0) into 0 15.741 * [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 15.741 * [backup-simplify]: Simplify 0 into 0 15.741 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 15.741 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1) 15.741 * [backup-simplify]: Simplify (sinh c) into (sinh c) 15.741 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 15.741 * [taylor]: Taking taylor expansion of (sinh c) in c 15.741 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.741 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.741 * [taylor]: Taking taylor expansion of (exp c) in c 15.741 * [taylor]: Taking taylor expansion of c in c 15.741 * [backup-simplify]: Simplify 0 into 0 15.741 * [backup-simplify]: Simplify 1 into 1 15.741 * [backup-simplify]: Simplify (exp 0) into 1 15.741 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.741 * [taylor]: Taking taylor expansion of (- c) in c 15.741 * [taylor]: Taking taylor expansion of c in c 15.741 * [backup-simplify]: Simplify 0 into 0 15.742 * [backup-simplify]: Simplify 1 into 1 15.742 * [backup-simplify]: Simplify (- 0) into 0 15.742 * [backup-simplify]: Simplify (- 1) into -1 15.742 * [backup-simplify]: Simplify (exp 0) into 1 15.742 * [taylor]: Taking taylor expansion of 2 in c 15.742 * [backup-simplify]: Simplify 2 into 2 15.743 * [backup-simplify]: Simplify (- 1) into -1 15.743 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.744 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.745 * [backup-simplify]: Simplify (- 1) into -1 15.746 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.746 * [backup-simplify]: Simplify (- -1) into 1 15.746 * [backup-simplify]: Simplify (+ 1 1) into 2 15.747 * [backup-simplify]: Simplify (/ 2 2) into 1 15.747 * [taylor]: Taking taylor expansion of (sinh c) in c 15.747 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.747 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.747 * [taylor]: Taking taylor expansion of (exp c) in c 15.747 * [taylor]: Taking taylor expansion of c in c 15.747 * [backup-simplify]: Simplify 0 into 0 15.747 * [backup-simplify]: Simplify 1 into 1 15.747 * [backup-simplify]: Simplify (exp 0) into 1 15.747 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.747 * [taylor]: Taking taylor expansion of (- c) in c 15.747 * [taylor]: Taking taylor expansion of c in c 15.747 * [backup-simplify]: Simplify 0 into 0 15.747 * [backup-simplify]: Simplify 1 into 1 15.748 * [backup-simplify]: Simplify (- 0) into 0 15.748 * [backup-simplify]: Simplify (- 1) into -1 15.748 * [backup-simplify]: Simplify (exp 0) into 1 15.748 * [taylor]: Taking taylor expansion of 2 in c 15.748 * [backup-simplify]: Simplify 2 into 2 15.748 * [backup-simplify]: Simplify (- 1) into -1 15.749 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.750 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.750 * [backup-simplify]: Simplify (- 1) into -1 15.751 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.752 * [backup-simplify]: Simplify (- -1) into 1 15.752 * [backup-simplify]: Simplify (+ 1 1) into 2 15.753 * [backup-simplify]: Simplify (/ 2 2) into 1 15.753 * [backup-simplify]: Simplify 1 into 1 15.755 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.755 * [backup-simplify]: Simplify (- 1) into -1 15.755 * [backup-simplify]: Simplify (- 0) into 0 15.757 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.757 * [backup-simplify]: Simplify (- 1/2) into -1/2 15.758 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 15.759 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 15.759 * [backup-simplify]: Simplify 0 into 0 15.760 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 15.760 * [backup-simplify]: Simplify (- 1) into -1 15.761 * [backup-simplify]: Simplify (- 1) into -1 15.761 * [backup-simplify]: Simplify (- 0) into 0 15.761 * [backup-simplify]: Simplify (- 0) into 0 15.762 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 15.763 * [backup-simplify]: Simplify (- -1/6) into 1/6 15.763 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 15.764 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 15.764 * [backup-simplify]: Simplify 1/6 into 1/6 15.766 * [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 15.766 * [backup-simplify]: Simplify (- 1) into -1 15.766 * [backup-simplify]: Simplify (- 1) into -1 15.767 * [backup-simplify]: Simplify (- 0) into 0 15.767 * [backup-simplify]: Simplify (- 1) into -1 15.767 * [backup-simplify]: Simplify (- 0) into 0 15.767 * [backup-simplify]: Simplify (- 0) into 0 15.768 * [backup-simplify]: Simplify (- 0) into 0 15.770 * [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 15.770 * [backup-simplify]: Simplify (- 1/24) into -1/24 15.770 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 15.771 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 15.771 * [backup-simplify]: Simplify 0 into 0 15.774 * [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 15.775 * [backup-simplify]: Simplify (- 1) into -1 15.775 * [backup-simplify]: Simplify (- 1) into -1 15.775 * [backup-simplify]: Simplify (- 0) into 0 15.775 * [backup-simplify]: Simplify (- 1) into -1 15.776 * [backup-simplify]: Simplify (- 0) into 0 15.776 * [backup-simplify]: Simplify (- 1) into -1 15.776 * [backup-simplify]: Simplify (- 0) into 0 15.776 * [backup-simplify]: Simplify (- 1) into -1 15.776 * [backup-simplify]: Simplify (- 0) into 0 15.777 * [backup-simplify]: Simplify (- 0) into 0 15.777 * [backup-simplify]: Simplify (- 0) into 0 15.777 * [backup-simplify]: Simplify (- 0) into 0 15.780 * [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 15.781 * [backup-simplify]: Simplify (- -1/120) into 1/120 15.781 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 15.782 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 15.782 * [backup-simplify]: Simplify 1/120 into 1/120 15.782 * [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)) 15.782 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 15.782 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 15.782 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.782 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.782 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.782 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.782 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.782 * [taylor]: Taking taylor expansion of c in c 15.782 * [backup-simplify]: Simplify 0 into 0 15.782 * [backup-simplify]: Simplify 1 into 1 15.783 * [backup-simplify]: Simplify (/ 1 1) into 1 15.783 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.783 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.783 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.783 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.783 * [taylor]: Taking taylor expansion of c in c 15.783 * [backup-simplify]: Simplify 0 into 0 15.783 * [backup-simplify]: Simplify 1 into 1 15.783 * [backup-simplify]: Simplify (/ 1 1) into 1 15.783 * [backup-simplify]: Simplify (- 1) into -1 15.783 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.783 * [taylor]: Taking taylor expansion of 2 in c 15.783 * [backup-simplify]: Simplify 2 into 2 15.783 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.783 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.784 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.784 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.784 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.784 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.784 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.784 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.784 * [taylor]: Taking taylor expansion of c in c 15.784 * [backup-simplify]: Simplify 0 into 0 15.784 * [backup-simplify]: Simplify 1 into 1 15.784 * [backup-simplify]: Simplify (/ 1 1) into 1 15.784 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.784 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.784 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.784 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.784 * [taylor]: Taking taylor expansion of c in c 15.784 * [backup-simplify]: Simplify 0 into 0 15.784 * [backup-simplify]: Simplify 1 into 1 15.785 * [backup-simplify]: Simplify (/ 1 1) into 1 15.785 * [backup-simplify]: Simplify (- 1) into -1 15.785 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.785 * [taylor]: Taking taylor expansion of 2 in c 15.785 * [backup-simplify]: Simplify 2 into 2 15.785 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.785 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.785 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.785 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.786 * [backup-simplify]: Simplify (- 0) into 0 15.786 * [backup-simplify]: Simplify (+ 0 0) into 0 15.786 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 15.786 * [backup-simplify]: Simplify 0 into 0 15.787 * [backup-simplify]: Simplify (- 0) into 0 15.787 * [backup-simplify]: Simplify (+ 0 0) into 0 15.788 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.788 * [backup-simplify]: Simplify 0 into 0 15.788 * [backup-simplify]: Simplify (- 0) into 0 15.788 * [backup-simplify]: Simplify (+ 0 0) into 0 15.789 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.790 * [backup-simplify]: Simplify 0 into 0 15.790 * [backup-simplify]: Simplify (- 0) into 0 15.790 * [backup-simplify]: Simplify (+ 0 0) into 0 15.791 * [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 15.792 * [backup-simplify]: Simplify 0 into 0 15.792 * [backup-simplify]: Simplify (- 0) into 0 15.792 * [backup-simplify]: Simplify (+ 0 0) into 0 15.794 * [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 15.794 * [backup-simplify]: Simplify 0 into 0 15.794 * [backup-simplify]: Simplify (- 0) into 0 15.794 * [backup-simplify]: Simplify (+ 0 0) into 0 15.797 * [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 15.797 * [backup-simplify]: Simplify 0 into 0 15.797 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 15.797 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 15.797 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 15.797 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.797 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.797 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.797 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.797 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.797 * [taylor]: Taking taylor expansion of -1 in c 15.797 * [backup-simplify]: Simplify -1 into -1 15.797 * [taylor]: Taking taylor expansion of c in c 15.797 * [backup-simplify]: Simplify 0 into 0 15.797 * [backup-simplify]: Simplify 1 into 1 15.798 * [backup-simplify]: Simplify (/ -1 1) into -1 15.798 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.798 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.798 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.798 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.798 * [taylor]: Taking taylor expansion of -1 in c 15.798 * [backup-simplify]: Simplify -1 into -1 15.798 * [taylor]: Taking taylor expansion of c in c 15.798 * [backup-simplify]: Simplify 0 into 0 15.798 * [backup-simplify]: Simplify 1 into 1 15.798 * [backup-simplify]: Simplify (/ -1 1) into -1 15.798 * [backup-simplify]: Simplify (- -1) into 1 15.798 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.798 * [taylor]: Taking taylor expansion of 2 in c 15.798 * [backup-simplify]: Simplify 2 into 2 15.799 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.799 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.799 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.799 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.799 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.799 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.799 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.799 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.799 * [taylor]: Taking taylor expansion of -1 in c 15.799 * [backup-simplify]: Simplify -1 into -1 15.799 * [taylor]: Taking taylor expansion of c in c 15.799 * [backup-simplify]: Simplify 0 into 0 15.799 * [backup-simplify]: Simplify 1 into 1 15.799 * [backup-simplify]: Simplify (/ -1 1) into -1 15.799 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.799 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.799 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.799 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.799 * [taylor]: Taking taylor expansion of -1 in c 15.799 * [backup-simplify]: Simplify -1 into -1 15.799 * [taylor]: Taking taylor expansion of c in c 15.799 * [backup-simplify]: Simplify 0 into 0 15.799 * [backup-simplify]: Simplify 1 into 1 15.800 * [backup-simplify]: Simplify (/ -1 1) into -1 15.800 * [backup-simplify]: Simplify (- -1) into 1 15.800 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.800 * [taylor]: Taking taylor expansion of 2 in c 15.800 * [backup-simplify]: Simplify 2 into 2 15.800 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.800 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.800 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.800 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.801 * [backup-simplify]: Simplify (- 0) into 0 15.801 * [backup-simplify]: Simplify (+ 0 0) into 0 15.802 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 15.802 * [backup-simplify]: Simplify 0 into 0 15.802 * [backup-simplify]: Simplify (- 0) into 0 15.802 * [backup-simplify]: Simplify (+ 0 0) into 0 15.803 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.803 * [backup-simplify]: Simplify 0 into 0 15.803 * [backup-simplify]: Simplify (- 0) into 0 15.804 * [backup-simplify]: Simplify (+ 0 0) into 0 15.805 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.805 * [backup-simplify]: Simplify 0 into 0 15.805 * [backup-simplify]: Simplify (- 0) into 0 15.807 * [backup-simplify]: Simplify (+ 0 0) into 0 15.809 * [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 15.809 * [backup-simplify]: Simplify 0 into 0 15.810 * [backup-simplify]: Simplify (- 0) into 0 15.810 * [backup-simplify]: Simplify (+ 0 0) into 0 15.812 * [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 15.812 * [backup-simplify]: Simplify 0 into 0 15.812 * [backup-simplify]: Simplify (- 0) into 0 15.812 * [backup-simplify]: Simplify (+ 0 0) into 0 15.815 * [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 15.815 * [backup-simplify]: Simplify 0 into 0 15.815 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 15.815 * * * [progress]: simplifying candidates 15.815 * * * * [progress]: [ 1 / 36 ] simplifiying candidate # 15.815 * * * * [progress]: [ 2 / 36 ] simplifiying candidate # 15.815 * * * * [progress]: [ 3 / 36 ] simplifiying candidate # 15.815 * * * * [progress]: [ 4 / 36 ] simplifiying candidate # 15.815 * * * * [progress]: [ 5 / 36 ] simplifiying candidate # 15.815 * * * * [progress]: [ 6 / 36 ] simplifiying candidate # 15.815 * * * * [progress]: [ 7 / 36 ] simplifiying candidate # 15.815 * * * * [progress]: [ 8 / 36 ] simplifiying candidate # 15.815 * * * * [progress]: [ 9 / 36 ] simplifiying candidate # 15.815 * * * * [progress]: [ 10 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 11 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 12 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 13 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 14 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 15 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 16 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 17 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 18 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 19 / 36 ] simplifiying candidate #real (real->posit16 (exp (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 15.816 * * * * [progress]: [ 20 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 21 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 22 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 23 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 24 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 25 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 26 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 27 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 28 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 29 / 36 ] simplifiying candidate # 15.816 * * * * [progress]: [ 30 / 36 ] simplifiying candidate #real (real->posit16 (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 15.816 * * * * [progress]: [ 31 / 36 ] simplifiying candidate # 15.817 * * * * [progress]: [ 32 / 36 ] simplifiying candidate # 15.817 * * * * [progress]: [ 33 / 36 ] simplifiying candidate # 15.817 * * * * [progress]: [ 34 / 36 ] simplifiying candidate # 15.817 * * * * [progress]: [ 35 / 36 ] simplifiying candidate # 15.817 * * * * [progress]: [ 36 / 36 ] simplifiying candidate # 15.817 * [simplify]: Simplifying: (expm1 (exp (log (sinh c)))) (log1p (exp (log (sinh c)))) (exp 1) (exp (* (cbrt (log (sinh c))) (cbrt (log (sinh c))))) (exp (sqrt (log (sinh c)))) (exp 1) (exp (log (* (cbrt (sinh c)) (cbrt (sinh c))))) (exp (log (cbrt (sinh c)))) (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c)))) (exp (log 1)) (exp (log (sinh c))) (exp (log (- (exp c) (exp (- c))))) (exp (log 2)) (log (exp (log (sinh c)))) (exp (exp (log (sinh c)))) (* (cbrt (exp (log (sinh c)))) (cbrt (exp (log (sinh c))))) (cbrt (exp (log (sinh c)))) (* (* (exp (log (sinh c))) (exp (log (sinh c)))) (exp (log (sinh c)))) (sqrt (exp (log (sinh c)))) (sqrt (exp (log (sinh c)))) (real->posit16 (exp (log (sinh c)))) (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (real->posit16 (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 15.818 * * [simplify]: iteration 0: 64 enodes 15.830 * * [simplify]: iteration 1: 105 enodes 15.857 * * [simplify]: iteration 2: 174 enodes 15.915 * * [simplify]: iteration 3: 313 enodes 15.994 * * [simplify]: iteration 4: 717 enodes 16.422 * * [simplify]: iteration 5: 2255 enodes 17.316 * * [simplify]: iteration complete: 5000 enodes 17.317 * * [simplify]: Extracting #0: cost 17 inf + 0 17.317 * * [simplify]: Extracting #1: cost 254 inf + 3 17.321 * * [simplify]: Extracting #2: cost 883 inf + 902 17.329 * * [simplify]: Extracting #3: cost 1250 inf + 28812 17.378 * * [simplify]: Extracting #4: cost 870 inf + 176956 17.445 * * [simplify]: Extracting #5: cost 229 inf + 403854 17.526 * * [simplify]: Extracting #6: cost 34 inf + 478765 17.632 * * [simplify]: Extracting #7: cost 0 inf + 492966 17.736 * [simplify]: Simplified to: (expm1 (sinh c)) (log1p (sinh c)) E (exp (* (cbrt (log (sinh c))) (cbrt (log (sinh c))))) (exp (sqrt (log (sinh c)))) E (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 (sinh c) (+ (exp c) (/ -1 (exp c))) 2 (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (real->posit16 (sinh c)) (expm1 (sinh c)) (log1p (sinh c)) (+ (exp c) (/ -1 (exp c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (real->posit16 (sinh c)) (fma (* 1/6 c) (* c c) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) (fma (* 1/6 c) (* c c) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) 17.738 * * * [progress]: adding candidates to table 17.908 * [progress]: [Phase 3 of 3] Extracting. 17.909 * * [regime]: Finding splitpoints for: (# #) 17.910 * * * [regime-changes]: Trying 1 branch expressions: (c) 17.910 * * * * [regimes]: Trying to branch on c from (# #) 17.933 * * * [regime]: Found split indices: #