0.003 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.671 * * * [progress]: [2/2] Setting up program. 0.679 * [progress]: [Phase 2 of 3] Improving. 0.679 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.681 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 0.682 * * [simplify]: iteration 1: (5 enodes) 0.689 * * [simplify]: iteration 2: (21 enodes) 0.698 * * [simplify]: iteration 3: (34 enodes) 0.709 * * [simplify]: iteration 4: (38 enodes) 0.721 * * [simplify]: iteration 5: (40 enodes) 0.734 * * [simplify]: Extracting #0: cost 1 inf + 0 0.734 * * [simplify]: Extracting #1: cost 4 inf + 0 0.734 * * [simplify]: Extracting #2: cost 10 inf + 0 0.734 * * [simplify]: Extracting #3: cost 10 inf + 3 0.735 * * [simplify]: Extracting #4: cost 9 inf + 368 0.735 * * [simplify]: Extracting #5: cost 5 inf + 809 0.735 * * [simplify]: Extracting #6: cost 0 inf + 1620 0.736 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 0.744 * * [progress]: iteration 1 / 4 0.744 * * * [progress]: picking best candidate 0.749 * * * * [pick]: Picked # 0.749 * * * [progress]: localizing error 0.773 * * * [progress]: generating rewritten candidates 0.774 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.775 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.780 * * * [progress]: generating series expansions 0.780 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.784 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.784 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.785 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.788 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.788 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.788 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.788 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.788 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.788 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.789 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.789 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.790 * [taylor]: Taking taylor expansion of 0 in a 0.790 * [backup-simplify]: Simplify 0 into 0 0.790 * [backup-simplify]: Simplify 0 into 0 0.790 * [backup-simplify]: Simplify 0 into 0 0.790 * [taylor]: Taking taylor expansion of 0 in a 0.790 * [backup-simplify]: Simplify 0 into 0 0.790 * [backup-simplify]: Simplify 0 into 0 0.790 * [backup-simplify]: Simplify 0 into 0 0.790 * [backup-simplify]: Simplify 0 into 0 0.790 * [taylor]: Taking taylor expansion of 0 in a 0.790 * [backup-simplify]: Simplify 0 into 0 0.791 * [backup-simplify]: Simplify 0 into 0 0.791 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.793 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.794 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.794 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.794 * [taylor]: Taking taylor expansion of 0 in a 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [taylor]: Taking taylor expansion of 0 in a 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [taylor]: Taking taylor expansion of 0 in a 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.795 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.795 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.795 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.795 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.795 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.795 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.795 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.796 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.796 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.796 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.796 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.796 * [taylor]: Taking taylor expansion of 0 in a 0.796 * [backup-simplify]: Simplify 0 into 0 0.796 * [backup-simplify]: Simplify 0 into 0 0.796 * [backup-simplify]: Simplify 0 into 0 0.796 * [taylor]: Taking taylor expansion of 0 in a 0.796 * [backup-simplify]: Simplify 0 into 0 0.796 * [backup-simplify]: Simplify 0 into 0 0.796 * [backup-simplify]: Simplify 0 into 0 0.796 * [backup-simplify]: Simplify 0 into 0 0.796 * [taylor]: Taking taylor expansion of 0 in a 0.796 * [backup-simplify]: Simplify 0 into 0 0.796 * [backup-simplify]: Simplify 0 into 0 0.797 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.797 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.797 * [backup-simplify]: Simplify (log1p a) into (log1p a) 0.797 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0 0.797 * [taylor]: Taking taylor expansion of (log1p a) in a 0.797 * [taylor]: Rewrote expression to (log (+ 1 a)) 0.797 * [taylor]: Taking taylor expansion of (+ 1 a) in a 0.797 * [taylor]: Taking taylor expansion of 1 in a 0.797 * [backup-simplify]: Simplify 1 into 1 0.797 * [taylor]: Taking taylor expansion of a in a 0.797 * [backup-simplify]: Simplify 0 into 0 0.797 * [backup-simplify]: Simplify 1 into 1 0.798 * [backup-simplify]: Simplify (+ 1 0) into 1 0.799 * [backup-simplify]: Simplify (log 1) into 0 0.799 * [taylor]: Taking taylor expansion of (log1p a) in a 0.799 * [taylor]: Rewrote expression to (log (+ 1 a)) 0.799 * [taylor]: Taking taylor expansion of (+ 1 a) in a 0.799 * [taylor]: Taking taylor expansion of 1 in a 0.799 * [backup-simplify]: Simplify 1 into 1 0.799 * [taylor]: Taking taylor expansion of a in a 0.799 * [backup-simplify]: Simplify 0 into 0 0.799 * [backup-simplify]: Simplify 1 into 1 0.800 * [backup-simplify]: Simplify (+ 1 0) into 1 0.800 * [backup-simplify]: Simplify (log 1) into 0 0.800 * [backup-simplify]: Simplify 0 into 0 0.801 * [backup-simplify]: Simplify (+ 0 1) into 1 0.802 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.802 * [backup-simplify]: Simplify 1 into 1 0.804 * [backup-simplify]: Simplify (+ 0 0) into 0 1.262 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1.263 * [backup-simplify]: Simplify -1/2 into -1/2 1.263 * [backup-simplify]: Simplify (+ 0 0) into 0 1.269 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 1.269 * [backup-simplify]: Simplify 1/3 into 1/3 1.271 * [backup-simplify]: Simplify (+ (* 1/3 (pow a 3)) (+ (* -1/2 (pow a 2)) (* 1 a))) into (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2))) 1.271 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 1.271 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0 1.271 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 1.271 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 1.271 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 1.271 * [taylor]: Taking taylor expansion of 1 in a 1.271 * [backup-simplify]: Simplify 1 into 1 1.271 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.271 * [taylor]: Taking taylor expansion of a in a 1.272 * [backup-simplify]: Simplify 0 into 0 1.272 * [backup-simplify]: Simplify 1 into 1 1.273 * [backup-simplify]: Simplify (/ 1 1) into 1 1.274 * [backup-simplify]: Simplify (+ 0 1) into 1 1.274 * [backup-simplify]: Simplify (log 1) into 0 1.274 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 1.274 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 1.274 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 1.274 * [taylor]: Taking taylor expansion of 1 in a 1.274 * [backup-simplify]: Simplify 1 into 1 1.274 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.274 * [taylor]: Taking taylor expansion of a in a 1.274 * [backup-simplify]: Simplify 0 into 0 1.274 * [backup-simplify]: Simplify 1 into 1 1.275 * [backup-simplify]: Simplify (/ 1 1) into 1 1.275 * [backup-simplify]: Simplify (+ 0 1) into 1 1.275 * [backup-simplify]: Simplify (log 1) into 0 1.276 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1.276 * [backup-simplify]: Simplify (- (log a)) into (- (log a)) 1.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.278 * [backup-simplify]: Simplify (+ 1 0) into 1 1.279 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1.279 * [backup-simplify]: Simplify 1 into 1 1.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.280 * [backup-simplify]: Simplify (+ 0 0) into 0 1.283 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1.283 * [backup-simplify]: Simplify -1/2 into -1/2 1.284 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 a) 2)) (+ (* 1 (/ 1 a)) (- (log (/ 1 a))))) into (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a)))) 1.284 * [backup-simplify]: Simplify (log1p (/ 1 (- a))) into (log1p (/ -1 a)) 1.284 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0 1.284 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 1.284 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 1.284 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 1.284 * [taylor]: Taking taylor expansion of 1 in a 1.284 * [backup-simplify]: Simplify 1 into 1 1.284 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.284 * [taylor]: Taking taylor expansion of -1 in a 1.284 * [backup-simplify]: Simplify -1 into -1 1.284 * [taylor]: Taking taylor expansion of a in a 1.284 * [backup-simplify]: Simplify 0 into 0 1.284 * [backup-simplify]: Simplify 1 into 1 1.285 * [backup-simplify]: Simplify (/ -1 1) into -1 1.285 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.286 * [backup-simplify]: Simplify (log -1) into (log -1) 1.286 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 1.286 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 1.286 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 1.286 * [taylor]: Taking taylor expansion of 1 in a 1.286 * [backup-simplify]: Simplify 1 into 1 1.286 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.286 * [taylor]: Taking taylor expansion of -1 in a 1.286 * [backup-simplify]: Simplify -1 into -1 1.286 * [taylor]: Taking taylor expansion of a in a 1.286 * [backup-simplify]: Simplify 0 into 0 1.286 * [backup-simplify]: Simplify 1 into 1 1.287 * [backup-simplify]: Simplify (/ -1 1) into -1 1.287 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.287 * [backup-simplify]: Simplify (log -1) into (log -1) 1.288 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1.289 * [backup-simplify]: Simplify (- (log -1) (log a)) into (- (log -1) (log a)) 1.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.290 * [backup-simplify]: Simplify (+ 1 0) into 1 1.292 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1.292 * [backup-simplify]: Simplify -1 into -1 1.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.293 * [backup-simplify]: Simplify (+ 0 0) into 0 1.296 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1.296 * [backup-simplify]: Simplify -1/2 into -1/2 1.297 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- a)) 2)) (+ (* -1 (/ 1 (- a))) (- (log -1) (log (/ 1 (- a)))))) into (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a)))) 1.297 * * * [progress]: simplifying candidates 1.297 * * * * [progress]: [ 1 / 28 ] simplifiying candidate # 1.297 * * * * [progress]: [ 2 / 28 ] simplifiying candidate # 1.297 * * * * [progress]: [ 3 / 28 ] simplifiying candidate # 1.297 * * * * [progress]: [ 4 / 28 ] simplifiying candidate # 1.297 * * * * [progress]: [ 5 / 28 ] simplifiying candidate # 1.297 * * * * [progress]: [ 6 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 7 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 8 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 9 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 10 / 28 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))> 1.298 * * * * [progress]: [ 11 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 12 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 13 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 14 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 15 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 16 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 17 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 18 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 19 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 20 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 21 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 22 / 28 ] simplifiying candidate #real (real->posit16 (log1p a)))))> 1.298 * * * * [progress]: [ 23 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 24 / 28 ] simplifiying candidate # 1.298 * * * * [progress]: [ 25 / 28 ] simplifiying candidate # 1.299 * * * * [progress]: [ 26 / 28 ] simplifiying candidate # 1.299 * * * * [progress]: [ 27 / 28 ] simplifiying candidate # 1.299 * * * * [progress]: [ 28 / 28 ] simplifiying candidate # 1.299 * [simplify]: Simplifying (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (+ 1 a), (expm1 (log1p a)), (log1p (log1p a)), (log (log1p a)), (exp (log1p a)), (* (cbrt (log1p a)) (cbrt (log1p a))), (cbrt (log1p a)), (* (* (log1p a) (log1p a)) (log1p a)), (sqrt (log1p a)), (sqrt (log1p a)), (real->posit16 (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2))), (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a)))), (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a)))) 1.300 * * [simplify]: iteration 1: (50 enodes) 1.329 * * [simplify]: iteration 2: (192 enodes) 1.364 * * [simplify]: iteration 3: (314 enodes) 1.430 * * [simplify]: iteration 4: (562 enodes) 1.672 * * [simplify]: iteration 5: (1124 enodes) 2.487 * * [simplify]: Extracting #0: cost 22 inf + 0 2.487 * * [simplify]: Extracting #1: cost 174 inf + 1 2.490 * * [simplify]: Extracting #2: cost 503 inf + 2621 2.497 * * [simplify]: Extracting #3: cost 358 inf + 30280 2.526 * * [simplify]: Extracting #4: cost 111 inf + 96409 2.571 * * [simplify]: Extracting #5: cost 4 inf + 130124 2.603 * * [simplify]: Extracting #6: cost 0 inf + 131203 2.631 * * [simplify]: Extracting #7: cost 0 inf + 131202 2.658 * [simplify]: Simplified to (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (+ a 1), a, (log1p (log1p a)), (log (log1p a)), (exp (log1p a)), (* (cbrt (log1p a)) (cbrt (log1p a))), (cbrt (log1p a)), (* (log1p a) (* (log1p a) (log1p a))), (sqrt (log1p a)), (sqrt (log1p a)), (real->posit16 (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fma (fma a 1/3 -1/2) (* a a) a), (fma (+ 1 (/ -1/2 a)) (/ 1 a) (log a)), (fma (+ 1 (/ -1/2 a)) (/ 1 a) (log a)) 2.659 * * * [progress]: adding candidates to table 2.983 * * [progress]: iteration 2 / 4 2.983 * * * [progress]: picking best candidate 3.038 * * * * [pick]: Picked # 3.039 * * * [progress]: localizing error 3.083 * * * [progress]: generating rewritten candidates 3.083 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 3.084 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 3.085 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 3.087 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 3.089 * * * [progress]: generating series expansions 3.089 * * * * [progress]: [ 1 / 4 ] generating series at (2) 3.089 * [backup-simplify]: Simplify (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) into (fmod (cosh c) (log1p a)) 3.089 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.089 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.089 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.089 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.089 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.089 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.089 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.089 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.089 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.090 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.090 * [taylor]: Taking taylor expansion of 0 in a 3.090 * [backup-simplify]: Simplify 0 into 0 3.090 * [backup-simplify]: Simplify 0 into 0 3.090 * [backup-simplify]: Simplify 0 into 0 3.090 * [taylor]: Taking taylor expansion of 0 in a 3.090 * [backup-simplify]: Simplify 0 into 0 3.090 * [backup-simplify]: Simplify 0 into 0 3.090 * [backup-simplify]: Simplify 0 into 0 3.090 * [backup-simplify]: Simplify 0 into 0 3.090 * [taylor]: Taking taylor expansion of 0 in a 3.090 * [backup-simplify]: Simplify 0 into 0 3.090 * [backup-simplify]: Simplify 0 into 0 3.090 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.090 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (* (* (cbrt (log1p (/ 1 a))) (cbrt (log1p (/ 1 a)))) (cbrt (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.090 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.090 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.091 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.091 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.091 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.091 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.091 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.091 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.091 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.091 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.091 * [taylor]: Taking taylor expansion of 0 in a 3.091 * [backup-simplify]: Simplify 0 into 0 3.091 * [backup-simplify]: Simplify 0 into 0 3.091 * [backup-simplify]: Simplify 0 into 0 3.091 * [taylor]: Taking taylor expansion of 0 in a 3.091 * [backup-simplify]: Simplify 0 into 0 3.091 * [backup-simplify]: Simplify 0 into 0 3.091 * [backup-simplify]: Simplify 0 into 0 3.091 * [backup-simplify]: Simplify 0 into 0 3.092 * [taylor]: Taking taylor expansion of 0 in a 3.092 * [backup-simplify]: Simplify 0 into 0 3.092 * [backup-simplify]: Simplify 0 into 0 3.092 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.092 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (* (* (cbrt (log1p (/ 1 (- a)))) (cbrt (log1p (/ 1 (- a))))) (cbrt (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.092 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.092 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.092 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.092 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.092 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.092 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.093 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.093 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.093 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.093 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.093 * [taylor]: Taking taylor expansion of 0 in a 3.093 * [backup-simplify]: Simplify 0 into 0 3.093 * [backup-simplify]: Simplify 0 into 0 3.093 * [backup-simplify]: Simplify 0 into 0 3.093 * [taylor]: Taking taylor expansion of 0 in a 3.093 * [backup-simplify]: Simplify 0 into 0 3.093 * [backup-simplify]: Simplify 0 into 0 3.093 * [backup-simplify]: Simplify 0 into 0 3.093 * [backup-simplify]: Simplify 0 into 0 3.093 * [taylor]: Taking taylor expansion of 0 in a 3.093 * [backup-simplify]: Simplify 0 into 0 3.093 * [backup-simplify]: Simplify 0 into 0 3.094 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.094 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 3.094 * [backup-simplify]: Simplify (cbrt (log1p a)) into (pow (log1p a) 1/3) 3.094 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0 3.094 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a 3.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a 3.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a 3.094 * [taylor]: Taking taylor expansion of 1/3 in a 3.094 * [backup-simplify]: Simplify 1/3 into 1/3 3.094 * [taylor]: Taking taylor expansion of (log (log1p a)) in a 3.094 * [taylor]: Taking taylor expansion of (log1p a) in a 3.094 * [taylor]: Rewrote expression to (log (+ 1 a)) 3.094 * [taylor]: Taking taylor expansion of (+ 1 a) in a 3.094 * [taylor]: Taking taylor expansion of 1 in a 3.094 * [backup-simplify]: Simplify 1 into 1 3.094 * [taylor]: Taking taylor expansion of a in a 3.094 * [backup-simplify]: Simplify 0 into 0 3.094 * [backup-simplify]: Simplify 1 into 1 3.095 * [backup-simplify]: Simplify (+ 1 0) into 1 3.095 * [backup-simplify]: Simplify (log 1) into 0 3.096 * [backup-simplify]: Simplify (+ 0 1) into 1 3.097 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.097 * [backup-simplify]: Simplify (log 1) into 0 3.098 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 3.098 * [backup-simplify]: Simplify (* 1/3 (log a)) into (* 1/3 (log a)) 3.098 * [backup-simplify]: Simplify (exp (* 1/3 (log a))) into (pow a 1/3) 3.098 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a 3.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a 3.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a 3.098 * [taylor]: Taking taylor expansion of 1/3 in a 3.098 * [backup-simplify]: Simplify 1/3 into 1/3 3.098 * [taylor]: Taking taylor expansion of (log (log1p a)) in a 3.098 * [taylor]: Taking taylor expansion of (log1p a) in a 3.098 * [taylor]: Rewrote expression to (log (+ 1 a)) 3.098 * [taylor]: Taking taylor expansion of (+ 1 a) in a 3.098 * [taylor]: Taking taylor expansion of 1 in a 3.098 * [backup-simplify]: Simplify 1 into 1 3.098 * [taylor]: Taking taylor expansion of a in a 3.099 * [backup-simplify]: Simplify 0 into 0 3.099 * [backup-simplify]: Simplify 1 into 1 3.099 * [backup-simplify]: Simplify (+ 1 0) into 1 3.099 * [backup-simplify]: Simplify (log 1) into 0 3.100 * [backup-simplify]: Simplify (+ 0 1) into 1 3.101 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.101 * [backup-simplify]: Simplify (log 1) into 0 3.101 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 3.101 * [backup-simplify]: Simplify (* 1/3 (log a)) into (* 1/3 (log a)) 3.101 * [backup-simplify]: Simplify (exp (* 1/3 (log a))) into (pow a 1/3) 3.101 * [backup-simplify]: Simplify (pow a 1/3) into (pow a 1/3) 3.102 * [backup-simplify]: Simplify (+ 0 0) into 0 3.103 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 3.104 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1/2) 1)) (pow 1 1)))) 1) into -1/2 3.105 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 3.105 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (* 0 (log a))) into (- 1/6) 3.106 * [backup-simplify]: Simplify (* (exp (* 1/3 (log a))) (+ (* (/ (pow (- 1/6) 1) 1)))) into (* -1/6 (pow a 1/3)) 3.106 * [backup-simplify]: Simplify (* -1/6 (pow a 1/3)) into (* -1/6 (pow a 1/3)) 3.106 * [backup-simplify]: Simplify (+ 0 0) into 0 3.109 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 3.110 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/3) 1)) (pow 1 1)))) 2) into 5/24 3.111 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 3.111 * [backup-simplify]: Simplify (+ (* 1/3 5/24) (+ (* 0 -1/2) (* 0 (log a)))) into 5/72 3.112 * [backup-simplify]: Simplify (* (exp (* 1/3 (log a))) (+ (* (/ (pow (- 1/6) 2) 2)) (* (/ (pow 5/72 1) 1)))) into (* 1/12 (pow a 1/3)) 3.112 * [backup-simplify]: Simplify (* 1/12 (pow a 1/3)) into (* 1/12 (pow a 1/3)) 3.112 * [backup-simplify]: Simplify (+ (* (* 1/12 (pow a 1/3)) (pow a 2)) (+ (* (* -1/6 (pow a 1/3)) a) (pow a 1/3))) into (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3))) 3.112 * [backup-simplify]: Simplify (cbrt (log1p (/ 1 a))) into (pow (log1p (/ 1 a)) 1/3) 3.113 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0 3.113 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a 3.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a 3.113 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a 3.113 * [taylor]: Taking taylor expansion of 1/3 in a 3.113 * [backup-simplify]: Simplify 1/3 into 1/3 3.113 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a 3.113 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 3.113 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 3.113 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 3.113 * [taylor]: Taking taylor expansion of 1 in a 3.113 * [backup-simplify]: Simplify 1 into 1 3.113 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.113 * [taylor]: Taking taylor expansion of a in a 3.113 * [backup-simplify]: Simplify 0 into 0 3.113 * [backup-simplify]: Simplify 1 into 1 3.113 * [backup-simplify]: Simplify (/ 1 1) into 1 3.113 * [backup-simplify]: Simplify (+ 0 1) into 1 3.114 * [backup-simplify]: Simplify (log 1) into 0 3.114 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.114 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.114 * [backup-simplify]: Simplify (log (- (log a))) into (log (- (log a))) 3.114 * [backup-simplify]: Simplify (* 1/3 (log (- (log a)))) into (* 1/3 (log (- (log a)))) 3.114 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log a))))) into (pow (- (log a)) 1/3) 3.114 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a 3.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a 3.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a 3.114 * [taylor]: Taking taylor expansion of 1/3 in a 3.114 * [backup-simplify]: Simplify 1/3 into 1/3 3.114 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a 3.114 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 3.114 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 3.114 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 3.115 * [taylor]: Taking taylor expansion of 1 in a 3.115 * [backup-simplify]: Simplify 1 into 1 3.115 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.115 * [taylor]: Taking taylor expansion of a in a 3.115 * [backup-simplify]: Simplify 0 into 0 3.115 * [backup-simplify]: Simplify 1 into 1 3.115 * [backup-simplify]: Simplify (/ 1 1) into 1 3.115 * [backup-simplify]: Simplify (+ 0 1) into 1 3.115 * [backup-simplify]: Simplify (log 1) into 0 3.116 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.116 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.116 * [backup-simplify]: Simplify (log (- (log a))) into (log (- (log a))) 3.116 * [backup-simplify]: Simplify (* 1/3 (log (- (log a)))) into (* 1/3 (log (- (log a)))) 3.116 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log a))))) into (pow (- (log a)) 1/3) 3.116 * [backup-simplify]: Simplify (pow (- (log a)) 1/3) into (pow (- (log a)) 1/3) 3.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.117 * [backup-simplify]: Simplify (+ 1 0) into 1 3.118 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.118 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.118 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (- (log a)) 1)))) 1) into (/ -1 (log a)) 3.118 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1 (log a))) (* 0 (log (- (log a))))) into (- (* 1/3 (/ 1 (log a)))) 3.119 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (log a)))) 1) 1)))) into (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) 3.119 * [backup-simplify]: Simplify (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) into (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) 3.119 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.120 * [backup-simplify]: Simplify (+ 0 0) into 0 3.121 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 3.122 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.123 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (- (log a)) 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow (- (log a)) 1)))) 2) into (* 1/2 (- (/ 1 (log a)) (/ 1 (pow (log a) 2)))) 3.123 * [backup-simplify]: Simplify (+ (* 1/3 (* 1/2 (- (/ 1 (log a)) (/ 1 (pow (log a) 2))))) (+ (* 0 (/ -1 (log a))) (* 0 (log (- (log a)))))) into (- (* 1/6 (/ 1 (log a))) (* 1/6 (/ 1 (pow (log a) 2)))) 3.123 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (log a)))) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (log a))) (* 1/6 (/ 1 (pow (log a) 2)))) 1) 1)))) into (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) 3.124 * [backup-simplify]: Simplify (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) into (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) 3.124 * [backup-simplify]: Simplify (+ (* (* (- (* 1/6 (/ 1 (log (/ 1 a)))) (* 1/9 (/ 1 (pow (log (/ 1 a)) 2)))) (pow (* (log (/ 1 a)) -1) 1/3)) (pow (/ 1 a) 2)) (+ (* (* -1/3 (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)) (/ 1 a)) (pow (- (log (/ 1 a))) 1/3))) into (- (+ (pow (- (log (/ 1 a))) 1/3) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3))) (* 1/3 (* (/ 1 a) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3))))) 3.124 * [backup-simplify]: Simplify (cbrt (log1p (/ 1 (- a)))) into (pow (log1p (/ -1 a)) 1/3) 3.124 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0 3.124 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a 3.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a 3.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a 3.125 * [taylor]: Taking taylor expansion of 1/3 in a 3.125 * [backup-simplify]: Simplify 1/3 into 1/3 3.125 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a 3.125 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 3.125 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 3.125 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 3.125 * [taylor]: Taking taylor expansion of 1 in a 3.125 * [backup-simplify]: Simplify 1 into 1 3.125 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.125 * [taylor]: Taking taylor expansion of -1 in a 3.125 * [backup-simplify]: Simplify -1 into -1 3.125 * [taylor]: Taking taylor expansion of a in a 3.125 * [backup-simplify]: Simplify 0 into 0 3.125 * [backup-simplify]: Simplify 1 into 1 3.125 * [backup-simplify]: Simplify (/ -1 1) into -1 3.126 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.126 * [backup-simplify]: Simplify (log -1) into (log -1) 3.126 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.127 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.127 * [backup-simplify]: Simplify (log (- (log -1) (log a))) into (log (- (log -1) (log a))) 3.127 * [backup-simplify]: Simplify (* 1/3 (log (- (log -1) (log a)))) into (* 1/3 (log (- (log -1) (log a)))) 3.128 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log -1) (log a))))) into (pow (- (log -1) (log a)) 1/3) 3.128 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a 3.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a 3.128 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a 3.128 * [taylor]: Taking taylor expansion of 1/3 in a 3.128 * [backup-simplify]: Simplify 1/3 into 1/3 3.128 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a 3.128 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 3.128 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 3.128 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 3.128 * [taylor]: Taking taylor expansion of 1 in a 3.128 * [backup-simplify]: Simplify 1 into 1 3.128 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.128 * [taylor]: Taking taylor expansion of -1 in a 3.128 * [backup-simplify]: Simplify -1 into -1 3.128 * [taylor]: Taking taylor expansion of a in a 3.128 * [backup-simplify]: Simplify 0 into 0 3.128 * [backup-simplify]: Simplify 1 into 1 3.128 * [backup-simplify]: Simplify (/ -1 1) into -1 3.129 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.129 * [backup-simplify]: Simplify (log -1) into (log -1) 3.130 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.131 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.131 * [backup-simplify]: Simplify (log (- (log -1) (log a))) into (log (- (log -1) (log a))) 3.132 * [backup-simplify]: Simplify (* 1/3 (log (- (log -1) (log a)))) into (* 1/3 (log (- (log -1) (log a)))) 3.132 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log -1) (log a))))) into (pow (- (log -1) (log a)) 1/3) 3.133 * [backup-simplify]: Simplify (pow (- (log -1) (log a)) 1/3) into (pow (- (log -1) (log a)) 1/3) 3.134 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.134 * [backup-simplify]: Simplify (+ 1 0) into 1 3.135 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 3.136 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.137 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow (- (log -1) (log a)) 1)))) 1) into (/ -1 (- (log -1) (log a))) 3.138 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1 (- (log -1) (log a)))) (* 0 (log (- (log -1) (log a))))) into (- (* 1/3 (/ 1 (- (log -1) (log a))))) 3.139 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log -1) (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (- (log -1) (log a))))) 1) 1)))) into (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) 3.140 * [backup-simplify]: Simplify (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) 3.140 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.141 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.142 * [backup-simplify]: Simplify (+ 0 0) into 0 3.144 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 3.145 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.146 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow (- (log -1) (log a)) 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow (- (log -1) (log a)) 1)))) 2) into (* -1/2 (+ (/ 1 (pow (- (log -1) (log a)) 2)) (/ 1 (- (log -1) (log a))))) 3.148 * [backup-simplify]: Simplify (+ (* 1/3 (* -1/2 (+ (/ 1 (pow (- (log -1) (log a)) 2)) (/ 1 (- (log -1) (log a)))))) (+ (* 0 (/ -1 (- (log -1) (log a)))) (* 0 (log (- (log -1) (log a)))))) into (- (+ (* 1/6 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a)))))) 3.149 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log -1) (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (- (log -1) (log a))))) 2) 2)) (* (/ (pow (- (+ (* 1/6 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a)))))) 1) 1)))) into (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) 3.150 * [backup-simplify]: Simplify (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) into (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) 3.152 * [backup-simplify]: Simplify (+ (* (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log (/ 1 (- a)))) 2))) (* 1/6 (/ 1 (- (log -1) (log (/ 1 (- a))))))) (pow (- (log -1) (log (/ 1 (- a)))) 1/3))) (pow (/ 1 (- a)) 2)) (+ (* (* -1/3 (pow (/ 1 (pow (- (log -1) (log (/ 1 (- a)))) 2)) 1/3)) (/ 1 (- a))) (pow (- (log -1) (log (/ 1 (- a)))) 1/3))) into (- (+ (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (pow (- (log -1) (log (/ -1 a))) 1/3)) (+ (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))))) 3.152 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 3.152 * [backup-simplify]: Simplify (cbrt (log1p a)) into (pow (log1p a) 1/3) 3.152 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0 3.152 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a 3.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a 3.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a 3.152 * [taylor]: Taking taylor expansion of 1/3 in a 3.152 * [backup-simplify]: Simplify 1/3 into 1/3 3.152 * [taylor]: Taking taylor expansion of (log (log1p a)) in a 3.153 * [taylor]: Taking taylor expansion of (log1p a) in a 3.153 * [taylor]: Rewrote expression to (log (+ 1 a)) 3.153 * [taylor]: Taking taylor expansion of (+ 1 a) in a 3.153 * [taylor]: Taking taylor expansion of 1 in a 3.153 * [backup-simplify]: Simplify 1 into 1 3.153 * [taylor]: Taking taylor expansion of a in a 3.153 * [backup-simplify]: Simplify 0 into 0 3.153 * [backup-simplify]: Simplify 1 into 1 3.153 * [backup-simplify]: Simplify (+ 1 0) into 1 3.153 * [backup-simplify]: Simplify (log 1) into 0 3.153 * [backup-simplify]: Simplify (+ 0 1) into 1 3.154 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.154 * [backup-simplify]: Simplify (log 1) into 0 3.155 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 3.155 * [backup-simplify]: Simplify (* 1/3 (log a)) into (* 1/3 (log a)) 3.155 * [backup-simplify]: Simplify (exp (* 1/3 (log a))) into (pow a 1/3) 3.155 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a 3.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a 3.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a 3.155 * [taylor]: Taking taylor expansion of 1/3 in a 3.155 * [backup-simplify]: Simplify 1/3 into 1/3 3.155 * [taylor]: Taking taylor expansion of (log (log1p a)) in a 3.155 * [taylor]: Taking taylor expansion of (log1p a) in a 3.155 * [taylor]: Rewrote expression to (log (+ 1 a)) 3.155 * [taylor]: Taking taylor expansion of (+ 1 a) in a 3.155 * [taylor]: Taking taylor expansion of 1 in a 3.155 * [backup-simplify]: Simplify 1 into 1 3.155 * [taylor]: Taking taylor expansion of a in a 3.155 * [backup-simplify]: Simplify 0 into 0 3.155 * [backup-simplify]: Simplify 1 into 1 3.155 * [backup-simplify]: Simplify (+ 1 0) into 1 3.156 * [backup-simplify]: Simplify (log 1) into 0 3.156 * [backup-simplify]: Simplify (+ 0 1) into 1 3.157 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.157 * [backup-simplify]: Simplify (log 1) into 0 3.157 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 3.157 * [backup-simplify]: Simplify (* 1/3 (log a)) into (* 1/3 (log a)) 3.157 * [backup-simplify]: Simplify (exp (* 1/3 (log a))) into (pow a 1/3) 3.157 * [backup-simplify]: Simplify (pow a 1/3) into (pow a 1/3) 3.158 * [backup-simplify]: Simplify (+ 0 0) into 0 3.159 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 3.160 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1/2) 1)) (pow 1 1)))) 1) into -1/2 3.160 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 3.161 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (* 0 (log a))) into (- 1/6) 3.161 * [backup-simplify]: Simplify (* (exp (* 1/3 (log a))) (+ (* (/ (pow (- 1/6) 1) 1)))) into (* -1/6 (pow a 1/3)) 3.161 * [backup-simplify]: Simplify (* -1/6 (pow a 1/3)) into (* -1/6 (pow a 1/3)) 3.161 * [backup-simplify]: Simplify (+ 0 0) into 0 3.165 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 3.166 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/3) 1)) (pow 1 1)))) 2) into 5/24 3.167 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 3.167 * [backup-simplify]: Simplify (+ (* 1/3 5/24) (+ (* 0 -1/2) (* 0 (log a)))) into 5/72 3.168 * [backup-simplify]: Simplify (* (exp (* 1/3 (log a))) (+ (* (/ (pow (- 1/6) 2) 2)) (* (/ (pow 5/72 1) 1)))) into (* 1/12 (pow a 1/3)) 3.168 * [backup-simplify]: Simplify (* 1/12 (pow a 1/3)) into (* 1/12 (pow a 1/3)) 3.169 * [backup-simplify]: Simplify (+ (* (* 1/12 (pow a 1/3)) (pow a 2)) (+ (* (* -1/6 (pow a 1/3)) a) (pow a 1/3))) into (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3))) 3.169 * [backup-simplify]: Simplify (cbrt (log1p (/ 1 a))) into (pow (log1p (/ 1 a)) 1/3) 3.169 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0 3.169 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a 3.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a 3.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a 3.169 * [taylor]: Taking taylor expansion of 1/3 in a 3.169 * [backup-simplify]: Simplify 1/3 into 1/3 3.169 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a 3.169 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 3.169 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 3.169 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 3.169 * [taylor]: Taking taylor expansion of 1 in a 3.169 * [backup-simplify]: Simplify 1 into 1 3.169 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.169 * [taylor]: Taking taylor expansion of a in a 3.169 * [backup-simplify]: Simplify 0 into 0 3.169 * [backup-simplify]: Simplify 1 into 1 3.169 * [backup-simplify]: Simplify (/ 1 1) into 1 3.170 * [backup-simplify]: Simplify (+ 0 1) into 1 3.170 * [backup-simplify]: Simplify (log 1) into 0 3.170 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.170 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.171 * [backup-simplify]: Simplify (log (- (log a))) into (log (- (log a))) 3.171 * [backup-simplify]: Simplify (* 1/3 (log (- (log a)))) into (* 1/3 (log (- (log a)))) 3.171 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log a))))) into (pow (- (log a)) 1/3) 3.171 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a 3.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a 3.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a 3.171 * [taylor]: Taking taylor expansion of 1/3 in a 3.171 * [backup-simplify]: Simplify 1/3 into 1/3 3.171 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a 3.171 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 3.171 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 3.171 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 3.171 * [taylor]: Taking taylor expansion of 1 in a 3.171 * [backup-simplify]: Simplify 1 into 1 3.171 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.171 * [taylor]: Taking taylor expansion of a in a 3.171 * [backup-simplify]: Simplify 0 into 0 3.171 * [backup-simplify]: Simplify 1 into 1 3.171 * [backup-simplify]: Simplify (/ 1 1) into 1 3.171 * [backup-simplify]: Simplify (+ 0 1) into 1 3.172 * [backup-simplify]: Simplify (log 1) into 0 3.172 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.172 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.172 * [backup-simplify]: Simplify (log (- (log a))) into (log (- (log a))) 3.173 * [backup-simplify]: Simplify (* 1/3 (log (- (log a)))) into (* 1/3 (log (- (log a)))) 3.173 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log a))))) into (pow (- (log a)) 1/3) 3.173 * [backup-simplify]: Simplify (pow (- (log a)) 1/3) into (pow (- (log a)) 1/3) 3.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.179 * [backup-simplify]: Simplify (+ 1 0) into 1 3.180 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.181 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.181 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (- (log a)) 1)))) 1) into (/ -1 (log a)) 3.181 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1 (log a))) (* 0 (log (- (log a))))) into (- (* 1/3 (/ 1 (log a)))) 3.181 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (log a)))) 1) 1)))) into (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) 3.181 * [backup-simplify]: Simplify (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) into (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) 3.182 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.183 * [backup-simplify]: Simplify (+ 0 0) into 0 3.184 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 3.184 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.185 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (- (log a)) 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow (- (log a)) 1)))) 2) into (* 1/2 (- (/ 1 (log a)) (/ 1 (pow (log a) 2)))) 3.186 * [backup-simplify]: Simplify (+ (* 1/3 (* 1/2 (- (/ 1 (log a)) (/ 1 (pow (log a) 2))))) (+ (* 0 (/ -1 (log a))) (* 0 (log (- (log a)))))) into (- (* 1/6 (/ 1 (log a))) (* 1/6 (/ 1 (pow (log a) 2)))) 3.186 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (log a)))) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (log a))) (* 1/6 (/ 1 (pow (log a) 2)))) 1) 1)))) into (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) 3.186 * [backup-simplify]: Simplify (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) into (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) 3.187 * [backup-simplify]: Simplify (+ (* (* (- (* 1/6 (/ 1 (log (/ 1 a)))) (* 1/9 (/ 1 (pow (log (/ 1 a)) 2)))) (pow (* (log (/ 1 a)) -1) 1/3)) (pow (/ 1 a) 2)) (+ (* (* -1/3 (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)) (/ 1 a)) (pow (- (log (/ 1 a))) 1/3))) into (- (+ (pow (- (log (/ 1 a))) 1/3) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3))) (* 1/3 (* (/ 1 a) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3))))) 3.187 * [backup-simplify]: Simplify (cbrt (log1p (/ 1 (- a)))) into (pow (log1p (/ -1 a)) 1/3) 3.187 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0 3.187 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a 3.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a 3.187 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a 3.187 * [taylor]: Taking taylor expansion of 1/3 in a 3.187 * [backup-simplify]: Simplify 1/3 into 1/3 3.187 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a 3.187 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 3.187 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 3.187 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 3.187 * [taylor]: Taking taylor expansion of 1 in a 3.187 * [backup-simplify]: Simplify 1 into 1 3.187 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.187 * [taylor]: Taking taylor expansion of -1 in a 3.187 * [backup-simplify]: Simplify -1 into -1 3.187 * [taylor]: Taking taylor expansion of a in a 3.187 * [backup-simplify]: Simplify 0 into 0 3.187 * [backup-simplify]: Simplify 1 into 1 3.188 * [backup-simplify]: Simplify (/ -1 1) into -1 3.188 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.188 * [backup-simplify]: Simplify (log -1) into (log -1) 3.189 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.189 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.190 * [backup-simplify]: Simplify (log (- (log -1) (log a))) into (log (- (log -1) (log a))) 3.190 * [backup-simplify]: Simplify (* 1/3 (log (- (log -1) (log a)))) into (* 1/3 (log (- (log -1) (log a)))) 3.190 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log -1) (log a))))) into (pow (- (log -1) (log a)) 1/3) 3.190 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a 3.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a 3.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a 3.190 * [taylor]: Taking taylor expansion of 1/3 in a 3.190 * [backup-simplify]: Simplify 1/3 into 1/3 3.190 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a 3.190 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 3.190 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 3.190 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 3.190 * [taylor]: Taking taylor expansion of 1 in a 3.190 * [backup-simplify]: Simplify 1 into 1 3.190 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.191 * [taylor]: Taking taylor expansion of -1 in a 3.191 * [backup-simplify]: Simplify -1 into -1 3.191 * [taylor]: Taking taylor expansion of a in a 3.191 * [backup-simplify]: Simplify 0 into 0 3.191 * [backup-simplify]: Simplify 1 into 1 3.191 * [backup-simplify]: Simplify (/ -1 1) into -1 3.191 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.191 * [backup-simplify]: Simplify (log -1) into (log -1) 3.192 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.192 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.193 * [backup-simplify]: Simplify (log (- (log -1) (log a))) into (log (- (log -1) (log a))) 3.193 * [backup-simplify]: Simplify (* 1/3 (log (- (log -1) (log a)))) into (* 1/3 (log (- (log -1) (log a)))) 3.193 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log -1) (log a))))) into (pow (- (log -1) (log a)) 1/3) 3.194 * [backup-simplify]: Simplify (pow (- (log -1) (log a)) 1/3) into (pow (- (log -1) (log a)) 1/3) 3.194 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.194 * [backup-simplify]: Simplify (+ 1 0) into 1 3.195 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 3.196 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.196 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow (- (log -1) (log a)) 1)))) 1) into (/ -1 (- (log -1) (log a))) 3.197 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1 (- (log -1) (log a)))) (* 0 (log (- (log -1) (log a))))) into (- (* 1/3 (/ 1 (- (log -1) (log a))))) 3.198 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log -1) (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (- (log -1) (log a))))) 1) 1)))) into (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) 3.198 * [backup-simplify]: Simplify (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) 3.199 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.199 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.199 * [backup-simplify]: Simplify (+ 0 0) into 0 3.201 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 3.201 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.203 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow (- (log -1) (log a)) 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow (- (log -1) (log a)) 1)))) 2) into (* -1/2 (+ (/ 1 (pow (- (log -1) (log a)) 2)) (/ 1 (- (log -1) (log a))))) 3.204 * [backup-simplify]: Simplify (+ (* 1/3 (* -1/2 (+ (/ 1 (pow (- (log -1) (log a)) 2)) (/ 1 (- (log -1) (log a)))))) (+ (* 0 (/ -1 (- (log -1) (log a)))) (* 0 (log (- (log -1) (log a)))))) into (- (+ (* 1/6 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a)))))) 3.206 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log -1) (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (- (log -1) (log a))))) 2) 2)) (* (/ (pow (- (+ (* 1/6 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a)))))) 1) 1)))) into (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) 3.206 * [backup-simplify]: Simplify (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) into (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) 3.208 * [backup-simplify]: Simplify (+ (* (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log (/ 1 (- a)))) 2))) (* 1/6 (/ 1 (- (log -1) (log (/ 1 (- a))))))) (pow (- (log -1) (log (/ 1 (- a)))) 1/3))) (pow (/ 1 (- a)) 2)) (+ (* (* -1/3 (pow (/ 1 (pow (- (log -1) (log (/ 1 (- a)))) 2)) 1/3)) (/ 1 (- a))) (pow (- (log -1) (log (/ 1 (- a)))) 1/3))) into (- (+ (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (pow (- (log -1) (log (/ -1 a))) 1/3)) (+ (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))))) 3.209 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 3.209 * [backup-simplify]: Simplify (cbrt (log1p a)) into (pow (log1p a) 1/3) 3.209 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0 3.209 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a 3.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a 3.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a 3.209 * [taylor]: Taking taylor expansion of 1/3 in a 3.209 * [backup-simplify]: Simplify 1/3 into 1/3 3.209 * [taylor]: Taking taylor expansion of (log (log1p a)) in a 3.209 * [taylor]: Taking taylor expansion of (log1p a) in a 3.209 * [taylor]: Rewrote expression to (log (+ 1 a)) 3.209 * [taylor]: Taking taylor expansion of (+ 1 a) in a 3.209 * [taylor]: Taking taylor expansion of 1 in a 3.209 * [backup-simplify]: Simplify 1 into 1 3.209 * [taylor]: Taking taylor expansion of a in a 3.209 * [backup-simplify]: Simplify 0 into 0 3.209 * [backup-simplify]: Simplify 1 into 1 3.209 * [backup-simplify]: Simplify (+ 1 0) into 1 3.209 * [backup-simplify]: Simplify (log 1) into 0 3.210 * [backup-simplify]: Simplify (+ 0 1) into 1 3.210 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.211 * [backup-simplify]: Simplify (log 1) into 0 3.211 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 3.211 * [backup-simplify]: Simplify (* 1/3 (log a)) into (* 1/3 (log a)) 3.211 * [backup-simplify]: Simplify (exp (* 1/3 (log a))) into (pow a 1/3) 3.211 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a 3.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a 3.211 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a 3.211 * [taylor]: Taking taylor expansion of 1/3 in a 3.211 * [backup-simplify]: Simplify 1/3 into 1/3 3.211 * [taylor]: Taking taylor expansion of (log (log1p a)) in a 3.211 * [taylor]: Taking taylor expansion of (log1p a) in a 3.211 * [taylor]: Rewrote expression to (log (+ 1 a)) 3.211 * [taylor]: Taking taylor expansion of (+ 1 a) in a 3.211 * [taylor]: Taking taylor expansion of 1 in a 3.211 * [backup-simplify]: Simplify 1 into 1 3.211 * [taylor]: Taking taylor expansion of a in a 3.211 * [backup-simplify]: Simplify 0 into 0 3.211 * [backup-simplify]: Simplify 1 into 1 3.212 * [backup-simplify]: Simplify (+ 1 0) into 1 3.212 * [backup-simplify]: Simplify (log 1) into 0 3.212 * [backup-simplify]: Simplify (+ 0 1) into 1 3.213 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.213 * [backup-simplify]: Simplify (log 1) into 0 3.213 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 3.213 * [backup-simplify]: Simplify (* 1/3 (log a)) into (* 1/3 (log a)) 3.213 * [backup-simplify]: Simplify (exp (* 1/3 (log a))) into (pow a 1/3) 3.213 * [backup-simplify]: Simplify (pow a 1/3) into (pow a 1/3) 3.214 * [backup-simplify]: Simplify (+ 0 0) into 0 3.215 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 3.216 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1/2) 1)) (pow 1 1)))) 1) into -1/2 3.216 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 3.217 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (* 0 (log a))) into (- 1/6) 3.217 * [backup-simplify]: Simplify (* (exp (* 1/3 (log a))) (+ (* (/ (pow (- 1/6) 1) 1)))) into (* -1/6 (pow a 1/3)) 3.217 * [backup-simplify]: Simplify (* -1/6 (pow a 1/3)) into (* -1/6 (pow a 1/3)) 3.218 * [backup-simplify]: Simplify (+ 0 0) into 0 3.220 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 3.222 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/3) 1)) (pow 1 1)))) 2) into 5/24 3.223 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 3.223 * [backup-simplify]: Simplify (+ (* 1/3 5/24) (+ (* 0 -1/2) (* 0 (log a)))) into 5/72 3.224 * [backup-simplify]: Simplify (* (exp (* 1/3 (log a))) (+ (* (/ (pow (- 1/6) 2) 2)) (* (/ (pow 5/72 1) 1)))) into (* 1/12 (pow a 1/3)) 3.224 * [backup-simplify]: Simplify (* 1/12 (pow a 1/3)) into (* 1/12 (pow a 1/3)) 3.224 * [backup-simplify]: Simplify (+ (* (* 1/12 (pow a 1/3)) (pow a 2)) (+ (* (* -1/6 (pow a 1/3)) a) (pow a 1/3))) into (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3))) 3.224 * [backup-simplify]: Simplify (cbrt (log1p (/ 1 a))) into (pow (log1p (/ 1 a)) 1/3) 3.224 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0 3.224 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a 3.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a 3.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a 3.225 * [taylor]: Taking taylor expansion of 1/3 in a 3.225 * [backup-simplify]: Simplify 1/3 into 1/3 3.225 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a 3.225 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 3.225 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 3.225 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 3.225 * [taylor]: Taking taylor expansion of 1 in a 3.225 * [backup-simplify]: Simplify 1 into 1 3.225 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.225 * [taylor]: Taking taylor expansion of a in a 3.225 * [backup-simplify]: Simplify 0 into 0 3.225 * [backup-simplify]: Simplify 1 into 1 3.225 * [backup-simplify]: Simplify (/ 1 1) into 1 3.225 * [backup-simplify]: Simplify (+ 0 1) into 1 3.226 * [backup-simplify]: Simplify (log 1) into 0 3.226 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.226 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.226 * [backup-simplify]: Simplify (log (- (log a))) into (log (- (log a))) 3.226 * [backup-simplify]: Simplify (* 1/3 (log (- (log a)))) into (* 1/3 (log (- (log a)))) 3.226 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log a))))) into (pow (- (log a)) 1/3) 3.226 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a 3.226 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a 3.226 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a 3.226 * [taylor]: Taking taylor expansion of 1/3 in a 3.226 * [backup-simplify]: Simplify 1/3 into 1/3 3.226 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a 3.226 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 3.226 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 3.226 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 3.226 * [taylor]: Taking taylor expansion of 1 in a 3.226 * [backup-simplify]: Simplify 1 into 1 3.227 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.227 * [taylor]: Taking taylor expansion of a in a 3.227 * [backup-simplify]: Simplify 0 into 0 3.227 * [backup-simplify]: Simplify 1 into 1 3.227 * [backup-simplify]: Simplify (/ 1 1) into 1 3.227 * [backup-simplify]: Simplify (+ 0 1) into 1 3.227 * [backup-simplify]: Simplify (log 1) into 0 3.228 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.228 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.228 * [backup-simplify]: Simplify (log (- (log a))) into (log (- (log a))) 3.228 * [backup-simplify]: Simplify (* 1/3 (log (- (log a)))) into (* 1/3 (log (- (log a)))) 3.228 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log a))))) into (pow (- (log a)) 1/3) 3.228 * [backup-simplify]: Simplify (pow (- (log a)) 1/3) into (pow (- (log a)) 1/3) 3.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.229 * [backup-simplify]: Simplify (+ 1 0) into 1 3.230 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.230 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.230 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (- (log a)) 1)))) 1) into (/ -1 (log a)) 3.231 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1 (log a))) (* 0 (log (- (log a))))) into (- (* 1/3 (/ 1 (log a)))) 3.231 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (log a)))) 1) 1)))) into (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) 3.231 * [backup-simplify]: Simplify (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) into (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) 3.231 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.232 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.232 * [backup-simplify]: Simplify (+ 0 0) into 0 3.235 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 3.235 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.237 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (- (log a)) 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow (- (log a)) 1)))) 2) into (* 1/2 (- (/ 1 (log a)) (/ 1 (pow (log a) 2)))) 3.238 * [backup-simplify]: Simplify (+ (* 1/3 (* 1/2 (- (/ 1 (log a)) (/ 1 (pow (log a) 2))))) (+ (* 0 (/ -1 (log a))) (* 0 (log (- (log a)))))) into (- (* 1/6 (/ 1 (log a))) (* 1/6 (/ 1 (pow (log a) 2)))) 3.238 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (log a)))) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (log a))) (* 1/6 (/ 1 (pow (log a) 2)))) 1) 1)))) into (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) 3.239 * [backup-simplify]: Simplify (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) into (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) 3.240 * [backup-simplify]: Simplify (+ (* (* (- (* 1/6 (/ 1 (log (/ 1 a)))) (* 1/9 (/ 1 (pow (log (/ 1 a)) 2)))) (pow (* (log (/ 1 a)) -1) 1/3)) (pow (/ 1 a) 2)) (+ (* (* -1/3 (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)) (/ 1 a)) (pow (- (log (/ 1 a))) 1/3))) into (- (+ (pow (- (log (/ 1 a))) 1/3) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3))) (* 1/3 (* (/ 1 a) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3))))) 3.240 * [backup-simplify]: Simplify (cbrt (log1p (/ 1 (- a)))) into (pow (log1p (/ -1 a)) 1/3) 3.240 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0 3.240 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a 3.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a 3.240 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a 3.240 * [taylor]: Taking taylor expansion of 1/3 in a 3.240 * [backup-simplify]: Simplify 1/3 into 1/3 3.240 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a 3.240 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 3.240 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 3.240 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 3.241 * [taylor]: Taking taylor expansion of 1 in a 3.241 * [backup-simplify]: Simplify 1 into 1 3.241 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.241 * [taylor]: Taking taylor expansion of -1 in a 3.241 * [backup-simplify]: Simplify -1 into -1 3.241 * [taylor]: Taking taylor expansion of a in a 3.241 * [backup-simplify]: Simplify 0 into 0 3.241 * [backup-simplify]: Simplify 1 into 1 3.241 * [backup-simplify]: Simplify (/ -1 1) into -1 3.242 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.242 * [backup-simplify]: Simplify (log -1) into (log -1) 3.243 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.244 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.244 * [backup-simplify]: Simplify (log (- (log -1) (log a))) into (log (- (log -1) (log a))) 3.245 * [backup-simplify]: Simplify (* 1/3 (log (- (log -1) (log a)))) into (* 1/3 (log (- (log -1) (log a)))) 3.246 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log -1) (log a))))) into (pow (- (log -1) (log a)) 1/3) 3.246 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a 3.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a 3.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a 3.246 * [taylor]: Taking taylor expansion of 1/3 in a 3.246 * [backup-simplify]: Simplify 1/3 into 1/3 3.246 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a 3.246 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 3.246 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 3.246 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 3.246 * [taylor]: Taking taylor expansion of 1 in a 3.246 * [backup-simplify]: Simplify 1 into 1 3.246 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.246 * [taylor]: Taking taylor expansion of -1 in a 3.246 * [backup-simplify]: Simplify -1 into -1 3.246 * [taylor]: Taking taylor expansion of a in a 3.246 * [backup-simplify]: Simplify 0 into 0 3.246 * [backup-simplify]: Simplify 1 into 1 3.247 * [backup-simplify]: Simplify (/ -1 1) into -1 3.247 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.248 * [backup-simplify]: Simplify (log -1) into (log -1) 3.249 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.250 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.250 * [backup-simplify]: Simplify (log (- (log -1) (log a))) into (log (- (log -1) (log a))) 3.251 * [backup-simplify]: Simplify (* 1/3 (log (- (log -1) (log a)))) into (* 1/3 (log (- (log -1) (log a)))) 3.251 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log -1) (log a))))) into (pow (- (log -1) (log a)) 1/3) 3.252 * [backup-simplify]: Simplify (pow (- (log -1) (log a)) 1/3) into (pow (- (log -1) (log a)) 1/3) 3.253 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.253 * [backup-simplify]: Simplify (+ 1 0) into 1 3.255 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 3.256 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.257 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow (- (log -1) (log a)) 1)))) 1) into (/ -1 (- (log -1) (log a))) 3.258 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1 (- (log -1) (log a)))) (* 0 (log (- (log -1) (log a))))) into (- (* 1/3 (/ 1 (- (log -1) (log a))))) 3.259 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log -1) (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (- (log -1) (log a))))) 1) 1)))) into (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) 3.260 * [backup-simplify]: Simplify (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) 3.261 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.262 * [backup-simplify]: Simplify (+ 0 0) into 0 3.265 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 3.266 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.268 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow (- (log -1) (log a)) 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow (- (log -1) (log a)) 1)))) 2) into (* -1/2 (+ (/ 1 (pow (- (log -1) (log a)) 2)) (/ 1 (- (log -1) (log a))))) 3.271 * [backup-simplify]: Simplify (+ (* 1/3 (* -1/2 (+ (/ 1 (pow (- (log -1) (log a)) 2)) (/ 1 (- (log -1) (log a)))))) (+ (* 0 (/ -1 (- (log -1) (log a)))) (* 0 (log (- (log -1) (log a)))))) into (- (+ (* 1/6 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a)))))) 3.273 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log -1) (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (- (log -1) (log a))))) 2) 2)) (* (/ (pow (- (+ (* 1/6 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a)))))) 1) 1)))) into (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) 3.274 * [backup-simplify]: Simplify (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) into (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) 3.277 * [backup-simplify]: Simplify (+ (* (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log (/ 1 (- a)))) 2))) (* 1/6 (/ 1 (- (log -1) (log (/ 1 (- a))))))) (pow (- (log -1) (log (/ 1 (- a)))) 1/3))) (pow (/ 1 (- a)) 2)) (+ (* (* -1/3 (pow (/ 1 (pow (- (log -1) (log (/ 1 (- a)))) 2)) 1/3)) (/ 1 (- a))) (pow (- (log -1) (log (/ 1 (- a)))) 1/3))) into (- (+ (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (pow (- (log -1) (log (/ -1 a))) 1/3)) (+ (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))))) 3.277 * * * [progress]: simplifying candidates 3.277 * * * * [progress]: [ 1 / 64 ] simplifiying candidate # 3.277 * * * * [progress]: [ 2 / 64 ] simplifiying candidate # 3.277 * * * * [progress]: [ 3 / 64 ] simplifiying candidate # 3.277 * * * * [progress]: [ 4 / 64 ] simplifiying candidate # 3.277 * * * * [progress]: [ 5 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 6 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 7 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 8 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 9 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 10 / 64 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> 3.278 * * * * [progress]: [ 11 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 12 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 13 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 14 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 15 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 16 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 17 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 18 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 19 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 20 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 21 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 22 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 23 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 24 / 64 ] simplifiying candidate #real (real->posit16 (cbrt (log1p a)))))))> 3.278 * * * * [progress]: [ 25 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 26 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 27 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 28 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 29 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 30 / 64 ] simplifiying candidate # 3.278 * * * * [progress]: [ 31 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 32 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 33 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 34 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 35 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 36 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 37 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 38 / 64 ] simplifiying candidate #real (real->posit16 (cbrt (log1p a))))) (cbrt (log1p a)))))> 3.279 * * * * [progress]: [ 39 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 40 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 41 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 42 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 43 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 44 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 45 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 46 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 47 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 48 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 49 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 50 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 51 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 52 / 64 ] simplifiying candidate #real (real->posit16 (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> 3.279 * * * * [progress]: [ 53 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 54 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 55 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 56 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 57 / 64 ] simplifiying candidate # 3.279 * * * * [progress]: [ 58 / 64 ] simplifiying candidate # 3.280 * * * * [progress]: [ 59 / 64 ] simplifiying candidate # 3.280 * * * * [progress]: [ 60 / 64 ] simplifiying candidate # 3.280 * * * * [progress]: [ 61 / 64 ] simplifiying candidate # 3.280 * * * * [progress]: [ 62 / 64 ] simplifiying candidate # 3.280 * * * * [progress]: [ 63 / 64 ] simplifiying candidate # 3.280 * * * * [progress]: [ 64 / 64 ] simplifiying candidate # 3.280 * [simplify]: Simplifying (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (real->posit16 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (expm1 (cbrt (log1p a))), (log1p (cbrt (log1p a))), (log (cbrt (log1p a))), (exp (cbrt (log1p a))), (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt 1), (cbrt (log1p a)), (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (real->posit16 (cbrt (log1p a))), (expm1 (cbrt (log1p a))), (log1p (cbrt (log1p a))), (log (cbrt (log1p a))), (exp (cbrt (log1p a))), (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt 1), (cbrt (log1p a)), (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (real->posit16 (cbrt (log1p a))), (expm1 (cbrt (log1p a))), (log1p (cbrt (log1p a))), (log (cbrt (log1p a))), (exp (cbrt (log1p a))), (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt 1), (cbrt (log1p a)), (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (real->posit16 (cbrt (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3))), (- (+ (pow (- (log (/ 1 a))) 1/3) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3))) (* 1/3 (* (/ 1 a) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3))))), (- (+ (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (pow (- (log -1) (log (/ -1 a))) 1/3)) (+ (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))))), (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3))), (- (+ (pow (- (log (/ 1 a))) 1/3) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3))) (* 1/3 (* (/ 1 a) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3))))), (- (+ (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (pow (- (log -1) (log (/ -1 a))) 1/3)) (+ (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))))), (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3))), (- (+ (pow (- (log (/ 1 a))) 1/3) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3))) (* 1/3 (* (/ 1 a) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3))))), (- (+ (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (pow (- (log -1) (log (/ -1 a))) 1/3)) (+ (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))))) 3.281 * * [simplify]: iteration 1: (91 enodes) 3.317 * * [simplify]: iteration 2: (392 enodes) 3.434 * * [simplify]: iteration 3: (824 enodes) 3.825 * * [simplify]: Extracting #0: cost 26 inf + 0 3.825 * * [simplify]: Extracting #1: cost 130 inf + 1 3.828 * * [simplify]: Extracting #2: cost 378 inf + 524 3.833 * * [simplify]: Extracting #3: cost 474 inf + 11966 3.841 * * [simplify]: Extracting #4: cost 437 inf + 22014 3.859 * * [simplify]: Extracting #5: cost 306 inf + 72647 3.882 * * [simplify]: Extracting #6: cost 180 inf + 125910 3.917 * * [simplify]: Extracting #7: cost 111 inf + 164569 3.966 * * [simplify]: Extracting #8: cost 12 inf + 229386 4.041 * * [simplify]: Extracting #9: cost 0 inf + 238522 4.091 * [simplify]: Simplified to (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (cbrt (log1p a))), (log1p (cbrt (log1p a))), (log (cbrt (log1p a))), (exp (cbrt (log1p a))), (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt (sqrt (log1p a))), 1, (cbrt (log1p a)), (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (log1p a), (sqrt (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (real->posit16 (cbrt (log1p a))), (expm1 (cbrt (log1p a))), (log1p (cbrt (log1p a))), (log (cbrt (log1p a))), (exp (cbrt (log1p a))), (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt (sqrt (log1p a))), 1, (cbrt (log1p a)), (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (log1p a), (sqrt (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (real->posit16 (cbrt (log1p a))), (expm1 (cbrt (log1p a))), (log1p (cbrt (log1p a))), (log (cbrt (log1p a))), (exp (cbrt (log1p a))), (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt (sqrt (log1p a))), 1, (cbrt (log1p a)), (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (log1p a), (sqrt (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (real->posit16 (cbrt (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fma (cbrt (* (* a a) (* a a))) -1/6 (fma 1/12 (cbrt (pow a 7)) (cbrt a))), (- (fma (/ 1/6 (* a a)) (cbrt (/ -1 (* (log a) (log a)))) (cbrt (log a))) (fma 1/3 (/ (cbrt (/ -1 (* (log a) (log a)))) a) (* (cbrt (/ -1 (pow (- (log a)) 5))) (/ 1/9 (* a a))))), (- (fma (/ 1/3 a) (cbrt (/ (/ 1 (+ 0 (log a))) (+ 0 (log a)))) (cbrt (+ 0 (log a)))) (fma (/ 1/9 (* a a)) (cbrt (/ 1 (pow (+ 0 (log a)) 5))) (/ (* 1/6 (cbrt (/ (/ 1 (+ 0 (log a))) (+ 0 (log a))))) (* a a)))), (fma (cbrt (* (* a a) (* a a))) -1/6 (fma 1/12 (cbrt (pow a 7)) (cbrt a))), (- (fma (/ 1/6 (* a a)) (cbrt (/ -1 (* (log a) (log a)))) (cbrt (log a))) (fma 1/3 (/ (cbrt (/ -1 (* (log a) (log a)))) a) (* (cbrt (/ -1 (pow (- (log a)) 5))) (/ 1/9 (* a a))))), (- (fma (/ 1/3 a) (cbrt (/ (/ 1 (+ 0 (log a))) (+ 0 (log a)))) (cbrt (+ 0 (log a)))) (fma (/ 1/9 (* a a)) (cbrt (/ 1 (pow (+ 0 (log a)) 5))) (/ (* 1/6 (cbrt (/ (/ 1 (+ 0 (log a))) (+ 0 (log a))))) (* a a)))), (fma (cbrt (* (* a a) (* a a))) -1/6 (fma 1/12 (cbrt (pow a 7)) (cbrt a))), (- (fma (/ 1/6 (* a a)) (cbrt (/ -1 (* (log a) (log a)))) (cbrt (log a))) (fma 1/3 (/ (cbrt (/ -1 (* (log a) (log a)))) a) (* (cbrt (/ -1 (pow (- (log a)) 5))) (/ 1/9 (* a a))))), (- (fma (/ 1/3 a) (cbrt (/ (/ 1 (+ 0 (log a))) (+ 0 (log a)))) (cbrt (+ 0 (log a)))) (fma (/ 1/9 (* a a)) (cbrt (/ 1 (pow (+ 0 (log a)) 5))) (/ (* 1/6 (cbrt (/ (/ 1 (+ 0 (log a))) (+ 0 (log a))))) (* a a)))) 4.095 * * * [progress]: adding candidates to table 5.000 * * [progress]: iteration 3 / 4 5.001 * * * [progress]: picking best candidate 5.110 * * * * [pick]: Picked # 5.110 * * * [progress]: localizing error 5.153 * * * [progress]: generating rewritten candidates 5.154 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 5.154 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 5.154 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 5.155 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 2) 5.156 * * * [progress]: generating series expansions 5.156 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 5.156 * [backup-simplify]: Simplify (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) into (fmod (cosh c) (log1p a)) 5.156 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.156 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.156 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.156 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.156 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.156 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.156 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.157 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.157 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.157 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.157 * [taylor]: Taking taylor expansion of 0 in a 5.157 * [backup-simplify]: Simplify 0 into 0 5.157 * [backup-simplify]: Simplify 0 into 0 5.157 * [backup-simplify]: Simplify 0 into 0 5.157 * [taylor]: Taking taylor expansion of 0 in a 5.157 * [backup-simplify]: Simplify 0 into 0 5.157 * [backup-simplify]: Simplify 0 into 0 5.157 * [backup-simplify]: Simplify 0 into 0 5.157 * [backup-simplify]: Simplify 0 into 0 5.157 * [taylor]: Taking taylor expansion of 0 in a 5.157 * [backup-simplify]: Simplify 0 into 0 5.157 * [backup-simplify]: Simplify 0 into 0 5.157 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.157 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (* (* (cbrt (log1p (/ 1 a))) (cbrt (log1p (/ 1 a)))) (cbrt (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.157 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.157 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.157 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.157 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.157 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.157 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.158 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.158 * [taylor]: Taking taylor expansion of 0 in a 5.158 * [backup-simplify]: Simplify 0 into 0 5.158 * [backup-simplify]: Simplify 0 into 0 5.158 * [backup-simplify]: Simplify 0 into 0 5.158 * [taylor]: Taking taylor expansion of 0 in a 5.158 * [backup-simplify]: Simplify 0 into 0 5.158 * [backup-simplify]: Simplify 0 into 0 5.158 * [backup-simplify]: Simplify 0 into 0 5.158 * [backup-simplify]: Simplify 0 into 0 5.158 * [taylor]: Taking taylor expansion of 0 in a 5.158 * [backup-simplify]: Simplify 0 into 0 5.158 * [backup-simplify]: Simplify 0 into 0 5.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (* (* (cbrt (log1p (/ 1 (- a)))) (cbrt (log1p (/ 1 (- a))))) (cbrt (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.158 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.158 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.159 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.159 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.159 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.159 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.159 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.159 * [taylor]: Taking taylor expansion of 0 in a 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [taylor]: Taking taylor expansion of 0 in a 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [taylor]: Taking taylor expansion of 0 in a 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.159 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 5.159 * [backup-simplify]: Simplify (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) into (fmod (cosh c) (log1p a)) 5.159 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.159 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.160 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.160 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.160 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.160 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.160 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.160 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.160 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.160 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.160 * [taylor]: Taking taylor expansion of 0 in a 5.160 * [backup-simplify]: Simplify 0 into 0 5.160 * [backup-simplify]: Simplify 0 into 0 5.160 * [backup-simplify]: Simplify 0 into 0 5.160 * [taylor]: Taking taylor expansion of 0 in a 5.160 * [backup-simplify]: Simplify 0 into 0 5.160 * [backup-simplify]: Simplify 0 into 0 5.160 * [backup-simplify]: Simplify 0 into 0 5.160 * [backup-simplify]: Simplify 0 into 0 5.160 * [taylor]: Taking taylor expansion of 0 in a 5.160 * [backup-simplify]: Simplify 0 into 0 5.160 * [backup-simplify]: Simplify 0 into 0 5.160 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.160 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (* (* (cbrt (log1p (/ 1 a))) (cbrt (log1p (/ 1 a)))) (cbrt (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.160 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.160 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.160 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.161 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.161 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.161 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.161 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.161 * [taylor]: Taking taylor expansion of 0 in a 5.161 * [backup-simplify]: Simplify 0 into 0 5.161 * [backup-simplify]: Simplify 0 into 0 5.161 * [backup-simplify]: Simplify 0 into 0 5.161 * [taylor]: Taking taylor expansion of 0 in a 5.161 * [backup-simplify]: Simplify 0 into 0 5.161 * [backup-simplify]: Simplify 0 into 0 5.161 * [backup-simplify]: Simplify 0 into 0 5.161 * [backup-simplify]: Simplify 0 into 0 5.161 * [taylor]: Taking taylor expansion of 0 in a 5.161 * [backup-simplify]: Simplify 0 into 0 5.161 * [backup-simplify]: Simplify 0 into 0 5.161 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.161 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (* (* (cbrt (log1p (/ 1 (- a)))) (cbrt (log1p (/ 1 (- a))))) (cbrt (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.161 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.161 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.161 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.161 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.161 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.161 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.162 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.162 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.162 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.162 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.162 * [taylor]: Taking taylor expansion of 0 in a 5.162 * [backup-simplify]: Simplify 0 into 0 5.162 * [backup-simplify]: Simplify 0 into 0 5.162 * [backup-simplify]: Simplify 0 into 0 5.162 * [taylor]: Taking taylor expansion of 0 in a 5.162 * [backup-simplify]: Simplify 0 into 0 5.162 * [backup-simplify]: Simplify 0 into 0 5.162 * [backup-simplify]: Simplify 0 into 0 5.162 * [backup-simplify]: Simplify 0 into 0 5.162 * [taylor]: Taking taylor expansion of 0 in a 5.162 * [backup-simplify]: Simplify 0 into 0 5.162 * [backup-simplify]: Simplify 0 into 0 5.162 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.162 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 5.162 * [backup-simplify]: Simplify (cbrt (log1p a)) into (pow (log1p a) 1/3) 5.162 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0 5.162 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a 5.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a 5.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a 5.162 * [taylor]: Taking taylor expansion of 1/3 in a 5.162 * [backup-simplify]: Simplify 1/3 into 1/3 5.162 * [taylor]: Taking taylor expansion of (log (log1p a)) in a 5.162 * [taylor]: Taking taylor expansion of (log1p a) in a 5.162 * [taylor]: Rewrote expression to (log (+ 1 a)) 5.162 * [taylor]: Taking taylor expansion of (+ 1 a) in a 5.162 * [taylor]: Taking taylor expansion of 1 in a 5.162 * [backup-simplify]: Simplify 1 into 1 5.162 * [taylor]: Taking taylor expansion of a in a 5.162 * [backup-simplify]: Simplify 0 into 0 5.162 * [backup-simplify]: Simplify 1 into 1 5.163 * [backup-simplify]: Simplify (+ 1 0) into 1 5.163 * [backup-simplify]: Simplify (log 1) into 0 5.163 * [backup-simplify]: Simplify (+ 0 1) into 1 5.164 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.164 * [backup-simplify]: Simplify (log 1) into 0 5.165 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 5.165 * [backup-simplify]: Simplify (* 1/3 (log a)) into (* 1/3 (log a)) 5.165 * [backup-simplify]: Simplify (exp (* 1/3 (log a))) into (pow a 1/3) 5.165 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a 5.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a 5.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a 5.165 * [taylor]: Taking taylor expansion of 1/3 in a 5.165 * [backup-simplify]: Simplify 1/3 into 1/3 5.165 * [taylor]: Taking taylor expansion of (log (log1p a)) in a 5.165 * [taylor]: Taking taylor expansion of (log1p a) in a 5.165 * [taylor]: Rewrote expression to (log (+ 1 a)) 5.165 * [taylor]: Taking taylor expansion of (+ 1 a) in a 5.165 * [taylor]: Taking taylor expansion of 1 in a 5.165 * [backup-simplify]: Simplify 1 into 1 5.165 * [taylor]: Taking taylor expansion of a in a 5.165 * [backup-simplify]: Simplify 0 into 0 5.165 * [backup-simplify]: Simplify 1 into 1 5.165 * [backup-simplify]: Simplify (+ 1 0) into 1 5.166 * [backup-simplify]: Simplify (log 1) into 0 5.166 * [backup-simplify]: Simplify (+ 0 1) into 1 5.167 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.167 * [backup-simplify]: Simplify (log 1) into 0 5.167 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 5.167 * [backup-simplify]: Simplify (* 1/3 (log a)) into (* 1/3 (log a)) 5.167 * [backup-simplify]: Simplify (exp (* 1/3 (log a))) into (pow a 1/3) 5.167 * [backup-simplify]: Simplify (pow a 1/3) into (pow a 1/3) 5.168 * [backup-simplify]: Simplify (+ 0 0) into 0 5.173 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 5.174 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1/2) 1)) (pow 1 1)))) 1) into -1/2 5.174 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 5.175 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (* 0 (log a))) into (- 1/6) 5.175 * [backup-simplify]: Simplify (* (exp (* 1/3 (log a))) (+ (* (/ (pow (- 1/6) 1) 1)))) into (* -1/6 (pow a 1/3)) 5.175 * [backup-simplify]: Simplify (* -1/6 (pow a 1/3)) into (* -1/6 (pow a 1/3)) 5.176 * [backup-simplify]: Simplify (+ 0 0) into 0 5.179 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 5.181 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/3) 1)) (pow 1 1)))) 2) into 5/24 5.181 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 5.182 * [backup-simplify]: Simplify (+ (* 1/3 5/24) (+ (* 0 -1/2) (* 0 (log a)))) into 5/72 5.184 * [backup-simplify]: Simplify (* (exp (* 1/3 (log a))) (+ (* (/ (pow (- 1/6) 2) 2)) (* (/ (pow 5/72 1) 1)))) into (* 1/12 (pow a 1/3)) 5.184 * [backup-simplify]: Simplify (* 1/12 (pow a 1/3)) into (* 1/12 (pow a 1/3)) 5.185 * [backup-simplify]: Simplify (+ (* (* 1/12 (pow a 1/3)) (pow a 2)) (+ (* (* -1/6 (pow a 1/3)) a) (pow a 1/3))) into (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3))) 5.185 * [backup-simplify]: Simplify (cbrt (log1p (/ 1 a))) into (pow (log1p (/ 1 a)) 1/3) 5.185 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0 5.185 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a 5.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a 5.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a 5.185 * [taylor]: Taking taylor expansion of 1/3 in a 5.185 * [backup-simplify]: Simplify 1/3 into 1/3 5.185 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a 5.185 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 5.185 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 5.185 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 5.185 * [taylor]: Taking taylor expansion of 1 in a 5.185 * [backup-simplify]: Simplify 1 into 1 5.185 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.185 * [taylor]: Taking taylor expansion of a in a 5.185 * [backup-simplify]: Simplify 0 into 0 5.185 * [backup-simplify]: Simplify 1 into 1 5.186 * [backup-simplify]: Simplify (/ 1 1) into 1 5.186 * [backup-simplify]: Simplify (+ 0 1) into 1 5.187 * [backup-simplify]: Simplify (log 1) into 0 5.187 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.188 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.188 * [backup-simplify]: Simplify (log (- (log a))) into (log (- (log a))) 5.188 * [backup-simplify]: Simplify (* 1/3 (log (- (log a)))) into (* 1/3 (log (- (log a)))) 5.188 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log a))))) into (pow (- (log a)) 1/3) 5.188 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a 5.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a 5.188 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a 5.188 * [taylor]: Taking taylor expansion of 1/3 in a 5.188 * [backup-simplify]: Simplify 1/3 into 1/3 5.188 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a 5.188 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 5.188 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 5.188 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 5.188 * [taylor]: Taking taylor expansion of 1 in a 5.188 * [backup-simplify]: Simplify 1 into 1 5.188 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.188 * [taylor]: Taking taylor expansion of a in a 5.188 * [backup-simplify]: Simplify 0 into 0 5.188 * [backup-simplify]: Simplify 1 into 1 5.189 * [backup-simplify]: Simplify (/ 1 1) into 1 5.189 * [backup-simplify]: Simplify (+ 0 1) into 1 5.189 * [backup-simplify]: Simplify (log 1) into 0 5.190 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.190 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.190 * [backup-simplify]: Simplify (log (- (log a))) into (log (- (log a))) 5.191 * [backup-simplify]: Simplify (* 1/3 (log (- (log a)))) into (* 1/3 (log (- (log a)))) 5.191 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log a))))) into (pow (- (log a)) 1/3) 5.191 * [backup-simplify]: Simplify (pow (- (log a)) 1/3) into (pow (- (log a)) 1/3) 5.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.192 * [backup-simplify]: Simplify (+ 1 0) into 1 5.193 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.194 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.194 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (- (log a)) 1)))) 1) into (/ -1 (log a)) 5.195 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1 (log a))) (* 0 (log (- (log a))))) into (- (* 1/3 (/ 1 (log a)))) 5.195 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (log a)))) 1) 1)))) into (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) 5.195 * [backup-simplify]: Simplify (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) into (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) 5.196 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.197 * [backup-simplify]: Simplify (+ 0 0) into 0 5.200 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 5.201 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.203 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (- (log a)) 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow (- (log a)) 1)))) 2) into (* 1/2 (- (/ 1 (log a)) (/ 1 (pow (log a) 2)))) 5.203 * [backup-simplify]: Simplify (+ (* 1/3 (* 1/2 (- (/ 1 (log a)) (/ 1 (pow (log a) 2))))) (+ (* 0 (/ -1 (log a))) (* 0 (log (- (log a)))))) into (- (* 1/6 (/ 1 (log a))) (* 1/6 (/ 1 (pow (log a) 2)))) 5.204 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (log a)))) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (log a))) (* 1/6 (/ 1 (pow (log a) 2)))) 1) 1)))) into (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) 5.204 * [backup-simplify]: Simplify (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) into (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) 5.205 * [backup-simplify]: Simplify (+ (* (* (- (* 1/6 (/ 1 (log (/ 1 a)))) (* 1/9 (/ 1 (pow (log (/ 1 a)) 2)))) (pow (* (log (/ 1 a)) -1) 1/3)) (pow (/ 1 a) 2)) (+ (* (* -1/3 (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)) (/ 1 a)) (pow (- (log (/ 1 a))) 1/3))) into (- (+ (pow (- (log (/ 1 a))) 1/3) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3))) (* 1/3 (* (/ 1 a) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3))))) 5.205 * [backup-simplify]: Simplify (cbrt (log1p (/ 1 (- a)))) into (pow (log1p (/ -1 a)) 1/3) 5.205 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0 5.205 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a 5.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a 5.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a 5.205 * [taylor]: Taking taylor expansion of 1/3 in a 5.205 * [backup-simplify]: Simplify 1/3 into 1/3 5.205 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a 5.205 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 5.205 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 5.205 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 5.205 * [taylor]: Taking taylor expansion of 1 in a 5.205 * [backup-simplify]: Simplify 1 into 1 5.205 * [taylor]: Taking taylor expansion of (/ -1 a) in a 5.205 * [taylor]: Taking taylor expansion of -1 in a 5.205 * [backup-simplify]: Simplify -1 into -1 5.205 * [taylor]: Taking taylor expansion of a in a 5.205 * [backup-simplify]: Simplify 0 into 0 5.205 * [backup-simplify]: Simplify 1 into 1 5.206 * [backup-simplify]: Simplify (/ -1 1) into -1 5.206 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.206 * [backup-simplify]: Simplify (log -1) into (log -1) 5.207 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.207 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.208 * [backup-simplify]: Simplify (log (- (log -1) (log a))) into (log (- (log -1) (log a))) 5.208 * [backup-simplify]: Simplify (* 1/3 (log (- (log -1) (log a)))) into (* 1/3 (log (- (log -1) (log a)))) 5.208 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log -1) (log a))))) into (pow (- (log -1) (log a)) 1/3) 5.208 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a 5.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a 5.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a 5.208 * [taylor]: Taking taylor expansion of 1/3 in a 5.208 * [backup-simplify]: Simplify 1/3 into 1/3 5.208 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a 5.208 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 5.208 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 5.208 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 5.208 * [taylor]: Taking taylor expansion of 1 in a 5.208 * [backup-simplify]: Simplify 1 into 1 5.208 * [taylor]: Taking taylor expansion of (/ -1 a) in a 5.208 * [taylor]: Taking taylor expansion of -1 in a 5.208 * [backup-simplify]: Simplify -1 into -1 5.208 * [taylor]: Taking taylor expansion of a in a 5.208 * [backup-simplify]: Simplify 0 into 0 5.209 * [backup-simplify]: Simplify 1 into 1 5.209 * [backup-simplify]: Simplify (/ -1 1) into -1 5.209 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.209 * [backup-simplify]: Simplify (log -1) into (log -1) 5.210 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.210 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.211 * [backup-simplify]: Simplify (log (- (log -1) (log a))) into (log (- (log -1) (log a))) 5.211 * [backup-simplify]: Simplify (* 1/3 (log (- (log -1) (log a)))) into (* 1/3 (log (- (log -1) (log a)))) 5.211 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log -1) (log a))))) into (pow (- (log -1) (log a)) 1/3) 5.212 * [backup-simplify]: Simplify (pow (- (log -1) (log a)) 1/3) into (pow (- (log -1) (log a)) 1/3) 5.212 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.212 * [backup-simplify]: Simplify (+ 1 0) into 1 5.213 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 5.214 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.214 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow (- (log -1) (log a)) 1)))) 1) into (/ -1 (- (log -1) (log a))) 5.215 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1 (- (log -1) (log a)))) (* 0 (log (- (log -1) (log a))))) into (- (* 1/3 (/ 1 (- (log -1) (log a))))) 5.216 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log -1) (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (- (log -1) (log a))))) 1) 1)))) into (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) 5.216 * [backup-simplify]: Simplify (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) 5.217 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.217 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.217 * [backup-simplify]: Simplify (+ 0 0) into 0 5.219 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 5.220 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.221 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow (- (log -1) (log a)) 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow (- (log -1) (log a)) 1)))) 2) into (* -1/2 (+ (/ 1 (pow (- (log -1) (log a)) 2)) (/ 1 (- (log -1) (log a))))) 5.222 * [backup-simplify]: Simplify (+ (* 1/3 (* -1/2 (+ (/ 1 (pow (- (log -1) (log a)) 2)) (/ 1 (- (log -1) (log a)))))) (+ (* 0 (/ -1 (- (log -1) (log a)))) (* 0 (log (- (log -1) (log a)))))) into (- (+ (* 1/6 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a)))))) 5.224 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log -1) (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (- (log -1) (log a))))) 2) 2)) (* (/ (pow (- (+ (* 1/6 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a)))))) 1) 1)))) into (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) 5.225 * [backup-simplify]: Simplify (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) into (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) 5.227 * [backup-simplify]: Simplify (+ (* (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log (/ 1 (- a)))) 2))) (* 1/6 (/ 1 (- (log -1) (log (/ 1 (- a))))))) (pow (- (log -1) (log (/ 1 (- a)))) 1/3))) (pow (/ 1 (- a)) 2)) (+ (* (* -1/3 (pow (/ 1 (pow (- (log -1) (log (/ 1 (- a)))) 2)) 1/3)) (/ 1 (- a))) (pow (- (log -1) (log (/ 1 (- a)))) 1/3))) into (- (+ (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (pow (- (log -1) (log (/ -1 a))) 1/3)) (+ (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))))) 5.227 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 2) 5.227 * [backup-simplify]: Simplify (cbrt (log1p a)) into (pow (log1p a) 1/3) 5.227 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0 5.227 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a 5.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a 5.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a 5.227 * [taylor]: Taking taylor expansion of 1/3 in a 5.227 * [backup-simplify]: Simplify 1/3 into 1/3 5.227 * [taylor]: Taking taylor expansion of (log (log1p a)) in a 5.227 * [taylor]: Taking taylor expansion of (log1p a) in a 5.227 * [taylor]: Rewrote expression to (log (+ 1 a)) 5.227 * [taylor]: Taking taylor expansion of (+ 1 a) in a 5.227 * [taylor]: Taking taylor expansion of 1 in a 5.227 * [backup-simplify]: Simplify 1 into 1 5.227 * [taylor]: Taking taylor expansion of a in a 5.227 * [backup-simplify]: Simplify 0 into 0 5.227 * [backup-simplify]: Simplify 1 into 1 5.228 * [backup-simplify]: Simplify (+ 1 0) into 1 5.228 * [backup-simplify]: Simplify (log 1) into 0 5.228 * [backup-simplify]: Simplify (+ 0 1) into 1 5.229 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.229 * [backup-simplify]: Simplify (log 1) into 0 5.230 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 5.230 * [backup-simplify]: Simplify (* 1/3 (log a)) into (* 1/3 (log a)) 5.230 * [backup-simplify]: Simplify (exp (* 1/3 (log a))) into (pow a 1/3) 5.230 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a 5.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a 5.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a 5.230 * [taylor]: Taking taylor expansion of 1/3 in a 5.230 * [backup-simplify]: Simplify 1/3 into 1/3 5.230 * [taylor]: Taking taylor expansion of (log (log1p a)) in a 5.230 * [taylor]: Taking taylor expansion of (log1p a) in a 5.230 * [taylor]: Rewrote expression to (log (+ 1 a)) 5.230 * [taylor]: Taking taylor expansion of (+ 1 a) in a 5.230 * [taylor]: Taking taylor expansion of 1 in a 5.230 * [backup-simplify]: Simplify 1 into 1 5.230 * [taylor]: Taking taylor expansion of a in a 5.230 * [backup-simplify]: Simplify 0 into 0 5.230 * [backup-simplify]: Simplify 1 into 1 5.230 * [backup-simplify]: Simplify (+ 1 0) into 1 5.231 * [backup-simplify]: Simplify (log 1) into 0 5.231 * [backup-simplify]: Simplify (+ 0 1) into 1 5.232 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.232 * [backup-simplify]: Simplify (log 1) into 0 5.233 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 5.233 * [backup-simplify]: Simplify (* 1/3 (log a)) into (* 1/3 (log a)) 5.233 * [backup-simplify]: Simplify (exp (* 1/3 (log a))) into (pow a 1/3) 5.233 * [backup-simplify]: Simplify (pow a 1/3) into (pow a 1/3) 5.233 * [backup-simplify]: Simplify (+ 0 0) into 0 5.237 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 5.238 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1/2) 1)) (pow 1 1)))) 1) into -1/2 5.239 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 5.239 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (* 0 (log a))) into (- 1/6) 5.241 * [backup-simplify]: Simplify (* (exp (* 1/3 (log a))) (+ (* (/ (pow (- 1/6) 1) 1)))) into (* -1/6 (pow a 1/3)) 5.241 * [backup-simplify]: Simplify (* -1/6 (pow a 1/3)) into (* -1/6 (pow a 1/3)) 5.241 * [backup-simplify]: Simplify (+ 0 0) into 0 5.247 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 5.250 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/3) 1)) (pow 1 1)))) 2) into 5/24 5.251 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 5.252 * [backup-simplify]: Simplify (+ (* 1/3 5/24) (+ (* 0 -1/2) (* 0 (log a)))) into 5/72 5.253 * [backup-simplify]: Simplify (* (exp (* 1/3 (log a))) (+ (* (/ (pow (- 1/6) 2) 2)) (* (/ (pow 5/72 1) 1)))) into (* 1/12 (pow a 1/3)) 5.254 * [backup-simplify]: Simplify (* 1/12 (pow a 1/3)) into (* 1/12 (pow a 1/3)) 5.254 * [backup-simplify]: Simplify (+ (* (* 1/12 (pow a 1/3)) (pow a 2)) (+ (* (* -1/6 (pow a 1/3)) a) (pow a 1/3))) into (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3))) 5.254 * [backup-simplify]: Simplify (cbrt (log1p (/ 1 a))) into (pow (log1p (/ 1 a)) 1/3) 5.254 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0 5.254 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a 5.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a 5.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a 5.254 * [taylor]: Taking taylor expansion of 1/3 in a 5.254 * [backup-simplify]: Simplify 1/3 into 1/3 5.254 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a 5.254 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 5.254 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 5.254 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 5.254 * [taylor]: Taking taylor expansion of 1 in a 5.254 * [backup-simplify]: Simplify 1 into 1 5.254 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.255 * [taylor]: Taking taylor expansion of a in a 5.255 * [backup-simplify]: Simplify 0 into 0 5.255 * [backup-simplify]: Simplify 1 into 1 5.255 * [backup-simplify]: Simplify (/ 1 1) into 1 5.256 * [backup-simplify]: Simplify (+ 0 1) into 1 5.256 * [backup-simplify]: Simplify (log 1) into 0 5.256 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.257 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.257 * [backup-simplify]: Simplify (log (- (log a))) into (log (- (log a))) 5.257 * [backup-simplify]: Simplify (* 1/3 (log (- (log a)))) into (* 1/3 (log (- (log a)))) 5.257 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log a))))) into (pow (- (log a)) 1/3) 5.257 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a 5.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a 5.257 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a 5.257 * [taylor]: Taking taylor expansion of 1/3 in a 5.257 * [backup-simplify]: Simplify 1/3 into 1/3 5.257 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a 5.257 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 5.257 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 5.257 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 5.258 * [taylor]: Taking taylor expansion of 1 in a 5.258 * [backup-simplify]: Simplify 1 into 1 5.258 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.258 * [taylor]: Taking taylor expansion of a in a 5.258 * [backup-simplify]: Simplify 0 into 0 5.258 * [backup-simplify]: Simplify 1 into 1 5.258 * [backup-simplify]: Simplify (/ 1 1) into 1 5.259 * [backup-simplify]: Simplify (+ 0 1) into 1 5.259 * [backup-simplify]: Simplify (log 1) into 0 5.260 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.260 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.260 * [backup-simplify]: Simplify (log (- (log a))) into (log (- (log a))) 5.260 * [backup-simplify]: Simplify (* 1/3 (log (- (log a)))) into (* 1/3 (log (- (log a)))) 5.260 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log a))))) into (pow (- (log a)) 1/3) 5.260 * [backup-simplify]: Simplify (pow (- (log a)) 1/3) into (pow (- (log a)) 1/3) 5.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.262 * [backup-simplify]: Simplify (+ 1 0) into 1 5.264 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.264 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.265 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (- (log a)) 1)))) 1) into (/ -1 (log a)) 5.265 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1 (log a))) (* 0 (log (- (log a))))) into (- (* 1/3 (/ 1 (log a)))) 5.265 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (log a)))) 1) 1)))) into (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) 5.266 * [backup-simplify]: Simplify (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) into (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) 5.266 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.267 * [backup-simplify]: Simplify (+ 0 0) into 0 5.270 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 5.271 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 5.272 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (- (log a)) 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow (- (log a)) 1)))) 2) into (* 1/2 (- (/ 1 (log a)) (/ 1 (pow (log a) 2)))) 5.273 * [backup-simplify]: Simplify (+ (* 1/3 (* 1/2 (- (/ 1 (log a)) (/ 1 (pow (log a) 2))))) (+ (* 0 (/ -1 (log a))) (* 0 (log (- (log a)))))) into (- (* 1/6 (/ 1 (log a))) (* 1/6 (/ 1 (pow (log a) 2)))) 5.273 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (log a)))) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (log a))) (* 1/6 (/ 1 (pow (log a) 2)))) 1) 1)))) into (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) 5.274 * [backup-simplify]: Simplify (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) into (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) 5.275 * [backup-simplify]: Simplify (+ (* (* (- (* 1/6 (/ 1 (log (/ 1 a)))) (* 1/9 (/ 1 (pow (log (/ 1 a)) 2)))) (pow (* (log (/ 1 a)) -1) 1/3)) (pow (/ 1 a) 2)) (+ (* (* -1/3 (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)) (/ 1 a)) (pow (- (log (/ 1 a))) 1/3))) into (- (+ (pow (- (log (/ 1 a))) 1/3) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3))) (* 1/3 (* (/ 1 a) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3))))) 5.275 * [backup-simplify]: Simplify (cbrt (log1p (/ 1 (- a)))) into (pow (log1p (/ -1 a)) 1/3) 5.275 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0 5.275 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a 5.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a 5.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a 5.275 * [taylor]: Taking taylor expansion of 1/3 in a 5.275 * [backup-simplify]: Simplify 1/3 into 1/3 5.275 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a 5.275 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 5.275 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 5.275 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 5.275 * [taylor]: Taking taylor expansion of 1 in a 5.275 * [backup-simplify]: Simplify 1 into 1 5.276 * [taylor]: Taking taylor expansion of (/ -1 a) in a 5.276 * [taylor]: Taking taylor expansion of -1 in a 5.276 * [backup-simplify]: Simplify -1 into -1 5.276 * [taylor]: Taking taylor expansion of a in a 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify 1 into 1 5.276 * [backup-simplify]: Simplify (/ -1 1) into -1 5.277 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.277 * [backup-simplify]: Simplify (log -1) into (log -1) 5.278 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.279 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.279 * [backup-simplify]: Simplify (log (- (log -1) (log a))) into (log (- (log -1) (log a))) 5.280 * [backup-simplify]: Simplify (* 1/3 (log (- (log -1) (log a)))) into (* 1/3 (log (- (log -1) (log a)))) 5.280 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log -1) (log a))))) into (pow (- (log -1) (log a)) 1/3) 5.280 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a 5.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a 5.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a 5.280 * [taylor]: Taking taylor expansion of 1/3 in a 5.280 * [backup-simplify]: Simplify 1/3 into 1/3 5.280 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a 5.280 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 5.280 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 5.280 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 5.280 * [taylor]: Taking taylor expansion of 1 in a 5.281 * [backup-simplify]: Simplify 1 into 1 5.281 * [taylor]: Taking taylor expansion of (/ -1 a) in a 5.281 * [taylor]: Taking taylor expansion of -1 in a 5.281 * [backup-simplify]: Simplify -1 into -1 5.281 * [taylor]: Taking taylor expansion of a in a 5.281 * [backup-simplify]: Simplify 0 into 0 5.281 * [backup-simplify]: Simplify 1 into 1 5.281 * [backup-simplify]: Simplify (/ -1 1) into -1 5.282 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.282 * [backup-simplify]: Simplify (log -1) into (log -1) 5.283 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.284 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.284 * [backup-simplify]: Simplify (log (- (log -1) (log a))) into (log (- (log -1) (log a))) 5.284 * [backup-simplify]: Simplify (* 1/3 (log (- (log -1) (log a)))) into (* 1/3 (log (- (log -1) (log a)))) 5.285 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log -1) (log a))))) into (pow (- (log -1) (log a)) 1/3) 5.285 * [backup-simplify]: Simplify (pow (- (log -1) (log a)) 1/3) into (pow (- (log -1) (log a)) 1/3) 5.286 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.287 * [backup-simplify]: Simplify (+ 1 0) into 1 5.288 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 5.289 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.290 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow (- (log -1) (log a)) 1)))) 1) into (/ -1 (- (log -1) (log a))) 5.291 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1 (- (log -1) (log a)))) (* 0 (log (- (log -1) (log a))))) into (- (* 1/3 (/ 1 (- (log -1) (log a))))) 5.292 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log -1) (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (- (log -1) (log a))))) 1) 1)))) into (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) 5.293 * [backup-simplify]: Simplify (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) 5.294 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.295 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.295 * [backup-simplify]: Simplify (+ 0 0) into 0 5.298 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 5.299 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 5.307 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow (- (log -1) (log a)) 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow (- (log -1) (log a)) 1)))) 2) into (* -1/2 (+ (/ 1 (pow (- (log -1) (log a)) 2)) (/ 1 (- (log -1) (log a))))) 5.309 * [backup-simplify]: Simplify (+ (* 1/3 (* -1/2 (+ (/ 1 (pow (- (log -1) (log a)) 2)) (/ 1 (- (log -1) (log a)))))) (+ (* 0 (/ -1 (- (log -1) (log a)))) (* 0 (log (- (log -1) (log a)))))) into (- (+ (* 1/6 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a)))))) 5.312 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log -1) (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (- (log -1) (log a))))) 2) 2)) (* (/ (pow (- (+ (* 1/6 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a)))))) 1) 1)))) into (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) 5.313 * [backup-simplify]: Simplify (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) into (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) 5.317 * [backup-simplify]: Simplify (+ (* (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log (/ 1 (- a)))) 2))) (* 1/6 (/ 1 (- (log -1) (log (/ 1 (- a))))))) (pow (- (log -1) (log (/ 1 (- a)))) 1/3))) (pow (/ 1 (- a)) 2)) (+ (* (* -1/3 (pow (/ 1 (pow (- (log -1) (log (/ 1 (- a)))) 2)) 1/3)) (/ 1 (- a))) (pow (- (log -1) (log (/ 1 (- a)))) 1/3))) into (- (+ (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (pow (- (log -1) (log (/ -1 a))) 1/3)) (+ (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))))) 5.317 * * * [progress]: simplifying candidates 5.317 * * * * [progress]: [ 1 / 60 ] simplifiying candidate # 5.317 * * * * [progress]: [ 2 / 60 ] simplifiying candidate # 5.317 * * * * [progress]: [ 3 / 60 ] simplifiying candidate # 5.317 * * * * [progress]: [ 4 / 60 ] simplifiying candidate # 5.317 * * * * [progress]: [ 5 / 60 ] simplifiying candidate # 5.318 * * * * [progress]: [ 6 / 60 ] simplifiying candidate # 5.318 * * * * [progress]: [ 7 / 60 ] simplifiying candidate # 5.318 * * * * [progress]: [ 8 / 60 ] simplifiying candidate # 5.318 * * * * [progress]: [ 9 / 60 ] simplifiying candidate # 5.318 * * * * [progress]: [ 10 / 60 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))))> 5.318 * * * * [progress]: [ 11 / 60 ] simplifiying candidate # 5.318 * * * * [progress]: [ 12 / 60 ] simplifiying candidate # 5.318 * * * * [progress]: [ 13 / 60 ] simplifiying candidate # 5.318 * * * * [progress]: [ 14 / 60 ] simplifiying candidate # 5.318 * * * * [progress]: [ 15 / 60 ] simplifiying candidate # 5.318 * * * * [progress]: [ 16 / 60 ] simplifiying candidate # 5.318 * * * * [progress]: [ 17 / 60 ] simplifiying candidate # 5.318 * * * * [progress]: [ 18 / 60 ] simplifiying candidate # 5.318 * * * * [progress]: [ 19 / 60 ] simplifiying candidate # 5.319 * * * * [progress]: [ 20 / 60 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> 5.319 * * * * [progress]: [ 21 / 60 ] simplifiying candidate # 5.319 * * * * [progress]: [ 22 / 60 ] simplifiying candidate # 5.319 * * * * [progress]: [ 23 / 60 ] simplifiying candidate # 5.319 * * * * [progress]: [ 24 / 60 ] simplifiying candidate # 5.319 * * * * [progress]: [ 25 / 60 ] simplifiying candidate # 5.319 * * * * [progress]: [ 26 / 60 ] simplifiying candidate # 5.319 * * * * [progress]: [ 27 / 60 ] simplifiying candidate # 5.319 * * * * [progress]: [ 28 / 60 ] simplifiying candidate # 5.320 * * * * [progress]: [ 29 / 60 ] simplifiying candidate # 5.320 * * * * [progress]: [ 30 / 60 ] simplifiying candidate # 5.320 * * * * [progress]: [ 31 / 60 ] simplifiying candidate # 5.320 * * * * [progress]: [ 32 / 60 ] simplifiying candidate # 5.320 * * * * [progress]: [ 33 / 60 ] simplifiying candidate # 5.320 * * * * [progress]: [ 34 / 60 ] simplifiying candidate #real (real->posit16 (cbrt (log1p a)))))))))> 5.320 * * * * [progress]: [ 35 / 60 ] simplifiying candidate # 5.320 * * * * [progress]: [ 36 / 60 ] simplifiying candidate # 5.320 * * * * [progress]: [ 37 / 60 ] simplifiying candidate # 5.320 * * * * [progress]: [ 38 / 60 ] simplifiying candidate # 5.320 * * * * [progress]: [ 39 / 60 ] simplifiying candidate # 5.320 * * * * [progress]: [ 40 / 60 ] simplifiying candidate # 5.320 * * * * [progress]: [ 41 / 60 ] simplifiying candidate # 5.320 * * * * [progress]: [ 42 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 43 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 44 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 45 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 46 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 47 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 48 / 60 ] simplifiying candidate #real (real->posit16 (cbrt (log1p a))))) (cbrt (log1p a)))))))> 5.321 * * * * [progress]: [ 49 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 50 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 51 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 52 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 53 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 54 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 55 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 56 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 57 / 60 ] simplifiying candidate # 5.321 * * * * [progress]: [ 58 / 60 ] simplifiying candidate # 5.322 * * * * [progress]: [ 59 / 60 ] simplifiying candidate # 5.322 * * * * [progress]: [ 60 / 60 ] simplifiying candidate # 5.323 * [simplify]: Simplifying (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (real->posit16 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (real->posit16 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (expm1 (cbrt (log1p a))), (log1p (cbrt (log1p a))), (log (cbrt (log1p a))), (exp (cbrt (log1p a))), (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt 1), (cbrt (log1p a)), (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (real->posit16 (cbrt (log1p a))), (expm1 (cbrt (log1p a))), (log1p (cbrt (log1p a))), (log (cbrt (log1p a))), (exp (cbrt (log1p a))), (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt 1), (cbrt (log1p a)), (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (real->posit16 (cbrt (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3))), (- (+ (pow (- (log (/ 1 a))) 1/3) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3))) (* 1/3 (* (/ 1 a) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3))))), (- (+ (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (pow (- (log -1) (log (/ -1 a))) 1/3)) (+ (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))))), (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3))), (- (+ (pow (- (log (/ 1 a))) 1/3) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3))) (* 1/3 (* (/ 1 a) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3))))), (- (+ (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (pow (- (log -1) (log (/ -1 a))) 1/3)) (+ (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))))) 5.324 * * [simplify]: iteration 1: (91 enodes) 5.379 * * [simplify]: iteration 2: (392 enodes) 5.522 * * [simplify]: iteration 3: (824 enodes) 5.818 * * [simplify]: Extracting #0: cost 26 inf + 0 5.818 * * [simplify]: Extracting #1: cost 130 inf + 1 5.820 * * [simplify]: Extracting #2: cost 378 inf + 524 5.822 * * [simplify]: Extracting #3: cost 474 inf + 11966 5.831 * * [simplify]: Extracting #4: cost 437 inf + 22014 5.841 * * [simplify]: Extracting #5: cost 306 inf + 72647 5.875 * * [simplify]: Extracting #6: cost 180 inf + 125910 5.921 * * [simplify]: Extracting #7: cost 111 inf + 164569 5.990 * * [simplify]: Extracting #8: cost 12 inf + 229386 6.039 * * [simplify]: Extracting #9: cost 0 inf + 238522 6.075 * [simplify]: Simplified to (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (cbrt (log1p a))), (log1p (cbrt (log1p a))), (log (cbrt (log1p a))), (exp (cbrt (log1p a))), (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt (sqrt (log1p a))), 1, (cbrt (log1p a)), (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (log1p a), (sqrt (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (real->posit16 (cbrt (log1p a))), (expm1 (cbrt (log1p a))), (log1p (cbrt (log1p a))), (log (cbrt (log1p a))), (exp (cbrt (log1p a))), (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt (sqrt (log1p a))), 1, (cbrt (log1p a)), (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (log1p a), (sqrt (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (real->posit16 (cbrt (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fma (cbrt (* (* a a) (* a a))) -1/6 (fma 1/12 (cbrt (pow a 7)) (cbrt a))), (- (fma (/ 1/6 (* a a)) (cbrt (/ -1 (* (log a) (log a)))) (cbrt (log a))) (fma 1/3 (/ (cbrt (/ -1 (* (log a) (log a)))) a) (* (cbrt (/ -1 (pow (- (log a)) 5))) (/ 1/9 (* a a))))), (- (fma (/ 1/3 a) (cbrt (/ (/ 1 (+ 0 (log a))) (+ 0 (log a)))) (cbrt (+ 0 (log a)))) (fma (/ 1/9 (* a a)) (cbrt (/ 1 (pow (+ 0 (log a)) 5))) (/ (* 1/6 (cbrt (/ (/ 1 (+ 0 (log a))) (+ 0 (log a))))) (* a a)))), (fma (cbrt (* (* a a) (* a a))) -1/6 (fma 1/12 (cbrt (pow a 7)) (cbrt a))), (- (fma (/ 1/6 (* a a)) (cbrt (/ -1 (* (log a) (log a)))) (cbrt (log a))) (fma 1/3 (/ (cbrt (/ -1 (* (log a) (log a)))) a) (* (cbrt (/ -1 (pow (- (log a)) 5))) (/ 1/9 (* a a))))), (- (fma (/ 1/3 a) (cbrt (/ (/ 1 (+ 0 (log a))) (+ 0 (log a)))) (cbrt (+ 0 (log a)))) (fma (/ 1/9 (* a a)) (cbrt (/ 1 (pow (+ 0 (log a)) 5))) (/ (* 1/6 (cbrt (/ (/ 1 (+ 0 (log a))) (+ 0 (log a))))) (* a a)))) 6.085 * * * [progress]: adding candidates to table 7.258 * * [progress]: iteration 4 / 4 7.258 * * * [progress]: picking best candidate 7.459 * * * * [pick]: Picked # 7.459 * * * [progress]: localizing error 7.525 * * * [progress]: generating rewritten candidates 7.525 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 7.526 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 7.526 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 7.528 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 2 2) 7.530 * * * [progress]: generating series expansions 7.530 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 7.531 * [backup-simplify]: Simplify (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) into (fmod (cosh c) (log1p a)) 7.531 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 7.531 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.531 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.531 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.531 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.531 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.531 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.531 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.531 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.531 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.532 * [taylor]: Taking taylor expansion of 0 in a 7.532 * [backup-simplify]: Simplify 0 into 0 7.532 * [backup-simplify]: Simplify 0 into 0 7.532 * [backup-simplify]: Simplify 0 into 0 7.532 * [taylor]: Taking taylor expansion of 0 in a 7.532 * [backup-simplify]: Simplify 0 into 0 7.532 * [backup-simplify]: Simplify 0 into 0 7.532 * [backup-simplify]: Simplify 0 into 0 7.532 * [backup-simplify]: Simplify 0 into 0 7.532 * [taylor]: Taking taylor expansion of 0 in a 7.532 * [backup-simplify]: Simplify 0 into 0 7.532 * [backup-simplify]: Simplify 0 into 0 7.532 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.532 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (* (* (cbrt (log1p (/ 1 a))) (cbrt (log1p (/ 1 a)))) (cbrt (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.532 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 7.532 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.533 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.533 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.533 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.533 * [taylor]: Taking taylor expansion of 0 in a 7.533 * [backup-simplify]: Simplify 0 into 0 7.533 * [backup-simplify]: Simplify 0 into 0 7.533 * [backup-simplify]: Simplify 0 into 0 7.533 * [taylor]: Taking taylor expansion of 0 in a 7.533 * [backup-simplify]: Simplify 0 into 0 7.533 * [backup-simplify]: Simplify 0 into 0 7.533 * [backup-simplify]: Simplify 0 into 0 7.533 * [backup-simplify]: Simplify 0 into 0 7.533 * [taylor]: Taking taylor expansion of 0 in a 7.534 * [backup-simplify]: Simplify 0 into 0 7.534 * [backup-simplify]: Simplify 0 into 0 7.534 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.534 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (* (* (cbrt (log1p (/ 1 (- a)))) (cbrt (log1p (/ 1 (- a))))) (cbrt (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.534 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 7.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.534 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.534 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.535 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.535 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.535 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.535 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.535 * [taylor]: Taking taylor expansion of 0 in a 7.535 * [backup-simplify]: Simplify 0 into 0 7.535 * [backup-simplify]: Simplify 0 into 0 7.535 * [backup-simplify]: Simplify 0 into 0 7.535 * [taylor]: Taking taylor expansion of 0 in a 7.535 * [backup-simplify]: Simplify 0 into 0 7.535 * [backup-simplify]: Simplify 0 into 0 7.535 * [backup-simplify]: Simplify 0 into 0 7.535 * [backup-simplify]: Simplify 0 into 0 7.535 * [taylor]: Taking taylor expansion of 0 in a 7.535 * [backup-simplify]: Simplify 0 into 0 7.535 * [backup-simplify]: Simplify 0 into 0 7.535 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.536 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 7.536 * [backup-simplify]: Simplify (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) into (fmod (cosh c) (log1p a)) 7.536 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 7.536 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.536 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.536 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.536 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.536 * [taylor]: Taking taylor expansion of 0 in a 7.536 * [backup-simplify]: Simplify 0 into 0 7.536 * [backup-simplify]: Simplify 0 into 0 7.536 * [backup-simplify]: Simplify 0 into 0 7.537 * [taylor]: Taking taylor expansion of 0 in a 7.537 * [backup-simplify]: Simplify 0 into 0 7.537 * [backup-simplify]: Simplify 0 into 0 7.537 * [backup-simplify]: Simplify 0 into 0 7.537 * [backup-simplify]: Simplify 0 into 0 7.537 * [taylor]: Taking taylor expansion of 0 in a 7.537 * [backup-simplify]: Simplify 0 into 0 7.537 * [backup-simplify]: Simplify 0 into 0 7.537 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.537 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (* (* (cbrt (log1p (/ 1 a))) (cbrt (log1p (/ 1 a)))) (cbrt (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.537 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 7.537 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.537 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.537 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.537 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.538 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.538 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.538 * [taylor]: Taking taylor expansion of 0 in a 7.538 * [backup-simplify]: Simplify 0 into 0 7.538 * [backup-simplify]: Simplify 0 into 0 7.538 * [backup-simplify]: Simplify 0 into 0 7.538 * [taylor]: Taking taylor expansion of 0 in a 7.538 * [backup-simplify]: Simplify 0 into 0 7.538 * [backup-simplify]: Simplify 0 into 0 7.538 * [backup-simplify]: Simplify 0 into 0 7.538 * [backup-simplify]: Simplify 0 into 0 7.538 * [taylor]: Taking taylor expansion of 0 in a 7.538 * [backup-simplify]: Simplify 0 into 0 7.538 * [backup-simplify]: Simplify 0 into 0 7.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (* (* (cbrt (log1p (/ 1 (- a)))) (cbrt (log1p (/ 1 (- a))))) (cbrt (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.539 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 7.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.539 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.539 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.539 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.540 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.540 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.540 * [taylor]: Taking taylor expansion of 0 in a 7.540 * [backup-simplify]: Simplify 0 into 0 7.540 * [backup-simplify]: Simplify 0 into 0 7.540 * [backup-simplify]: Simplify 0 into 0 7.540 * [taylor]: Taking taylor expansion of 0 in a 7.540 * [backup-simplify]: Simplify 0 into 0 7.540 * [backup-simplify]: Simplify 0 into 0 7.540 * [backup-simplify]: Simplify 0 into 0 7.540 * [backup-simplify]: Simplify 0 into 0 7.540 * [taylor]: Taking taylor expansion of 0 in a 7.540 * [backup-simplify]: Simplify 0 into 0 7.540 * [backup-simplify]: Simplify 0 into 0 7.540 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.540 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 7.541 * [backup-simplify]: Simplify (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) into (log (fmod (cosh c) (log1p a))) 7.541 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 7.541 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 7.541 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.541 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.541 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.541 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.541 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.541 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.541 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.541 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.541 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.541 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.541 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.541 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 7.541 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.541 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.542 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.542 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.543 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 7.543 * [taylor]: Taking taylor expansion of 0 in a 7.543 * [backup-simplify]: Simplify 0 into 0 7.543 * [backup-simplify]: Simplify 0 into 0 7.544 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 7.544 * [backup-simplify]: Simplify 0 into 0 7.546 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 7.546 * [taylor]: Taking taylor expansion of 0 in a 7.546 * [backup-simplify]: Simplify 0 into 0 7.546 * [backup-simplify]: Simplify 0 into 0 7.546 * [backup-simplify]: Simplify 0 into 0 7.548 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 7.548 * [backup-simplify]: Simplify 0 into 0 7.551 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 7.551 * [taylor]: Taking taylor expansion of 0 in a 7.551 * [backup-simplify]: Simplify 0 into 0 7.551 * [backup-simplify]: Simplify 0 into 0 7.551 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.551 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (* (* (cbrt (log1p (/ 1 a))) (cbrt (log1p (/ 1 a)))) (cbrt (log1p (/ 1 a)))))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.551 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 7.551 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 7.551 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.552 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.552 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.552 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.552 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.552 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.552 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.552 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.552 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.552 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.552 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.552 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 7.552 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.553 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.553 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.554 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 7.554 * [taylor]: Taking taylor expansion of 0 in a 7.554 * [backup-simplify]: Simplify 0 into 0 7.554 * [backup-simplify]: Simplify 0 into 0 7.555 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 7.555 * [backup-simplify]: Simplify 0 into 0 7.557 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 7.557 * [taylor]: Taking taylor expansion of 0 in a 7.557 * [backup-simplify]: Simplify 0 into 0 7.557 * [backup-simplify]: Simplify 0 into 0 7.557 * [backup-simplify]: Simplify 0 into 0 7.559 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 7.559 * [backup-simplify]: Simplify 0 into 0 7.562 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 7.562 * [taylor]: Taking taylor expansion of 0 in a 7.562 * [backup-simplify]: Simplify 0 into 0 7.562 * [backup-simplify]: Simplify 0 into 0 7.562 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 7.563 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (* (* (cbrt (log1p (/ 1 (- a)))) (cbrt (log1p (/ 1 (- a))))) (cbrt (log1p (/ 1 (- a))))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.563 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 7.563 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 7.563 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.563 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.563 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.563 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.563 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.563 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.564 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.564 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.564 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.564 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.564 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 7.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.564 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.564 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.565 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.566 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 7.566 * [taylor]: Taking taylor expansion of 0 in a 7.566 * [backup-simplify]: Simplify 0 into 0 7.566 * [backup-simplify]: Simplify 0 into 0 7.566 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 7.567 * [backup-simplify]: Simplify 0 into 0 7.568 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 7.568 * [taylor]: Taking taylor expansion of 0 in a 7.568 * [backup-simplify]: Simplify 0 into 0 7.568 * [backup-simplify]: Simplify 0 into 0 7.569 * [backup-simplify]: Simplify 0 into 0 7.570 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 7.570 * [backup-simplify]: Simplify 0 into 0 7.573 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 7.573 * [taylor]: Taking taylor expansion of 0 in a 7.573 * [backup-simplify]: Simplify 0 into 0 7.573 * [backup-simplify]: Simplify 0 into 0 7.573 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 7.573 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 2 2) 7.573 * [backup-simplify]: Simplify (cbrt (log1p a)) into (pow (log1p a) 1/3) 7.573 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0 7.573 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a 7.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a 7.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a 7.573 * [taylor]: Taking taylor expansion of 1/3 in a 7.573 * [backup-simplify]: Simplify 1/3 into 1/3 7.573 * [taylor]: Taking taylor expansion of (log (log1p a)) in a 7.573 * [taylor]: Taking taylor expansion of (log1p a) in a 7.573 * [taylor]: Rewrote expression to (log (+ 1 a)) 7.573 * [taylor]: Taking taylor expansion of (+ 1 a) in a 7.573 * [taylor]: Taking taylor expansion of 1 in a 7.573 * [backup-simplify]: Simplify 1 into 1 7.573 * [taylor]: Taking taylor expansion of a in a 7.573 * [backup-simplify]: Simplify 0 into 0 7.573 * [backup-simplify]: Simplify 1 into 1 7.574 * [backup-simplify]: Simplify (+ 1 0) into 1 7.574 * [backup-simplify]: Simplify (log 1) into 0 7.574 * [backup-simplify]: Simplify (+ 0 1) into 1 7.575 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 7.575 * [backup-simplify]: Simplify (log 1) into 0 7.575 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 7.576 * [backup-simplify]: Simplify (* 1/3 (log a)) into (* 1/3 (log a)) 7.576 * [backup-simplify]: Simplify (exp (* 1/3 (log a))) into (pow a 1/3) 7.576 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a 7.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a 7.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a 7.576 * [taylor]: Taking taylor expansion of 1/3 in a 7.576 * [backup-simplify]: Simplify 1/3 into 1/3 7.576 * [taylor]: Taking taylor expansion of (log (log1p a)) in a 7.576 * [taylor]: Taking taylor expansion of (log1p a) in a 7.576 * [taylor]: Rewrote expression to (log (+ 1 a)) 7.576 * [taylor]: Taking taylor expansion of (+ 1 a) in a 7.576 * [taylor]: Taking taylor expansion of 1 in a 7.576 * [backup-simplify]: Simplify 1 into 1 7.576 * [taylor]: Taking taylor expansion of a in a 7.576 * [backup-simplify]: Simplify 0 into 0 7.576 * [backup-simplify]: Simplify 1 into 1 7.576 * [backup-simplify]: Simplify (+ 1 0) into 1 7.576 * [backup-simplify]: Simplify (log 1) into 0 7.577 * [backup-simplify]: Simplify (+ 0 1) into 1 7.577 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 7.578 * [backup-simplify]: Simplify (log 1) into 0 7.578 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 7.578 * [backup-simplify]: Simplify (* 1/3 (log a)) into (* 1/3 (log a)) 7.578 * [backup-simplify]: Simplify (exp (* 1/3 (log a))) into (pow a 1/3) 7.578 * [backup-simplify]: Simplify (pow a 1/3) into (pow a 1/3) 7.578 * [backup-simplify]: Simplify (+ 0 0) into 0 7.580 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 7.581 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1/2) 1)) (pow 1 1)))) 1) into -1/2 7.581 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 7.581 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (* 0 (log a))) into (- 1/6) 7.582 * [backup-simplify]: Simplify (* (exp (* 1/3 (log a))) (+ (* (/ (pow (- 1/6) 1) 1)))) into (* -1/6 (pow a 1/3)) 7.582 * [backup-simplify]: Simplify (* -1/6 (pow a 1/3)) into (* -1/6 (pow a 1/3)) 7.582 * [backup-simplify]: Simplify (+ 0 0) into 0 7.585 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 7.587 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/3) 1)) (pow 1 1)))) 2) into 5/24 7.587 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) 0) into (log a) 7.588 * [backup-simplify]: Simplify (+ (* 1/3 5/24) (+ (* 0 -1/2) (* 0 (log a)))) into 5/72 7.589 * [backup-simplify]: Simplify (* (exp (* 1/3 (log a))) (+ (* (/ (pow (- 1/6) 2) 2)) (* (/ (pow 5/72 1) 1)))) into (* 1/12 (pow a 1/3)) 7.589 * [backup-simplify]: Simplify (* 1/12 (pow a 1/3)) into (* 1/12 (pow a 1/3)) 7.589 * [backup-simplify]: Simplify (+ (* (* 1/12 (pow a 1/3)) (pow a 2)) (+ (* (* -1/6 (pow a 1/3)) a) (pow a 1/3))) into (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3))) 7.589 * [backup-simplify]: Simplify (cbrt (log1p (/ 1 a))) into (pow (log1p (/ 1 a)) 1/3) 7.589 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0 7.589 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a 7.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a 7.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a 7.589 * [taylor]: Taking taylor expansion of 1/3 in a 7.589 * [backup-simplify]: Simplify 1/3 into 1/3 7.589 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a 7.589 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 7.589 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 7.589 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 7.589 * [taylor]: Taking taylor expansion of 1 in a 7.589 * [backup-simplify]: Simplify 1 into 1 7.589 * [taylor]: Taking taylor expansion of (/ 1 a) in a 7.590 * [taylor]: Taking taylor expansion of a in a 7.590 * [backup-simplify]: Simplify 0 into 0 7.590 * [backup-simplify]: Simplify 1 into 1 7.590 * [backup-simplify]: Simplify (/ 1 1) into 1 7.590 * [backup-simplify]: Simplify (+ 0 1) into 1 7.590 * [backup-simplify]: Simplify (log 1) into 0 7.591 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 7.591 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 7.591 * [backup-simplify]: Simplify (log (- (log a))) into (log (- (log a))) 7.591 * [backup-simplify]: Simplify (* 1/3 (log (- (log a)))) into (* 1/3 (log (- (log a)))) 7.591 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log a))))) into (pow (- (log a)) 1/3) 7.591 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a 7.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a 7.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a 7.591 * [taylor]: Taking taylor expansion of 1/3 in a 7.591 * [backup-simplify]: Simplify 1/3 into 1/3 7.591 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a 7.591 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 7.591 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 7.591 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 7.591 * [taylor]: Taking taylor expansion of 1 in a 7.591 * [backup-simplify]: Simplify 1 into 1 7.591 * [taylor]: Taking taylor expansion of (/ 1 a) in a 7.591 * [taylor]: Taking taylor expansion of a in a 7.591 * [backup-simplify]: Simplify 0 into 0 7.591 * [backup-simplify]: Simplify 1 into 1 7.592 * [backup-simplify]: Simplify (/ 1 1) into 1 7.592 * [backup-simplify]: Simplify (+ 0 1) into 1 7.592 * [backup-simplify]: Simplify (log 1) into 0 7.592 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 7.593 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 7.593 * [backup-simplify]: Simplify (log (- (log a))) into (log (- (log a))) 7.593 * [backup-simplify]: Simplify (* 1/3 (log (- (log a)))) into (* 1/3 (log (- (log a)))) 7.593 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log a))))) into (pow (- (log a)) 1/3) 7.593 * [backup-simplify]: Simplify (pow (- (log a)) 1/3) into (pow (- (log a)) 1/3) 7.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.594 * [backup-simplify]: Simplify (+ 1 0) into 1 7.594 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 7.595 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 7.595 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (- (log a)) 1)))) 1) into (/ -1 (log a)) 7.595 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1 (log a))) (* 0 (log (- (log a))))) into (- (* 1/3 (/ 1 (log a)))) 7.595 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (log a)))) 1) 1)))) into (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) 7.596 * [backup-simplify]: Simplify (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) into (* -1/3 (pow (/ -1 (pow (log a) 2)) 1/3)) 7.596 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 7.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.597 * [backup-simplify]: Simplify (+ 0 0) into 0 7.598 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 7.598 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 7.599 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (- (log a)) 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow (- (log a)) 1)))) 2) into (* 1/2 (- (/ 1 (log a)) (/ 1 (pow (log a) 2)))) 7.600 * [backup-simplify]: Simplify (+ (* 1/3 (* 1/2 (- (/ 1 (log a)) (/ 1 (pow (log a) 2))))) (+ (* 0 (/ -1 (log a))) (* 0 (log (- (log a)))))) into (- (* 1/6 (/ 1 (log a))) (* 1/6 (/ 1 (pow (log a) 2)))) 7.600 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (log a)))) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (log a))) (* 1/6 (/ 1 (pow (log a) 2)))) 1) 1)))) into (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) 7.600 * [backup-simplify]: Simplify (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) into (* (- (* 1/6 (/ 1 (log a))) (* 1/9 (/ 1 (pow (log a) 2)))) (pow (* (log a) -1) 1/3)) 7.601 * [backup-simplify]: Simplify (+ (* (* (- (* 1/6 (/ 1 (log (/ 1 a)))) (* 1/9 (/ 1 (pow (log (/ 1 a)) 2)))) (pow (* (log (/ 1 a)) -1) 1/3)) (pow (/ 1 a) 2)) (+ (* (* -1/3 (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)) (/ 1 a)) (pow (- (log (/ 1 a))) 1/3))) into (- (+ (pow (- (log (/ 1 a))) 1/3) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3))) (* 1/3 (* (/ 1 a) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3))))) 7.601 * [backup-simplify]: Simplify (cbrt (log1p (/ 1 (- a)))) into (pow (log1p (/ -1 a)) 1/3) 7.601 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0 7.601 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a 7.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a 7.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a 7.601 * [taylor]: Taking taylor expansion of 1/3 in a 7.601 * [backup-simplify]: Simplify 1/3 into 1/3 7.601 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a 7.601 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 7.601 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 7.601 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 7.601 * [taylor]: Taking taylor expansion of 1 in a 7.601 * [backup-simplify]: Simplify 1 into 1 7.601 * [taylor]: Taking taylor expansion of (/ -1 a) in a 7.601 * [taylor]: Taking taylor expansion of -1 in a 7.601 * [backup-simplify]: Simplify -1 into -1 7.601 * [taylor]: Taking taylor expansion of a in a 7.601 * [backup-simplify]: Simplify 0 into 0 7.601 * [backup-simplify]: Simplify 1 into 1 7.602 * [backup-simplify]: Simplify (/ -1 1) into -1 7.602 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.602 * [backup-simplify]: Simplify (log -1) into (log -1) 7.603 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 7.603 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 7.603 * [backup-simplify]: Simplify (log (- (log -1) (log a))) into (log (- (log -1) (log a))) 7.604 * [backup-simplify]: Simplify (* 1/3 (log (- (log -1) (log a)))) into (* 1/3 (log (- (log -1) (log a)))) 7.604 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log -1) (log a))))) into (pow (- (log -1) (log a)) 1/3) 7.604 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a 7.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a 7.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a 7.604 * [taylor]: Taking taylor expansion of 1/3 in a 7.604 * [backup-simplify]: Simplify 1/3 into 1/3 7.604 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a 7.604 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 7.604 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 7.604 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 7.604 * [taylor]: Taking taylor expansion of 1 in a 7.604 * [backup-simplify]: Simplify 1 into 1 7.604 * [taylor]: Taking taylor expansion of (/ -1 a) in a 7.604 * [taylor]: Taking taylor expansion of -1 in a 7.604 * [backup-simplify]: Simplify -1 into -1 7.604 * [taylor]: Taking taylor expansion of a in a 7.604 * [backup-simplify]: Simplify 0 into 0 7.605 * [backup-simplify]: Simplify 1 into 1 7.605 * [backup-simplify]: Simplify (/ -1 1) into -1 7.605 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.606 * [backup-simplify]: Simplify (log -1) into (log -1) 7.606 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 7.607 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 7.608 * [backup-simplify]: Simplify (log (- (log -1) (log a))) into (log (- (log -1) (log a))) 7.608 * [backup-simplify]: Simplify (* 1/3 (log (- (log -1) (log a)))) into (* 1/3 (log (- (log -1) (log a)))) 7.609 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (log -1) (log a))))) into (pow (- (log -1) (log a)) 1/3) 7.609 * [backup-simplify]: Simplify (pow (- (log -1) (log a)) 1/3) into (pow (- (log -1) (log a)) 1/3) 7.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 7.610 * [backup-simplify]: Simplify (+ 1 0) into 1 7.612 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 7.613 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 7.614 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow (- (log -1) (log a)) 1)))) 1) into (/ -1 (- (log -1) (log a))) 7.615 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1 (- (log -1) (log a)))) (* 0 (log (- (log -1) (log a))))) into (- (* 1/3 (/ 1 (- (log -1) (log a))))) 7.616 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log -1) (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (- (log -1) (log a))))) 1) 1)))) into (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) 7.617 * [backup-simplify]: Simplify (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow (- (log -1) (log a)) 2)) 1/3)) 7.617 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 7.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.619 * [backup-simplify]: Simplify (+ 0 0) into 0 7.626 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 7.628 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 7.630 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow (- (log -1) (log a)) 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow (- (log -1) (log a)) 1)))) 2) into (* -1/2 (+ (/ 1 (pow (- (log -1) (log a)) 2)) (/ 1 (- (log -1) (log a))))) 7.632 * [backup-simplify]: Simplify (+ (* 1/3 (* -1/2 (+ (/ 1 (pow (- (log -1) (log a)) 2)) (/ 1 (- (log -1) (log a)))))) (+ (* 0 (/ -1 (- (log -1) (log a)))) (* 0 (log (- (log -1) (log a)))))) into (- (+ (* 1/6 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a)))))) 7.634 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (log -1) (log a))))) (+ (* (/ (pow (- (* 1/3 (/ 1 (- (log -1) (log a))))) 2) 2)) (* (/ (pow (- (+ (* 1/6 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a)))))) 1) 1)))) into (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) 7.635 * [backup-simplify]: Simplify (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) into (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log a)) 2))) (* 1/6 (/ 1 (- (log -1) (log a))))) (pow (- (log -1) (log a)) 1/3))) 7.637 * [backup-simplify]: Simplify (+ (* (* -1 (* (+ (* 1/9 (/ 1 (pow (- (log -1) (log (/ 1 (- a)))) 2))) (* 1/6 (/ 1 (- (log -1) (log (/ 1 (- a))))))) (pow (- (log -1) (log (/ 1 (- a)))) 1/3))) (pow (/ 1 (- a)) 2)) (+ (* (* -1/3 (pow (/ 1 (pow (- (log -1) (log (/ 1 (- a)))) 2)) 1/3)) (/ 1 (- a))) (pow (- (log -1) (log (/ 1 (- a)))) 1/3))) into (- (+ (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (pow (- (log -1) (log (/ -1 a))) 1/3)) (+ (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))))) 7.637 * * * [progress]: simplifying candidates 7.637 * * * * [progress]: [ 1 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 2 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 3 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 4 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 5 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 6 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 7 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 8 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 9 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 10 / 61 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))))))> 7.637 * * * * [progress]: [ 11 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 12 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 13 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 14 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 15 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 16 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 17 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 18 / 61 ] simplifiying candidate # 7.637 * * * * [progress]: [ 19 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 20 / 61 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))))) (sqrt (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))))> 7.638 * * * * [progress]: [ 21 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 22 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 23 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 24 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 25 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 26 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 27 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 28 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 29 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 30 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 31 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 32 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 33 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 34 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 35 / 61 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))))))> 7.638 * * * * [progress]: [ 36 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 37 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 38 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 39 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 40 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 41 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 42 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 43 / 61 ] simplifiying candidate # 7.638 * * * * [progress]: [ 44 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 45 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 46 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 47 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 48 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 49 / 61 ] simplifiying candidate #real (real->posit16 (cbrt (log1p a)))))))))))> 7.639 * * * * [progress]: [ 50 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 51 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 52 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 53 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 54 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 55 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 56 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 57 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 58 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 59 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 60 / 61 ] simplifiying candidate # 7.639 * * * * [progress]: [ 61 / 61 ] simplifiying candidate # 7.640 * [simplify]: Simplifying (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (real->posit16 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (real->posit16 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (expm1 (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (log1p (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (log (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))))), (log (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (log (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (log (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (log 1), (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))), (log (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (* (cbrt (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))))), (cbrt (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (* (* (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))) (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (sqrt (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (sqrt (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (real->posit16 (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))), (expm1 (cbrt (log1p a))), (log1p (cbrt (log1p a))), (log (cbrt (log1p a))), (exp (cbrt (log1p a))), (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt 1), (cbrt (log1p a)), (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (real->posit16 (cbrt (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3))), (- (+ (pow (- (log (/ 1 a))) 1/3) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3))) (* 1/3 (* (/ 1 a) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3))))), (- (+ (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (pow (- (log -1) (log (/ -1 a))) 1/3)) (+ (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))) (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))))) 7.641 * * [simplify]: iteration 1: (106 enodes) 7.672 * * [simplify]: iteration 2: (436 enodes) 7.790 * * [simplify]: iteration 3: (871 enodes) 8.176 * * [simplify]: Extracting #0: cost 38 inf + 0 8.176 * * [simplify]: Extracting #1: cost 154 inf + 2 8.179 * * [simplify]: Extracting #2: cost 404 inf + 404 8.184 * * [simplify]: Extracting #3: cost 485 inf + 13571 8.194 * * [simplify]: Extracting #4: cost 403 inf + 43207 8.213 * * [simplify]: Extracting #5: cost 302 inf + 85111 8.248 * * [simplify]: Extracting #6: cost 188 inf + 130820 8.302 * * [simplify]: Extracting #7: cost 88 inf + 190917 8.349 * * [simplify]: Extracting #8: cost 8 inf + 243346 8.393 * * [simplify]: Extracting #9: cost 0 inf + 247406 8.468 * [simplify]: Simplified to (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (log (fmod (cosh c) (log1p a)))), (log1p (log (fmod (cosh c) (log1p a)))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), 0, (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (fmod (cosh c) (log1p a)), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (expm1 (cbrt (log1p a))), (log1p (cbrt (log1p a))), (log (cbrt (log1p a))), (exp (cbrt (log1p a))), (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (cbrt (sqrt (log1p a))), (cbrt (sqrt (log1p a))), 1, (cbrt (log1p a)), (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))), (cbrt (cbrt (log1p a))), (log1p a), (sqrt (cbrt (log1p a))), (sqrt (cbrt (log1p a))), (real->posit16 (cbrt (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (fma -1/6 (cbrt (* (* a a) (* a a))) (fma 1/12 (cbrt (pow a 7)) (cbrt a))), (fma (/ 1/6 (* a a)) (cbrt (/ (/ -1 (log a)) (log a))) (- (cbrt (log a)) (fma (/ 1/9 (* a a)) (cbrt (/ -1 (pow (- (log a)) 5))) (/ 1/3 (/ a (cbrt (/ (/ -1 (log a)) (log a)))))))), (- (fma (/ 1/3 a) (cbrt (/ (/ 1 (+ 0 (log a))) (+ 0 (log a)))) (cbrt (+ 0 (log a)))) (fma (/ (cbrt (/ 1 (pow (+ 0 (log a)) 5))) (* a a)) 1/9 (* (/ 1/6 (* a a)) (cbrt (/ (/ 1 (+ 0 (log a))) (+ 0 (log a))))))) 8.479 * * * [progress]: adding candidates to table 9.587 * [progress]: [Phase 3 of 3] Extracting. 9.587 * * [regime]: Finding splitpoints for: (# # # #real (real->posit16 (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))))))> # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #) 9.601 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a))) 9.602 * * * * [regimes]: Trying to branch on a from (# # # #real (real->posit16 (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))))))> # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #) 9.969 * * * * [regimes]: Trying to branch on (log1p a) from (# # # #real (real->posit16 (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))))))> # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #) 10.305 * * * * [regimes]: Trying to branch on c from (# # # #real (real->posit16 (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))))))> # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #) 10.624 * * * * [regimes]: Trying to branch on (cosh c) from (# # # #real (real->posit16 (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))))))> # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #) 10.861 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # #real (real->posit16 (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))))))> # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #) 11.160 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # #) 11.203 * * * [regime]: Found split indices: #