0.003 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.079 * * * [progress]: [2/2] Setting up program.
0.081 * [progress]: [Phase 2 of 3] Improving.
0.081 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
0.081 * [simplify]: Simplifying:
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.082 * * [simplify]: iteration 1: (9 enodes)
0.084 * * [simplify]: iteration 2: (42 enodes)
0.092 * * [simplify]: iteration 3: (77 enodes)
0.117 * * [simplify]: iteration 4: (127 enodes)
0.186 * * [simplify]: iteration 5: (354 enodes)
0.392 * * [simplify]: iteration 6: (993 enodes)
2.654 * * [simplify]: Extracting #0: cost 1 inf + 0
2.654 * * [simplify]: Extracting #1: cost 116 inf + 0
2.659 * * [simplify]: Extracting #2: cost 531 inf + 931
2.667 * * [simplify]: Extracting #3: cost 479 inf + 18276
2.711 * * [simplify]: Extracting #4: cost 200 inf + 177644
2.765 * * [simplify]: Extracting #5: cost 12 inf + 289697
2.802 * * [simplify]: Extracting #6: cost 0 inf + 297570
2.849 * [simplify]: Simplified to:
  (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1)))
2.853 * * [progress]: iteration 1 / 4
2.853 * * * [progress]: picking best candidate
2.856 * * * * [pick]: Picked  #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
2.856 * * * [progress]: localizing error
2.868 * * * [progress]: generating rewritten candidates
2.868 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.889 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
2.918 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
2.965 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.060 * * * [progress]: generating series expansions
3.060 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
3.061 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
3.061 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
3.061 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.061 * [taylor]: Taking taylor expansion of d1 in d1
3.061 * [backup-simplify]: Simplify 0 into 0
3.061 * [backup-simplify]: Simplify 1 into 1
3.061 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.061 * [taylor]: Taking taylor expansion of d1 in d1
3.061 * [backup-simplify]: Simplify 0 into 0
3.061 * [backup-simplify]: Simplify 1 into 1
3.061 * [backup-simplify]: Simplify (* 1 1) into 1
3.062 * [backup-simplify]: Simplify (* 1 1) into 1
3.062 * [backup-simplify]: Simplify 1 into 1
3.062 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.063 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.063 * [backup-simplify]: Simplify 0 into 0
3.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.064 * [backup-simplify]: Simplify 0 into 0
3.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.065 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.065 * [backup-simplify]: Simplify 0 into 0
3.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.066 * [backup-simplify]: Simplify 0 into 0
3.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.068 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.068 * [backup-simplify]: Simplify 0 into 0
3.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.070 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.070 * [backup-simplify]: Simplify 0 into 0
3.070 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
3.070 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
3.070 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
3.070 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
3.070 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.070 * [taylor]: Taking taylor expansion of d1 in d1
3.070 * [backup-simplify]: Simplify 0 into 0
3.070 * [backup-simplify]: Simplify 1 into 1
3.070 * [backup-simplify]: Simplify (* 1 1) into 1
3.071 * [backup-simplify]: Simplify (* 1 1) into 1
3.071 * [backup-simplify]: Simplify (/ 1 1) into 1
3.071 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
3.071 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.071 * [taylor]: Taking taylor expansion of d1 in d1
3.071 * [backup-simplify]: Simplify 0 into 0
3.071 * [backup-simplify]: Simplify 1 into 1
3.071 * [backup-simplify]: Simplify (* 1 1) into 1
3.072 * [backup-simplify]: Simplify (* 1 1) into 1
3.072 * [backup-simplify]: Simplify (/ 1 1) into 1
3.072 * [backup-simplify]: Simplify 1 into 1
3.072 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.073 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.073 * [backup-simplify]: Simplify 0 into 0
3.074 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.074 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.075 * [backup-simplify]: Simplify 0 into 0
3.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.077 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.077 * [backup-simplify]: Simplify 0 into 0
3.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.079 * [backup-simplify]: Simplify 0 into 0
3.080 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.081 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.081 * [backup-simplify]: Simplify 0 into 0
3.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.083 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.083 * [backup-simplify]: Simplify 0 into 0
3.084 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
3.084 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
3.084 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
3.084 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
3.084 * [taylor]: Taking taylor expansion of -1 in d1
3.084 * [backup-simplify]: Simplify -1 into -1
3.084 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.084 * [taylor]: Taking taylor expansion of d1 in d1
3.084 * [backup-simplify]: Simplify 0 into 0
3.084 * [backup-simplify]: Simplify 1 into 1
3.084 * [backup-simplify]: Simplify (* 1 1) into 1
3.084 * [backup-simplify]: Simplify (* 1 1) into 1
3.085 * [backup-simplify]: Simplify (/ -1 1) into -1
3.085 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
3.085 * [taylor]: Taking taylor expansion of -1 in d1
3.085 * [backup-simplify]: Simplify -1 into -1
3.085 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.085 * [taylor]: Taking taylor expansion of d1 in d1
3.085 * [backup-simplify]: Simplify 0 into 0
3.085 * [backup-simplify]: Simplify 1 into 1
3.085 * [backup-simplify]: Simplify (* 1 1) into 1
3.085 * [backup-simplify]: Simplify (* 1 1) into 1
3.086 * [backup-simplify]: Simplify (/ -1 1) into -1
3.086 * [backup-simplify]: Simplify -1 into -1
3.086 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.086 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.087 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.087 * [backup-simplify]: Simplify 0 into 0
3.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.091 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.091 * [backup-simplify]: Simplify 0 into 0
3.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.093 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.093 * [backup-simplify]: Simplify 0 into 0
3.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.095 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.095 * [backup-simplify]: Simplify 0 into 0
3.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.097 * [backup-simplify]: Simplify 0 into 0
3.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.101 * [backup-simplify]: Simplify 0 into 0
3.101 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
3.101 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
3.101 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
3.101 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
3.101 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.101 * [taylor]: Taking taylor expansion of d1 in d1
3.101 * [backup-simplify]: Simplify 0 into 0
3.101 * [backup-simplify]: Simplify 1 into 1
3.101 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.101 * [taylor]: Taking taylor expansion of d1 in d1
3.101 * [backup-simplify]: Simplify 0 into 0
3.101 * [backup-simplify]: Simplify 1 into 1
3.102 * [backup-simplify]: Simplify (* 1 1) into 1
3.102 * [backup-simplify]: Simplify (* 1 1) into 1
3.102 * [backup-simplify]: Simplify 1 into 1
3.103 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.104 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.104 * [backup-simplify]: Simplify 0 into 0
3.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.106 * [backup-simplify]: Simplify 0 into 0
3.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.108 * [backup-simplify]: Simplify 0 into 0
3.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.111 * [backup-simplify]: Simplify 0 into 0
3.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.115 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.117 * [backup-simplify]: Simplify 0 into 0
3.117 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
3.117 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
3.117 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
3.117 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
3.117 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.117 * [taylor]: Taking taylor expansion of d1 in d1
3.117 * [backup-simplify]: Simplify 0 into 0
3.117 * [backup-simplify]: Simplify 1 into 1
3.118 * [backup-simplify]: Simplify (* 1 1) into 1
3.118 * [backup-simplify]: Simplify (* 1 1) into 1
3.119 * [backup-simplify]: Simplify (/ 1 1) into 1
3.119 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
3.119 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.119 * [taylor]: Taking taylor expansion of d1 in d1
3.119 * [backup-simplify]: Simplify 0 into 0
3.119 * [backup-simplify]: Simplify 1 into 1
3.119 * [backup-simplify]: Simplify (* 1 1) into 1
3.120 * [backup-simplify]: Simplify (* 1 1) into 1
3.120 * [backup-simplify]: Simplify (/ 1 1) into 1
3.120 * [backup-simplify]: Simplify 1 into 1
3.121 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.121 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.122 * [backup-simplify]: Simplify 0 into 0
3.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.126 * [backup-simplify]: Simplify 0 into 0
3.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.129 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.132 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.136 * [backup-simplify]: Simplify 0 into 0
3.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.141 * [backup-simplify]: Simplify 0 into 0
3.141 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
3.141 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
3.141 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
3.141 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
3.141 * [taylor]: Taking taylor expansion of -1 in d1
3.141 * [backup-simplify]: Simplify -1 into -1
3.141 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.141 * [taylor]: Taking taylor expansion of d1 in d1
3.142 * [backup-simplify]: Simplify 0 into 0
3.142 * [backup-simplify]: Simplify 1 into 1
3.142 * [backup-simplify]: Simplify (* 1 1) into 1
3.142 * [backup-simplify]: Simplify (* 1 1) into 1
3.143 * [backup-simplify]: Simplify (/ -1 1) into -1
3.143 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
3.143 * [taylor]: Taking taylor expansion of -1 in d1
3.143 * [backup-simplify]: Simplify -1 into -1
3.143 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.143 * [taylor]: Taking taylor expansion of d1 in d1
3.143 * [backup-simplify]: Simplify 0 into 0
3.143 * [backup-simplify]: Simplify 1 into 1
3.143 * [backup-simplify]: Simplify (* 1 1) into 1
3.144 * [backup-simplify]: Simplify (* 1 1) into 1
3.144 * [backup-simplify]: Simplify (/ -1 1) into -1
3.144 * [backup-simplify]: Simplify -1 into -1
3.145 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.146 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.147 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.147 * [backup-simplify]: Simplify 0 into 0
3.148 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.150 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.150 * [backup-simplify]: Simplify 0 into 0
3.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.153 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.153 * [backup-simplify]: Simplify 0 into 0
3.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.156 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.157 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.157 * [backup-simplify]: Simplify 0 into 0
3.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.161 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.161 * [backup-simplify]: Simplify 0 into 0
3.163 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.165 * [backup-simplify]: Simplify 0 into 0
3.166 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
3.166 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
3.166 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) (* d1 d1)) into (pow d1 5)
3.166 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
3.166 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.166 * [taylor]: Taking taylor expansion of d1 in d1
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [backup-simplify]: Simplify 1 into 1
3.166 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.166 * [taylor]: Taking taylor expansion of d1 in d1
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [backup-simplify]: Simplify 1 into 1
3.167 * [backup-simplify]: Simplify (* 1 1) into 1
3.167 * [backup-simplify]: Simplify (* 1 1) into 1
3.167 * [backup-simplify]: Simplify (* 1 1) into 1
3.167 * [backup-simplify]: Simplify 1 into 1
3.168 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.169 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.169 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.169 * [backup-simplify]: Simplify 0 into 0
3.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.172 * [backup-simplify]: Simplify 0 into 0
3.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.176 * [backup-simplify]: Simplify 0 into 0
3.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.179 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.180 * [backup-simplify]: Simplify 0 into 0
3.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.185 * [backup-simplify]: Simplify 0 into 0
3.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.190 * [backup-simplify]: Simplify 0 into 0
3.190 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
3.190 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 5))
3.191 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
3.191 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
3.191 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.191 * [taylor]: Taking taylor expansion of d1 in d1
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.192 * [backup-simplify]: Simplify (* 1 1) into 1
3.192 * [backup-simplify]: Simplify (* 1 1) into 1
3.192 * [backup-simplify]: Simplify (/ 1 1) into 1
3.193 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
3.193 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.193 * [taylor]: Taking taylor expansion of d1 in d1
3.193 * [backup-simplify]: Simplify 0 into 0
3.193 * [backup-simplify]: Simplify 1 into 1
3.193 * [backup-simplify]: Simplify (* 1 1) into 1
3.194 * [backup-simplify]: Simplify (* 1 1) into 1
3.194 * [backup-simplify]: Simplify (* 1 1) into 1
3.194 * [backup-simplify]: Simplify (/ 1 1) into 1
3.195 * [backup-simplify]: Simplify 1 into 1
3.196 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.196 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.197 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.198 * [backup-simplify]: Simplify 0 into 0
3.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.202 * [backup-simplify]: Simplify 0 into 0
3.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.207 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.207 * [backup-simplify]: Simplify 0 into 0
3.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.212 * [backup-simplify]: Simplify 0 into 0
3.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.219 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.219 * [backup-simplify]: Simplify 0 into 0
3.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.225 * [backup-simplify]: Simplify 0 into 0
3.226 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
3.226 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 5))
3.226 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
3.226 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
3.226 * [taylor]: Taking taylor expansion of -1 in d1
3.226 * [backup-simplify]: Simplify -1 into -1
3.226 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.226 * [taylor]: Taking taylor expansion of d1 in d1
3.226 * [backup-simplify]: Simplify 0 into 0
3.226 * [backup-simplify]: Simplify 1 into 1
3.227 * [backup-simplify]: Simplify (* 1 1) into 1
3.227 * [backup-simplify]: Simplify (* 1 1) into 1
3.228 * [backup-simplify]: Simplify (* 1 1) into 1
3.228 * [backup-simplify]: Simplify (/ -1 1) into -1
3.228 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
3.228 * [taylor]: Taking taylor expansion of -1 in d1
3.228 * [backup-simplify]: Simplify -1 into -1
3.228 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.228 * [taylor]: Taking taylor expansion of d1 in d1
3.228 * [backup-simplify]: Simplify 0 into 0
3.228 * [backup-simplify]: Simplify 1 into 1
3.229 * [backup-simplify]: Simplify (* 1 1) into 1
3.229 * [backup-simplify]: Simplify (* 1 1) into 1
3.229 * [backup-simplify]: Simplify (* 1 1) into 1
3.230 * [backup-simplify]: Simplify (/ -1 1) into -1
3.230 * [backup-simplify]: Simplify -1 into -1
3.231 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.231 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.232 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.233 * [backup-simplify]: Simplify 0 into 0
3.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.238 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.238 * [backup-simplify]: Simplify 0 into 0
3.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.241 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.241 * [backup-simplify]: Simplify 0 into 0
3.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.244 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.244 * [backup-simplify]: Simplify 0 into 0
3.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.247 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.247 * [backup-simplify]: Simplify 0 into 0
3.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.250 * [backup-simplify]: Simplify 0 into 0
3.250 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
3.250 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.250 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) (* d1 d1)) into (pow d1 5)
3.250 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
3.250 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.250 * [taylor]: Taking taylor expansion of d1 in d1
3.251 * [backup-simplify]: Simplify 0 into 0
3.251 * [backup-simplify]: Simplify 1 into 1
3.251 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.251 * [taylor]: Taking taylor expansion of d1 in d1
3.251 * [backup-simplify]: Simplify 0 into 0
3.251 * [backup-simplify]: Simplify 1 into 1
3.251 * [backup-simplify]: Simplify (* 1 1) into 1
3.251 * [backup-simplify]: Simplify (* 1 1) into 1
3.251 * [backup-simplify]: Simplify (* 1 1) into 1
3.251 * [backup-simplify]: Simplify 1 into 1
3.252 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.252 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.253 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.253 * [backup-simplify]: Simplify 0 into 0
3.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.254 * [backup-simplify]: Simplify 0 into 0
3.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.256 * [backup-simplify]: Simplify 0 into 0
3.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.258 * [backup-simplify]: Simplify 0 into 0
3.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.261 * [backup-simplify]: Simplify 0 into 0
3.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.263 * [backup-simplify]: Simplify 0 into 0
3.263 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
3.264 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 5))
3.264 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
3.264 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
3.264 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.264 * [taylor]: Taking taylor expansion of d1 in d1
3.264 * [backup-simplify]: Simplify 0 into 0
3.264 * [backup-simplify]: Simplify 1 into 1
3.264 * [backup-simplify]: Simplify (* 1 1) into 1
3.264 * [backup-simplify]: Simplify (* 1 1) into 1
3.264 * [backup-simplify]: Simplify (* 1 1) into 1
3.265 * [backup-simplify]: Simplify (/ 1 1) into 1
3.265 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
3.265 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.265 * [taylor]: Taking taylor expansion of d1 in d1
3.265 * [backup-simplify]: Simplify 0 into 0
3.265 * [backup-simplify]: Simplify 1 into 1
3.265 * [backup-simplify]: Simplify (* 1 1) into 1
3.265 * [backup-simplify]: Simplify (* 1 1) into 1
3.265 * [backup-simplify]: Simplify (* 1 1) into 1
3.266 * [backup-simplify]: Simplify (/ 1 1) into 1
3.266 * [backup-simplify]: Simplify 1 into 1
3.266 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.267 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.267 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.267 * [backup-simplify]: Simplify 0 into 0
3.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.270 * [backup-simplify]: Simplify 0 into 0
3.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.273 * [backup-simplify]: Simplify 0 into 0
3.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.278 * [backup-simplify]: Simplify 0 into 0
3.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.283 * [backup-simplify]: Simplify 0 into 0
3.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.289 * [backup-simplify]: Simplify 0 into 0
3.289 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
3.289 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 5))
3.289 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
3.290 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
3.290 * [taylor]: Taking taylor expansion of -1 in d1
3.290 * [backup-simplify]: Simplify -1 into -1
3.290 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.290 * [taylor]: Taking taylor expansion of d1 in d1
3.290 * [backup-simplify]: Simplify 0 into 0
3.290 * [backup-simplify]: Simplify 1 into 1
3.290 * [backup-simplify]: Simplify (* 1 1) into 1
3.290 * [backup-simplify]: Simplify (* 1 1) into 1
3.291 * [backup-simplify]: Simplify (* 1 1) into 1
3.291 * [backup-simplify]: Simplify (/ -1 1) into -1
3.291 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
3.291 * [taylor]: Taking taylor expansion of -1 in d1
3.291 * [backup-simplify]: Simplify -1 into -1
3.291 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.291 * [taylor]: Taking taylor expansion of d1 in d1
3.291 * [backup-simplify]: Simplify 0 into 0
3.291 * [backup-simplify]: Simplify 1 into 1
3.292 * [backup-simplify]: Simplify (* 1 1) into 1
3.292 * [backup-simplify]: Simplify (* 1 1) into 1
3.293 * [backup-simplify]: Simplify (* 1 1) into 1
3.293 * [backup-simplify]: Simplify (/ -1 1) into -1
3.293 * [backup-simplify]: Simplify -1 into -1
3.294 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.294 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.295 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.296 * [backup-simplify]: Simplify 0 into 0
3.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.300 * [backup-simplify]: Simplify 0 into 0
3.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.304 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.304 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.309 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.309 * [backup-simplify]: Simplify 0 into 0
3.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.315 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.315 * [backup-simplify]: Simplify 0 into 0
3.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.321 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.321 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
3.322 * * * [progress]: simplifying candidates
3.322 * * * * [progress]: [ 1 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (log1p (expm1 (* d1 (* d1 d1)))) (* d1 d1))))>
3.322 * * * * [progress]: [ 2 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (expm1 (log1p (* d1 (* d1 d1)))) (* d1 d1))))>
3.322 * * * * [progress]: [ 3 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (pow d1 (+ 1 (+ 1 1))) (* d1 d1))))>
3.322 * * * * [progress]: [ 4 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (pow d1 (+ 1 2)) (* d1 d1))))>
3.322 * * * * [progress]: [ 5 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (pow d1 (+ 1 (+ 1 1))) (* d1 d1))))>
3.322 * * * * [progress]: [ 6 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (pow d1 (+ 1 (* 2 1))) (* d1 d1))))>
3.322 * * * * [progress]: [ 7 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (pow (* d1 (* d1 d1)) 1) (* d1 d1))))>
3.322 * * * * [progress]: [ 8 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (pow (* d1 (* d1 d1)) 1) (* d1 d1))))>
3.322 * * * * [progress]: [ 9 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (pow (* d1 (* d1 d1)) 1) (* d1 d1))))>
3.322 * * * * [progress]: [ 10 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (exp (+ (log d1) (+ (log d1) (log d1)))) (* d1 d1))))>
3.322 * * * * [progress]: [ 11 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (exp (+ (log d1) (log (* d1 d1)))) (* d1 d1))))>
3.322 * * * * [progress]: [ 12 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (exp (log (* d1 (* d1 d1)))) (* d1 d1))))>
3.323 * * * * [progress]: [ 13 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (log (exp (* d1 (* d1 d1)))) (* d1 d1))))>
3.323 * * * * [progress]: [ 14 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (pow d1 3) (* d1 d1))))>
3.323 * * * * [progress]: [ 15 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) (* d1 d1))))>
3.323 * * * * [progress]: [ 16 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) (* d1 d1))))>
3.323 * * * * [progress]: [ 17 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1)))) (* d1 d1))))>
3.323 * * * * [progress]: [ 18 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))) (* d1 d1))))>
3.323 * * * * [progress]: [ 19 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1)))) (* d1 d1))))>
3.323 * * * * [progress]: [ 20 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* 1 (* d1 (* d1 d1))) (* d1 d1))))>
3.323 * * * * [progress]: [ 21 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* (* (sqrt d1) d1) (* (sqrt d1) d1)) (* d1 d1))))>
3.323 * * * * [progress]: [ 22 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) d1) (* d1 d1))))>
3.323 * * * * [progress]: [ 23 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* d1 d1))) (* d1 d1))))>
3.323 * * * * [progress]: [ 24 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* (sqrt d1) (* (sqrt d1) (* d1 d1))) (* d1 d1))))>
3.323 * * * * [progress]: [ 25 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* 1 (* d1 (* d1 d1))) (* d1 d1))))>
3.323 * * * * [progress]: [ 26 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (posit16->real (real->posit16 (* d1 (* d1 d1)))) (* d1 d1))))>
3.324 * * * * [progress]: [ 27 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) d1) (* d1 d1))))>
3.324 * * * * [progress]: [ 28 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (log1p (expm1 (* d1 (* d1 d1)))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.324 * * * * [progress]: [ 29 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (expm1 (log1p (* d1 (* d1 d1)))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.324 * * * * [progress]: [ 30 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 (+ 1 (+ 1 1))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.324 * * * * [progress]: [ 31 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 (+ 1 2)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.324 * * * * [progress]: [ 32 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 (+ 1 (+ 1 1))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.324 * * * * [progress]: [ 33 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 (+ 1 (* 2 1))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.324 * * * * [progress]: [ 34 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (pow (* d1 (* d1 d1)) 1) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.324 * * * * [progress]: [ 35 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (pow (* d1 (* d1 d1)) 1) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.324 * * * * [progress]: [ 36 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (pow (* d1 (* d1 d1)) 1) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.324 * * * * [progress]: [ 37 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (exp (+ (log d1) (+ (log d1) (log d1)))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.324 * * * * [progress]: [ 38 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (exp (+ (log d1) (log (* d1 d1)))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.324 * * * * [progress]: [ 39 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (exp (log (* d1 (* d1 d1)))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.324 * * * * [progress]: [ 40 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (log (exp (* d1 (* d1 d1)))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 41 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 3) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 42 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 43 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 44 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1)))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 45 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 46 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1)))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 47 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* 1 (* d1 (* d1 d1))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 48 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* (* (sqrt d1) d1) (* (sqrt d1) d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 49 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* (* d1 d1) d1) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 50 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* d1 d1))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 51 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* (sqrt d1) (* (sqrt d1) (* d1 d1))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 52 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* 1 (* d1 (* d1 d1))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 53 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (posit16->real (real->posit16 (* d1 (* d1 d1)))) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 54 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* (* d1 d1) d1) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.325 * * * * [progress]: [ 55 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (log1p (expm1 (* (* d1 (* d1 d1)) (* d1 d1))))))>
3.326 * * * * [progress]: [ 56 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (expm1 (log1p (* (* d1 (* d1 d1)) (* d1 d1))))))>
3.326 * * * * [progress]: [ 57 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 (+ 1 1)) (+ 1 1)))))>
3.326 * * * * [progress]: [ 58 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 (+ 1 1)) 2))))>
3.326 * * * * [progress]: [ 59 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 (+ 1 1)) (+ 1 1)))))>
3.326 * * * * [progress]: [ 60 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 (+ 1 1)) (* 2 1)))))>
3.326 * * * * [progress]: [ 61 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 2) (+ 1 1)))))>
3.326 * * * * [progress]: [ 62 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 2) 2))))>
3.326 * * * * [progress]: [ 63 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 2) (+ 1 1)))))>
3.326 * * * * [progress]: [ 64 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 2) (* 2 1)))))>
3.326 * * * * [progress]: [ 65 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 (+ 1 1)) (+ 1 1)))))>
3.326 * * * * [progress]: [ 66 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 (+ 1 1)) 2))))>
3.326 * * * * [progress]: [ 67 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 (+ 1 1)) (+ 1 1)))))>
3.326 * * * * [progress]: [ 68 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 (+ 1 1)) (* 2 1)))))>
3.326 * * * * [progress]: [ 69 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 (* 2 1)) (+ 1 1)))))>
3.327 * * * * [progress]: [ 70 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 (* 2 1)) 2))))>
3.327 * * * * [progress]: [ 71 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 (* 2 1)) (+ 1 1)))))>
3.327 * * * * [progress]: [ 72 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ (+ 1 (* 2 1)) (* 2 1)))))>
3.327 * * * * [progress]: [ 73 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ 3 (+ 1 1)))))>
3.327 * * * * [progress]: [ 74 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ 3 2))))>
3.327 * * * * [progress]: [ 75 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ 3 (+ 1 1)))))>
3.327 * * * * [progress]: [ 76 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 (+ 3 (* 2 1)))))>
3.327 * * * * [progress]: [ 77 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
3.327 * * * * [progress]: [ 78 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
3.327 * * * * [progress]: [ 79 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
3.327 * * * * [progress]: [ 80 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
3.327 * * * * [progress]: [ 81 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
3.327 * * * * [progress]: [ 82 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
3.327 * * * * [progress]: [ 83 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
3.327 * * * * [progress]: [ 84 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (exp (+ (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log d1))))))>
3.328 * * * * [progress]: [ 85 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (exp (+ (+ (log d1) (+ (log d1) (log d1))) (log (* d1 d1))))))>
3.328 * * * * [progress]: [ 86 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (exp (+ (+ (log d1) (log (* d1 d1))) (+ (log d1) (log d1))))))>
3.328 * * * * [progress]: [ 87 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (exp (+ (+ (log d1) (log (* d1 d1))) (log (* d1 d1))))))>
3.328 * * * * [progress]: [ 88 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (exp (+ (log (* d1 (* d1 d1))) (+ (log d1) (log d1))))))>
3.328 * * * * [progress]: [ 89 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (exp (+ (log (* d1 (* d1 d1))) (log (* d1 d1))))))>
3.328 * * * * [progress]: [ 90 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (exp (log (* (* d1 (* d1 d1)) (* d1 d1))))))>
3.328 * * * * [progress]: [ 91 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (log (exp (* (* d1 (* d1 d1)) (* d1 d1))))))>
3.328 * * * * [progress]: [ 92 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))))>
3.328 * * * * [progress]: [ 93 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))))>
3.328 * * * * [progress]: [ 94 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))))>
3.328 * * * * [progress]: [ 95 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))))>
3.328 * * * * [progress]: [ 96 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))))>
3.328 * * * * [progress]: [ 97 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))))>
3.328 * * * * [progress]: [ 98 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* (cbrt (* (* d1 (* d1 d1)) (* d1 d1))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1)))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1))))))>
3.328 * * * * [progress]: [ 99 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1))))))>
3.329 * * * * [progress]: [ 100 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (sqrt (* (* d1 (* d1 d1)) (* d1 d1))) (sqrt (* (* d1 (* d1 d1)) (* d1 d1))))))>
3.329 * * * * [progress]: [ 101 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* 1 (* (* d1 (* d1 d1)) (* d1 d1)))))>
3.329 * * * * [progress]: [ 102 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) d1) d1)))>
3.329 * * * * [progress]: [ 103 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))))>
3.329 * * * * [progress]: [ 104 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (posit16->real (real->posit16 (* (* d1 (* d1 d1)) (* d1 d1))))))>
3.329 * * * * [progress]: [ 105 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 (* d1 d1)))))>
3.329 * * * * [progress]: [ 106 / 168 ] simplifiying candidate #<alt (λ (d1) (* (log1p (expm1 (* (* d1 (* d1 d1)) (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.329 * * * * [progress]: [ 107 / 168 ] simplifiying candidate #<alt (λ (d1) (* (expm1 (log1p (* (* d1 (* d1 d1)) (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.329 * * * * [progress]: [ 108 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 (+ 1 1)) (+ 1 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.329 * * * * [progress]: [ 109 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 (+ 1 1)) 2)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.329 * * * * [progress]: [ 110 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 (+ 1 1)) (+ 1 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.329 * * * * [progress]: [ 111 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 (+ 1 1)) (* 2 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.329 * * * * [progress]: [ 112 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 2) (+ 1 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.329 * * * * [progress]: [ 113 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 2) 2)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.329 * * * * [progress]: [ 114 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 2) (+ 1 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 115 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 2) (* 2 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 116 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 (+ 1 1)) (+ 1 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 117 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 (+ 1 1)) 2)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 118 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 (+ 1 1)) (+ 1 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 119 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 (+ 1 1)) (* 2 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 120 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 (* 2 1)) (+ 1 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 121 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 (* 2 1)) 2)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 122 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 (* 2 1)) (+ 1 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 123 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ (+ 1 (* 2 1)) (* 2 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 124 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 3 (+ 1 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 125 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 3 2)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 126 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 3 (+ 1 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 127 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 3 (* 2 1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 128 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.330 * * * * [progress]: [ 129 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 130 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 131 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 132 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 133 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 134 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 135 / 168 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 136 / 168 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (+ (log d1) (+ (log d1) (log d1))) (log (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 137 / 168 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (+ (log d1) (log (* d1 d1))) (+ (log d1) (log d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 138 / 168 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (+ (log d1) (log (* d1 d1))) (log (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 139 / 168 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log (* d1 (* d1 d1))) (+ (log d1) (log d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 140 / 168 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log (* d1 (* d1 d1))) (log (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 141 / 168 ] simplifiying candidate #<alt (λ (d1) (* (exp (log (* (* d1 (* d1 d1)) (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 142 / 168 ] simplifiying candidate #<alt (λ (d1) (* (log (exp (* (* d1 (* d1 d1)) (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 143 / 168 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.331 * * * * [progress]: [ 144 / 168 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.332 * * * * [progress]: [ 145 / 168 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.332 * * * * [progress]: [ 146 / 168 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.332 * * * * [progress]: [ 147 / 168 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.332 * * * * [progress]: [ 148 / 168 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.332 * * * * [progress]: [ 149 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt (* (* d1 (* d1 d1)) (* d1 d1))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1)))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.332 * * * * [progress]: [ 150 / 168 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.332 * * * * [progress]: [ 151 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (* (* d1 (* d1 d1)) (* d1 d1))) (sqrt (* (* d1 (* d1 d1)) (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.332 * * * * [progress]: [ 152 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.332 * * * * [progress]: [ 153 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.332 * * * * [progress]: [ 154 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.332 * * * * [progress]: [ 155 / 168 ] simplifiying candidate #<alt (λ (d1) (* (posit16->real (real->posit16 (* (* d1 (* d1 d1)) (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.332 * * * * [progress]: [ 156 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 d1) (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.332 * * * * [progress]: [ 157 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (pow d1 3) (* d1 d1))))>
3.332 * * * * [progress]: [ 158 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (pow d1 3) (* d1 d1))))>
3.332 * * * * [progress]: [ 159 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (pow d1 3) (* d1 d1))))>
3.333 * * * * [progress]: [ 160 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 3) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.333 * * * * [progress]: [ 161 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 3) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.333 * * * * [progress]: [ 162 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 3) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.333 * * * * [progress]: [ 163 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 5)))>
3.333 * * * * [progress]: [ 164 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 5)))>
3.333 * * * * [progress]: [ 165 / 168 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 5)))>
3.333 * * * * [progress]: [ 166 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.333 * * * * [progress]: [ 167 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.333 * * * * [progress]: [ 168 / 168 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))>
3.335 * [simplify]: Simplifying:
  (expm1 (* d1 (* d1 d1)))
  (log1p (* d1 (* d1 d1)))
  (+ 1 (+ 1 1))
  (+ 1 2)
  (+ 1 (+ 1 1))
  (+ 1 (* 2 1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (+ (log d1) (+ (log d1) (log d1)))
  (+ (log d1) (log (* d1 d1)))
  (log (* d1 (* d1 d1)))
  (exp (* d1 (* d1 d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1))))
  (cbrt (* d1 (* d1 d1)))
  (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (cbrt d1) (* d1 d1))
  (* (sqrt d1) (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* d1 (* d1 d1)))
  (expm1 (* d1 (* d1 d1)))
  (log1p (* d1 (* d1 d1)))
  (+ 1 (+ 1 1))
  (+ 1 2)
  (+ 1 (+ 1 1))
  (+ 1 (* 2 1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (+ (log d1) (+ (log d1) (log d1)))
  (+ (log d1) (log (* d1 d1)))
  (log (* d1 (* d1 d1)))
  (exp (* d1 (* d1 d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1))))
  (cbrt (* d1 (* d1 d1)))
  (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (cbrt d1) (* d1 d1))
  (* (sqrt d1) (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* d1 (* d1 d1)))
  (expm1 (* (* d1 (* d1 d1)) (* d1 d1)))
  (log1p (* (* d1 (* d1 d1)) (* d1 d1)))
  (+ (+ 1 (+ 1 1)) (+ 1 1))
  (+ (+ 1 (+ 1 1)) 2)
  (+ (+ 1 (+ 1 1)) (+ 1 1))
  (+ (+ 1 (+ 1 1)) (* 2 1))
  (+ (+ 1 2) (+ 1 1))
  (+ (+ 1 2) 2)
  (+ (+ 1 2) (+ 1 1))
  (+ (+ 1 2) (* 2 1))
  (+ (+ 1 (+ 1 1)) (+ 1 1))
  (+ (+ 1 (+ 1 1)) 2)
  (+ (+ 1 (+ 1 1)) (+ 1 1))
  (+ (+ 1 (+ 1 1)) (* 2 1))
  (+ (+ 1 (* 2 1)) (+ 1 1))
  (+ (+ 1 (* 2 1)) 2)
  (+ (+ 1 (* 2 1)) (+ 1 1))
  (+ (+ 1 (* 2 1)) (* 2 1))
  (+ 3 (+ 1 1))
  (+ 3 2)
  (+ 3 (+ 1 1))
  (+ 3 (* 2 1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (+ (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log d1)))
  (+ (+ (log d1) (+ (log d1) (log d1))) (log (* d1 d1)))
  (+ (+ (log d1) (log (* d1 d1))) (+ (log d1) (log d1)))
  (+ (+ (log d1) (log (* d1 d1))) (log (* d1 d1)))
  (+ (log (* d1 (* d1 d1))) (+ (log d1) (log d1)))
  (+ (log (* d1 (* d1 d1))) (log (* d1 d1)))
  (log (* (* d1 (* d1 d1)) (* d1 d1)))
  (exp (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* (* d1 (* d1 d1)) (* d1 d1))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1))))
  (cbrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
  (sqrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (sqrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 d1) (* d1 d1))
  (real->posit16 (* (* d1 (* d1 d1)) (* d1 d1)))
  (expm1 (* (* d1 (* d1 d1)) (* d1 d1)))
  (log1p (* (* d1 (* d1 d1)) (* d1 d1)))
  (+ (+ 1 (+ 1 1)) (+ 1 1))
  (+ (+ 1 (+ 1 1)) 2)
  (+ (+ 1 (+ 1 1)) (+ 1 1))
  (+ (+ 1 (+ 1 1)) (* 2 1))
  (+ (+ 1 2) (+ 1 1))
  (+ (+ 1 2) 2)
  (+ (+ 1 2) (+ 1 1))
  (+ (+ 1 2) (* 2 1))
  (+ (+ 1 (+ 1 1)) (+ 1 1))
  (+ (+ 1 (+ 1 1)) 2)
  (+ (+ 1 (+ 1 1)) (+ 1 1))
  (+ (+ 1 (+ 1 1)) (* 2 1))
  (+ (+ 1 (* 2 1)) (+ 1 1))
  (+ (+ 1 (* 2 1)) 2)
  (+ (+ 1 (* 2 1)) (+ 1 1))
  (+ (+ 1 (* 2 1)) (* 2 1))
  (+ 3 (+ 1 1))
  (+ 3 2)
  (+ 3 (+ 1 1))
  (+ 3 (* 2 1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (+ (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log d1)))
  (+ (+ (log d1) (+ (log d1) (log d1))) (log (* d1 d1)))
  (+ (+ (log d1) (log (* d1 d1))) (+ (log d1) (log d1)))
  (+ (+ (log d1) (log (* d1 d1))) (log (* d1 d1)))
  (+ (log (* d1 (* d1 d1))) (+ (log d1) (log d1)))
  (+ (log (* d1 (* d1 d1))) (log (* d1 d1)))
  (log (* (* d1 (* d1 d1)) (* d1 d1)))
  (exp (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* (* d1 (* d1 d1)) (* d1 d1))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1))))
  (cbrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
  (sqrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (sqrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 d1) (* d1 d1))
  (real->posit16 (* (* d1 (* d1 d1)) (* d1 d1)))
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
3.338 * * [simplify]: iteration 1: (76 enodes)
3.376 * * [simplify]: iteration 2: (292 enodes)
3.449 * * [simplify]: iteration 3: (588 enodes)
3.751 * * [simplify]: iteration 4: (1238 enodes)
5.712 * * [simplify]: Extracting #0: cost 26 inf + 0
5.712 * * [simplify]: Extracting #1: cost 214 inf + 637
5.716 * * [simplify]: Extracting #2: cost 647 inf + 12292
5.730 * * [simplify]: Extracting #3: cost 526 inf + 51743
5.772 * * [simplify]: Extracting #4: cost 241 inf + 182410
5.821 * * [simplify]: Extracting #5: cost 3 inf + 306974
5.884 * * [simplify]: Extracting #6: cost 0 inf + 308454
5.932 * [simplify]: Simplified to:
  (expm1 (* d1 (* d1 d1)))
  (log1p (* d1 (* d1 d1)))
  3
  3
  3
  3
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (exp (* d1 (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1))
  (* d1 d1)
  d1
  (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* d1 (sqrt d1))
  (* d1 (sqrt d1))
  (* d1 d1)
  (* (* d1 d1) (cbrt d1))
  (* (* d1 d1) (sqrt d1))
  (* d1 (* d1 d1))
  (real->posit16 (* d1 (* d1 d1)))
  (expm1 (* d1 (* d1 d1)))
  (log1p (* d1 (* d1 d1)))
  3
  3
  3
  3
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (exp (* d1 (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1))
  (* d1 d1)
  d1
  (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* d1 (sqrt d1))
  (* d1 (sqrt d1))
  (* d1 d1)
  (* (* d1 d1) (cbrt d1))
  (* (* d1 d1) (sqrt d1))
  (* d1 (* d1 d1))
  (real->posit16 (* d1 (* d1 d1)))
  (expm1 (* (* (* d1 d1) (* d1 d1)) d1))
  (log1p (* (* (* d1 d1) (* d1 d1)) d1))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (exp (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (cbrt (* (* (* d1 d1) (* d1 d1)) d1)) (cbrt (* (* (* d1 d1) (* d1 d1)) d1)))
  (cbrt (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (sqrt (* (* (* d1 d1) (* d1 d1)) d1))
  (sqrt (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (real->posit16 (* (* (* d1 d1) (* d1 d1)) d1))
  (expm1 (* (* (* d1 d1) (* d1 d1)) d1))
  (log1p (* (* (* d1 d1) (* d1 d1)) d1))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (exp (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (cbrt (* (* (* d1 d1) (* d1 d1)) d1)) (cbrt (* (* (* d1 d1) (* d1 d1)) d1)))
  (cbrt (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (sqrt (* (* (* d1 d1) (* d1 d1)) d1))
  (sqrt (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (real->posit16 (* (* (* d1 d1) (* d1 d1)) d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
  (* (* (* d1 d1) (* d1 d1)) d1)
5.938 * * * [progress]: adding candidates to table
7.170 * * [progress]: iteration 2 / 4
7.170 * * * [progress]: picking best candidate
7.188 * * * * [pick]: Picked  #<alt (λ (d1) (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))>
7.188 * * * [progress]: localizing error
7.200 * * * [progress]: generating rewritten candidates
7.201 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
7.214 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
7.402 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
7.466 * * * [progress]: generating series expansions
7.466 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
7.467 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
7.467 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
7.467 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.467 * [taylor]: Taking taylor expansion of d1 in d1
7.467 * [backup-simplify]: Simplify 0 into 0
7.467 * [backup-simplify]: Simplify 1 into 1
7.467 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.467 * [taylor]: Taking taylor expansion of d1 in d1
7.467 * [backup-simplify]: Simplify 0 into 0
7.467 * [backup-simplify]: Simplify 1 into 1
7.468 * [backup-simplify]: Simplify (* 1 1) into 1
7.468 * [backup-simplify]: Simplify (* 1 1) into 1
7.468 * [backup-simplify]: Simplify 1 into 1
7.469 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.469 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.469 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.471 * [backup-simplify]: Simplify 0 into 0
7.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.473 * [backup-simplify]: Simplify 0 into 0
7.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.476 * [backup-simplify]: Simplify 0 into 0
7.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.478 * [backup-simplify]: Simplify 0 into 0
7.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.482 * [backup-simplify]: Simplify 0 into 0
7.482 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
7.482 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
7.482 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
7.482 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
7.482 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.482 * [taylor]: Taking taylor expansion of d1 in d1
7.482 * [backup-simplify]: Simplify 0 into 0
7.482 * [backup-simplify]: Simplify 1 into 1
7.482 * [backup-simplify]: Simplify (* 1 1) into 1
7.483 * [backup-simplify]: Simplify (* 1 1) into 1
7.483 * [backup-simplify]: Simplify (/ 1 1) into 1
7.483 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
7.483 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.483 * [taylor]: Taking taylor expansion of d1 in d1
7.483 * [backup-simplify]: Simplify 0 into 0
7.483 * [backup-simplify]: Simplify 1 into 1
7.484 * [backup-simplify]: Simplify (* 1 1) into 1
7.484 * [backup-simplify]: Simplify (* 1 1) into 1
7.484 * [backup-simplify]: Simplify (/ 1 1) into 1
7.485 * [backup-simplify]: Simplify 1 into 1
7.485 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.486 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.487 * [backup-simplify]: Simplify 0 into 0
7.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.489 * [backup-simplify]: Simplify 0 into 0
7.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.495 * [backup-simplify]: Simplify 0 into 0
7.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.499 * [backup-simplify]: Simplify 0 into 0
7.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.503 * [backup-simplify]: Simplify 0 into 0
7.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.507 * [backup-simplify]: Simplify 0 into 0
7.507 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
7.507 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
7.507 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
7.507 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
7.507 * [taylor]: Taking taylor expansion of -1 in d1
7.507 * [backup-simplify]: Simplify -1 into -1
7.507 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.507 * [taylor]: Taking taylor expansion of d1 in d1
7.507 * [backup-simplify]: Simplify 0 into 0
7.507 * [backup-simplify]: Simplify 1 into 1
7.508 * [backup-simplify]: Simplify (* 1 1) into 1
7.508 * [backup-simplify]: Simplify (* 1 1) into 1
7.508 * [backup-simplify]: Simplify (/ -1 1) into -1
7.508 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
7.508 * [taylor]: Taking taylor expansion of -1 in d1
7.509 * [backup-simplify]: Simplify -1 into -1
7.509 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.509 * [taylor]: Taking taylor expansion of d1 in d1
7.509 * [backup-simplify]: Simplify 0 into 0
7.509 * [backup-simplify]: Simplify 1 into 1
7.509 * [backup-simplify]: Simplify (* 1 1) into 1
7.509 * [backup-simplify]: Simplify (* 1 1) into 1
7.510 * [backup-simplify]: Simplify (/ -1 1) into -1
7.510 * [backup-simplify]: Simplify -1 into -1
7.511 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.511 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.512 * [backup-simplify]: Simplify 0 into 0
7.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.515 * [backup-simplify]: Simplify 0 into 0
7.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.518 * [backup-simplify]: Simplify 0 into 0
7.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.522 * [backup-simplify]: Simplify 0 into 0
7.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.525 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.526 * [backup-simplify]: Simplify 0 into 0
7.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.530 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.530 * [backup-simplify]: Simplify 0 into 0
7.530 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
7.530 * * * * [progress]: [ 2 / 3 ] generating series at (2)
7.531 * [backup-simplify]: Simplify (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))) into (pow d1 10)
7.531 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
7.531 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.531 * [taylor]: Taking taylor expansion of d1 in d1
7.531 * [backup-simplify]: Simplify 0 into 0
7.531 * [backup-simplify]: Simplify 1 into 1
7.531 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.531 * [taylor]: Taking taylor expansion of d1 in d1
7.531 * [backup-simplify]: Simplify 0 into 0
7.531 * [backup-simplify]: Simplify 1 into 1
7.531 * [backup-simplify]: Simplify (* 1 1) into 1
7.532 * [backup-simplify]: Simplify (* 1 1) into 1
7.532 * [backup-simplify]: Simplify (* 1 1) into 1
7.532 * [backup-simplify]: Simplify (* 1 1) into 1
7.532 * [backup-simplify]: Simplify 1 into 1
7.533 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.534 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.534 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.535 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.535 * [backup-simplify]: Simplify 0 into 0
7.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.539 * [backup-simplify]: Simplify 0 into 0
7.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.544 * [backup-simplify]: Simplify 0 into 0
7.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.549 * [backup-simplify]: Simplify 0 into 0
7.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.554 * [backup-simplify]: Simplify 0 into 0
7.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.560 * [backup-simplify]: Simplify 0 into 0
7.560 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
7.561 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 5) (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (* (/ 1 d1) (/ 1 d1)))) into (/ 1 (pow d1 10))
7.561 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
7.561 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
7.561 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.561 * [taylor]: Taking taylor expansion of d1 in d1
7.561 * [backup-simplify]: Simplify 0 into 0
7.561 * [backup-simplify]: Simplify 1 into 1
7.561 * [backup-simplify]: Simplify (* 1 1) into 1
7.562 * [backup-simplify]: Simplify (* 1 1) into 1
7.562 * [backup-simplify]: Simplify (* 1 1) into 1
7.562 * [backup-simplify]: Simplify (* 1 1) into 1
7.563 * [backup-simplify]: Simplify (/ 1 1) into 1
7.563 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
7.563 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.563 * [taylor]: Taking taylor expansion of d1 in d1
7.563 * [backup-simplify]: Simplify 0 into 0
7.563 * [backup-simplify]: Simplify 1 into 1
7.563 * [backup-simplify]: Simplify (* 1 1) into 1
7.564 * [backup-simplify]: Simplify (* 1 1) into 1
7.564 * [backup-simplify]: Simplify (* 1 1) into 1
7.565 * [backup-simplify]: Simplify (* 1 1) into 1
7.565 * [backup-simplify]: Simplify (/ 1 1) into 1
7.565 * [backup-simplify]: Simplify 1 into 1
7.566 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.566 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.567 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.568 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.568 * [backup-simplify]: Simplify 0 into 0
7.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.572 * [backup-simplify]: Simplify 0 into 0
7.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.575 * [backup-simplify]: Simplify 0 into 0
7.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.578 * [backup-simplify]: Simplify 0 into 0
7.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.582 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.586 * [backup-simplify]: Simplify 0 into 0
7.586 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
7.586 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 5) (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (* (/ 1 (- d1)) (/ 1 (- d1))))) into (/ 1 (pow d1 10))
7.586 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
7.586 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
7.586 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.586 * [taylor]: Taking taylor expansion of d1 in d1
7.586 * [backup-simplify]: Simplify 0 into 0
7.586 * [backup-simplify]: Simplify 1 into 1
7.587 * [backup-simplify]: Simplify (* 1 1) into 1
7.587 * [backup-simplify]: Simplify (* 1 1) into 1
7.587 * [backup-simplify]: Simplify (* 1 1) into 1
7.587 * [backup-simplify]: Simplify (* 1 1) into 1
7.588 * [backup-simplify]: Simplify (/ 1 1) into 1
7.588 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
7.588 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.588 * [taylor]: Taking taylor expansion of d1 in d1
7.588 * [backup-simplify]: Simplify 0 into 0
7.588 * [backup-simplify]: Simplify 1 into 1
7.588 * [backup-simplify]: Simplify (* 1 1) into 1
7.588 * [backup-simplify]: Simplify (* 1 1) into 1
7.588 * [backup-simplify]: Simplify (* 1 1) into 1
7.589 * [backup-simplify]: Simplify (* 1 1) into 1
7.589 * [backup-simplify]: Simplify (/ 1 1) into 1
7.589 * [backup-simplify]: Simplify 1 into 1
7.589 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.590 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.590 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.590 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.591 * [backup-simplify]: Simplify 0 into 0
7.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.594 * [backup-simplify]: Simplify 0 into 0
7.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.597 * [backup-simplify]: Simplify 0 into 0
7.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.601 * [backup-simplify]: Simplify 0 into 0
7.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.608 * [backup-simplify]: Simplify 0 into 0
7.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.617 * [backup-simplify]: Simplify 0 into 0
7.617 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
7.617 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
7.617 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) (* d1 d1)) into (pow d1 5)
7.617 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
7.617 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.617 * [taylor]: Taking taylor expansion of d1 in d1
7.617 * [backup-simplify]: Simplify 0 into 0
7.617 * [backup-simplify]: Simplify 1 into 1
7.617 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.617 * [taylor]: Taking taylor expansion of d1 in d1
7.617 * [backup-simplify]: Simplify 0 into 0
7.618 * [backup-simplify]: Simplify 1 into 1
7.618 * [backup-simplify]: Simplify (* 1 1) into 1
7.618 * [backup-simplify]: Simplify (* 1 1) into 1
7.619 * [backup-simplify]: Simplify (* 1 1) into 1
7.619 * [backup-simplify]: Simplify 1 into 1
7.619 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.619 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.620 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.620 * [backup-simplify]: Simplify 0 into 0
7.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.621 * [backup-simplify]: Simplify 0 into 0
7.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.623 * [backup-simplify]: Simplify 0 into 0
7.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.625 * [backup-simplify]: Simplify 0 into 0
7.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.630 * [backup-simplify]: Simplify 0 into 0
7.630 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
7.630 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 5))
7.630 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
7.630 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
7.630 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.631 * [taylor]: Taking taylor expansion of d1 in d1
7.631 * [backup-simplify]: Simplify 0 into 0
7.631 * [backup-simplify]: Simplify 1 into 1
7.631 * [backup-simplify]: Simplify (* 1 1) into 1
7.631 * [backup-simplify]: Simplify (* 1 1) into 1
7.631 * [backup-simplify]: Simplify (* 1 1) into 1
7.631 * [backup-simplify]: Simplify (/ 1 1) into 1
7.632 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
7.632 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.632 * [taylor]: Taking taylor expansion of d1 in d1
7.632 * [backup-simplify]: Simplify 0 into 0
7.632 * [backup-simplify]: Simplify 1 into 1
7.632 * [backup-simplify]: Simplify (* 1 1) into 1
7.632 * [backup-simplify]: Simplify (* 1 1) into 1
7.632 * [backup-simplify]: Simplify (* 1 1) into 1
7.633 * [backup-simplify]: Simplify (/ 1 1) into 1
7.633 * [backup-simplify]: Simplify 1 into 1
7.633 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.633 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.634 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.634 * [backup-simplify]: Simplify 0 into 0
7.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.636 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.639 * [backup-simplify]: Simplify 0 into 0
7.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.641 * [backup-simplify]: Simplify 0 into 0
7.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.644 * [backup-simplify]: Simplify 0 into 0
7.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.648 * [backup-simplify]: Simplify 0 into 0
7.648 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
7.648 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 5))
7.649 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
7.649 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
7.649 * [taylor]: Taking taylor expansion of -1 in d1
7.649 * [backup-simplify]: Simplify -1 into -1
7.649 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.649 * [taylor]: Taking taylor expansion of d1 in d1
7.649 * [backup-simplify]: Simplify 0 into 0
7.649 * [backup-simplify]: Simplify 1 into 1
7.649 * [backup-simplify]: Simplify (* 1 1) into 1
7.649 * [backup-simplify]: Simplify (* 1 1) into 1
7.650 * [backup-simplify]: Simplify (* 1 1) into 1
7.650 * [backup-simplify]: Simplify (/ -1 1) into -1
7.650 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
7.651 * [taylor]: Taking taylor expansion of -1 in d1
7.651 * [backup-simplify]: Simplify -1 into -1
7.651 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.651 * [taylor]: Taking taylor expansion of d1 in d1
7.651 * [backup-simplify]: Simplify 0 into 0
7.651 * [backup-simplify]: Simplify 1 into 1
7.651 * [backup-simplify]: Simplify (* 1 1) into 1
7.652 * [backup-simplify]: Simplify (* 1 1) into 1
7.652 * [backup-simplify]: Simplify (* 1 1) into 1
7.652 * [backup-simplify]: Simplify (/ -1 1) into -1
7.652 * [backup-simplify]: Simplify -1 into -1
7.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.654 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.654 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.655 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.655 * [backup-simplify]: Simplify 0 into 0
7.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.659 * [backup-simplify]: Simplify 0 into 0
7.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.664 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.664 * [backup-simplify]: Simplify 0 into 0
7.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.668 * [backup-simplify]: Simplify 0 into 0
7.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.674 * [backup-simplify]: Simplify 0 into 0
7.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.680 * [backup-simplify]: Simplify 0 into 0
7.680 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
7.680 * * * [progress]: simplifying candidates
7.680 * * * * [progress]: [ 1 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (log1p (expm1 (* d1 (* d1 d1)))) (* d1 d1))))>
7.680 * * * * [progress]: [ 2 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (expm1 (log1p (* d1 (* d1 d1)))) (* d1 d1))))>
7.680 * * * * [progress]: [ 3 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (pow d1 (+ 1 (+ 1 1))) (* d1 d1))))>
7.680 * * * * [progress]: [ 4 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (pow d1 (+ 1 2)) (* d1 d1))))>
7.681 * * * * [progress]: [ 5 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (pow d1 (+ 1 (+ 1 1))) (* d1 d1))))>
7.681 * * * * [progress]: [ 6 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (pow d1 (+ 1 (* 2 1))) (* d1 d1))))>
7.681 * * * * [progress]: [ 7 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (pow (* d1 (* d1 d1)) 1) (* d1 d1))))>
7.681 * * * * [progress]: [ 8 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (pow (* d1 (* d1 d1)) 1) (* d1 d1))))>
7.681 * * * * [progress]: [ 9 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (pow (* d1 (* d1 d1)) 1) (* d1 d1))))>
7.681 * * * * [progress]: [ 10 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (exp (+ (log d1) (+ (log d1) (log d1)))) (* d1 d1))))>
7.681 * * * * [progress]: [ 11 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (exp (+ (log d1) (log (* d1 d1)))) (* d1 d1))))>
7.681 * * * * [progress]: [ 12 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (exp (log (* d1 (* d1 d1)))) (* d1 d1))))>
7.681 * * * * [progress]: [ 13 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (log (exp (* d1 (* d1 d1)))) (* d1 d1))))>
7.681 * * * * [progress]: [ 14 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (pow d1 3) (* d1 d1))))>
7.681 * * * * [progress]: [ 15 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) (* d1 d1))))>
7.681 * * * * [progress]: [ 16 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) (* d1 d1))))>
7.681 * * * * [progress]: [ 17 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1)))) (* d1 d1))))>
7.681 * * * * [progress]: [ 18 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))) (* d1 d1))))>
7.681 * * * * [progress]: [ 19 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1)))) (* d1 d1))))>
7.682 * * * * [progress]: [ 20 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* 1 (* d1 (* d1 d1))) (* d1 d1))))>
7.682 * * * * [progress]: [ 21 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* (* (sqrt d1) d1) (* (sqrt d1) d1)) (* d1 d1))))>
7.682 * * * * [progress]: [ 22 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* (* d1 d1) d1) (* d1 d1))))>
7.682 * * * * [progress]: [ 23 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* d1 d1))) (* d1 d1))))>
7.682 * * * * [progress]: [ 24 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* (sqrt d1) (* (sqrt d1) (* d1 d1))) (* d1 d1))))>
7.682 * * * * [progress]: [ 25 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* 1 (* d1 (* d1 d1))) (* d1 d1))))>
7.682 * * * * [progress]: [ 26 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (posit16->real (real->posit16 (* d1 (* d1 d1)))) (* d1 d1))))>
7.682 * * * * [progress]: [ 27 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* (* d1 d1) d1) (* d1 d1))))>
7.682 * * * * [progress]: [ 28 / 154 ] simplifiying candidate #<alt (λ (d1) (log1p (expm1 (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.682 * * * * [progress]: [ 29 / 154 ] simplifiying candidate #<alt (λ (d1) (expm1 (log1p (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.682 * * * * [progress]: [ 30 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 (+ 1 1)) (+ 1 1)))))>
7.682 * * * * [progress]: [ 31 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 (+ 1 1)) 2))))>
7.682 * * * * [progress]: [ 32 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 (+ 1 1)) (+ 1 1)))))>
7.682 * * * * [progress]: [ 33 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 (+ 1 1)) (* 2 1)))))>
7.682 * * * * [progress]: [ 34 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 2) (+ 1 1)))))>
7.683 * * * * [progress]: [ 35 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 2) 2))))>
7.683 * * * * [progress]: [ 36 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 2) (+ 1 1)))))>
7.683 * * * * [progress]: [ 37 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 2) (* 2 1)))))>
7.683 * * * * [progress]: [ 38 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 (+ 1 1)) (+ 1 1)))))>
7.683 * * * * [progress]: [ 39 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 (+ 1 1)) 2))))>
7.683 * * * * [progress]: [ 40 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 (+ 1 1)) (+ 1 1)))))>
7.683 * * * * [progress]: [ 41 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 (+ 1 1)) (* 2 1)))))>
7.683 * * * * [progress]: [ 42 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 (* 2 1)) (+ 1 1)))))>
7.683 * * * * [progress]: [ 43 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 (* 2 1)) 2))))>
7.683 * * * * [progress]: [ 44 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 (* 2 1)) (+ 1 1)))))>
7.683 * * * * [progress]: [ 45 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ (+ 1 (* 2 1)) (* 2 1)))))>
7.683 * * * * [progress]: [ 46 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ 3 (+ 1 1)))))>
7.683 * * * * [progress]: [ 47 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ 3 2))))>
7.683 * * * * [progress]: [ 48 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ 3 (+ 1 1)))))>
7.683 * * * * [progress]: [ 49 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 5 (+ 3 (* 2 1)))))>
7.683 * * * * [progress]: [ 50 / 154 ] simplifiying candidate #<alt (λ (d1) (pow (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))) 1))>
7.684 * * * * [progress]: [ 51 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (+ (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log d1))))))>
7.684 * * * * [progress]: [ 52 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (+ (+ (log d1) (+ (log d1) (log d1))) (log (* d1 d1))))))>
7.684 * * * * [progress]: [ 53 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (+ (+ (log d1) (log (* d1 d1))) (+ (log d1) (log d1))))))>
7.684 * * * * [progress]: [ 54 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (+ (+ (log d1) (log (* d1 d1))) (log (* d1 d1))))))>
7.684 * * * * [progress]: [ 55 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (+ (log (* d1 (* d1 d1))) (+ (log d1) (log d1))))))>
7.684 * * * * [progress]: [ 56 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (+ (log (* d1 (* d1 d1))) (log (* d1 d1))))))>
7.684 * * * * [progress]: [ 57 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (log (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.684 * * * * [progress]: [ 58 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (+ (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log d1))))))>
7.684 * * * * [progress]: [ 59 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (+ (+ (log d1) (+ (log d1) (log d1))) (log (* d1 d1))))))>
7.684 * * * * [progress]: [ 60 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (+ (+ (log d1) (log (* d1 d1))) (+ (log d1) (log d1))))))>
7.684 * * * * [progress]: [ 61 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (+ (+ (log d1) (log (* d1 d1))) (log (* d1 d1))))))>
7.684 * * * * [progress]: [ 62 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (+ (log (* d1 (* d1 d1))) (+ (log d1) (log d1))))))>
7.684 * * * * [progress]: [ 63 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (+ (log (* d1 (* d1 d1))) (log (* d1 d1))))))>
7.684 * * * * [progress]: [ 64 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 5) (log (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.684 * * * * [progress]: [ 65 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (pow d1 5)) (+ (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log d1))))))>
7.684 * * * * [progress]: [ 66 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (pow d1 5)) (+ (+ (log d1) (+ (log d1) (log d1))) (log (* d1 d1))))))>
7.685 * * * * [progress]: [ 67 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (pow d1 5)) (+ (+ (log d1) (log (* d1 d1))) (+ (log d1) (log d1))))))>
7.685 * * * * [progress]: [ 68 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (pow d1 5)) (+ (+ (log d1) (log (* d1 d1))) (log (* d1 d1))))))>
7.685 * * * * [progress]: [ 69 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (pow d1 5)) (+ (log (* d1 (* d1 d1))) (+ (log d1) (log d1))))))>
7.685 * * * * [progress]: [ 70 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (pow d1 5)) (+ (log (* d1 (* d1 d1))) (log (* d1 d1))))))>
7.685 * * * * [progress]: [ 71 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (pow d1 5)) (log (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.685 * * * * [progress]: [ 72 / 154 ] simplifiying candidate #<alt (λ (d1) (exp (log (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.685 * * * * [progress]: [ 73 / 154 ] simplifiying candidate #<alt (λ (d1) (log (exp (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.685 * * * * [progress]: [ 74 / 154 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))))>
7.685 * * * * [progress]: [ 75 / 154 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))))>
7.685 * * * * [progress]: [ 76 / 154 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))))>
7.685 * * * * [progress]: [ 77 / 154 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))))>
7.685 * * * * [progress]: [ 78 / 154 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))))>
7.685 * * * * [progress]: [ 79 / 154 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))))>
7.685 * * * * [progress]: [ 80 / 154 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.686 * * * * [progress]: [ 81 / 154 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1)))) (cbrt (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))) (cbrt (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.686 * * * * [progress]: [ 82 / 154 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))) (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1)))) (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.686 * * * * [progress]: [ 83 / 154 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1)))) (sqrt (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.686 * * * * [progress]: [ 84 / 154 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1)))))>
7.686 * * * * [progress]: [ 85 / 154 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 5) (* d1 (* d1 d1))) (* d1 d1)))>
7.686 * * * * [progress]: [ 86 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow (* (cbrt d1) (cbrt d1)) 5) (* (pow (cbrt d1) 5) (* (* d1 (* d1 d1)) (* d1 d1)))))>
7.686 * * * * [progress]: [ 87 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow (sqrt d1) 5) (* (pow (sqrt d1) 5) (* (* d1 (* d1 d1)) (* d1 d1)))))>
7.686 * * * * [progress]: [ 88 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow 1 5) (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1)))))>
7.686 * * * * [progress]: [ 89 / 154 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (pow d1 5)) (cbrt (pow d1 5))) (* (cbrt (pow d1 5)) (* (* d1 (* d1 d1)) (* d1 d1)))))>
7.686 * * * * [progress]: [ 90 / 154 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (pow d1 5)) (* (sqrt (pow d1 5)) (* (* d1 (* d1 d1)) (* d1 d1)))))>
7.686 * * * * [progress]: [ 91 / 154 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1)))))>
7.686 * * * * [progress]: [ 92 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (/ 5 2)) (* (pow d1 (/ 5 2)) (* (* d1 (* d1 d1)) (* d1 d1)))))>
7.686 * * * * [progress]: [ 93 / 154 ] simplifiying candidate #<alt (λ (d1) (posit16->real (real->posit16 (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.686 * * * * [progress]: [ 94 / 154 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 5)))>
7.686 * * * * [progress]: [ 95 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (log1p (expm1 (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.686 * * * * [progress]: [ 96 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (expm1 (log1p (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.687 * * * * [progress]: [ 97 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 (+ 1 1)) (+ 1 1)))))>
7.687 * * * * [progress]: [ 98 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 (+ 1 1)) 2))))>
7.687 * * * * [progress]: [ 99 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 (+ 1 1)) (+ 1 1)))))>
7.687 * * * * [progress]: [ 100 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 (+ 1 1)) (* 2 1)))))>
7.687 * * * * [progress]: [ 101 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 2) (+ 1 1)))))>
7.687 * * * * [progress]: [ 102 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 2) 2))))>
7.687 * * * * [progress]: [ 103 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 2) (+ 1 1)))))>
7.687 * * * * [progress]: [ 104 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 2) (* 2 1)))))>
7.687 * * * * [progress]: [ 105 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 (+ 1 1)) (+ 1 1)))))>
7.687 * * * * [progress]: [ 106 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 (+ 1 1)) 2))))>
7.687 * * * * [progress]: [ 107 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 (+ 1 1)) (+ 1 1)))))>
7.687 * * * * [progress]: [ 108 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 (+ 1 1)) (* 2 1)))))>
7.687 * * * * [progress]: [ 109 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 (* 2 1)) (+ 1 1)))))>
7.687 * * * * [progress]: [ 110 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 (* 2 1)) 2))))>
7.687 * * * * [progress]: [ 111 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 (* 2 1)) (+ 1 1)))))>
7.687 * * * * [progress]: [ 112 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ (+ 1 (* 2 1)) (* 2 1)))))>
7.688 * * * * [progress]: [ 113 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ 3 (+ 1 1)))))>
7.688 * * * * [progress]: [ 114 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ 3 2))))>
7.688 * * * * [progress]: [ 115 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ 3 (+ 1 1)))))>
7.688 * * * * [progress]: [ 116 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 (+ 3 (* 2 1)))))>
7.688 * * * * [progress]: [ 117 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
7.688 * * * * [progress]: [ 118 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
7.688 * * * * [progress]: [ 119 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
7.688 * * * * [progress]: [ 120 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
7.688 * * * * [progress]: [ 121 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
7.688 * * * * [progress]: [ 122 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
7.688 * * * * [progress]: [ 123 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow (* (* d1 (* d1 d1)) (* d1 d1)) 1)))>
7.688 * * * * [progress]: [ 124 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (exp (+ (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log d1))))))>
7.688 * * * * [progress]: [ 125 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (exp (+ (+ (log d1) (+ (log d1) (log d1))) (log (* d1 d1))))))>
7.688 * * * * [progress]: [ 126 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (exp (+ (+ (log d1) (log (* d1 d1))) (+ (log d1) (log d1))))))>
7.688 * * * * [progress]: [ 127 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (exp (+ (+ (log d1) (log (* d1 d1))) (log (* d1 d1))))))>
7.689 * * * * [progress]: [ 128 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (exp (+ (log (* d1 (* d1 d1))) (+ (log d1) (log d1))))))>
7.689 * * * * [progress]: [ 129 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (exp (+ (log (* d1 (* d1 d1))) (log (* d1 d1))))))>
7.689 * * * * [progress]: [ 130 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (exp (log (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.689 * * * * [progress]: [ 131 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (log (exp (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.689 * * * * [progress]: [ 132 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))))>
7.689 * * * * [progress]: [ 133 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))))>
7.689 * * * * [progress]: [ 134 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))))>
7.689 * * * * [progress]: [ 135 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))))>
7.689 * * * * [progress]: [ 136 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))))>
7.689 * * * * [progress]: [ 137 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))))>
7.689 * * * * [progress]: [ 138 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* (cbrt (* (* d1 (* d1 d1)) (* d1 d1))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1)))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.689 * * * * [progress]: [ 139 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.689 * * * * [progress]: [ 140 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (sqrt (* (* d1 (* d1 d1)) (* d1 d1))) (sqrt (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.689 * * * * [progress]: [ 141 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* 1 (* (* d1 (* d1 d1)) (* d1 d1)))))>
7.689 * * * * [progress]: [ 142 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* (* d1 (* d1 d1)) d1) d1)))>
7.690 * * * * [progress]: [ 143 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* d1 (* (* d1 d1) (* d1 d1)))))>
7.690 * * * * [progress]: [ 144 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (posit16->real (real->posit16 (* (* d1 (* d1 d1)) (* d1 d1))))))>
7.690 * * * * [progress]: [ 145 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (* d1 d1) (* d1 (* d1 d1)))))>
7.690 * * * * [progress]: [ 146 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (pow d1 3) (* d1 d1))))>
7.690 * * * * [progress]: [ 147 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (pow d1 3) (* d1 d1))))>
7.690 * * * * [progress]: [ 148 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (* (pow d1 3) (* d1 d1))))>
7.690 * * * * [progress]: [ 149 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
7.690 * * * * [progress]: [ 150 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
7.690 * * * * [progress]: [ 151 / 154 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
7.690 * * * * [progress]: [ 152 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 5)))>
7.690 * * * * [progress]: [ 153 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 5)))>
7.690 * * * * [progress]: [ 154 / 154 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 5) (pow d1 5)))>
7.692 * [simplify]: Simplifying:
  (expm1 (* d1 (* d1 d1)))
  (log1p (* d1 (* d1 d1)))
  (+ 1 (+ 1 1))
  (+ 1 2)
  (+ 1 (+ 1 1))
  (+ 1 (* 2 1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (+ (log d1) (+ (log d1) (log d1)))
  (+ (log d1) (log (* d1 d1)))
  (log (* d1 (* d1 d1)))
  (exp (* d1 (* d1 d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1))))
  (cbrt (* d1 (* d1 d1)))
  (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (cbrt d1) (* d1 d1))
  (* (sqrt d1) (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* d1 (* d1 d1)))
  (expm1 (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))
  (log1p (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))
  (+ 5 (+ (+ 1 (+ 1 1)) (+ 1 1)))
  (+ 5 (+ (+ 1 (+ 1 1)) 2))
  (+ 5 (+ (+ 1 (+ 1 1)) (+ 1 1)))
  (+ 5 (+ (+ 1 (+ 1 1)) (* 2 1)))
  (+ 5 (+ (+ 1 2) (+ 1 1)))
  (+ 5 (+ (+ 1 2) 2))
  (+ 5 (+ (+ 1 2) (+ 1 1)))
  (+ 5 (+ (+ 1 2) (* 2 1)))
  (+ 5 (+ (+ 1 (+ 1 1)) (+ 1 1)))
  (+ 5 (+ (+ 1 (+ 1 1)) 2))
  (+ 5 (+ (+ 1 (+ 1 1)) (+ 1 1)))
  (+ 5 (+ (+ 1 (+ 1 1)) (* 2 1)))
  (+ 5 (+ (+ 1 (* 2 1)) (+ 1 1)))
  (+ 5 (+ (+ 1 (* 2 1)) 2))
  (+ 5 (+ (+ 1 (* 2 1)) (+ 1 1)))
  (+ 5 (+ (+ 1 (* 2 1)) (* 2 1)))
  (+ 5 (+ 3 (+ 1 1)))
  (+ 5 (+ 3 2))
  (+ 5 (+ 3 (+ 1 1)))
  (+ 5 (+ 3 (* 2 1)))
  (+ (* (log d1) 5) (+ (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log d1))))
  (+ (* (log d1) 5) (+ (+ (log d1) (+ (log d1) (log d1))) (log (* d1 d1))))
  (+ (* (log d1) 5) (+ (+ (log d1) (log (* d1 d1))) (+ (log d1) (log d1))))
  (+ (* (log d1) 5) (+ (+ (log d1) (log (* d1 d1))) (log (* d1 d1))))
  (+ (* (log d1) 5) (+ (log (* d1 (* d1 d1))) (+ (log d1) (log d1))))
  (+ (* (log d1) 5) (+ (log (* d1 (* d1 d1))) (log (* d1 d1))))
  (+ (* (log d1) 5) (log (* (* d1 (* d1 d1)) (* d1 d1))))
  (+ (* (log d1) 5) (+ (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log d1))))
  (+ (* (log d1) 5) (+ (+ (log d1) (+ (log d1) (log d1))) (log (* d1 d1))))
  (+ (* (log d1) 5) (+ (+ (log d1) (log (* d1 d1))) (+ (log d1) (log d1))))
  (+ (* (log d1) 5) (+ (+ (log d1) (log (* d1 d1))) (log (* d1 d1))))
  (+ (* (log d1) 5) (+ (log (* d1 (* d1 d1))) (+ (log d1) (log d1))))
  (+ (* (log d1) 5) (+ (log (* d1 (* d1 d1))) (log (* d1 d1))))
  (+ (* (log d1) 5) (log (* (* d1 (* d1 d1)) (* d1 d1))))
  (+ (log (pow d1 5)) (+ (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log d1))))
  (+ (log (pow d1 5)) (+ (+ (log d1) (+ (log d1) (log d1))) (log (* d1 d1))))
  (+ (log (pow d1 5)) (+ (+ (log d1) (log (* d1 d1))) (+ (log d1) (log d1))))
  (+ (log (pow d1 5)) (+ (+ (log d1) (log (* d1 d1))) (log (* d1 d1))))
  (+ (log (pow d1 5)) (+ (log (* d1 (* d1 d1))) (+ (log d1) (log d1))))
  (+ (log (pow d1 5)) (+ (log (* d1 (* d1 d1))) (log (* d1 d1))))
  (+ (log (pow d1 5)) (log (* (* d1 (* d1 d1)) (* d1 d1))))
  (log (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))
  (exp (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))
  (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))
  (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))
  (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))
  (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))
  (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))
  (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))
  (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1))))
  (* (cbrt (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1)))) (cbrt (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1)))))
  (cbrt (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))
  (* (* (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))) (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1)))) (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))
  (sqrt (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))
  (sqrt (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))
  (* (pow d1 5) (* d1 (* d1 d1)))
  (* (pow (cbrt d1) 5) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (pow (sqrt d1) 5) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (cbrt (pow d1 5)) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (sqrt (pow d1 5)) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (pow d1 (/ 5 2)) (* (* d1 (* d1 d1)) (* d1 d1)))
  (real->posit16 (* (pow d1 5) (* (* d1 (* d1 d1)) (* d1 d1))))
  (expm1 (* (* d1 (* d1 d1)) (* d1 d1)))
  (log1p (* (* d1 (* d1 d1)) (* d1 d1)))
  (+ (+ 1 (+ 1 1)) (+ 1 1))
  (+ (+ 1 (+ 1 1)) 2)
  (+ (+ 1 (+ 1 1)) (+ 1 1))
  (+ (+ 1 (+ 1 1)) (* 2 1))
  (+ (+ 1 2) (+ 1 1))
  (+ (+ 1 2) 2)
  (+ (+ 1 2) (+ 1 1))
  (+ (+ 1 2) (* 2 1))
  (+ (+ 1 (+ 1 1)) (+ 1 1))
  (+ (+ 1 (+ 1 1)) 2)
  (+ (+ 1 (+ 1 1)) (+ 1 1))
  (+ (+ 1 (+ 1 1)) (* 2 1))
  (+ (+ 1 (* 2 1)) (+ 1 1))
  (+ (+ 1 (* 2 1)) 2)
  (+ (+ 1 (* 2 1)) (+ 1 1))
  (+ (+ 1 (* 2 1)) (* 2 1))
  (+ 3 (+ 1 1))
  (+ 3 2)
  (+ 3 (+ 1 1))
  (+ 3 (* 2 1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (+ (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log d1)))
  (+ (+ (log d1) (+ (log d1) (log d1))) (log (* d1 d1)))
  (+ (+ (log d1) (log (* d1 d1))) (+ (log d1) (log d1)))
  (+ (+ (log d1) (log (* d1 d1))) (log (* d1 d1)))
  (+ (log (* d1 (* d1 d1))) (+ (log d1) (log d1)))
  (+ (log (* d1 (* d1 d1))) (log (* d1 d1)))
  (log (* (* d1 (* d1 d1)) (* d1 d1)))
  (exp (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* (* d1 (* d1 d1)) (* d1 d1))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1))))
  (cbrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
  (sqrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (sqrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 d1) (* d1 d1))
  (real->posit16 (* (* d1 (* d1 d1)) (* d1 d1)))
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
7.696 * * [simplify]: iteration 1: (138 enodes)
7.792 * * [simplify]: iteration 2: (551 enodes)
7.967 * * [simplify]: iteration 3: (1178 enodes)
9.040 * * [simplify]: Extracting #0: cost 43 inf + 0
9.041 * * [simplify]: Extracting #1: cost 402 inf + 791
9.047 * * [simplify]: Extracting #2: cost 737 inf + 22932
9.083 * * [simplify]: Extracting #3: cost 455 inf + 106655
9.138 * * [simplify]: Extracting #4: cost 114 inf + 240557
9.233 * * [simplify]: Extracting #5: cost 2 inf + 292735
9.286 * * [simplify]: Extracting #6: cost 0 inf + 293941
9.359 * [simplify]: Simplified to:
  (expm1 (* d1 (* d1 d1)))
  (log1p (* d1 (* d1 d1)))
  3
  3
  3
  3
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (exp (* d1 (* d1 d1)))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 d1)
  d1
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* d1 (sqrt d1))
  (* d1 (sqrt d1))
  (* d1 d1)
  (* (* d1 d1) (cbrt d1))
  (* (* d1 d1) (sqrt d1))
  (* d1 (* d1 d1))
  (real->posit16 (* d1 (* d1 d1)))
  (expm1 (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (log1p (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  10
  10
  10
  10
  10
  10
  10
  10
  10
  10
  10
  10
  10
  10
  10
  10
  10
  10
  10
  10
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (+ (* (log d1) 5) (* (log d1) 5))
  (exp (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (cbrt (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))))
  (cbrt (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (fabs (* (* d1 (* d1 d1)) (* d1 d1)))
  (fabs (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* d1 (pow (cbrt d1) 5)))
  (* (pow (sqrt d1) 5) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 (* d1 d1)) (* d1 d1)) (cbrt (* (* d1 (* d1 d1)) (* d1 d1))))
  (* (sqrt (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (pow d1 7/2))
  (real->posit16 (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (expm1 (* (* d1 (* d1 d1)) (* d1 d1)))
  (log1p (* (* d1 (* d1 d1)) (* d1 d1)))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (log d1) 5)
  (* (log d1) 5)
  (* (log d1) 5)
  (* (log d1) 5)
  (* (log d1) 5)
  (* (log d1) 5)
  (* (log d1) 5)
  (exp (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (cbrt (* (* d1 (* d1 d1)) (* d1 d1))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1))))
  (cbrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
  (sqrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (sqrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (real->posit16 (* (* d1 (* d1 d1)) (* d1 d1)))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
9.369 * * * [progress]: adding candidates to table
10.507 * * [progress]: iteration 3 / 4
10.507 * * * [progress]: picking best candidate
10.509 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
10.509 * * * [progress]: localizing error
10.513 * * * [progress]: generating rewritten candidates
10.513 * * * [progress]: generating series expansions
10.513 * * * [progress]: simplifying candidates
10.513 * [simplify]: Simplifying:
  
10.513 * * [simplify]: iteration 1: (0 enodes)
10.513 * * [simplify]: Extracting #0: cost 0 inf + 0
10.513 * [simplify]: Simplified to:
  
10.513 * * * [progress]: adding candidates to table
10.513 * [progress]: [Phase 3 of 3] Extracting.
10.515 * [simplify]: Simplifying:
  (pow d1 10)
10.515 * * [simplify]: iteration 1: (3 enodes)
10.515 * * [simplify]: Extracting #0: cost 1 inf + 0
10.515 * * [simplify]: Extracting #1: cost 3 inf + 0
10.515 * * [simplify]: Extracting #2: cost 1 inf + 2
10.515 * * [simplify]: Extracting #3: cost 0 inf + 214
10.515 * [simplify]: Simplified to:
  (pow d1 10)
12.823 * [regime-testing]: Baseline error score: 0
12.825 * [regime-testing]: Oracle error score: 0
12.825 * [regime-testing]: End program error score: 0
12.864 * [regime-testing]: Target error score: 0