0.675 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.488 * * * [progress]: [2/2] Setting up program. 0.492 * [progress]: [Phase 2 of 3] Improving. 0.495 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.495 * * [simplify]: Extracting # 0 : cost 0 0.496 * * [simplify]: Extracting # 1 : cost 0 0.496 * * [simplify]: Extracting # 2 : cost 0 0.496 * * [simplify]: Extracting # 3 : cost 0 0.496 * * [simplify]: Extracting # 4 : cost 0 0.496 * * [simplify]: Extracting # 5 : cost 0 0.496 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.501 * * [simplify]: Extracting # 0 : cost 0 0.501 * * [simplify]: Extracting # 1 : cost 0 0.501 * * [simplify]: Extracting # 2 : cost 0 0.501 * * [simplify]: Extracting # 3 : cost 0 0.501 * * [simplify]: Extracting # 4 : cost 0 0.501 * * [simplify]: Extracting # 5 : cost 0 0.502 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.505 * * [simplify]: Extracting # 0 : cost 0 0.505 * * [simplify]: Extracting # 1 : cost 0 0.505 * * [simplify]: Extracting # 2 : cost 0 0.505 * * [simplify]: Extracting # 3 : cost 0 0.505 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 0.514 * * [simplify]: Extracting # 0 : cost 0 0.514 * * [simplify]: Extracting # 1 : cost 0 0.514 * * [simplify]: Extracting # 2 : cost 0 0.514 * * [simplify]: Extracting # 3 : cost 0 0.514 * * [simplify]: Extracting # 4 : cost 0 0.514 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 0.553 * * [simplify]: Extracting # 0 : cost 0 0.553 * * [simplify]: Extracting # 1 : cost 0 0.553 * * [simplify]: Extracting # 2 : cost 0 0.554 * * [simplify]: Extracting # 3 : cost 0 0.554 * * [simplify]: Extracting # 4 : cost 0 0.554 * * [simplify]: iteration 4 : 151 enodes (cost 8 ) 0.611 * * [simplify]: Extracting # 0 : cost 0 0.611 * * [simplify]: Extracting # 1 : cost 0 0.611 * * [simplify]: Extracting # 2 : cost 0 0.612 * * [simplify]: Extracting # 3 : cost 0 0.617 * * [simplify]: Extracting # 4 : cost 0 0.618 * * [simplify]: iteration 5 : 360 enodes (cost 8 ) 1.373 * * [simplify]: Extracting # 0 : cost 0 1.375 * * [simplify]: Extracting # 1 : cost 0 1.376 * * [simplify]: Extracting # 2 : cost 0 1.378 * * [simplify]: Extracting # 3 : cost 0 1.379 * * [simplify]: Extracting # 4 : cost 0 1.380 * * [simplify]: iteration 6 : 1154 enodes (cost 8 ) 4.985 * * [simplify]: Extracting # 0 : cost 0 4.990 * * [simplify]: Extracting # 1 : cost 0 4.993 * * [simplify]: Extracting # 2 : cost 0 4.996 * * [simplify]: Extracting # 3 : cost 0 5.002 * * [simplify]: Extracting # 4 : cost 0 5.007 * * [simplify]: iteration 7 : 4429 enodes (cost 8 ) 8.247 * * [simplify]: Extracting # 0 : cost 0 8.251 * * [simplify]: Extracting # 1 : cost 0 8.255 * * [simplify]: Extracting # 2 : cost 0 8.259 * * [simplify]: Extracting # 3 : cost 0 8.263 * * [simplify]: iteration done: 5001 enodes (cost 8 ) 8.263 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 8.264 * * [progress]: iteration 1 / 4 8.265 * * * [progress]: picking best candidate 8.267 * * * * [pick]: Picked # 8.267 * * * [progress]: localizing error 8.279 * * * [progress]: generating rewritten candidates 8.279 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 8.284 * * * [progress]: generating series expansions 8.284 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 8.286 * [backup-simplify]: Simplify (sinh c) into (sinh c) 8.286 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 8.287 * [taylor]: Taking taylor expansion of (sinh c) in c 8.289 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 8.289 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 8.290 * [taylor]: Taking taylor expansion of (exp c) in c 8.290 * [taylor]: Taking taylor expansion of c in c 8.290 * [backup-simplify]: Simplify 0 into 0 8.290 * [backup-simplify]: Simplify 1 into 1 8.290 * [backup-simplify]: Simplify (exp 0) into 1 8.290 * [taylor]: Taking taylor expansion of (exp (- c)) in c 8.290 * [taylor]: Taking taylor expansion of (- c) in c 8.290 * [taylor]: Taking taylor expansion of c in c 8.290 * [backup-simplify]: Simplify 0 into 0 8.290 * [backup-simplify]: Simplify 1 into 1 8.290 * [backup-simplify]: Simplify (- 0) into 0 8.290 * [backup-simplify]: Simplify (- 1) into -1 8.290 * [backup-simplify]: Simplify (exp 0) into 1 8.291 * [taylor]: Taking taylor expansion of 2 in c 8.291 * [backup-simplify]: Simplify 2 into 2 8.291 * [backup-simplify]: Simplify (- 1) into -1 8.292 * [backup-simplify]: Simplify (+ 1 -1) into 0 8.293 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.293 * [backup-simplify]: Simplify (- 1) into -1 8.294 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.294 * [backup-simplify]: Simplify (- -1) into 1 8.294 * [backup-simplify]: Simplify (+ 1 1) into 2 8.295 * [backup-simplify]: Simplify (/ 2 2) into 1 8.295 * [taylor]: Taking taylor expansion of (sinh c) in c 8.295 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 8.295 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 8.295 * [taylor]: Taking taylor expansion of (exp c) in c 8.295 * [taylor]: Taking taylor expansion of c in c 8.295 * [backup-simplify]: Simplify 0 into 0 8.295 * [backup-simplify]: Simplify 1 into 1 8.295 * [backup-simplify]: Simplify (exp 0) into 1 8.295 * [taylor]: Taking taylor expansion of (exp (- c)) in c 8.295 * [taylor]: Taking taylor expansion of (- c) in c 8.295 * [taylor]: Taking taylor expansion of c in c 8.295 * [backup-simplify]: Simplify 0 into 0 8.295 * [backup-simplify]: Simplify 1 into 1 8.295 * [backup-simplify]: Simplify (- 0) into 0 8.296 * [backup-simplify]: Simplify (- 1) into -1 8.296 * [backup-simplify]: Simplify (exp 0) into 1 8.296 * [taylor]: Taking taylor expansion of 2 in c 8.296 * [backup-simplify]: Simplify 2 into 2 8.296 * [backup-simplify]: Simplify (- 1) into -1 8.296 * [backup-simplify]: Simplify (+ 1 -1) into 0 8.297 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.297 * [backup-simplify]: Simplify (- 1) into -1 8.298 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.298 * [backup-simplify]: Simplify (- -1) into 1 8.298 * [backup-simplify]: Simplify (+ 1 1) into 2 8.298 * [backup-simplify]: Simplify (/ 2 2) into 1 8.299 * [backup-simplify]: Simplify 1 into 1 8.300 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.300 * [backup-simplify]: Simplify (- 1) into -1 8.301 * [backup-simplify]: Simplify (- 0) into 0 8.302 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.302 * [backup-simplify]: Simplify (- 1/2) into -1/2 8.302 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 8.303 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 8.303 * [backup-simplify]: Simplify 0 into 0 8.304 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 8.304 * [backup-simplify]: Simplify (- 1) into -1 8.316 * [backup-simplify]: Simplify (- 1) into -1 8.317 * [backup-simplify]: Simplify (- 0) into 0 8.317 * [backup-simplify]: Simplify (- 0) into 0 8.318 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 8.319 * [backup-simplify]: Simplify (- -1/6) into 1/6 8.319 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 8.320 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 8.320 * [backup-simplify]: Simplify 1/6 into 1/6 8.323 * [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 8.323 * [backup-simplify]: Simplify (- 1) into -1 8.323 * [backup-simplify]: Simplify (- 1) into -1 8.324 * [backup-simplify]: Simplify (- 0) into 0 8.324 * [backup-simplify]: Simplify (- 1) into -1 8.324 * [backup-simplify]: Simplify (- 0) into 0 8.324 * [backup-simplify]: Simplify (- 0) into 0 8.324 * [backup-simplify]: Simplify (- 0) into 0 8.327 * [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 8.327 * [backup-simplify]: Simplify (- 1/24) into -1/24 8.327 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 8.328 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 8.328 * [backup-simplify]: Simplify 0 into 0 8.331 * [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 8.332 * [backup-simplify]: Simplify (- 1) into -1 8.332 * [backup-simplify]: Simplify (- 1) into -1 8.333 * [backup-simplify]: Simplify (- 0) into 0 8.333 * [backup-simplify]: Simplify (- 1) into -1 8.333 * [backup-simplify]: Simplify (- 0) into 0 8.333 * [backup-simplify]: Simplify (- 1) into -1 8.334 * [backup-simplify]: Simplify (- 0) into 0 8.334 * [backup-simplify]: Simplify (- 1) into -1 8.334 * [backup-simplify]: Simplify (- 0) into 0 8.334 * [backup-simplify]: Simplify (- 0) into 0 8.335 * [backup-simplify]: Simplify (- 0) into 0 8.335 * [backup-simplify]: Simplify (- 0) into 0 8.338 * [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 8.339 * [backup-simplify]: Simplify (- -1/120) into 1/120 8.339 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 8.340 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 8.340 * [backup-simplify]: Simplify 1/120 into 1/120 8.344 * [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)) 8.344 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 8.344 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 8.344 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 8.344 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 8.344 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 8.344 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.344 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.344 * [taylor]: Taking taylor expansion of c in c 8.344 * [backup-simplify]: Simplify 0 into 0 8.344 * [backup-simplify]: Simplify 1 into 1 8.344 * [backup-simplify]: Simplify (/ 1 1) into 1 8.345 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.345 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 8.345 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 8.345 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.345 * [taylor]: Taking taylor expansion of c in c 8.345 * [backup-simplify]: Simplify 0 into 0 8.345 * [backup-simplify]: Simplify 1 into 1 8.345 * [backup-simplify]: Simplify (/ 1 1) into 1 8.345 * [backup-simplify]: Simplify (- 1) into -1 8.345 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 8.345 * [taylor]: Taking taylor expansion of 2 in c 8.345 * [backup-simplify]: Simplify 2 into 2 8.346 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 8.346 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 8.346 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 8.346 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 8.346 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 8.346 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 8.346 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.346 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.346 * [taylor]: Taking taylor expansion of c in c 8.346 * [backup-simplify]: Simplify 0 into 0 8.346 * [backup-simplify]: Simplify 1 into 1 8.346 * [backup-simplify]: Simplify (/ 1 1) into 1 8.346 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.346 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 8.346 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 8.346 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.346 * [taylor]: Taking taylor expansion of c in c 8.346 * [backup-simplify]: Simplify 0 into 0 8.346 * [backup-simplify]: Simplify 1 into 1 8.347 * [backup-simplify]: Simplify (/ 1 1) into 1 8.347 * [backup-simplify]: Simplify (- 1) into -1 8.347 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 8.347 * [taylor]: Taking taylor expansion of 2 in c 8.347 * [backup-simplify]: Simplify 2 into 2 8.347 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 8.347 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 8.347 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 8.348 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 8.348 * [backup-simplify]: Simplify (- 0) into 0 8.348 * [backup-simplify]: Simplify (+ 0 0) into 0 8.349 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 8.349 * [backup-simplify]: Simplify 0 into 0 8.349 * [backup-simplify]: Simplify (- 0) into 0 8.349 * [backup-simplify]: Simplify (+ 0 0) into 0 8.350 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.350 * [backup-simplify]: Simplify 0 into 0 8.350 * [backup-simplify]: Simplify (- 0) into 0 8.351 * [backup-simplify]: Simplify (+ 0 0) into 0 8.352 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.352 * [backup-simplify]: Simplify 0 into 0 8.352 * [backup-simplify]: Simplify (- 0) into 0 8.352 * [backup-simplify]: Simplify (+ 0 0) into 0 8.354 * [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 8.354 * [backup-simplify]: Simplify 0 into 0 8.354 * [backup-simplify]: Simplify (- 0) into 0 8.355 * [backup-simplify]: Simplify (+ 0 0) into 0 8.356 * [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 8.356 * [backup-simplify]: Simplify 0 into 0 8.357 * [backup-simplify]: Simplify (- 0) into 0 8.357 * [backup-simplify]: Simplify (+ 0 0) into 0 8.359 * [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 8.359 * [backup-simplify]: Simplify 0 into 0 8.359 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 8.359 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 8.359 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 8.359 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 8.359 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 8.359 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 8.359 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.359 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.359 * [taylor]: Taking taylor expansion of -1 in c 8.359 * [backup-simplify]: Simplify -1 into -1 8.359 * [taylor]: Taking taylor expansion of c in c 8.359 * [backup-simplify]: Simplify 0 into 0 8.359 * [backup-simplify]: Simplify 1 into 1 8.360 * [backup-simplify]: Simplify (/ -1 1) into -1 8.360 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.360 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 8.360 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 8.360 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.360 * [taylor]: Taking taylor expansion of -1 in c 8.360 * [backup-simplify]: Simplify -1 into -1 8.360 * [taylor]: Taking taylor expansion of c in c 8.360 * [backup-simplify]: Simplify 0 into 0 8.360 * [backup-simplify]: Simplify 1 into 1 8.360 * [backup-simplify]: Simplify (/ -1 1) into -1 8.360 * [backup-simplify]: Simplify (- -1) into 1 8.360 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 8.360 * [taylor]: Taking taylor expansion of 2 in c 8.360 * [backup-simplify]: Simplify 2 into 2 8.361 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 8.361 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 8.361 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 8.361 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 8.361 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 8.361 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 8.361 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.361 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.361 * [taylor]: Taking taylor expansion of -1 in c 8.361 * [backup-simplify]: Simplify -1 into -1 8.361 * [taylor]: Taking taylor expansion of c in c 8.361 * [backup-simplify]: Simplify 0 into 0 8.361 * [backup-simplify]: Simplify 1 into 1 8.361 * [backup-simplify]: Simplify (/ -1 1) into -1 8.361 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.361 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 8.361 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 8.361 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.361 * [taylor]: Taking taylor expansion of -1 in c 8.361 * [backup-simplify]: Simplify -1 into -1 8.361 * [taylor]: Taking taylor expansion of c in c 8.361 * [backup-simplify]: Simplify 0 into 0 8.361 * [backup-simplify]: Simplify 1 into 1 8.362 * [backup-simplify]: Simplify (/ -1 1) into -1 8.362 * [backup-simplify]: Simplify (- -1) into 1 8.362 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 8.362 * [taylor]: Taking taylor expansion of 2 in c 8.362 * [backup-simplify]: Simplify 2 into 2 8.362 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 8.362 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 8.362 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 8.363 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 8.363 * [backup-simplify]: Simplify (- 0) into 0 8.363 * [backup-simplify]: Simplify (+ 0 0) into 0 8.364 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 8.364 * [backup-simplify]: Simplify 0 into 0 8.364 * [backup-simplify]: Simplify (- 0) into 0 8.364 * [backup-simplify]: Simplify (+ 0 0) into 0 8.366 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.366 * [backup-simplify]: Simplify 0 into 0 8.366 * [backup-simplify]: Simplify (- 0) into 0 8.367 * [backup-simplify]: Simplify (+ 0 0) into 0 8.369 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.369 * [backup-simplify]: Simplify 0 into 0 8.370 * [backup-simplify]: Simplify (- 0) into 0 8.370 * [backup-simplify]: Simplify (+ 0 0) into 0 8.373 * [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 8.373 * [backup-simplify]: Simplify 0 into 0 8.373 * [backup-simplify]: Simplify (- 0) into 0 8.373 * [backup-simplify]: Simplify (+ 0 0) into 0 8.376 * [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 8.376 * [backup-simplify]: Simplify 0 into 0 8.377 * [backup-simplify]: Simplify (- 0) into 0 8.377 * [backup-simplify]: Simplify (+ 0 0) into 0 8.381 * [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 8.381 * [backup-simplify]: Simplify 0 into 0 8.381 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 8.381 * * * [progress]: simplifying candidates 8.382 * [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)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 8.383 * * [simplify]: Extracting # 0 : cost 0 8.383 * * [simplify]: Extracting # 1 : cost 0 8.383 * * [simplify]: Extracting # 2 : cost 0 8.383 * * [simplify]: Extracting # 3 : cost 0 8.383 * * [simplify]: Extracting # 4 : cost 0 8.383 * * [simplify]: Extracting # 5 : cost 0 8.383 * * [simplify]: Extracting # 6 : cost 0 8.383 * * [simplify]: Extracting # 7 : cost 0 8.383 * * [simplify]: Extracting # 8 : cost 0 8.383 * * [simplify]: iteration 0 : 32 enodes (cost 72 ) 8.396 * * [simplify]: Extracting # 0 : cost 0 8.397 * * [simplify]: Extracting # 1 : cost 0 8.397 * * [simplify]: Extracting # 2 : cost 0 8.397 * * [simplify]: Extracting # 3 : cost 0 8.397 * * [simplify]: Extracting # 4 : cost 0 8.397 * * [simplify]: iteration 1 : 62 enodes (cost 69 ) 8.422 * * [simplify]: Extracting # 0 : cost 0 8.422 * * [simplify]: Extracting # 1 : cost 0 8.422 * * [simplify]: Extracting # 2 : cost 0 8.423 * * [simplify]: Extracting # 3 : cost 0 8.423 * * [simplify]: iteration 2 : 133 enodes (cost 65 ) 8.481 * * [simplify]: Extracting # 0 : cost 0 8.481 * * [simplify]: Extracting # 1 : cost 0 8.482 * * [simplify]: Extracting # 2 : cost 0 8.482 * * [simplify]: Extracting # 3 : cost 0 8.482 * * [simplify]: iteration 3 : 289 enodes (cost 65 ) 8.560 * * [simplify]: Extracting # 0 : cost 0 8.561 * * [simplify]: Extracting # 1 : cost 0 8.561 * * [simplify]: Extracting # 2 : cost 0 8.562 * * [simplify]: Extracting # 3 : cost 0 8.563 * * [simplify]: Extracting # 4 : cost 0 8.564 * * [simplify]: iteration 4 : 679 enodes (cost 65 ) 9.126 * * [simplify]: Extracting # 0 : cost 0 9.133 * * [simplify]: Extracting # 1 : cost 0 9.139 * * [simplify]: Extracting # 2 : cost 0 9.144 * * [simplify]: Extracting # 3 : cost 0 9.150 * * [simplify]: Extracting # 4 : cost 0 9.163 * * [simplify]: iteration 5 : 2680 enodes (cost 65 ) 10.755 * * [simplify]: Extracting # 0 : cost 0 10.761 * * [simplify]: Extracting # 1 : cost 0 10.772 * * [simplify]: Extracting # 2 : cost 0 10.778 * * [simplify]: Extracting # 3 : cost 0 10.784 * * [simplify]: Extracting # 4 : cost 0 10.789 * * [simplify]: iteration done: 5000 enodes (cost 65 ) 10.790 * [simplify]: Simplified to: (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)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) 10.790 * * * [progress]: adding candidates to table 10.843 * * [progress]: iteration 2 / 4 10.843 * * * [progress]: picking best candidate 10.849 * * * * [pick]: Picked # 10.849 * * * [progress]: localizing error 10.872 * * * [progress]: generating rewritten candidates 10.872 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 3) 10.873 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 10.874 * * * [progress]: generating series expansions 10.874 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 3) 10.874 * [backup-simplify]: Simplify (fma 1/120 (pow c 5) c) into (fma 1/120 (pow c 5) c) 10.874 * [approximate]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in (c) around 0 10.874 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 10.875 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 10.875 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 10.875 * [taylor]: Taking taylor expansion of 1/120 in c 10.875 * [backup-simplify]: Simplify 1/120 into 1/120 10.875 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.875 * [taylor]: Taking taylor expansion of c in c 10.875 * [backup-simplify]: Simplify 0 into 0 10.875 * [backup-simplify]: Simplify 1 into 1 10.875 * [taylor]: Taking taylor expansion of c in c 10.875 * [backup-simplify]: Simplify 0 into 0 10.875 * [backup-simplify]: Simplify 1 into 1 10.875 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 10.876 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 10.876 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 10.876 * [taylor]: Taking taylor expansion of 1/120 in c 10.876 * [backup-simplify]: Simplify 1/120 into 1/120 10.876 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.876 * [taylor]: Taking taylor expansion of c in c 10.876 * [backup-simplify]: Simplify 0 into 0 10.876 * [backup-simplify]: Simplify 1 into 1 10.876 * [taylor]: Taking taylor expansion of c in c 10.876 * [backup-simplify]: Simplify 0 into 0 10.876 * [backup-simplify]: Simplify 1 into 1 10.877 * [backup-simplify]: Simplify (+ 0 0) into 0 10.877 * [backup-simplify]: Simplify 0 into 0 10.877 * [backup-simplify]: Simplify (+ 0 1) into 1 10.877 * [backup-simplify]: Simplify 1 into 1 10.878 * [backup-simplify]: Simplify (+ 0 0) into 0 10.878 * [backup-simplify]: Simplify 0 into 0 10.878 * [backup-simplify]: Simplify (+ 0 0) into 0 10.878 * [backup-simplify]: Simplify 0 into 0 10.878 * [backup-simplify]: Simplify (+ 0 0) into 0 10.878 * [backup-simplify]: Simplify 0 into 0 10.879 * [backup-simplify]: Simplify (* 1 1) into 1 10.880 * [backup-simplify]: Simplify (* 1 1) into 1 10.880 * [backup-simplify]: Simplify (* 1 1) into 1 10.880 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 10.881 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 10.881 * [backup-simplify]: Simplify 1/120 into 1/120 10.882 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.882 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.883 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.884 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 10.884 * [backup-simplify]: Simplify (+ 0 0) into 0 10.884 * [backup-simplify]: Simplify 0 into 0 10.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.888 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 10.888 * [backup-simplify]: Simplify (+ 0 0) into 0 10.888 * [backup-simplify]: Simplify 0 into 0 10.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.893 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.893 * [backup-simplify]: Simplify (+ 0 0) into 0 10.893 * [backup-simplify]: Simplify 0 into 0 10.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.898 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.898 * [backup-simplify]: Simplify (+ 0 0) into 0 10.898 * [backup-simplify]: Simplify 0 into 0 10.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.903 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.904 * [backup-simplify]: Simplify (+ 0 0) into 0 10.904 * [backup-simplify]: Simplify 0 into 0 10.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.910 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.911 * [backup-simplify]: Simplify (+ 0 0) into 0 10.911 * [backup-simplify]: Simplify 0 into 0 10.911 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (* 1 c)) into (+ (* 1/120 (pow c 5)) c) 10.911 * [backup-simplify]: Simplify (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) into (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) 10.911 * [approximate]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in (c) around 0 10.911 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 10.911 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 10.911 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 10.911 * [taylor]: Taking taylor expansion of 1/120 in c 10.912 * [backup-simplify]: Simplify 1/120 into 1/120 10.912 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 10.912 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.912 * [taylor]: Taking taylor expansion of c in c 10.912 * [backup-simplify]: Simplify 0 into 0 10.912 * [backup-simplify]: Simplify 1 into 1 10.912 * [backup-simplify]: Simplify (/ 1 1) into 1 10.912 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.912 * [taylor]: Taking taylor expansion of c in c 10.912 * [backup-simplify]: Simplify 0 into 0 10.912 * [backup-simplify]: Simplify 1 into 1 10.912 * [backup-simplify]: Simplify (/ 1 1) into 1 10.912 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 10.912 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 10.913 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 10.913 * [taylor]: Taking taylor expansion of 1/120 in c 10.913 * [backup-simplify]: Simplify 1/120 into 1/120 10.913 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 10.913 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.913 * [taylor]: Taking taylor expansion of c in c 10.913 * [backup-simplify]: Simplify 0 into 0 10.913 * [backup-simplify]: Simplify 1 into 1 10.913 * [backup-simplify]: Simplify (/ 1 1) into 1 10.913 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.913 * [taylor]: Taking taylor expansion of c in c 10.913 * [backup-simplify]: Simplify 0 into 0 10.913 * [backup-simplify]: Simplify 1 into 1 10.913 * [backup-simplify]: Simplify (/ 1 1) into 1 10.913 * [backup-simplify]: Simplify (* 1 1) into 1 10.914 * [backup-simplify]: Simplify (* 1 1) into 1 10.914 * [backup-simplify]: Simplify (* 1 1) into 1 10.914 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 10.914 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 10.914 * [backup-simplify]: Simplify 1/120 into 1/120 10.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.916 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.916 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.916 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.917 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 10.917 * [backup-simplify]: Simplify (+ 0 0) into 0 10.917 * [backup-simplify]: Simplify 0 into 0 10.918 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.920 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 10.920 * [backup-simplify]: Simplify (+ 0 0) into 0 10.920 * [backup-simplify]: Simplify 0 into 0 10.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.923 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.923 * [backup-simplify]: Simplify (+ 0 0) into 0 10.923 * [backup-simplify]: Simplify 0 into 0 10.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.927 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.927 * [backup-simplify]: Simplify (+ 0 1) into 1 10.927 * [backup-simplify]: Simplify 1 into 1 10.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.930 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.931 * [backup-simplify]: Simplify (+ 0 0) into 0 10.931 * [backup-simplify]: Simplify 0 into 0 10.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.935 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.936 * [backup-simplify]: Simplify (+ 0 0) into 0 10.936 * [backup-simplify]: Simplify 0 into 0 10.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.940 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.941 * [backup-simplify]: Simplify (+ 0 0) into 0 10.941 * [backup-simplify]: Simplify 0 into 0 10.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.959 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.961 * [backup-simplify]: Simplify (+ 0 0) into 0 10.961 * [backup-simplify]: Simplify 0 into 0 10.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.968 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.971 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.972 * [backup-simplify]: Simplify (+ 0 0) into 0 10.972 * [backup-simplify]: Simplify 0 into 0 10.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.978 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.978 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.978 * [backup-simplify]: Simplify (+ 0 0) into 0 10.978 * [backup-simplify]: Simplify 0 into 0 10.979 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 c))) (* 1/120 (pow (/ 1 (/ 1 c)) 5))) into (+ (* 1/120 (pow c 5)) c) 10.979 * [backup-simplify]: Simplify (fma 1/120 (pow (/ 1 (- c)) 5) (/ 1 (- c))) into (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) 10.979 * [approximate]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in (c) around 0 10.979 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 10.979 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 10.979 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 10.979 * [taylor]: Taking taylor expansion of 1/120 in c 10.979 * [backup-simplify]: Simplify 1/120 into 1/120 10.979 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 10.979 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.979 * [taylor]: Taking taylor expansion of -1 in c 10.979 * [backup-simplify]: Simplify -1 into -1 10.979 * [taylor]: Taking taylor expansion of c in c 10.979 * [backup-simplify]: Simplify 0 into 0 10.979 * [backup-simplify]: Simplify 1 into 1 10.980 * [backup-simplify]: Simplify (/ -1 1) into -1 10.980 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.980 * [taylor]: Taking taylor expansion of -1 in c 10.980 * [backup-simplify]: Simplify -1 into -1 10.980 * [taylor]: Taking taylor expansion of c in c 10.980 * [backup-simplify]: Simplify 0 into 0 10.980 * [backup-simplify]: Simplify 1 into 1 10.980 * [backup-simplify]: Simplify (/ -1 1) into -1 10.980 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 10.980 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 10.980 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 10.980 * [taylor]: Taking taylor expansion of 1/120 in c 10.980 * [backup-simplify]: Simplify 1/120 into 1/120 10.980 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 10.980 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.980 * [taylor]: Taking taylor expansion of -1 in c 10.980 * [backup-simplify]: Simplify -1 into -1 10.980 * [taylor]: Taking taylor expansion of c in c 10.980 * [backup-simplify]: Simplify 0 into 0 10.980 * [backup-simplify]: Simplify 1 into 1 10.981 * [backup-simplify]: Simplify (/ -1 1) into -1 10.981 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.981 * [taylor]: Taking taylor expansion of -1 in c 10.981 * [backup-simplify]: Simplify -1 into -1 10.981 * [taylor]: Taking taylor expansion of c in c 10.981 * [backup-simplify]: Simplify 0 into 0 10.981 * [backup-simplify]: Simplify 1 into 1 10.981 * [backup-simplify]: Simplify (/ -1 1) into -1 10.981 * [backup-simplify]: Simplify (* -1 -1) into 1 10.982 * [backup-simplify]: Simplify (* 1 1) into 1 10.982 * [backup-simplify]: Simplify (* -1 1) into -1 10.982 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 10.983 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 10.983 * [backup-simplify]: Simplify -1/120 into -1/120 10.983 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.983 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 10.984 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.984 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 10.985 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 -1)) into 0 10.985 * [backup-simplify]: Simplify (+ 0 0) into 0 10.985 * [backup-simplify]: Simplify 0 into 0 10.985 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.986 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 10.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.987 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 10.987 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 -1))) into 0 10.988 * [backup-simplify]: Simplify (+ 0 0) into 0 10.988 * [backup-simplify]: Simplify 0 into 0 10.988 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.989 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 10.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.990 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.991 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 10.991 * [backup-simplify]: Simplify (+ 0 0) into 0 10.991 * [backup-simplify]: Simplify 0 into 0 10.991 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.992 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 10.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.993 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.994 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 10.994 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.994 * [backup-simplify]: Simplify -1 into -1 10.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.996 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 10.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.997 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.998 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 10.999 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.999 * [backup-simplify]: Simplify (+ 0 0) into 0 10.999 * [backup-simplify]: Simplify 0 into 0 11.000 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.001 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 11.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.004 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.006 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 11.007 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.007 * [backup-simplify]: Simplify (+ 0 0) into 0 11.007 * [backup-simplify]: Simplify 0 into 0 11.008 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.010 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0 11.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 11.014 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 11.016 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0 11.017 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.017 * [backup-simplify]: Simplify (+ 0 0) into 0 11.017 * [backup-simplify]: Simplify 0 into 0 11.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.020 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))))) into 0 11.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 11.024 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 11.026 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))))) into 0 11.027 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.027 * [backup-simplify]: Simplify (+ 0 0) into 0 11.027 * [backup-simplify]: Simplify 0 into 0 11.029 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.031 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))))) into 0 11.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 11.035 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 11.038 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))))) into 0 11.039 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.039 * [backup-simplify]: Simplify (+ 0 0) into 0 11.039 * [backup-simplify]: Simplify 0 into 0 11.040 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.043 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))))))) into 0 11.045 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 11.047 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 11.050 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))))))) into 0 11.051 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.051 * [backup-simplify]: Simplify (+ 0 0) into 0 11.051 * [backup-simplify]: Simplify 0 into 0 11.052 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- c)))) (* -1/120 (pow (/ 1 (/ 1 (- c))) 5))) into (+ (* 1/120 (pow c 5)) c) 11.052 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 11.052 * [backup-simplify]: Simplify (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) into (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) 11.052 * [approximate]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in (c) around 0 11.053 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 11.053 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 11.053 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 11.053 * [taylor]: Taking taylor expansion of 1/6 in c 11.053 * [backup-simplify]: Simplify 1/6 into 1/6 11.053 * [taylor]: Taking taylor expansion of (pow c 3) in c 11.053 * [taylor]: Taking taylor expansion of c in c 11.053 * [backup-simplify]: Simplify 0 into 0 11.053 * [backup-simplify]: Simplify 1 into 1 11.053 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 11.053 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 11.053 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 11.053 * [taylor]: Taking taylor expansion of 1/120 in c 11.053 * [backup-simplify]: Simplify 1/120 into 1/120 11.053 * [taylor]: Taking taylor expansion of (pow c 5) in c 11.053 * [taylor]: Taking taylor expansion of c in c 11.053 * [backup-simplify]: Simplify 0 into 0 11.053 * [backup-simplify]: Simplify 1 into 1 11.053 * [taylor]: Taking taylor expansion of c in c 11.053 * [backup-simplify]: Simplify 0 into 0 11.053 * [backup-simplify]: Simplify 1 into 1 11.053 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 11.054 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 11.054 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 11.054 * [taylor]: Taking taylor expansion of 1/6 in c 11.054 * [backup-simplify]: Simplify 1/6 into 1/6 11.054 * [taylor]: Taking taylor expansion of (pow c 3) in c 11.054 * [taylor]: Taking taylor expansion of c in c 11.054 * [backup-simplify]: Simplify 0 into 0 11.054 * [backup-simplify]: Simplify 1 into 1 11.054 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 11.054 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 11.054 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 11.054 * [taylor]: Taking taylor expansion of 1/120 in c 11.054 * [backup-simplify]: Simplify 1/120 into 1/120 11.054 * [taylor]: Taking taylor expansion of (pow c 5) in c 11.054 * [taylor]: Taking taylor expansion of c in c 11.054 * [backup-simplify]: Simplify 0 into 0 11.054 * [backup-simplify]: Simplify 1 into 1 11.054 * [taylor]: Taking taylor expansion of c in c 11.054 * [backup-simplify]: Simplify 0 into 0 11.054 * [backup-simplify]: Simplify 1 into 1 11.055 * [backup-simplify]: Simplify (+ 0 0) into 0 11.055 * [backup-simplify]: Simplify (+ 0 0) into 0 11.056 * [backup-simplify]: Simplify 0 into 0 11.056 * [backup-simplify]: Simplify (+ 0 1) into 1 11.056 * [backup-simplify]: Simplify (+ 0 1) into 1 11.057 * [backup-simplify]: Simplify 1 into 1 11.057 * [backup-simplify]: Simplify (+ 0 0) into 0 11.057 * [backup-simplify]: Simplify (+ 0 0) into 0 11.057 * [backup-simplify]: Simplify 0 into 0 11.058 * [backup-simplify]: Simplify (* 1 1) into 1 11.058 * [backup-simplify]: Simplify (* 1 1) into 1 11.058 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 11.059 * [backup-simplify]: Simplify (+ 0 0) into 0 11.059 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 11.059 * [backup-simplify]: Simplify 1/6 into 1/6 11.060 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.061 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.061 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 11.062 * [backup-simplify]: Simplify (+ 0 0) into 0 11.062 * [backup-simplify]: Simplify (+ 0 0) into 0 11.062 * [backup-simplify]: Simplify 0 into 0 11.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.065 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 11.065 * [backup-simplify]: Simplify (* 1 1) into 1 11.066 * [backup-simplify]: Simplify (* 1 1) into 1 11.066 * [backup-simplify]: Simplify (* 1 1) into 1 11.067 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 11.067 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 11.067 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 11.067 * [backup-simplify]: Simplify 1/120 into 1/120 11.068 * [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)) 11.068 * [backup-simplify]: Simplify (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) into (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 11.068 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in (c) around 0 11.068 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 11.069 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 11.069 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 11.069 * [taylor]: Taking taylor expansion of 1/6 in c 11.069 * [backup-simplify]: Simplify 1/6 into 1/6 11.069 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 11.069 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.069 * [taylor]: Taking taylor expansion of c in c 11.069 * [backup-simplify]: Simplify 0 into 0 11.069 * [backup-simplify]: Simplify 1 into 1 11.069 * [backup-simplify]: Simplify (/ 1 1) into 1 11.069 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 11.070 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 11.070 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 11.070 * [taylor]: Taking taylor expansion of 1/120 in c 11.070 * [backup-simplify]: Simplify 1/120 into 1/120 11.070 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 11.070 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.070 * [taylor]: Taking taylor expansion of c in c 11.070 * [backup-simplify]: Simplify 0 into 0 11.070 * [backup-simplify]: Simplify 1 into 1 11.070 * [backup-simplify]: Simplify (/ 1 1) into 1 11.070 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.070 * [taylor]: Taking taylor expansion of c in c 11.070 * [backup-simplify]: Simplify 0 into 0 11.070 * [backup-simplify]: Simplify 1 into 1 11.071 * [backup-simplify]: Simplify (/ 1 1) into 1 11.071 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 11.071 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 11.071 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 11.071 * [taylor]: Taking taylor expansion of 1/6 in c 11.071 * [backup-simplify]: Simplify 1/6 into 1/6 11.071 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 11.071 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.071 * [taylor]: Taking taylor expansion of c in c 11.071 * [backup-simplify]: Simplify 0 into 0 11.071 * [backup-simplify]: Simplify 1 into 1 11.072 * [backup-simplify]: Simplify (/ 1 1) into 1 11.072 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 11.072 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 11.072 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 11.072 * [taylor]: Taking taylor expansion of 1/120 in c 11.072 * [backup-simplify]: Simplify 1/120 into 1/120 11.072 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 11.072 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.072 * [taylor]: Taking taylor expansion of c in c 11.072 * [backup-simplify]: Simplify 0 into 0 11.072 * [backup-simplify]: Simplify 1 into 1 11.072 * [backup-simplify]: Simplify (/ 1 1) into 1 11.072 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.072 * [taylor]: Taking taylor expansion of c in c 11.072 * [backup-simplify]: Simplify 0 into 0 11.073 * [backup-simplify]: Simplify 1 into 1 11.073 * [backup-simplify]: Simplify (/ 1 1) into 1 11.073 * [backup-simplify]: Simplify (* 1 1) into 1 11.074 * [backup-simplify]: Simplify (* 1 1) into 1 11.074 * [backup-simplify]: Simplify (* 1 1) into 1 11.074 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 11.075 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 11.075 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 11.075 * [backup-simplify]: Simplify 1/120 into 1/120 11.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.076 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.077 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.077 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.077 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 11.078 * [backup-simplify]: Simplify (+ 0 0) into 0 11.078 * [backup-simplify]: Simplify (+ 0 0) into 0 11.078 * [backup-simplify]: Simplify 0 into 0 11.078 * [backup-simplify]: Simplify (* 1 1) into 1 11.078 * [backup-simplify]: Simplify (* 1 1) into 1 11.079 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 11.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.080 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.084 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 11.084 * [backup-simplify]: Simplify (+ 0 0) into 0 11.085 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 11.085 * [backup-simplify]: Simplify 1/6 into 1/6 11.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.086 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.086 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.086 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 11.087 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.087 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.089 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.089 * [backup-simplify]: Simplify (+ 0 0) into 0 11.090 * [backup-simplify]: Simplify (+ 0 0) into 0 11.090 * [backup-simplify]: Simplify 0 into 0 11.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.092 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 11.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.095 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.095 * [backup-simplify]: Simplify (+ 0 1) into 1 11.095 * [backup-simplify]: Simplify (+ 0 1) into 1 11.096 * [backup-simplify]: Simplify 1 into 1 11.096 * [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)) 11.096 * [backup-simplify]: Simplify (fma 1/6 (pow (/ 1 (- c)) 3) (fma 1/120 (pow (/ 1 (- c)) 5) (/ 1 (- c)))) into (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 11.096 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in (c) around 0 11.096 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 11.096 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 11.096 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 11.096 * [taylor]: Taking taylor expansion of 1/6 in c 11.097 * [backup-simplify]: Simplify 1/6 into 1/6 11.097 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 11.097 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.097 * [taylor]: Taking taylor expansion of -1 in c 11.097 * [backup-simplify]: Simplify -1 into -1 11.097 * [taylor]: Taking taylor expansion of c in c 11.097 * [backup-simplify]: Simplify 0 into 0 11.097 * [backup-simplify]: Simplify 1 into 1 11.097 * [backup-simplify]: Simplify (/ -1 1) into -1 11.097 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 11.097 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 11.097 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 11.097 * [taylor]: Taking taylor expansion of 1/120 in c 11.097 * [backup-simplify]: Simplify 1/120 into 1/120 11.097 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 11.097 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.097 * [taylor]: Taking taylor expansion of -1 in c 11.097 * [backup-simplify]: Simplify -1 into -1 11.097 * [taylor]: Taking taylor expansion of c in c 11.097 * [backup-simplify]: Simplify 0 into 0 11.097 * [backup-simplify]: Simplify 1 into 1 11.097 * [backup-simplify]: Simplify (/ -1 1) into -1 11.098 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.098 * [taylor]: Taking taylor expansion of -1 in c 11.098 * [backup-simplify]: Simplify -1 into -1 11.098 * [taylor]: Taking taylor expansion of c in c 11.098 * [backup-simplify]: Simplify 0 into 0 11.098 * [backup-simplify]: Simplify 1 into 1 11.098 * [backup-simplify]: Simplify (/ -1 1) into -1 11.098 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 11.098 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 11.098 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 11.098 * [taylor]: Taking taylor expansion of 1/6 in c 11.098 * [backup-simplify]: Simplify 1/6 into 1/6 11.098 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 11.098 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.098 * [taylor]: Taking taylor expansion of -1 in c 11.098 * [backup-simplify]: Simplify -1 into -1 11.098 * [taylor]: Taking taylor expansion of c in c 11.098 * [backup-simplify]: Simplify 0 into 0 11.098 * [backup-simplify]: Simplify 1 into 1 11.098 * [backup-simplify]: Simplify (/ -1 1) into -1 11.098 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 11.099 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 11.099 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 11.099 * [taylor]: Taking taylor expansion of 1/120 in c 11.099 * [backup-simplify]: Simplify 1/120 into 1/120 11.099 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 11.099 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.099 * [taylor]: Taking taylor expansion of -1 in c 11.099 * [backup-simplify]: Simplify -1 into -1 11.099 * [taylor]: Taking taylor expansion of c in c 11.099 * [backup-simplify]: Simplify 0 into 0 11.099 * [backup-simplify]: Simplify 1 into 1 11.099 * [backup-simplify]: Simplify (/ -1 1) into -1 11.099 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.099 * [taylor]: Taking taylor expansion of -1 in c 11.099 * [backup-simplify]: Simplify -1 into -1 11.099 * [taylor]: Taking taylor expansion of c in c 11.099 * [backup-simplify]: Simplify 0 into 0 11.099 * [backup-simplify]: Simplify 1 into 1 11.099 * [backup-simplify]: Simplify (/ -1 1) into -1 11.100 * [backup-simplify]: Simplify (* -1 -1) into 1 11.100 * [backup-simplify]: Simplify (* 1 1) into 1 11.100 * [backup-simplify]: Simplify (* -1 1) into -1 11.100 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 11.101 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 11.101 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 11.101 * [backup-simplify]: Simplify -1/120 into -1/120 11.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 11.102 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 11.102 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.103 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 11.103 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 -1)) into 0 11.103 * [backup-simplify]: Simplify (+ 0 0) into 0 11.103 * [backup-simplify]: Simplify (+ 0 0) into 0 11.103 * [backup-simplify]: Simplify 0 into 0 11.104 * [backup-simplify]: Simplify (* -1 -1) into 1 11.104 * [backup-simplify]: Simplify (* -1 1) into -1 11.104 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6 11.105 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.105 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 11.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.106 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 11.107 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 -1))) into 0 11.107 * [backup-simplify]: Simplify (+ 0 0) into 0 11.107 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 11.107 * [backup-simplify]: Simplify -1/6 into -1/6 11.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 11.108 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 11.109 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 11.110 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0 11.111 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.112 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 11.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.114 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.115 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 11.116 * [backup-simplify]: Simplify (+ 0 0) into 0 11.116 * [backup-simplify]: Simplify (+ 0 0) into 0 11.116 * [backup-simplify]: Simplify 0 into 0 11.117 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.118 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 11.119 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 11.120 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0 11.121 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.121 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 11.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.123 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.123 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 11.124 * [backup-simplify]: Simplify (+ 0 -1) into -1 11.124 * [backup-simplify]: Simplify (+ 0 -1) into -1 11.124 * [backup-simplify]: Simplify -1 into -1 11.124 * [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)) 11.124 * * * [progress]: simplifying candidates 11.125 * [simplify]: Simplifying: (expm1 (fma 1/120 (pow c 5) c)) (log1p (fma 1/120 (pow c 5) c)) (* 1/120 (pow c 5)) (log (fma 1/120 (pow c 5) c)) (exp (fma 1/120 (pow c 5) c)) (* (cbrt (fma 1/120 (pow c 5) c)) (cbrt (fma 1/120 (pow c 5) c))) (cbrt (fma 1/120 (pow c 5) c)) (* (* (fma 1/120 (pow c 5) c) (fma 1/120 (pow c 5) c)) (fma 1/120 (pow c 5) c)) (sqrt (fma 1/120 (pow c 5) c)) (sqrt (fma 1/120 (pow c 5) c)) (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (log1p (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (* 1/6 (pow c 3)) (log (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (* (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (* (* (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 11.125 * * [simplify]: Extracting # 0 : cost 0 11.125 * * [simplify]: Extracting # 1 : cost 0 11.126 * * [simplify]: Extracting # 2 : cost 0 11.126 * * [simplify]: Extracting # 3 : cost 0 11.126 * * [simplify]: Extracting # 4 : cost 0 11.126 * * [simplify]: Extracting # 5 : cost 0 11.126 * * [simplify]: Extracting # 6 : cost 0 11.126 * * [simplify]: iteration 0 : 31 enodes (cost 298 ) 11.131 * * [simplify]: Extracting # 0 : cost 0 11.131 * * [simplify]: Extracting # 1 : cost 0 11.131 * * [simplify]: Extracting # 2 : cost 0 11.131 * * [simplify]: Extracting # 3 : cost 0 11.131 * * [simplify]: Extracting # 4 : cost 0 11.131 * * [simplify]: iteration 1 : 52 enodes (cost 289 ) 11.143 * * [simplify]: Extracting # 0 : cost 0 11.143 * * [simplify]: Extracting # 1 : cost 0 11.143 * * [simplify]: Extracting # 2 : cost 0 11.143 * * [simplify]: Extracting # 3 : cost 0 11.143 * * [simplify]: Extracting # 4 : cost 0 11.143 * * [simplify]: iteration 2 : 146 enodes (cost 255 ) 11.233 * * [simplify]: Extracting # 0 : cost 0 11.234 * * [simplify]: Extracting # 1 : cost 0 11.235 * * [simplify]: Extracting # 2 : cost 0 11.236 * * [simplify]: Extracting # 3 : cost 0 11.237 * * [simplify]: Extracting # 4 : cost 0 11.238 * * [simplify]: iteration 3 : 687 enodes (cost 255 ) 12.806 * * [simplify]: Extracting # 0 : cost 0 12.812 * * [simplify]: Extracting # 1 : cost 0 12.816 * * [simplify]: Extracting # 2 : cost 0 12.825 * * [simplify]: Extracting # 3 : cost 0 12.833 * * [simplify]: Extracting # 4 : cost 0 12.841 * * [simplify]: Extracting # 5 : cost 0 12.850 * * [simplify]: Extracting # 6 : cost 0 12.864 * * [simplify]: iteration 4 : 4515 enodes (cost 255 ) 15.508 * * [simplify]: Extracting # 0 : cost 0 15.513 * * [simplify]: Extracting # 1 : cost 0 15.518 * * [simplify]: iteration done: 5000 enodes (cost 255 ) 15.518 * [simplify]: Simplified to: (expm1 (fma 1/120 (pow c 5) c)) (log1p (fma 1/120 (pow c 5) c)) (* 1/120 (pow c 5)) (log (fma 1/120 (pow c 5) c)) (exp (fma 1/120 (pow c 5) c)) (* (cbrt (fma 1/120 (pow c 5) c)) (cbrt (fma 1/120 (pow c 5) c))) (cbrt (fma 1/120 (pow c 5) c)) (pow (fma 1/120 (pow c 5) c) 3) (sqrt (fma 1/120 (pow c 5) c)) (sqrt (fma 1/120 (pow c 5) c)) (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (log1p (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (* 1/6 (pow c 3)) (log (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (* (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (pow (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) 3) (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (fma 1/120 (pow c 5) c) (fma 1/120 (pow c 5) c) (fma 1/120 (pow c 5) c) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) 15.518 * * * [progress]: adding candidates to table 15.636 * * [progress]: iteration 3 / 4 15.636 * * * [progress]: picking best candidate 15.641 * * * * [pick]: Picked # 15.642 * * * [progress]: localizing error 15.667 * * * [progress]: generating rewritten candidates 15.668 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 15.674 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 15.682 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 15.686 * * * [progress]: generating series expansions 15.686 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 15.686 * [backup-simplify]: Simplify (cbrt (pow (sinh c) 3)) into (sinh c) 15.686 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 15.686 * [taylor]: Taking taylor expansion of (sinh c) in c 15.686 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.686 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.686 * [taylor]: Taking taylor expansion of (exp c) in c 15.686 * [taylor]: Taking taylor expansion of c in c 15.686 * [backup-simplify]: Simplify 0 into 0 15.686 * [backup-simplify]: Simplify 1 into 1 15.686 * [backup-simplify]: Simplify (exp 0) into 1 15.686 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.686 * [taylor]: Taking taylor expansion of (- c) in c 15.686 * [taylor]: Taking taylor expansion of c in c 15.686 * [backup-simplify]: Simplify 0 into 0 15.686 * [backup-simplify]: Simplify 1 into 1 15.687 * [backup-simplify]: Simplify (- 0) into 0 15.687 * [backup-simplify]: Simplify (- 1) into -1 15.687 * [backup-simplify]: Simplify (exp 0) into 1 15.687 * [taylor]: Taking taylor expansion of 2 in c 15.687 * [backup-simplify]: Simplify 2 into 2 15.687 * [backup-simplify]: Simplify (- 1) into -1 15.687 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.688 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.688 * [backup-simplify]: Simplify (- 1) into -1 15.689 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.689 * [backup-simplify]: Simplify (- -1) into 1 15.689 * [backup-simplify]: Simplify (+ 1 1) into 2 15.690 * [backup-simplify]: Simplify (/ 2 2) into 1 15.690 * [taylor]: Taking taylor expansion of (sinh c) in c 15.690 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.690 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.690 * [taylor]: Taking taylor expansion of (exp c) in c 15.690 * [taylor]: Taking taylor expansion of c in c 15.690 * [backup-simplify]: Simplify 0 into 0 15.690 * [backup-simplify]: Simplify 1 into 1 15.690 * [backup-simplify]: Simplify (exp 0) into 1 15.690 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.690 * [taylor]: Taking taylor expansion of (- c) in c 15.690 * [taylor]: Taking taylor expansion of c in c 15.690 * [backup-simplify]: Simplify 0 into 0 15.690 * [backup-simplify]: Simplify 1 into 1 15.690 * [backup-simplify]: Simplify (- 0) into 0 15.690 * [backup-simplify]: Simplify (- 1) into -1 15.690 * [backup-simplify]: Simplify (exp 0) into 1 15.690 * [taylor]: Taking taylor expansion of 2 in c 15.690 * [backup-simplify]: Simplify 2 into 2 15.691 * [backup-simplify]: Simplify (- 1) into -1 15.691 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.691 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.692 * [backup-simplify]: Simplify (- 1) into -1 15.692 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.693 * [backup-simplify]: Simplify (- -1) into 1 15.693 * [backup-simplify]: Simplify (+ 1 1) into 2 15.693 * [backup-simplify]: Simplify (/ 2 2) into 1 15.693 * [backup-simplify]: Simplify 1 into 1 15.694 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.694 * [backup-simplify]: Simplify (- 1) into -1 15.695 * [backup-simplify]: Simplify (- 0) into 0 15.695 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.696 * [backup-simplify]: Simplify (- 1/2) into -1/2 15.696 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 15.696 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 15.696 * [backup-simplify]: Simplify 0 into 0 15.698 * [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.698 * [backup-simplify]: Simplify (- 1) into -1 15.698 * [backup-simplify]: Simplify (- 1) into -1 15.699 * [backup-simplify]: Simplify (- 0) into 0 15.699 * [backup-simplify]: Simplify (- 0) into 0 15.700 * [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.700 * [backup-simplify]: Simplify (- -1/6) into 1/6 15.701 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 15.701 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 15.701 * [backup-simplify]: Simplify 1/6 into 1/6 15.704 * [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.704 * [backup-simplify]: Simplify (- 1) into -1 15.704 * [backup-simplify]: Simplify (- 1) into -1 15.704 * [backup-simplify]: Simplify (- 0) into 0 15.705 * [backup-simplify]: Simplify (- 1) into -1 15.705 * [backup-simplify]: Simplify (- 0) into 0 15.705 * [backup-simplify]: Simplify (- 0) into 0 15.705 * [backup-simplify]: Simplify (- 0) into 0 15.707 * [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.708 * [backup-simplify]: Simplify (- 1/24) into -1/24 15.708 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 15.709 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 15.709 * [backup-simplify]: Simplify 0 into 0 15.712 * [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.713 * [backup-simplify]: Simplify (- 1) into -1 15.713 * [backup-simplify]: Simplify (- 1) into -1 15.714 * [backup-simplify]: Simplify (- 0) into 0 15.714 * [backup-simplify]: Simplify (- 1) into -1 15.715 * [backup-simplify]: Simplify (- 0) into 0 15.715 * [backup-simplify]: Simplify (- 1) into -1 15.715 * [backup-simplify]: Simplify (- 0) into 0 15.716 * [backup-simplify]: Simplify (- 1) into -1 15.716 * [backup-simplify]: Simplify (- 0) into 0 15.716 * [backup-simplify]: Simplify (- 0) into 0 15.717 * [backup-simplify]: Simplify (- 0) into 0 15.717 * [backup-simplify]: Simplify (- 0) into 0 15.724 * [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.724 * [backup-simplify]: Simplify (- -1/120) into 1/120 15.724 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 15.726 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 15.726 * [backup-simplify]: Simplify 1/120 into 1/120 15.727 * [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.727 * [backup-simplify]: Simplify (cbrt (pow (sinh (/ 1 c)) 3)) into (sinh (/ 1 c)) 15.727 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 15.727 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.727 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.727 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.727 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.727 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.727 * [taylor]: Taking taylor expansion of c in c 15.727 * [backup-simplify]: Simplify 0 into 0 15.727 * [backup-simplify]: Simplify 1 into 1 15.728 * [backup-simplify]: Simplify (/ 1 1) into 1 15.728 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.728 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.728 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.728 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.728 * [taylor]: Taking taylor expansion of c in c 15.728 * [backup-simplify]: Simplify 0 into 0 15.728 * [backup-simplify]: Simplify 1 into 1 15.728 * [backup-simplify]: Simplify (/ 1 1) into 1 15.728 * [backup-simplify]: Simplify (- 1) into -1 15.728 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.729 * [taylor]: Taking taylor expansion of 2 in c 15.729 * [backup-simplify]: Simplify 2 into 2 15.729 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.729 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.729 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.729 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.729 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.729 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.729 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.729 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.729 * [taylor]: Taking taylor expansion of c in c 15.729 * [backup-simplify]: Simplify 0 into 0 15.729 * [backup-simplify]: Simplify 1 into 1 15.729 * [backup-simplify]: Simplify (/ 1 1) into 1 15.729 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.729 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.729 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.729 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.729 * [taylor]: Taking taylor expansion of c in c 15.729 * [backup-simplify]: Simplify 0 into 0 15.729 * [backup-simplify]: Simplify 1 into 1 15.730 * [backup-simplify]: Simplify (/ 1 1) into 1 15.730 * [backup-simplify]: Simplify (- 1) into -1 15.730 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.730 * [taylor]: Taking taylor expansion of 2 in c 15.730 * [backup-simplify]: Simplify 2 into 2 15.730 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.730 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.730 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.731 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.731 * [backup-simplify]: Simplify (- 0) into 0 15.731 * [backup-simplify]: Simplify (+ 0 0) into 0 15.732 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 15.732 * [backup-simplify]: Simplify 0 into 0 15.732 * [backup-simplify]: Simplify (- 0) into 0 15.732 * [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)))) into 0 15.733 * [backup-simplify]: Simplify 0 into 0 15.734 * [backup-simplify]: Simplify (- 0) into 0 15.734 * [backup-simplify]: Simplify (+ 0 0) into 0 15.735 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.735 * [backup-simplify]: Simplify 0 into 0 15.735 * [backup-simplify]: Simplify (- 0) into 0 15.735 * [backup-simplify]: Simplify (+ 0 0) into 0 15.737 * [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.737 * [backup-simplify]: Simplify 0 into 0 15.737 * [backup-simplify]: Simplify (- 0) into 0 15.737 * [backup-simplify]: Simplify (+ 0 0) into 0 15.746 * [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.746 * [backup-simplify]: Simplify 0 into 0 15.746 * [backup-simplify]: Simplify (- 0) into 0 15.746 * [backup-simplify]: Simplify (+ 0 0) into 0 15.748 * [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.748 * [backup-simplify]: Simplify 0 into 0 15.748 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 15.749 * [backup-simplify]: Simplify (cbrt (pow (sinh (/ 1 (- c))) 3)) into (sinh (/ -1 c)) 15.749 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 15.749 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.749 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.749 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.749 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.749 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.749 * [taylor]: Taking taylor expansion of -1 in c 15.749 * [backup-simplify]: Simplify -1 into -1 15.749 * [taylor]: Taking taylor expansion of c in c 15.749 * [backup-simplify]: Simplify 0 into 0 15.749 * [backup-simplify]: Simplify 1 into 1 15.749 * [backup-simplify]: Simplify (/ -1 1) into -1 15.749 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.749 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.749 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.749 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.749 * [taylor]: Taking taylor expansion of -1 in c 15.749 * [backup-simplify]: Simplify -1 into -1 15.749 * [taylor]: Taking taylor expansion of c in c 15.749 * [backup-simplify]: Simplify 0 into 0 15.749 * [backup-simplify]: Simplify 1 into 1 15.750 * [backup-simplify]: Simplify (/ -1 1) into -1 15.750 * [backup-simplify]: Simplify (- -1) into 1 15.750 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.750 * [taylor]: Taking taylor expansion of 2 in c 15.750 * [backup-simplify]: Simplify 2 into 2 15.750 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.750 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.750 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.750 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.750 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.750 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.750 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.751 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.751 * [taylor]: Taking taylor expansion of -1 in c 15.751 * [backup-simplify]: Simplify -1 into -1 15.751 * [taylor]: Taking taylor expansion of c in c 15.751 * [backup-simplify]: Simplify 0 into 0 15.751 * [backup-simplify]: Simplify 1 into 1 15.751 * [backup-simplify]: Simplify (/ -1 1) into -1 15.751 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.751 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.751 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.751 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.751 * [taylor]: Taking taylor expansion of -1 in c 15.751 * [backup-simplify]: Simplify -1 into -1 15.751 * [taylor]: Taking taylor expansion of c in c 15.751 * [backup-simplify]: Simplify 0 into 0 15.751 * [backup-simplify]: Simplify 1 into 1 15.752 * [backup-simplify]: Simplify (/ -1 1) into -1 15.752 * [backup-simplify]: Simplify (- -1) into 1 15.752 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.752 * [taylor]: Taking taylor expansion of 2 in c 15.752 * [backup-simplify]: Simplify 2 into 2 15.752 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.752 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.752 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.752 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.753 * [backup-simplify]: Simplify (- 0) into 0 15.753 * [backup-simplify]: Simplify (+ 0 0) into 0 15.753 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 15.753 * [backup-simplify]: Simplify 0 into 0 15.754 * [backup-simplify]: Simplify (- 0) into 0 15.754 * [backup-simplify]: Simplify (+ 0 0) into 0 15.755 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.755 * [backup-simplify]: Simplify 0 into 0 15.755 * [backup-simplify]: Simplify (- 0) into 0 15.755 * [backup-simplify]: Simplify (+ 0 0) into 0 15.756 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.757 * [backup-simplify]: Simplify 0 into 0 15.757 * [backup-simplify]: Simplify (- 0) into 0 15.757 * [backup-simplify]: Simplify (+ 0 0) into 0 15.758 * [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.758 * [backup-simplify]: Simplify 0 into 0 15.759 * [backup-simplify]: Simplify (- 0) into 0 15.759 * [backup-simplify]: Simplify (+ 0 0) into 0 15.761 * [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.761 * [backup-simplify]: Simplify 0 into 0 15.762 * [backup-simplify]: Simplify (- 0) into 0 15.762 * [backup-simplify]: Simplify (+ 0 0) into 0 15.766 * [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.766 * [backup-simplify]: Simplify 0 into 0 15.766 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 15.766 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 15.767 * [backup-simplify]: Simplify (pow (sinh c) 3) into (pow (sinh c) 3) 15.767 * [approximate]: Taking taylor expansion of (pow (sinh c) 3) in (c) around 0 15.767 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c 15.767 * [taylor]: Taking taylor expansion of (sinh c) in c 15.767 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.767 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.767 * [taylor]: Taking taylor expansion of (exp c) in c 15.767 * [taylor]: Taking taylor expansion of c in c 15.767 * [backup-simplify]: Simplify 0 into 0 15.767 * [backup-simplify]: Simplify 1 into 1 15.767 * [backup-simplify]: Simplify (exp 0) into 1 15.767 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.767 * [taylor]: Taking taylor expansion of (- c) in c 15.767 * [taylor]: Taking taylor expansion of c in c 15.767 * [backup-simplify]: Simplify 0 into 0 15.767 * [backup-simplify]: Simplify 1 into 1 15.768 * [backup-simplify]: Simplify (- 0) into 0 15.768 * [backup-simplify]: Simplify (- 1) into -1 15.768 * [backup-simplify]: Simplify (exp 0) into 1 15.768 * [taylor]: Taking taylor expansion of 2 in c 15.768 * [backup-simplify]: Simplify 2 into 2 15.769 * [backup-simplify]: Simplify (- 1) into -1 15.769 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.770 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.771 * [backup-simplify]: Simplify (- 1) into -1 15.772 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.772 * [backup-simplify]: Simplify (- -1) into 1 15.773 * [backup-simplify]: Simplify (+ 1 1) into 2 15.773 * [backup-simplify]: Simplify (/ 2 2) into 1 15.773 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c 15.773 * [taylor]: Taking taylor expansion of (sinh c) in c 15.773 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.773 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.773 * [taylor]: Taking taylor expansion of (exp c) in c 15.773 * [taylor]: Taking taylor expansion of c in c 15.773 * [backup-simplify]: Simplify 0 into 0 15.773 * [backup-simplify]: Simplify 1 into 1 15.773 * [backup-simplify]: Simplify (exp 0) into 1 15.773 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.773 * [taylor]: Taking taylor expansion of (- c) in c 15.773 * [taylor]: Taking taylor expansion of c in c 15.773 * [backup-simplify]: Simplify 0 into 0 15.774 * [backup-simplify]: Simplify 1 into 1 15.774 * [backup-simplify]: Simplify (- 0) into 0 15.774 * [backup-simplify]: Simplify (- 1) into -1 15.774 * [backup-simplify]: Simplify (exp 0) into 1 15.774 * [taylor]: Taking taylor expansion of 2 in c 15.774 * [backup-simplify]: Simplify 2 into 2 15.775 * [backup-simplify]: Simplify (- 1) into -1 15.775 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.776 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.777 * [backup-simplify]: Simplify (- 1) into -1 15.778 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.778 * [backup-simplify]: Simplify (- -1) into 1 15.778 * [backup-simplify]: Simplify (+ 1 1) into 2 15.779 * [backup-simplify]: Simplify (/ 2 2) into 1 15.779 * [backup-simplify]: Simplify (* 1 1) into 1 15.780 * [backup-simplify]: Simplify (* 1 1) into 1 15.780 * [backup-simplify]: Simplify 1 into 1 15.782 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.782 * [backup-simplify]: Simplify (- 1) into -1 15.783 * [backup-simplify]: Simplify (- 0) into 0 15.784 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.785 * [backup-simplify]: Simplify (- 1/2) into -1/2 15.785 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 15.786 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 15.787 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.787 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.787 * [backup-simplify]: Simplify 0 into 0 15.790 * [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.790 * [backup-simplify]: Simplify (- 1) into -1 15.791 * [backup-simplify]: Simplify (- 1) into -1 15.791 * [backup-simplify]: Simplify (- 0) into 0 15.792 * [backup-simplify]: Simplify (- 0) into 0 15.794 * [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.795 * [backup-simplify]: Simplify (- -1/6) into 1/6 15.795 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 15.796 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 15.797 * [backup-simplify]: Simplify (+ (* 1 1/6) (+ (* 0 0) (* 1/6 1))) into 1/3 15.799 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 0) (* 1/6 1))) into 1/2 15.799 * [backup-simplify]: Simplify 1/2 into 1/2 15.803 * [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.804 * [backup-simplify]: Simplify (- 1) into -1 15.804 * [backup-simplify]: Simplify (- 1) into -1 15.804 * [backup-simplify]: Simplify (- 0) into 0 15.805 * [backup-simplify]: Simplify (- 1) into -1 15.805 * [backup-simplify]: Simplify (- 0) into 0 15.805 * [backup-simplify]: Simplify (- 0) into 0 15.806 * [backup-simplify]: Simplify (- 0) into 0 15.810 * [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.811 * [backup-simplify]: Simplify (- 1/24) into -1/24 15.811 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 15.812 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 15.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/6) (+ (* 1/6 0) (* 0 1)))) into 0 15.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/3) (+ (* 1/6 0) (* 0 1)))) into 0 15.815 * [backup-simplify]: Simplify 0 into 0 15.821 * [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.822 * [backup-simplify]: Simplify (- 1) into -1 15.822 * [backup-simplify]: Simplify (- 1) into -1 15.823 * [backup-simplify]: Simplify (- 0) into 0 15.823 * [backup-simplify]: Simplify (- 1) into -1 15.823 * [backup-simplify]: Simplify (- 0) into 0 15.824 * [backup-simplify]: Simplify (- 1) into -1 15.824 * [backup-simplify]: Simplify (- 0) into 0 15.825 * [backup-simplify]: Simplify (- 1) into -1 15.825 * [backup-simplify]: Simplify (- 0) into 0 15.825 * [backup-simplify]: Simplify (- 0) into 0 15.826 * [backup-simplify]: Simplify (- 0) into 0 15.826 * [backup-simplify]: Simplify (- 0) into 0 15.832 * [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.833 * [backup-simplify]: Simplify (- -1/120) into 1/120 15.833 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 15.834 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 15.836 * [backup-simplify]: Simplify (+ (* 1 1/120) (+ (* 0 0) (+ (* 1/6 1/6) (+ (* 0 0) (* 1/120 1))))) into 2/45 15.838 * [backup-simplify]: Simplify (+ (* 1 2/45) (+ (* 0 0) (+ (* 1/6 1/3) (+ (* 0 0) (* 1/120 1))))) into 13/120 15.838 * [backup-simplify]: Simplify 13/120 into 13/120 15.839 * [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)))) 15.839 * [backup-simplify]: Simplify (pow (sinh (/ 1 c)) 3) into (pow (sinh (/ 1 c)) 3) 15.839 * [approximate]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in (c) around 0 15.839 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 15.839 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.839 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.839 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.839 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.839 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.839 * [taylor]: Taking taylor expansion of c in c 15.839 * [backup-simplify]: Simplify 0 into 0 15.839 * [backup-simplify]: Simplify 1 into 1 15.840 * [backup-simplify]: Simplify (/ 1 1) into 1 15.840 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.840 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.840 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.840 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.840 * [taylor]: Taking taylor expansion of c in c 15.840 * [backup-simplify]: Simplify 0 into 0 15.840 * [backup-simplify]: Simplify 1 into 1 15.840 * [backup-simplify]: Simplify (/ 1 1) into 1 15.841 * [backup-simplify]: Simplify (- 1) into -1 15.841 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.841 * [taylor]: Taking taylor expansion of 2 in c 15.841 * [backup-simplify]: Simplify 2 into 2 15.841 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.841 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.842 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.842 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 15.842 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.842 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.842 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.842 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.842 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.842 * [taylor]: Taking taylor expansion of c in c 15.842 * [backup-simplify]: Simplify 0 into 0 15.842 * [backup-simplify]: Simplify 1 into 1 15.843 * [backup-simplify]: Simplify (/ 1 1) into 1 15.843 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.843 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.843 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.843 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.843 * [taylor]: Taking taylor expansion of c in c 15.843 * [backup-simplify]: Simplify 0 into 0 15.843 * [backup-simplify]: Simplify 1 into 1 15.843 * [backup-simplify]: Simplify (/ 1 1) into 1 15.844 * [backup-simplify]: Simplify (- 1) into -1 15.844 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.844 * [taylor]: Taking taylor expansion of 2 in c 15.844 * [backup-simplify]: Simplify 2 into 2 15.844 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.844 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.844 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.845 * [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)) 15.845 * [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)) 15.846 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 15.846 * [backup-simplify]: Simplify (- 0) into 0 15.847 * [backup-simplify]: Simplify (+ 0 0) into 0 15.848 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 15.848 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into 0 15.849 * [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 15.849 * [backup-simplify]: Simplify 0 into 0 15.850 * [backup-simplify]: Simplify (- 0) into 0 15.850 * [backup-simplify]: Simplify (+ 0 0) into 0 15.851 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.852 * [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 15.853 * [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 15.853 * [backup-simplify]: Simplify 0 into 0 15.853 * [backup-simplify]: Simplify (- 0) into 0 15.853 * [backup-simplify]: Simplify (+ 0 0) into 0 15.854 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.855 * [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 15.856 * [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 15.856 * [backup-simplify]: Simplify 0 into 0 15.856 * [backup-simplify]: Simplify (- 0) into 0 15.856 * [backup-simplify]: Simplify (+ 0 0) into 0 15.858 * [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.859 * [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 15.860 * [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 15.860 * [backup-simplify]: Simplify 0 into 0 15.860 * [backup-simplify]: Simplify (- 0) into 0 15.860 * [backup-simplify]: Simplify (+ 0 0) into 0 15.862 * [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.863 * [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 15.865 * [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 15.865 * [backup-simplify]: Simplify 0 into 0 15.865 * [backup-simplify]: Simplify (- 0) into 0 15.865 * [backup-simplify]: Simplify (+ 0 0) into 0 15.867 * [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.869 * [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 15.870 * [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 15.870 * [backup-simplify]: Simplify 0 into 0 15.870 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (- c))) 3)) 15.871 * [backup-simplify]: Simplify (pow (sinh (/ 1 (- c))) 3) into (pow (sinh (/ -1 c)) 3) 15.871 * [approximate]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in (c) around 0 15.871 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 15.871 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.871 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.871 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.871 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.871 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.871 * [taylor]: Taking taylor expansion of -1 in c 15.871 * [backup-simplify]: Simplify -1 into -1 15.871 * [taylor]: Taking taylor expansion of c in c 15.871 * [backup-simplify]: Simplify 0 into 0 15.871 * [backup-simplify]: Simplify 1 into 1 15.871 * [backup-simplify]: Simplify (/ -1 1) into -1 15.871 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.871 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.871 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.871 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.871 * [taylor]: Taking taylor expansion of -1 in c 15.871 * [backup-simplify]: Simplify -1 into -1 15.871 * [taylor]: Taking taylor expansion of c in c 15.871 * [backup-simplify]: Simplify 0 into 0 15.871 * [backup-simplify]: Simplify 1 into 1 15.875 * [backup-simplify]: Simplify (/ -1 1) into -1 15.875 * [backup-simplify]: Simplify (- -1) into 1 15.875 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.875 * [taylor]: Taking taylor expansion of 2 in c 15.875 * [backup-simplify]: Simplify 2 into 2 15.876 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.876 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.876 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.876 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 15.876 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.876 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.876 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.876 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.876 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.876 * [taylor]: Taking taylor expansion of -1 in c 15.876 * [backup-simplify]: Simplify -1 into -1 15.876 * [taylor]: Taking taylor expansion of c in c 15.876 * [backup-simplify]: Simplify 0 into 0 15.876 * [backup-simplify]: Simplify 1 into 1 15.877 * [backup-simplify]: Simplify (/ -1 1) into -1 15.877 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.877 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.877 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.877 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.877 * [taylor]: Taking taylor expansion of -1 in c 15.877 * [backup-simplify]: Simplify -1 into -1 15.877 * [taylor]: Taking taylor expansion of c in c 15.877 * [backup-simplify]: Simplify 0 into 0 15.877 * [backup-simplify]: Simplify 1 into 1 15.877 * [backup-simplify]: Simplify (/ -1 1) into -1 15.878 * [backup-simplify]: Simplify (- -1) into 1 15.878 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.878 * [taylor]: Taking taylor expansion of 2 in c 15.878 * [backup-simplify]: Simplify 2 into 2 15.878 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.878 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.878 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.879 * [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)) 15.879 * [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)) 15.879 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) 15.879 * [backup-simplify]: Simplify (- 0) into 0 15.880 * [backup-simplify]: Simplify (+ 0 0) into 0 15.880 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 15.881 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into 0 15.881 * [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 15.881 * [backup-simplify]: Simplify 0 into 0 15.881 * [backup-simplify]: Simplify (- 0) into 0 15.881 * [backup-simplify]: Simplify (+ 0 0) into 0 15.882 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.883 * [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 15.883 * [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 15.883 * [backup-simplify]: Simplify 0 into 0 15.884 * [backup-simplify]: Simplify (- 0) into 0 15.884 * [backup-simplify]: Simplify (+ 0 0) into 0 15.885 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.886 * [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 15.886 * [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 15.886 * [backup-simplify]: Simplify 0 into 0 15.887 * [backup-simplify]: Simplify (- 0) into 0 15.887 * [backup-simplify]: Simplify (+ 0 0) into 0 15.888 * [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.889 * [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 15.890 * [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 15.890 * [backup-simplify]: Simplify 0 into 0 15.891 * [backup-simplify]: Simplify (- 0) into 0 15.891 * [backup-simplify]: Simplify (+ 0 0) into 0 15.893 * [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.895 * [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 15.897 * [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 15.897 * [backup-simplify]: Simplify 0 into 0 15.898 * [backup-simplify]: Simplify (- 0) into 0 15.898 * [backup-simplify]: Simplify (+ 0 0) into 0 15.902 * [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.904 * [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 15.906 * [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 15.906 * [backup-simplify]: Simplify 0 into 0 15.907 * [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)) 15.907 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 15.907 * [backup-simplify]: Simplify (sinh c) into (sinh c) 15.907 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 15.907 * [taylor]: Taking taylor expansion of (sinh c) in c 15.907 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.907 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.907 * [taylor]: Taking taylor expansion of (exp c) in c 15.907 * [taylor]: Taking taylor expansion of c in c 15.907 * [backup-simplify]: Simplify 0 into 0 15.907 * [backup-simplify]: Simplify 1 into 1 15.907 * [backup-simplify]: Simplify (exp 0) into 1 15.907 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.907 * [taylor]: Taking taylor expansion of (- c) in c 15.907 * [taylor]: Taking taylor expansion of c in c 15.907 * [backup-simplify]: Simplify 0 into 0 15.907 * [backup-simplify]: Simplify 1 into 1 15.908 * [backup-simplify]: Simplify (- 0) into 0 15.908 * [backup-simplify]: Simplify (- 1) into -1 15.908 * [backup-simplify]: Simplify (exp 0) into 1 15.908 * [taylor]: Taking taylor expansion of 2 in c 15.908 * [backup-simplify]: Simplify 2 into 2 15.909 * [backup-simplify]: Simplify (- 1) into -1 15.909 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.910 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.911 * [backup-simplify]: Simplify (- 1) into -1 15.912 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.912 * [backup-simplify]: Simplify (- -1) into 1 15.912 * [backup-simplify]: Simplify (+ 1 1) into 2 15.913 * [backup-simplify]: Simplify (/ 2 2) into 1 15.913 * [taylor]: Taking taylor expansion of (sinh c) in c 15.913 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.913 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.913 * [taylor]: Taking taylor expansion of (exp c) in c 15.913 * [taylor]: Taking taylor expansion of c in c 15.913 * [backup-simplify]: Simplify 0 into 0 15.913 * [backup-simplify]: Simplify 1 into 1 15.913 * [backup-simplify]: Simplify (exp 0) into 1 15.913 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.913 * [taylor]: Taking taylor expansion of (- c) in c 15.913 * [taylor]: Taking taylor expansion of c in c 15.913 * [backup-simplify]: Simplify 0 into 0 15.913 * [backup-simplify]: Simplify 1 into 1 15.914 * [backup-simplify]: Simplify (- 0) into 0 15.914 * [backup-simplify]: Simplify (- 1) into -1 15.914 * [backup-simplify]: Simplify (exp 0) into 1 15.914 * [taylor]: Taking taylor expansion of 2 in c 15.914 * [backup-simplify]: Simplify 2 into 2 15.915 * [backup-simplify]: Simplify (- 1) into -1 15.915 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.916 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.916 * [backup-simplify]: Simplify (- 1) into -1 15.918 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.918 * [backup-simplify]: Simplify (- -1) into 1 15.918 * [backup-simplify]: Simplify (+ 1 1) into 2 15.919 * [backup-simplify]: Simplify (/ 2 2) into 1 15.919 * [backup-simplify]: Simplify 1 into 1 15.920 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.920 * [backup-simplify]: Simplify (- 1) into -1 15.921 * [backup-simplify]: Simplify (- 0) into 0 15.922 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.922 * [backup-simplify]: Simplify (- 1/2) into -1/2 15.922 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 15.923 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 15.923 * [backup-simplify]: Simplify 0 into 0 15.924 * [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.924 * [backup-simplify]: Simplify (- 1) into -1 15.925 * [backup-simplify]: Simplify (- 1) into -1 15.925 * [backup-simplify]: Simplify (- 0) into 0 15.925 * [backup-simplify]: Simplify (- 0) into 0 15.926 * [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.927 * [backup-simplify]: Simplify (- -1/6) into 1/6 15.927 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 15.927 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 15.927 * [backup-simplify]: Simplify 1/6 into 1/6 15.930 * [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.930 * [backup-simplify]: Simplify (- 1) into -1 15.930 * [backup-simplify]: Simplify (- 1) into -1 15.931 * [backup-simplify]: Simplify (- 0) into 0 15.931 * [backup-simplify]: Simplify (- 1) into -1 15.931 * [backup-simplify]: Simplify (- 0) into 0 15.931 * [backup-simplify]: Simplify (- 0) into 0 15.931 * [backup-simplify]: Simplify (- 0) into 0 15.934 * [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.934 * [backup-simplify]: Simplify (- 1/24) into -1/24 15.934 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 15.935 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 15.935 * [backup-simplify]: Simplify 0 into 0 15.938 * [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.938 * [backup-simplify]: Simplify (- 1) into -1 15.939 * [backup-simplify]: Simplify (- 1) into -1 15.939 * [backup-simplify]: Simplify (- 0) into 0 15.939 * [backup-simplify]: Simplify (- 1) into -1 15.939 * [backup-simplify]: Simplify (- 0) into 0 15.939 * [backup-simplify]: Simplify (- 1) into -1 15.940 * [backup-simplify]: Simplify (- 0) into 0 15.940 * [backup-simplify]: Simplify (- 1) into -1 15.940 * [backup-simplify]: Simplify (- 0) into 0 15.940 * [backup-simplify]: Simplify (- 0) into 0 15.941 * [backup-simplify]: Simplify (- 0) into 0 15.941 * [backup-simplify]: Simplify (- 0) into 0 15.944 * [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.944 * [backup-simplify]: Simplify (- -1/120) into 1/120 15.945 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 15.945 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 15.945 * [backup-simplify]: Simplify 1/120 into 1/120 15.946 * [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.946 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 15.946 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 15.946 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.946 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.946 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.946 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.946 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.946 * [taylor]: Taking taylor expansion of c in c 15.946 * [backup-simplify]: Simplify 0 into 0 15.946 * [backup-simplify]: Simplify 1 into 1 15.946 * [backup-simplify]: Simplify (/ 1 1) into 1 15.946 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.946 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.947 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.947 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.947 * [taylor]: Taking taylor expansion of c in c 15.947 * [backup-simplify]: Simplify 0 into 0 15.947 * [backup-simplify]: Simplify 1 into 1 15.947 * [backup-simplify]: Simplify (/ 1 1) into 1 15.947 * [backup-simplify]: Simplify (- 1) into -1 15.947 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.947 * [taylor]: Taking taylor expansion of 2 in c 15.947 * [backup-simplify]: Simplify 2 into 2 15.947 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.947 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.947 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.948 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.948 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.948 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.948 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.948 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.948 * [taylor]: Taking taylor expansion of c in c 15.948 * [backup-simplify]: Simplify 0 into 0 15.948 * [backup-simplify]: Simplify 1 into 1 15.948 * [backup-simplify]: Simplify (/ 1 1) into 1 15.948 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.948 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.948 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.948 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.948 * [taylor]: Taking taylor expansion of c in c 15.948 * [backup-simplify]: Simplify 0 into 0 15.948 * [backup-simplify]: Simplify 1 into 1 15.948 * [backup-simplify]: Simplify (/ 1 1) into 1 15.949 * [backup-simplify]: Simplify (- 1) into -1 15.949 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.949 * [taylor]: Taking taylor expansion of 2 in c 15.949 * [backup-simplify]: Simplify 2 into 2 15.949 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.949 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.949 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.949 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.949 * [backup-simplify]: Simplify (- 0) into 0 15.950 * [backup-simplify]: Simplify (+ 0 0) into 0 15.950 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 15.950 * [backup-simplify]: Simplify 0 into 0 15.951 * [backup-simplify]: Simplify (- 0) into 0 15.951 * [backup-simplify]: Simplify (+ 0 0) into 0 15.952 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.952 * [backup-simplify]: Simplify 0 into 0 15.952 * [backup-simplify]: Simplify (- 0) into 0 15.953 * [backup-simplify]: Simplify (+ 0 0) into 0 15.955 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.955 * [backup-simplify]: Simplify 0 into 0 15.955 * [backup-simplify]: Simplify (- 0) into 0 15.955 * [backup-simplify]: Simplify (+ 0 0) into 0 15.958 * [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.958 * [backup-simplify]: Simplify 0 into 0 15.959 * [backup-simplify]: Simplify (- 0) into 0 15.959 * [backup-simplify]: Simplify (+ 0 0) into 0 15.962 * [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.962 * [backup-simplify]: Simplify 0 into 0 15.962 * [backup-simplify]: Simplify (- 0) into 0 15.963 * [backup-simplify]: Simplify (+ 0 0) into 0 15.966 * [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.967 * [backup-simplify]: Simplify 0 into 0 15.967 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 15.967 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 15.967 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 15.967 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.967 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.967 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.967 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.967 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.967 * [taylor]: Taking taylor expansion of -1 in c 15.967 * [backup-simplify]: Simplify -1 into -1 15.967 * [taylor]: Taking taylor expansion of c in c 15.967 * [backup-simplify]: Simplify 0 into 0 15.967 * [backup-simplify]: Simplify 1 into 1 15.968 * [backup-simplify]: Simplify (/ -1 1) into -1 15.968 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.968 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.968 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.968 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.968 * [taylor]: Taking taylor expansion of -1 in c 15.968 * [backup-simplify]: Simplify -1 into -1 15.968 * [taylor]: Taking taylor expansion of c in c 15.968 * [backup-simplify]: Simplify 0 into 0 15.968 * [backup-simplify]: Simplify 1 into 1 15.969 * [backup-simplify]: Simplify (/ -1 1) into -1 15.969 * [backup-simplify]: Simplify (- -1) into 1 15.969 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.969 * [taylor]: Taking taylor expansion of 2 in c 15.969 * [backup-simplify]: Simplify 2 into 2 15.969 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.970 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.970 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.970 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.970 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.970 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.970 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.970 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.970 * [taylor]: Taking taylor expansion of -1 in c 15.970 * [backup-simplify]: Simplify -1 into -1 15.970 * [taylor]: Taking taylor expansion of c in c 15.970 * [backup-simplify]: Simplify 0 into 0 15.970 * [backup-simplify]: Simplify 1 into 1 15.971 * [backup-simplify]: Simplify (/ -1 1) into -1 15.971 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.971 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.971 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.971 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.971 * [taylor]: Taking taylor expansion of -1 in c 15.971 * [backup-simplify]: Simplify -1 into -1 15.971 * [taylor]: Taking taylor expansion of c in c 15.971 * [backup-simplify]: Simplify 0 into 0 15.971 * [backup-simplify]: Simplify 1 into 1 15.972 * [backup-simplify]: Simplify (/ -1 1) into -1 15.972 * [backup-simplify]: Simplify (- -1) into 1 15.972 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.972 * [taylor]: Taking taylor expansion of 2 in c 15.972 * [backup-simplify]: Simplify 2 into 2 15.972 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.973 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.973 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.973 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.974 * [backup-simplify]: Simplify (- 0) into 0 15.974 * [backup-simplify]: Simplify (+ 0 0) into 0 15.975 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 15.975 * [backup-simplify]: Simplify 0 into 0 15.975 * [backup-simplify]: Simplify (- 0) into 0 15.976 * [backup-simplify]: Simplify (+ 0 0) into 0 15.977 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.977 * [backup-simplify]: Simplify 0 into 0 15.978 * [backup-simplify]: Simplify (- 0) into 0 15.978 * [backup-simplify]: Simplify (+ 0 0) into 0 15.980 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.980 * [backup-simplify]: Simplify 0 into 0 15.981 * [backup-simplify]: Simplify (- 0) into 0 15.981 * [backup-simplify]: Simplify (+ 0 0) into 0 15.984 * [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.984 * [backup-simplify]: Simplify 0 into 0 15.984 * [backup-simplify]: Simplify (- 0) into 0 15.985 * [backup-simplify]: Simplify (+ 0 0) into 0 15.988 * [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.988 * [backup-simplify]: Simplify 0 into 0 15.988 * [backup-simplify]: Simplify (- 0) into 0 15.988 * [backup-simplify]: Simplify (+ 0 0) into 0 15.996 * [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.996 * [backup-simplify]: Simplify 0 into 0 15.997 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 15.997 * * * [progress]: simplifying candidates 15.999 * [simplify]: Simplifying: (expm1 (cbrt (pow (sinh c) 3))) (log1p (cbrt (pow (sinh c) 3))) (log (cbrt (pow (sinh c) 3))) (exp (cbrt (pow (sinh c) 3))) (cbrt (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3)) (cbrt (pow (cbrt (sinh c)) 3)) (cbrt (pow (sqrt (sinh c)) 3)) (cbrt (pow (sqrt (sinh c)) 3)) (cbrt (pow 1 3)) (cbrt (pow (sinh c) 3)) (cbrt (* (sinh c) (sinh c))) (cbrt (sinh c)) (cbrt (* (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) 3)))) (cbrt (cbrt (pow (sinh c) 3))) (cbrt (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3)) (cbrt (pow (cbrt (sinh c)) 3)) (cbrt (pow (sqrt (sinh c)) 3)) (cbrt (pow (sqrt (sinh c)) 3)) (cbrt (pow 1 3)) (cbrt (pow (sinh c) 3)) (cbrt (sinh c)) (cbrt (* (sinh c) (sinh c))) (cbrt (sqrt (pow (sinh c) 3))) (cbrt (sqrt (pow (sinh c) 3))) (cbrt 1) (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) (/ 3 2))) (cbrt (pow (sinh c) (/ 3 2))) (cbrt (pow (- (exp c) (exp (- c))) 3)) (cbrt (pow 2 3)) (* (cbrt (cbrt (pow (sinh c) 3))) (cbrt (cbrt (pow (sinh c) 3)))) (cbrt (cbrt (pow (sinh c) 3))) (* (* (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) 3))) (cbrt (pow (sinh c) 3))) (sqrt (cbrt (pow (sinh c) 3))) (sqrt (cbrt (pow (sinh c) 3))) (expm1 (pow (sinh c) 3)) (log1p (pow (sinh c) 3)) (* (log (sinh c)) 3) (* (log (sinh c)) 3) (* 1 3) (pow (sinh c) (* (cbrt 3) (cbrt 3))) (pow (sinh c) (sqrt 3)) (pow (sinh c) 1) (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3) (pow (cbrt (sinh c)) 3) (pow (sqrt (sinh c)) 3) (pow (sqrt (sinh c)) 3) (pow 1 3) (pow (sinh c) 3) (* (sinh c) (sinh c)) (log (pow (sinh c) 3)) (exp (pow (sinh c) 3)) (* (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) 3))) (cbrt (pow (sinh c) 3)) (* (* (pow (sinh c) 3) (pow (sinh c) 3)) (pow (sinh c) 3)) (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3) (pow (cbrt (sinh c)) 3) (pow (sqrt (sinh c)) 3) (pow (sqrt (sinh c)) 3) (pow 1 3) (pow (sinh c) 3) (pow (- (exp c) (exp (- c))) 3) (pow 2 3) (* (sinh c) (sinh c)) (sqrt (pow (sinh c) 3)) (sqrt (pow (sinh c) 3)) (pow (sinh c) (/ 3 2)) (pow (sinh c) (/ 3 2)) (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)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) (* 1/8 (pow (- (exp c) (exp (- c))) 3)) (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 16.000 * * [simplify]: Extracting # 0 : cost 0 16.000 * * [simplify]: Extracting # 1 : cost 0 16.001 * * [simplify]: Extracting # 2 : cost 0 16.001 * * [simplify]: Extracting # 3 : cost 0 16.001 * * [simplify]: Extracting # 4 : cost 0 16.001 * * [simplify]: Extracting # 5 : cost 0 16.001 * * [simplify]: Extracting # 6 : cost 0 16.001 * * [simplify]: Extracting # 7 : cost 0 16.001 * * [simplify]: iteration 0 : 90 enodes (cost 551 ) 16.023 * * [simplify]: Extracting # 0 : cost 0 16.024 * * [simplify]: Extracting # 1 : cost 0 16.024 * * [simplify]: Extracting # 2 : cost 0 16.024 * * [simplify]: Extracting # 3 : cost 0 16.024 * * [simplify]: Extracting # 4 : cost 0 16.024 * * [simplify]: iteration 1 : 186 enodes (cost 394 ) 16.110 * * [simplify]: Extracting # 0 : cost 0 16.111 * * [simplify]: Extracting # 1 : cost 0 16.112 * * [simplify]: Extracting # 2 : cost 0 16.113 * * [simplify]: Extracting # 3 : cost 0 16.114 * * [simplify]: iteration 2 : 480 enodes (cost 379 ) 16.902 * * [simplify]: Extracting # 0 : cost 0 16.908 * * [simplify]: Extracting # 1 : cost 0 16.914 * * [simplify]: Extracting # 2 : cost 0 16.919 * * [simplify]: Extracting # 3 : cost 0 16.925 * * [simplify]: Extracting # 4 : cost 0 16.931 * * [simplify]: iteration 3 : 2755 enodes (cost 370 ) 19.096 * * [simplify]: Extracting # 0 : cost 0 19.112 * * [simplify]: Extracting # 1 : cost 0 19.118 * * [simplify]: Extracting # 2 : cost 0 19.123 * * [simplify]: Extracting # 3 : cost 0 19.128 * * [simplify]: Extracting # 4 : cost 0 19.134 * * [simplify]: Extracting # 5 : cost 0 19.140 * * [simplify]: Extracting # 6 : cost 0 19.145 * * [simplify]: iteration done: 5001 enodes (cost 370 ) 19.146 * [simplify]: Simplified to: (expm1 (sinh c)) (log1p (sinh c)) (log (sinh c)) (exp (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 (sinh c) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 (sinh c) (cbrt (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sqrt (pow (sinh c) 3))) (cbrt (sqrt (pow (sinh c) 3))) 1 (sinh c) (sqrt (sinh c)) (sqrt (sinh c)) (- (exp c) (exp (- c))) 2 (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (expm1 (pow (sinh c) 3)) (log1p (pow (sinh c) 3)) (* (log (sinh c)) 3) (* (log (sinh c)) 3) 3 (pow (sinh c) (* (cbrt 3) (cbrt 3))) (pow (sinh c) (sqrt 3)) (sinh c) (pow (sinh c) 2) (sinh c) (pow (sinh c) 3/2) (pow (sinh c) 3/2) 1 (pow (sinh c) 3) (pow (sinh c) 2) (* (log (sinh c)) 3) (exp (pow (sinh c) 3)) (pow (sinh c) 2) (sinh c) (pow (pow (sinh c) 3) 3) (pow (sinh c) 2) (sinh c) (pow (sinh c) 3/2) (pow (sinh c) 3/2) 1 (pow (sinh c) 3) (pow (- (exp c) (exp (- c))) 3) 8 (pow (sinh c) 2) (sqrt (pow (sinh c) 3)) (sqrt (pow (sinh c) 3)) (pow (sinh c) 3/2) (pow (sinh c) 3/2) (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (* (- (exp c) (exp (- c))) 1/2) (* (- (exp c) (exp (- c))) 1/2) (fma 1/2 (pow c 5) (fma 13/120 (pow c 7) (pow c 3))) (* (pow (- (exp c) (exp (- c))) 3) 1/8) (* (pow (- (exp c) (exp (- c))) 3) 1/8) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (* (- (exp c) (exp (- c))) 1/2) (* (- (exp c) (exp (- c))) 1/2) 19.146 * * * [progress]: adding candidates to table 19.359 * [progress]: [Phase 3 of 3] Extracting. 19.360 * * [regime]: Finding splitpoints for: (# # #) 19.361 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 19.362 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# # #) 19.395 * * * * [regimes]: Trying to branch on c from (# # #) 19.412 * * * [regime]: Found split indices: #