9.382 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.024 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying using # : (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) 0.028 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 0.029 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 0.033 * * [simplify]: iteration 2 : 80 enodes (cost 10 ) 0.049 * * [simplify]: iteration 3 : 227 enodes (cost 9 ) 0.086 * * [simplify]: iteration 4 : 539 enodes (cost 9 ) 0.201 * * [simplify]: iteration 5 : 1137 enodes (cost 9 ) 0.553 * * [simplify]: iteration 6 : 1536 enodes (cost 9 ) 1.158 * * [simplify]: iteration 7 : 2069 enodes (cost 9 ) 2.152 * * [simplify]: iteration 8 : 2504 enodes (cost 9 ) 3.486 * * [simplify]: iteration 9 : 2512 enodes (cost 9 ) 5.023 * * [simplify]: iteration done : 2512 enodes (cost 9 ) 5.023 * [simplify]: Simplified to: (* d1 (+ (- d2 d3) (- d4 d1))) 5.025 * * [progress]: iteration 1 / 4 5.025 * * * [progress]: picking best candidate 5.028 * * * * [pick]: Picked # 5.028 * * * [progress]: localizing error 5.034 * * * [progress]: generating rewritten candidates 5.035 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.095 * * * [progress]: generating series expansions 5.095 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.096 * [approximate]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in (d1 d2 d3 d4) around 0 5.096 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d4 5.096 * [taylor]: Taking taylor expansion of d1 in d4 5.096 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d4 5.096 * [taylor]: Taking taylor expansion of (+ d4 d2) in d4 5.096 * [taylor]: Taking taylor expansion of d4 in d4 5.096 * [taylor]: Taking taylor expansion of d2 in d4 5.096 * [taylor]: Taking taylor expansion of (+ d3 d1) in d4 5.096 * [taylor]: Taking taylor expansion of d3 in d4 5.096 * [taylor]: Taking taylor expansion of d1 in d4 5.096 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d3 5.096 * [taylor]: Taking taylor expansion of d1 in d3 5.096 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d3 5.096 * [taylor]: Taking taylor expansion of (+ d4 d2) in d3 5.096 * [taylor]: Taking taylor expansion of d4 in d3 5.096 * [taylor]: Taking taylor expansion of d2 in d3 5.096 * [taylor]: Taking taylor expansion of (+ d3 d1) in d3 5.096 * [taylor]: Taking taylor expansion of d3 in d3 5.096 * [taylor]: Taking taylor expansion of d1 in d3 5.096 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d2 5.096 * [taylor]: Taking taylor expansion of d1 in d2 5.096 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d2 5.096 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2 5.096 * [taylor]: Taking taylor expansion of d4 in d2 5.096 * [taylor]: Taking taylor expansion of d2 in d2 5.096 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2 5.096 * [taylor]: Taking taylor expansion of d3 in d2 5.096 * [taylor]: Taking taylor expansion of d1 in d2 5.096 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d1 5.096 * [taylor]: Taking taylor expansion of d1 in d1 5.096 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d1 5.096 * [taylor]: Taking taylor expansion of (+ d4 d2) in d1 5.096 * [taylor]: Taking taylor expansion of d4 in d1 5.096 * [taylor]: Taking taylor expansion of d2 in d1 5.096 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1 5.096 * [taylor]: Taking taylor expansion of d3 in d1 5.096 * [taylor]: Taking taylor expansion of d1 in d1 5.096 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d1 5.096 * [taylor]: Taking taylor expansion of d1 in d1 5.096 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d1 5.096 * [taylor]: Taking taylor expansion of (+ d4 d2) in d1 5.096 * [taylor]: Taking taylor expansion of d4 in d1 5.096 * [taylor]: Taking taylor expansion of d2 in d1 5.096 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1 5.096 * [taylor]: Taking taylor expansion of d3 in d1 5.096 * [taylor]: Taking taylor expansion of d1 in d1 5.097 * [taylor]: Taking taylor expansion of 0 in d2 5.097 * [taylor]: Taking taylor expansion of 0 in d3 5.097 * [taylor]: Taking taylor expansion of 0 in d4 5.098 * [taylor]: Taking taylor expansion of (- (+ d4 d2) d3) in d2 5.098 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2 5.098 * [taylor]: Taking taylor expansion of d4 in d2 5.098 * [taylor]: Taking taylor expansion of d2 in d2 5.098 * [taylor]: Taking taylor expansion of d3 in d2 5.098 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 5.099 * [taylor]: Taking taylor expansion of d4 in d3 5.099 * [taylor]: Taking taylor expansion of d3 in d3 5.099 * [taylor]: Taking taylor expansion of d4 in d4 5.099 * [taylor]: Taking taylor expansion of 0 in d3 5.099 * [taylor]: Taking taylor expansion of 0 in d4 5.099 * [taylor]: Taking taylor expansion of 0 in d4 5.101 * [taylor]: Taking taylor expansion of (- 1) in d2 5.101 * [taylor]: Taking taylor expansion of 1 in d2 5.101 * [taylor]: Taking taylor expansion of -1 in d3 5.101 * [taylor]: Taking taylor expansion of -1 in d4 5.102 * [taylor]: Taking taylor expansion of 1 in d3 5.102 * [taylor]: Taking taylor expansion of 1 in d4 5.102 * [taylor]: Taking taylor expansion of 0 in d3 5.102 * [taylor]: Taking taylor expansion of 0 in d4 5.102 * [taylor]: Taking taylor expansion of -1 in d4 5.103 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in (d1 d2 d3 d4) around 0 5.103 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d4 5.103 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d4 5.103 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d4 5.103 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 5.103 * [taylor]: Taking taylor expansion of d2 in d4 5.103 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.103 * [taylor]: Taking taylor expansion of d4 in d4 5.104 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4 5.104 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 5.104 * [taylor]: Taking taylor expansion of d1 in d4 5.104 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 5.104 * [taylor]: Taking taylor expansion of d3 in d4 5.104 * [taylor]: Taking taylor expansion of d1 in d4 5.104 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d3 5.104 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d3 5.104 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d3 5.104 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 5.104 * [taylor]: Taking taylor expansion of d2 in d3 5.104 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.104 * [taylor]: Taking taylor expansion of d4 in d3 5.105 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3 5.105 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 5.105 * [taylor]: Taking taylor expansion of d1 in d3 5.105 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.105 * [taylor]: Taking taylor expansion of d3 in d3 5.105 * [taylor]: Taking taylor expansion of d1 in d3 5.106 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d2 5.106 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d2 5.106 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 5.106 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.106 * [taylor]: Taking taylor expansion of d2 in d2 5.106 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.106 * [taylor]: Taking taylor expansion of d4 in d2 5.106 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2 5.106 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 5.106 * [taylor]: Taking taylor expansion of d1 in d2 5.106 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.106 * [taylor]: Taking taylor expansion of d3 in d2 5.106 * [taylor]: Taking taylor expansion of d1 in d2 5.107 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d1 5.107 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d1 5.107 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 5.107 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.107 * [taylor]: Taking taylor expansion of d2 in d1 5.107 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.107 * [taylor]: Taking taylor expansion of d4 in d1 5.107 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 5.107 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.107 * [taylor]: Taking taylor expansion of d1 in d1 5.107 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 5.107 * [taylor]: Taking taylor expansion of d3 in d1 5.107 * [taylor]: Taking taylor expansion of d1 in d1 5.108 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d1 5.108 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d1 5.108 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 5.108 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.108 * [taylor]: Taking taylor expansion of d2 in d1 5.108 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.108 * [taylor]: Taking taylor expansion of d4 in d1 5.109 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 5.109 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.109 * [taylor]: Taking taylor expansion of d1 in d1 5.109 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 5.109 * [taylor]: Taking taylor expansion of d3 in d1 5.109 * [taylor]: Taking taylor expansion of d1 in d1 5.110 * [taylor]: Taking taylor expansion of -1 in d2 5.111 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 5.111 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 5.111 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.111 * [taylor]: Taking taylor expansion of d2 in d2 5.111 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.111 * [taylor]: Taking taylor expansion of d4 in d2 5.112 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.112 * [taylor]: Taking taylor expansion of d3 in d2 5.112 * [taylor]: Taking taylor expansion of 1 in d3 5.112 * [taylor]: Taking taylor expansion of -1 in d3 5.115 * [taylor]: Taking taylor expansion of 0 in d2 5.115 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 5.115 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.115 * [taylor]: Taking taylor expansion of d4 in d3 5.115 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.115 * [taylor]: Taking taylor expansion of d3 in d3 5.116 * [taylor]: Taking taylor expansion of -1 in d4 5.116 * [taylor]: Taking taylor expansion of 0 in d3 5.116 * [taylor]: Taking taylor expansion of 1 in d4 5.116 * [taylor]: Taking taylor expansion of -1 in d4 5.119 * [taylor]: Taking taylor expansion of 0 in d2 5.119 * [taylor]: Taking taylor expansion of 0 in d3 5.121 * [taylor]: Taking taylor expansion of 0 in d3 5.121 * [taylor]: Taking taylor expansion of 0 in d3 5.122 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.122 * [taylor]: Taking taylor expansion of d4 in d4 5.122 * [taylor]: Taking taylor expansion of 0 in d4 5.122 * [taylor]: Taking taylor expansion of 0 in d4 5.122 * [taylor]: Taking taylor expansion of 0 in d4 5.122 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in (d1 d2 d3 d4) around 0 5.123 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d4 5.123 * [taylor]: Taking taylor expansion of -1 in d4 5.123 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d4 5.123 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d4 5.123 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4 5.123 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 5.123 * [taylor]: Taking taylor expansion of d1 in d4 5.123 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 5.123 * [taylor]: Taking taylor expansion of d3 in d4 5.123 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d4 5.123 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 5.123 * [taylor]: Taking taylor expansion of d2 in d4 5.123 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.123 * [taylor]: Taking taylor expansion of d4 in d4 5.123 * [taylor]: Taking taylor expansion of d1 in d4 5.124 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d3 5.124 * [taylor]: Taking taylor expansion of -1 in d3 5.124 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d3 5.124 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d3 5.124 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3 5.124 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 5.124 * [taylor]: Taking taylor expansion of d1 in d3 5.124 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.124 * [taylor]: Taking taylor expansion of d3 in d3 5.124 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d3 5.124 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 5.124 * [taylor]: Taking taylor expansion of d2 in d3 5.124 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.124 * [taylor]: Taking taylor expansion of d4 in d3 5.124 * [taylor]: Taking taylor expansion of d1 in d3 5.125 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d2 5.125 * [taylor]: Taking taylor expansion of -1 in d2 5.125 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d2 5.125 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d2 5.125 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2 5.125 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 5.125 * [taylor]: Taking taylor expansion of d1 in d2 5.125 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.125 * [taylor]: Taking taylor expansion of d3 in d2 5.125 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 5.125 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.125 * [taylor]: Taking taylor expansion of d2 in d2 5.126 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.126 * [taylor]: Taking taylor expansion of d4 in d2 5.126 * [taylor]: Taking taylor expansion of d1 in d2 5.126 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d1 5.126 * [taylor]: Taking taylor expansion of -1 in d1 5.126 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d1 5.126 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d1 5.126 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 5.126 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.126 * [taylor]: Taking taylor expansion of d1 in d1 5.127 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 5.127 * [taylor]: Taking taylor expansion of d3 in d1 5.127 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 5.127 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.127 * [taylor]: Taking taylor expansion of d2 in d1 5.127 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.127 * [taylor]: Taking taylor expansion of d4 in d1 5.127 * [taylor]: Taking taylor expansion of d1 in d1 5.128 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d1 5.128 * [taylor]: Taking taylor expansion of -1 in d1 5.128 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d1 5.128 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d1 5.128 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 5.128 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.128 * [taylor]: Taking taylor expansion of d1 in d1 5.128 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 5.128 * [taylor]: Taking taylor expansion of d3 in d1 5.128 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 5.128 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.128 * [taylor]: Taking taylor expansion of d2 in d1 5.128 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.128 * [taylor]: Taking taylor expansion of d4 in d1 5.128 * [taylor]: Taking taylor expansion of d1 in d1 5.129 * [taylor]: Taking taylor expansion of -1 in d2 5.131 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 5.131 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 5.131 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.131 * [taylor]: Taking taylor expansion of d2 in d2 5.131 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.131 * [taylor]: Taking taylor expansion of d4 in d2 5.131 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.131 * [taylor]: Taking taylor expansion of d3 in d2 5.134 * [taylor]: Taking taylor expansion of 1 in d3 5.134 * [taylor]: Taking taylor expansion of -1 in d3 5.137 * [taylor]: Taking taylor expansion of 0 in d2 5.138 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 5.138 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.138 * [taylor]: Taking taylor expansion of d4 in d3 5.138 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.138 * [taylor]: Taking taylor expansion of d3 in d3 5.139 * [taylor]: Taking taylor expansion of -1 in d4 5.139 * [taylor]: Taking taylor expansion of 0 in d3 5.139 * [taylor]: Taking taylor expansion of 1 in d4 5.139 * [taylor]: Taking taylor expansion of -1 in d4 5.143 * [taylor]: Taking taylor expansion of 0 in d2 5.143 * [taylor]: Taking taylor expansion of 0 in d3 5.144 * [taylor]: Taking taylor expansion of 0 in d3 5.144 * [taylor]: Taking taylor expansion of 0 in d3 5.145 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.145 * [taylor]: Taking taylor expansion of d4 in d4 5.145 * [taylor]: Taking taylor expansion of 0 in d4 5.145 * [taylor]: Taking taylor expansion of 0 in d4 5.145 * [taylor]: Taking taylor expansion of 0 in d4 5.146 * * * [progress]: simplifying candidates 5.146 * [simplify]: Simplifying using # : (expm1 (* d1 (+ (- d2 d3) (- d4 d1)))) (log1p (* d1 (+ (- d2 d3) (- d4 d1)))) (* d1 (+ (- d2 d3) (- d4 d1))) (+ (log d1) (log (+ (- d2 d3) (- d4 d1)))) (log (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (* (* (* d1 d1) d1) (* (* (+ (- d2 d3) (- d4 d1)) (+ (- d2 d3) (- d4 d1))) (+ (- d2 d3) (- d4 d1)))) (* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1))))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (* (* (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1)))) (* d1 (+ (- d2 d3) (- d4 d1)))) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1)))) (* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1)))) (* d1 (- d2 d3)) (* d1 (- d4 d1)) (* (- d2 d3) d1) (* (- d4 d1) d1) (* d1 (* (cbrt (+ (- d2 d3) (- d4 d1))) (cbrt (+ (- d2 d3) (- d4 d1))))) (* d1 (sqrt (+ (- d2 d3) (- d4 d1)))) (* d1 1) (* d1 1) (* d1 1) (* d1 1) (* d1 1) (* (cbrt d1) (+ (- d2 d3) (- d4 d1))) (* (sqrt d1) (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (* (- (pow d2 3) (pow d3 3)) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (- (pow d4 3) (pow d1 3))))) (* d1 (+ (* (- (pow d2 3) (pow d3 3)) (+ d4 d1)) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (- (* d4 d4) (* d1 d1))))) (* d1 (+ (* (- (* d2 d2) (* d3 d3)) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ d2 d3) (- (pow d4 3) (pow d1 3))))) (* d1 (+ (* (- (* d2 d2) (* d3 d3)) (+ d4 d1)) (* (+ d2 d3) (- (* d4 d4) (* d1 d1))))) (* d1 (+ (pow (- d2 d3) 3) (pow (- d4 d1) 3))) (* d1 (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1)))) (- (* d1 d2) (+ (pow d1 2) (* d1 d3))) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) 5.149 * * [simplify]: iteration 0 : 94 enodes (cost 479 ) 5.166 * * [simplify]: iteration 1 : 316 enodes (cost 446 ) 5.244 * * [simplify]: iteration 2 : 1442 enodes (cost 406 ) 5.643 * * [simplify]: iteration done : 5001 enodes (cost 406 ) 5.643 * [simplify]: Simplified to: (expm1 (* d1 (+ (- d2 d3) (- d4 d1)))) (log1p (* d1 (+ (- d2 d3) (- d4 d1)))) (* d1 (+ (- d2 d3) (- d4 d1))) (log (* d1 (+ (- d2 d3) (- d4 d1)))) (log (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (pow (* d1 (+ (- d2 d3) (- d4 d1))) 3) (* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1))))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (pow (* d1 (+ (- d2 d3) (- d4 d1))) 3) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1)))) (* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1)))) (* d1 (- d2 d3)) (* d1 (- d4 d1)) (* d1 (- d2 d3)) (* d1 (- d4 d1)) (* d1 (* (cbrt (+ (- d2 d3) (- d4 d1))) (cbrt (+ (- d2 d3) (- d4 d1))))) (* d1 (sqrt (+ (- d2 d3) (- d4 d1)))) d1 d1 d1 d1 d1 (* (cbrt d1) (+ (- d2 d3) (- d4 d1))) (* (sqrt d1) (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* (fma (- (pow d2 3) (pow d3 3)) (fma d4 d4 (* d1 (+ d4 d1))) (* (- (pow d4 3) (pow d1 3)) (fma d2 d2 (* d3 (+ d2 d3))))) d1) (* (fma (- (pow d2 3) (pow d3 3)) (+ d4 d1) (* (- (* d4 d4) (* d1 d1)) (fma d2 d2 (* d3 (+ d2 d3))))) d1) (* d1 (fma (- (* d2 d2) (* d3 d3)) (fma d4 d4 (* d1 (+ d4 d1))) (* (+ d2 d3) (- (pow d4 3) (pow d1 3))))) (* (fma (- (* d2 d2) (* d3 d3)) (+ d4 d1) (* (+ d2 d3) (- (* d4 d4) (* d1 d1)))) d1) (* d1 (+ (pow (- d2 d3) 3) (pow (- d4 d1) 3))) (* d1 (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1)))) (- (* d1 (- d2 d1)) (* d1 d3)) (* d1 (- (+ d4 d2) d3)) (* d1 (- (+ d4 d2) d3)) 5.644 * * * [progress]: adding candidates to table 5.718 * * [progress]: iteration 2 / 4 5.718 * * * [progress]: picking best candidate 5.726 * * * * [pick]: Picked # 5.726 * * * [progress]: localizing error 5.733 * * * [progress]: generating rewritten candidates 5.733 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 5.748 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 5.759 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 5.778 * * * [progress]: generating series expansions 5.778 * * * * [progress]: [ 1 / 3 ] generating series at (2) 5.778 * [approximate]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in (d1 d2 d3 d4) around 0 5.778 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d4 5.778 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d4 5.778 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 5.778 * [taylor]: Taking taylor expansion of d1 in d4 5.778 * [taylor]: Taking taylor expansion of d4 in d4 5.778 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 5.778 * [taylor]: Taking taylor expansion of d1 in d4 5.778 * [taylor]: Taking taylor expansion of d2 in d4 5.778 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d4 5.778 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 5.778 * [taylor]: Taking taylor expansion of d1 in d4 5.778 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 5.778 * [taylor]: Taking taylor expansion of d1 in d4 5.778 * [taylor]: Taking taylor expansion of d3 in d4 5.778 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d3 5.778 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d3 5.778 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 5.778 * [taylor]: Taking taylor expansion of d1 in d3 5.778 * [taylor]: Taking taylor expansion of d4 in d3 5.778 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 5.778 * [taylor]: Taking taylor expansion of d1 in d3 5.778 * [taylor]: Taking taylor expansion of d2 in d3 5.778 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d3 5.778 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 5.778 * [taylor]: Taking taylor expansion of d1 in d3 5.778 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.778 * [taylor]: Taking taylor expansion of d1 in d3 5.778 * [taylor]: Taking taylor expansion of d3 in d3 5.779 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d2 5.779 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d2 5.779 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 5.779 * [taylor]: Taking taylor expansion of d1 in d2 5.779 * [taylor]: Taking taylor expansion of d4 in d2 5.779 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 5.779 * [taylor]: Taking taylor expansion of d1 in d2 5.779 * [taylor]: Taking taylor expansion of d2 in d2 5.779 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d2 5.779 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 5.779 * [taylor]: Taking taylor expansion of d1 in d2 5.779 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.779 * [taylor]: Taking taylor expansion of d1 in d2 5.779 * [taylor]: Taking taylor expansion of d3 in d2 5.779 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d1 5.779 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 5.779 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.779 * [taylor]: Taking taylor expansion of d1 in d1 5.779 * [taylor]: Taking taylor expansion of d4 in d1 5.779 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.779 * [taylor]: Taking taylor expansion of d1 in d1 5.779 * [taylor]: Taking taylor expansion of d2 in d1 5.779 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d1 5.779 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 5.779 * [taylor]: Taking taylor expansion of d1 in d1 5.779 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.779 * [taylor]: Taking taylor expansion of d1 in d1 5.779 * [taylor]: Taking taylor expansion of d3 in d1 5.779 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d1 5.779 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 5.779 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.779 * [taylor]: Taking taylor expansion of d1 in d1 5.779 * [taylor]: Taking taylor expansion of d4 in d1 5.779 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.779 * [taylor]: Taking taylor expansion of d1 in d1 5.779 * [taylor]: Taking taylor expansion of d2 in d1 5.779 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d1 5.779 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 5.779 * [taylor]: Taking taylor expansion of d1 in d1 5.779 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.779 * [taylor]: Taking taylor expansion of d1 in d1 5.779 * [taylor]: Taking taylor expansion of d3 in d1 5.781 * [taylor]: Taking taylor expansion of 0 in d2 5.781 * [taylor]: Taking taylor expansion of 0 in d3 5.781 * [taylor]: Taking taylor expansion of 0 in d4 5.782 * [taylor]: Taking taylor expansion of (- (+ d2 d4) d3) in d2 5.782 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2 5.782 * [taylor]: Taking taylor expansion of d2 in d2 5.782 * [taylor]: Taking taylor expansion of d4 in d2 5.782 * [taylor]: Taking taylor expansion of d3 in d2 5.782 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 5.782 * [taylor]: Taking taylor expansion of d4 in d3 5.782 * [taylor]: Taking taylor expansion of d3 in d3 5.782 * [taylor]: Taking taylor expansion of d4 in d4 5.782 * [taylor]: Taking taylor expansion of 0 in d3 5.782 * [taylor]: Taking taylor expansion of 0 in d4 5.782 * [taylor]: Taking taylor expansion of 0 in d4 5.785 * [taylor]: Taking taylor expansion of -1 in d2 5.785 * [taylor]: Taking taylor expansion of -1 in d3 5.785 * [taylor]: Taking taylor expansion of -1 in d4 5.786 * [taylor]: Taking taylor expansion of 1 in d3 5.786 * [taylor]: Taking taylor expansion of 1 in d4 5.786 * [taylor]: Taking taylor expansion of 0 in d3 5.786 * [taylor]: Taking taylor expansion of 0 in d4 5.787 * [taylor]: Taking taylor expansion of -1 in d4 5.787 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in (d1 d2 d3 d4) around 0 5.787 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d4 5.787 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d4 5.787 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 5.787 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 5.787 * [taylor]: Taking taylor expansion of d1 in d4 5.787 * [taylor]: Taking taylor expansion of d4 in d4 5.788 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 5.788 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 5.788 * [taylor]: Taking taylor expansion of d1 in d4 5.788 * [taylor]: Taking taylor expansion of d2 in d4 5.788 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d4 5.788 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4 5.788 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 5.788 * [taylor]: Taking taylor expansion of d1 in d4 5.788 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 5.788 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 5.788 * [taylor]: Taking taylor expansion of d1 in d4 5.788 * [taylor]: Taking taylor expansion of d3 in d4 5.788 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d3 5.788 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d3 5.788 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 5.788 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 5.788 * [taylor]: Taking taylor expansion of d1 in d3 5.788 * [taylor]: Taking taylor expansion of d4 in d3 5.788 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 5.788 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 5.788 * [taylor]: Taking taylor expansion of d1 in d3 5.788 * [taylor]: Taking taylor expansion of d2 in d3 5.788 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d3 5.788 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3 5.788 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 5.788 * [taylor]: Taking taylor expansion of d1 in d3 5.789 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 5.789 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.789 * [taylor]: Taking taylor expansion of d1 in d3 5.789 * [taylor]: Taking taylor expansion of d3 in d3 5.789 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d2 5.789 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d2 5.789 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 5.789 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 5.789 * [taylor]: Taking taylor expansion of d1 in d2 5.789 * [taylor]: Taking taylor expansion of d4 in d2 5.789 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 5.789 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 5.789 * [taylor]: Taking taylor expansion of d1 in d2 5.789 * [taylor]: Taking taylor expansion of d2 in d2 5.789 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d2 5.790 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2 5.790 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 5.790 * [taylor]: Taking taylor expansion of d1 in d2 5.790 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 5.790 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.790 * [taylor]: Taking taylor expansion of d1 in d2 5.790 * [taylor]: Taking taylor expansion of d3 in d2 5.790 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 5.790 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 5.790 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 5.790 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.790 * [taylor]: Taking taylor expansion of d1 in d1 5.790 * [taylor]: Taking taylor expansion of d4 in d1 5.790 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.790 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.790 * [taylor]: Taking taylor expansion of d1 in d1 5.790 * [taylor]: Taking taylor expansion of d2 in d1 5.791 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 5.791 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 5.791 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 5.791 * [taylor]: Taking taylor expansion of d1 in d1 5.791 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.791 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.791 * [taylor]: Taking taylor expansion of d1 in d1 5.791 * [taylor]: Taking taylor expansion of d3 in d1 5.791 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 5.792 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 5.792 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 5.792 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.792 * [taylor]: Taking taylor expansion of d1 in d1 5.792 * [taylor]: Taking taylor expansion of d4 in d1 5.792 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.792 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.792 * [taylor]: Taking taylor expansion of d1 in d1 5.792 * [taylor]: Taking taylor expansion of d2 in d1 5.792 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 5.792 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 5.792 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 5.792 * [taylor]: Taking taylor expansion of d1 in d1 5.793 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.793 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.793 * [taylor]: Taking taylor expansion of d1 in d1 5.793 * [taylor]: Taking taylor expansion of d3 in d1 5.794 * [taylor]: Taking taylor expansion of -1 in d2 5.795 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 5.795 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 5.795 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.795 * [taylor]: Taking taylor expansion of d2 in d2 5.795 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.795 * [taylor]: Taking taylor expansion of d4 in d2 5.795 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.795 * [taylor]: Taking taylor expansion of d3 in d2 5.796 * [taylor]: Taking taylor expansion of 1 in d3 5.796 * [taylor]: Taking taylor expansion of -1 in d3 5.800 * [taylor]: Taking taylor expansion of 0 in d2 5.800 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 5.800 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.800 * [taylor]: Taking taylor expansion of d4 in d3 5.800 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.800 * [taylor]: Taking taylor expansion of d3 in d3 5.801 * [taylor]: Taking taylor expansion of -1 in d4 5.801 * [taylor]: Taking taylor expansion of 0 in d3 5.801 * [taylor]: Taking taylor expansion of 1 in d4 5.801 * [taylor]: Taking taylor expansion of -1 in d4 5.806 * [taylor]: Taking taylor expansion of 0 in d2 5.806 * [taylor]: Taking taylor expansion of 0 in d3 5.807 * [taylor]: Taking taylor expansion of 0 in d3 5.807 * [taylor]: Taking taylor expansion of 0 in d3 5.808 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.808 * [taylor]: Taking taylor expansion of d4 in d4 5.808 * [taylor]: Taking taylor expansion of 0 in d4 5.808 * [taylor]: Taking taylor expansion of 0 in d4 5.808 * [taylor]: Taking taylor expansion of 0 in d4 5.809 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in (d1 d2 d3 d4) around 0 5.809 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d4 5.809 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d4 5.809 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 5.809 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 5.809 * [taylor]: Taking taylor expansion of d1 in d4 5.809 * [taylor]: Taking taylor expansion of d2 in d4 5.809 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 5.809 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 5.809 * [taylor]: Taking taylor expansion of d1 in d4 5.809 * [taylor]: Taking taylor expansion of d4 in d4 5.810 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d4 5.810 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4 5.810 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 5.810 * [taylor]: Taking taylor expansion of d1 in d4 5.810 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 5.810 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 5.810 * [taylor]: Taking taylor expansion of d1 in d4 5.810 * [taylor]: Taking taylor expansion of d3 in d4 5.810 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d3 5.810 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d3 5.810 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 5.810 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 5.810 * [taylor]: Taking taylor expansion of d1 in d3 5.810 * [taylor]: Taking taylor expansion of d2 in d3 5.810 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 5.810 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 5.810 * [taylor]: Taking taylor expansion of d1 in d3 5.810 * [taylor]: Taking taylor expansion of d4 in d3 5.810 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d3 5.810 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3 5.810 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 5.810 * [taylor]: Taking taylor expansion of d1 in d3 5.810 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 5.810 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.810 * [taylor]: Taking taylor expansion of d1 in d3 5.810 * [taylor]: Taking taylor expansion of d3 in d3 5.811 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d2 5.811 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d2 5.811 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 5.811 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 5.811 * [taylor]: Taking taylor expansion of d1 in d2 5.811 * [taylor]: Taking taylor expansion of d2 in d2 5.811 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 5.811 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 5.811 * [taylor]: Taking taylor expansion of d1 in d2 5.811 * [taylor]: Taking taylor expansion of d4 in d2 5.811 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d2 5.811 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2 5.811 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 5.811 * [taylor]: Taking taylor expansion of d1 in d2 5.811 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 5.811 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.811 * [taylor]: Taking taylor expansion of d1 in d2 5.812 * [taylor]: Taking taylor expansion of d3 in d2 5.812 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 5.812 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 5.812 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.812 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.812 * [taylor]: Taking taylor expansion of d1 in d1 5.812 * [taylor]: Taking taylor expansion of d2 in d1 5.812 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 5.812 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.812 * [taylor]: Taking taylor expansion of d1 in d1 5.812 * [taylor]: Taking taylor expansion of d4 in d1 5.812 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 5.812 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 5.812 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 5.812 * [taylor]: Taking taylor expansion of d1 in d1 5.813 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.813 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.813 * [taylor]: Taking taylor expansion of d1 in d1 5.813 * [taylor]: Taking taylor expansion of d3 in d1 5.813 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 5.813 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 5.813 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.813 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.813 * [taylor]: Taking taylor expansion of d1 in d1 5.813 * [taylor]: Taking taylor expansion of d2 in d1 5.814 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 5.814 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.814 * [taylor]: Taking taylor expansion of d1 in d1 5.814 * [taylor]: Taking taylor expansion of d4 in d1 5.814 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 5.814 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 5.814 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 5.814 * [taylor]: Taking taylor expansion of d1 in d1 5.815 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.815 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.815 * [taylor]: Taking taylor expansion of d1 in d1 5.815 * [taylor]: Taking taylor expansion of d3 in d1 5.816 * [taylor]: Taking taylor expansion of -1 in d2 5.821 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 5.822 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 5.822 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.822 * [taylor]: Taking taylor expansion of d2 in d2 5.822 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.822 * [taylor]: Taking taylor expansion of d4 in d2 5.822 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.822 * [taylor]: Taking taylor expansion of d3 in d2 5.823 * [taylor]: Taking taylor expansion of 1 in d3 5.823 * [taylor]: Taking taylor expansion of -1 in d3 5.827 * [taylor]: Taking taylor expansion of 0 in d2 5.827 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 5.827 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.827 * [taylor]: Taking taylor expansion of d4 in d3 5.828 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.828 * [taylor]: Taking taylor expansion of d3 in d3 5.828 * [taylor]: Taking taylor expansion of -1 in d4 5.828 * [taylor]: Taking taylor expansion of 0 in d3 5.828 * [taylor]: Taking taylor expansion of 1 in d4 5.828 * [taylor]: Taking taylor expansion of -1 in d4 5.833 * [taylor]: Taking taylor expansion of 0 in d2 5.833 * [taylor]: Taking taylor expansion of 0 in d3 5.834 * [taylor]: Taking taylor expansion of 0 in d3 5.834 * [taylor]: Taking taylor expansion of 0 in d3 5.835 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.835 * [taylor]: Taking taylor expansion of d4 in d4 5.836 * [taylor]: Taking taylor expansion of 0 in d4 5.836 * [taylor]: Taking taylor expansion of 0 in d4 5.836 * [taylor]: Taking taylor expansion of 0 in d4 5.836 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 5.836 * [approximate]: Taking taylor expansion of (* d1 (- d4 d1)) in (d1 d4) around 0 5.836 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d4 5.836 * [taylor]: Taking taylor expansion of d1 in d4 5.836 * [taylor]: Taking taylor expansion of (- d4 d1) in d4 5.837 * [taylor]: Taking taylor expansion of d4 in d4 5.837 * [taylor]: Taking taylor expansion of d1 in d4 5.837 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d1 5.837 * [taylor]: Taking taylor expansion of d1 in d1 5.837 * [taylor]: Taking taylor expansion of (- d4 d1) in d1 5.837 * [taylor]: Taking taylor expansion of d4 in d1 5.837 * [taylor]: Taking taylor expansion of d1 in d1 5.837 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d1 5.837 * [taylor]: Taking taylor expansion of d1 in d1 5.837 * [taylor]: Taking taylor expansion of (- d4 d1) in d1 5.837 * [taylor]: Taking taylor expansion of d4 in d1 5.837 * [taylor]: Taking taylor expansion of d1 in d1 5.837 * [taylor]: Taking taylor expansion of 0 in d4 5.838 * [taylor]: Taking taylor expansion of d4 in d4 5.839 * [taylor]: Taking taylor expansion of (- 1) in d4 5.839 * [taylor]: Taking taylor expansion of 1 in d4 5.840 * [taylor]: Taking taylor expansion of 0 in d4 5.842 * [taylor]: Taking taylor expansion of 0 in d4 5.843 * [approximate]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in (d1 d4) around 0 5.843 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d4 5.843 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d4 5.843 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.843 * [taylor]: Taking taylor expansion of d4 in d4 5.843 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 5.843 * [taylor]: Taking taylor expansion of d1 in d4 5.843 * [taylor]: Taking taylor expansion of d1 in d4 5.843 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1 5.843 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1 5.843 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.843 * [taylor]: Taking taylor expansion of d4 in d1 5.843 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.843 * [taylor]: Taking taylor expansion of d1 in d1 5.844 * [taylor]: Taking taylor expansion of d1 in d1 5.844 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1 5.844 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1 5.844 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.844 * [taylor]: Taking taylor expansion of d4 in d1 5.845 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.845 * [taylor]: Taking taylor expansion of d1 in d1 5.845 * [taylor]: Taking taylor expansion of d1 in d1 5.846 * [taylor]: Taking taylor expansion of -1 in d4 5.847 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.847 * [taylor]: Taking taylor expansion of d4 in d4 5.849 * [taylor]: Taking taylor expansion of 0 in d4 5.852 * [taylor]: Taking taylor expansion of 0 in d4 5.855 * [taylor]: Taking taylor expansion of 0 in d4 5.855 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in (d1 d4) around 0 5.855 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d4 5.855 * [taylor]: Taking taylor expansion of -1 in d4 5.855 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d4 5.855 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d4 5.855 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 5.856 * [taylor]: Taking taylor expansion of d1 in d4 5.856 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.856 * [taylor]: Taking taylor expansion of d4 in d4 5.856 * [taylor]: Taking taylor expansion of d1 in d4 5.856 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1 5.856 * [taylor]: Taking taylor expansion of -1 in d1 5.857 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1 5.857 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1 5.857 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.857 * [taylor]: Taking taylor expansion of d1 in d1 5.857 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.857 * [taylor]: Taking taylor expansion of d4 in d1 5.857 * [taylor]: Taking taylor expansion of d1 in d1 5.857 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1 5.857 * [taylor]: Taking taylor expansion of -1 in d1 5.857 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1 5.857 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1 5.858 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.858 * [taylor]: Taking taylor expansion of d1 in d1 5.858 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.858 * [taylor]: Taking taylor expansion of d4 in d1 5.858 * [taylor]: Taking taylor expansion of d1 in d1 5.859 * [taylor]: Taking taylor expansion of -1 in d4 5.860 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.860 * [taylor]: Taking taylor expansion of d4 in d4 5.863 * [taylor]: Taking taylor expansion of 0 in d4 5.866 * [taylor]: Taking taylor expansion of 0 in d4 5.871 * [taylor]: Taking taylor expansion of 0 in d4 5.871 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 5.871 * [approximate]: Taking taylor expansion of (* d1 (- d2 d3)) in (d1 d2 d3) around 0 5.871 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d3 5.871 * [taylor]: Taking taylor expansion of d1 in d3 5.871 * [taylor]: Taking taylor expansion of (- d2 d3) in d3 5.871 * [taylor]: Taking taylor expansion of d2 in d3 5.871 * [taylor]: Taking taylor expansion of d3 in d3 5.871 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d2 5.871 * [taylor]: Taking taylor expansion of d1 in d2 5.871 * [taylor]: Taking taylor expansion of (- d2 d3) in d2 5.871 * [taylor]: Taking taylor expansion of d2 in d2 5.871 * [taylor]: Taking taylor expansion of d3 in d2 5.871 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1 5.871 * [taylor]: Taking taylor expansion of d1 in d1 5.871 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 5.871 * [taylor]: Taking taylor expansion of d2 in d1 5.871 * [taylor]: Taking taylor expansion of d3 in d1 5.871 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1 5.871 * [taylor]: Taking taylor expansion of d1 in d1 5.871 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 5.871 * [taylor]: Taking taylor expansion of d2 in d1 5.871 * [taylor]: Taking taylor expansion of d3 in d1 5.871 * [taylor]: Taking taylor expansion of 0 in d2 5.871 * [taylor]: Taking taylor expansion of 0 in d3 5.872 * [taylor]: Taking taylor expansion of (- d2 d3) in d2 5.872 * [taylor]: Taking taylor expansion of d2 in d2 5.872 * [taylor]: Taking taylor expansion of d3 in d2 5.872 * [taylor]: Taking taylor expansion of (- d3) in d3 5.872 * [taylor]: Taking taylor expansion of d3 in d3 5.873 * [taylor]: Taking taylor expansion of 0 in d3 5.874 * [taylor]: Taking taylor expansion of 0 in d2 5.874 * [taylor]: Taking taylor expansion of 0 in d3 5.874 * [taylor]: Taking taylor expansion of 1 in d3 5.874 * [taylor]: Taking taylor expansion of 0 in d3 5.876 * [taylor]: Taking taylor expansion of 0 in d2 5.876 * [taylor]: Taking taylor expansion of 0 in d3 5.876 * [taylor]: Taking taylor expansion of 0 in d3 5.877 * [taylor]: Taking taylor expansion of 0 in d3 5.877 * [taylor]: Taking taylor expansion of 0 in d3 5.877 * [approximate]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in (d1 d2 d3) around 0 5.877 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in d3 5.877 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d3 5.877 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 5.877 * [taylor]: Taking taylor expansion of d2 in d3 5.877 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.877 * [taylor]: Taking taylor expansion of d3 in d3 5.877 * [taylor]: Taking taylor expansion of d1 in d3 5.878 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in d2 5.878 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 5.878 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.878 * [taylor]: Taking taylor expansion of d2 in d2 5.878 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.878 * [taylor]: Taking taylor expansion of d3 in d2 5.878 * [taylor]: Taking taylor expansion of d1 in d2 5.879 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in d1 5.879 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 5.879 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.879 * [taylor]: Taking taylor expansion of d2 in d1 5.879 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 5.879 * [taylor]: Taking taylor expansion of d3 in d1 5.879 * [taylor]: Taking taylor expansion of d1 in d1 5.879 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in d1 5.879 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 5.879 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.879 * [taylor]: Taking taylor expansion of d2 in d1 5.879 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 5.879 * [taylor]: Taking taylor expansion of d3 in d1 5.879 * [taylor]: Taking taylor expansion of d1 in d1 5.879 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 5.879 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.879 * [taylor]: Taking taylor expansion of d2 in d2 5.880 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.880 * [taylor]: Taking taylor expansion of d3 in d2 5.880 * [taylor]: Taking taylor expansion of 1 in d3 5.881 * [taylor]: Taking taylor expansion of 0 in d2 5.882 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3 5.882 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.882 * [taylor]: Taking taylor expansion of d3 in d3 5.884 * [taylor]: Taking taylor expansion of 0 in d2 5.884 * [taylor]: Taking taylor expansion of 0 in d3 5.885 * [taylor]: Taking taylor expansion of 0 in d3 5.888 * [taylor]: Taking taylor expansion of 0 in d2 5.888 * [taylor]: Taking taylor expansion of 0 in d3 5.888 * [taylor]: Taking taylor expansion of 0 in d3 5.889 * [taylor]: Taking taylor expansion of 0 in d3 5.890 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in (d1 d2 d3) around 0 5.890 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in d3 5.890 * [taylor]: Taking taylor expansion of -1 in d3 5.890 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d3) (/ 1 d2)) d1) in d3 5.890 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d3 5.890 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.890 * [taylor]: Taking taylor expansion of d3 in d3 5.890 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 5.890 * [taylor]: Taking taylor expansion of d2 in d3 5.890 * [taylor]: Taking taylor expansion of d1 in d3 5.891 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in d2 5.891 * [taylor]: Taking taylor expansion of -1 in d2 5.891 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d3) (/ 1 d2)) d1) in d2 5.891 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d2 5.891 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.891 * [taylor]: Taking taylor expansion of d3 in d2 5.891 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.891 * [taylor]: Taking taylor expansion of d2 in d2 5.891 * [taylor]: Taking taylor expansion of d1 in d2 5.892 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in d1 5.892 * [taylor]: Taking taylor expansion of -1 in d1 5.892 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d3) (/ 1 d2)) d1) in d1 5.892 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 5.892 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 5.892 * [taylor]: Taking taylor expansion of d3 in d1 5.892 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.892 * [taylor]: Taking taylor expansion of d2 in d1 5.892 * [taylor]: Taking taylor expansion of d1 in d1 5.892 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in d1 5.892 * [taylor]: Taking taylor expansion of -1 in d1 5.892 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d3) (/ 1 d2)) d1) in d1 5.892 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 5.892 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 5.892 * [taylor]: Taking taylor expansion of d3 in d1 5.892 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.892 * [taylor]: Taking taylor expansion of d2 in d1 5.892 * [taylor]: Taking taylor expansion of d1 in d1 5.892 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 d3) (/ 1 d2))) in d2 5.892 * [taylor]: Taking taylor expansion of -1 in d2 5.892 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d2 5.892 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.892 * [taylor]: Taking taylor expansion of d3 in d2 5.893 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.893 * [taylor]: Taking taylor expansion of d2 in d2 5.893 * [taylor]: Taking taylor expansion of 1 in d3 5.895 * [taylor]: Taking taylor expansion of 0 in d2 5.896 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3 5.896 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.896 * [taylor]: Taking taylor expansion of d3 in d3 5.899 * [taylor]: Taking taylor expansion of 0 in d2 5.899 * [taylor]: Taking taylor expansion of 0 in d3 5.900 * [taylor]: Taking taylor expansion of 0 in d3 5.904 * [taylor]: Taking taylor expansion of 0 in d2 5.904 * [taylor]: Taking taylor expansion of 0 in d3 5.904 * [taylor]: Taking taylor expansion of 0 in d3 5.906 * [taylor]: Taking taylor expansion of 0 in d3 5.907 * * * [progress]: simplifying candidates 5.912 * [simplify]: Simplifying using # : (expm1 (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (log1p (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (* (exp (* d1 (- d2 d3))) (exp (* d1 (- d4 d1)))) (log (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (exp (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (* (cbrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (cbrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))) (cbrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (* (* (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (sqrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (sqrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (+ (* (* d1 (- (pow d2 3) (pow d3 3))) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (* d1 (- (pow d4 3) (pow d1 3))))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (+ (* (* d1 (- (pow d2 3) (pow d3 3))) (+ d4 d1)) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (* d1 (- (* d4 d4) (* d1 d1))))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (+ d4 d1)) (+ (* (* d1 (- (* d2 d2) (* d3 d3))) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ d2 d3) (* d1 (- (pow d4 3) (pow d1 3))))) (* (+ d2 d3) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (+ (* (* d1 (- (* d2 d2) (* d3 d3))) (+ d4 d1)) (* (+ d2 d3) (* d1 (- (* d4 d4) (* d1 d1))))) (* (+ d2 d3) (+ d4 d1)) (+ (pow (* d1 (- d2 d3)) 3) (pow (* d1 (- d4 d1)) 3)) (+ (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (- (* (* d1 (- d4 d1)) (* d1 (- d4 d1))) (* (* d1 (- d2 d3)) (* d1 (- d4 d1))))) (- (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (* (* d1 (- d4 d1)) (* d1 (- d4 d1)))) (- (* d1 (- d2 d3)) (* d1 (- d4 d1))) (+ (- d2 d3) (- d4 d1)) (+ (* d1 (- d2 d3)) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))))) (+ (* d1 (- d2 d3)) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1)))))) (+ (* d1 (- d2 d3)) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1))))) (+ (* d1 (- d2 d3)) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))))) (+ (* d1 (- d2 d3)) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1)))))) (+ (* d1 (- d2 d3)) (* d1 (fma (sqrt d4) (sqrt d4) (- (* d1 1))))) (+ (* d1 (- d2 d3)) (* d1 (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))))) (+ (* d1 (- d2 d3)) (* d1 (fma 1 d4 (- (* (sqrt d1) (sqrt d1)))))) (+ (* d1 (- d2 d3)) (* d1 (fma 1 d4 (- (* d1 1))))) (+ (* d1 (- d2 d3)) (* d1 d4)) (+ (* d1 (- d2 d3)) (* d1 d4)) (+ (* d1 (- d2 d3)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1)) (+ (* d1 (- d2 d3)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1)))) d1)) (+ (* d1 (- d2 d3)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1))) d1)) (+ (* d1 (- d2 d3)) (* (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1)) (+ (* d1 (- d2 d3)) (* (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1)))) d1)) (+ (* d1 (- d2 d3)) (* (fma (sqrt d4) (sqrt d4) (- (* d1 1))) d1)) (+ (* d1 (- d2 d3)) (* (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1)) (+ (* d1 (- d2 d3)) (* (fma 1 d4 (- (* (sqrt d1) (sqrt d1)))) d1)) (+ (* d1 (- d2 d3)) (* (fma 1 d4 (- (* d1 1))) d1)) (+ (* d1 (- d2 d3)) (* d4 d1)) (+ (* d1 (- d2 d3)) (* d4 d1)) (+ (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (- d4 d1))) (+ (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (- d4 d1))) (+ (* d1 (fma (- d3) 1 (* d3 1))) (* d1 (- d4 d1))) (+ (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (- d4 d1))) (+ (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (- d4 d1))) (+ (* d1 (fma (- d3) 1 (* d3 1))) (* d1 (- d4 d1))) (+ (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (- d4 d1))) (+ (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (- d4 d1))) (+ (* d1 (fma (- d3) 1 (* d3 1))) (* d1 (- d4 d1))) (+ (* d1 (- d3)) (* d1 (- d4 d1))) (+ (* d1 (- d3)) (* d1 (- d4 d1))) (+ (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* d1 (- d4 d1))) (+ (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* d1 (- d4 d1))) (+ (* (fma (- d3) 1 (* d3 1)) d1) (* d1 (- d4 d1))) (+ (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* d1 (- d4 d1))) (+ (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* d1 (- d4 d1))) (+ (* (fma (- d3) 1 (* d3 1)) d1) (* d1 (- d4 d1))) (+ (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* d1 (- d4 d1))) (+ (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* d1 (- d4 d1))) (+ (* (fma (- d3) 1 (* d3 1)) d1) (* d1 (- d4 d1))) (+ (* (- d3) d1) (* d1 (- d4 d1))) (+ (* (- d3) d1) (* d1 (- d4 d1))) (expm1 (* d1 (- d4 d1))) (log1p (* d1 (- d4 d1))) (* d1 (- d4 d1)) (+ (log d1) (log (- d4 d1))) (log (* d1 (- d4 d1))) (exp (* d1 (- d4 d1))) (* (* (* d1 d1) d1) (* (* (- d4 d1) (- d4 d1)) (- d4 d1))) (* (cbrt (* d1 (- d4 d1))) (cbrt (* d1 (- d4 d1)))) (cbrt (* d1 (- d4 d1))) (* (* (* d1 (- d4 d1)) (* d1 (- d4 d1))) (* d1 (- d4 d1))) (sqrt (* d1 (- d4 d1))) (sqrt (* d1 (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma (sqrt d4) (sqrt d4) (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma 1 d4 (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma 1 d4 (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 d4) (* d1 (- d1)) (* d1 d4) (* d1 (- d1)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma (sqrt d4) (sqrt d4) (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma 1 d4 (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma 1 d4 (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* d4 d1) (* (- d1) d1) (* d4 d1) (* (- d1) d1) (* d1 (* (cbrt (- d4 d1)) (cbrt (- d4 d1)))) (* d1 (sqrt (- d4 d1))) (* d1 1) (* d1 (+ (sqrt d4) (sqrt d1))) (* d1 1) (* (cbrt d1) (- d4 d1)) (* (sqrt d1) (- d4 d1)) (* d1 (- d4 d1)) (* d1 (- (pow d4 3) (pow d1 3))) (* d1 (- (* d4 d4) (* d1 d1))) (expm1 (* d1 (- d2 d3))) (log1p (* d1 (- d2 d3))) (* d1 (- d2 d3)) (+ (log d1) (log (- d2 d3))) (log (* d1 (- d2 d3))) (exp (* d1 (- d2 d3))) (* (* (* d1 d1) d1) (* (* (- d2 d3) (- d2 d3)) (- d2 d3))) (* (cbrt (* d1 (- d2 d3))) (cbrt (* d1 (- d2 d3)))) (cbrt (* d1 (- d2 d3))) (* (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (* d1 (- d2 d3))) (sqrt (* d1 (- d2 d3))) (sqrt (* d1 (- d2 d3))) (* (sqrt d1) (sqrt (- d2 d3))) (* (sqrt d1) (sqrt (- d2 d3))) (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* (cbrt d3) (* (cbrt d3) (cbrt d3)))))) (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* (sqrt d3) (sqrt d3))))) (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* d3 1)))) (* d1 (fma (- d3) 1 (* d3 1))) (* d1 (fma (sqrt d2) (sqrt d2) (- (* (cbrt d3) (* (cbrt d3) (cbrt d3)))))) (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (fma (sqrt d2) (sqrt d2) (- (* (sqrt d3) (sqrt d3))))) (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (fma (sqrt d2) (sqrt d2) (- (* d3 1)))) (* d1 (fma (- d3) 1 (* d3 1))) (* d1 (fma 1 d2 (- (* (cbrt d3) (* (cbrt d3) (cbrt d3)))))) (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (fma 1 d2 (- (* (sqrt d3) (sqrt d3))))) (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (fma 1 d2 (- (* d3 1)))) (* d1 (fma (- d3) 1 (* d3 1))) (* d1 d2) (* d1 (- d3)) (* d1 d2) (* d1 (- d3)) (* (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) d1) (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* (sqrt d3) (sqrt d3)))) d1) (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* d3 1))) d1) (* (fma (- d3) 1 (* d3 1)) d1) (* (fma (sqrt d2) (sqrt d2) (- (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) d1) (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* (fma (sqrt d2) (sqrt d2) (- (* (sqrt d3) (sqrt d3)))) d1) (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* (fma (sqrt d2) (sqrt d2) (- (* d3 1))) d1) (* (fma (- d3) 1 (* d3 1)) d1) (* (fma 1 d2 (- (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) d1) (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* (fma 1 d2 (- (* (sqrt d3) (sqrt d3)))) d1) (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* (fma 1 d2 (- (* d3 1))) d1) (* (fma (- d3) 1 (* d3 1)) d1) (* d2 d1) (* (- d3) d1) (* d2 d1) (* (- d3) d1) (* d1 (* (cbrt (- d2 d3)) (cbrt (- d2 d3)))) (* d1 (sqrt (- d2 d3))) (* d1 1) (* d1 (+ (sqrt d2) (sqrt d3))) (* d1 1) (* (cbrt d1) (- d2 d3)) (* (sqrt d1) (- d2 d3)) (* d1 (- d2 d3)) (* d1 (- (pow d2 3) (pow d3 3))) (* d1 (- (* d2 d2) (* d3 d3))) (- (* d1 d2) (+ (pow d1 2) (* d1 d3))) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (* d1 d4) (pow d1 2)) (- (* d1 d4) (pow d1 2)) (- (* d1 d4) (pow d1 2)) (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3)) 5.919 * * [simplify]: iteration 0 : 266 enodes (cost 2707 ) 5.969 * * [simplify]: iteration 1 : 668 enodes (cost 2017 ) 6.143 * * [simplify]: iteration 2 : 3089 enodes (cost 1649 ) 7.744 * * [simplify]: iteration done : 5000 enodes (cost 1645 ) 7.745 * [simplify]: Simplified to: (expm1 (* d1 (+ (- d2 d3) (- d4 d1)))) (log1p (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (log (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1))))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (pow (* d1 (+ (- d2 d3) (- d4 d1))) 3) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (fma (* d1 (- (pow d2 3) (pow d3 3))) (fma d4 d4 (* d1 (+ d4 d1))) (* (fma d2 d2 (* d3 (+ d2 d3))) (* d1 (- (pow d4 3) (pow d1 3))))) (* (fma d2 d2 (* d3 (+ d2 d3))) (fma d4 d4 (* d1 (+ d4 d1)))) (fma (* d1 (- (pow d2 3) (pow d3 3))) (+ d4 d1) (* (* d1 (- (* d4 d4) (* d1 d1))) (fma d2 d2 (* d3 (+ d2 d3))))) (* (fma d2 d2 (* d3 (+ d2 d3))) (+ d4 d1)) (fma (* d1 (- (* d2 d2) (* d3 d3))) (fma d4 d4 (* d1 (+ d4 d1))) (* (+ d2 d3) (* d1 (- (pow d4 3) (pow d1 3))))) (* (fma d4 d4 (* d1 (+ d4 d1))) (+ d2 d3)) (fma (* d1 (- (* d2 d2) (* d3 d3))) (+ d4 d1) (* (+ d2 d3) (* d1 (- (* d4 d4) (* d1 d1))))) (* (+ d2 d3) (+ d4 d1)) (+ (pow (* d1 (- d2 d3)) 3) (pow (* d1 (- d4 d1)) 3)) (fma (* (- d4 d1) d1) (* d1 (- (- d4 d1) (- d2 d3))) (* (* d1 (- d2 d3)) (* d1 (- d2 d3)))) (* (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (- (- d2 d3) (- d4 d1)))) (* d1 (- (- d2 d3) (- d4 d1))) (+ (- d2 d3) (- d4 d1)) (* d1 (+ (- d2 d3) (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)))) (* d1 (+ (- d2 d3) (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)))) (* d1 (+ (- d2 d3) (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) d4)) (* d1 (+ (- d2 d3) d4)) (* d1 (+ (- d2 d3) (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)))) (* d1 (+ (- d2 d3) (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)))) (* d1 (+ (- d2 d3) (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) d4)) (* d1 (+ (- d2 d3) d4)) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (- (- d4 d1) d3)) (* d1 (- (- d4 d1) d3)) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (+ (* d3 0) (- d4 d1))) (* d1 (- (- d4 d1) d3)) (* d1 (- (- d4 d1) d3)) (expm1 (* d1 (- d4 d1))) (log1p (* d1 (- d4 d1))) (* (- d4 d1) d1) (log (* d1 (- d4 d1))) (log (* d1 (- d4 d1))) (exp (* d1 (- d4 d1))) (pow (* (- d4 d1) d1) 3) (* (cbrt (* d1 (- d4 d1))) (cbrt (* d1 (- d4 d1)))) (cbrt (* d1 (- d4 d1))) (pow (* (- d4 d1) d1) 3) (sqrt (* d1 (- d4 d1))) (sqrt (* d1 (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)) d1) (* d1 (* d1 0)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)) d1) (* d1 (* d1 0)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* d4 d1) (* d1 (- d1)) (* d4 d1) (* d1 (- d1)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)) d1) (* d1 (* d1 0)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)) d1) (* d1 (* d1 0)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* d4 d1) (* d1 (- d1)) (* d4 d1) (* d1 (- d1)) (* d1 (* (cbrt (- d4 d1)) (cbrt (- d4 d1)))) (* d1 (sqrt (- d4 d1))) d1 (* d1 (+ (sqrt d4) (sqrt d1))) d1 (* (cbrt d1) (- d4 d1)) (* (sqrt d1) (- d4 d1)) (* (- d4 d1) d1) (* d1 (- (pow d4 3) (pow d1 3))) (* d1 (- (* d4 d4) (* d1 d1))) (expm1 (* d1 (- d2 d3))) (log1p (* d1 (- d2 d3))) (* d1 (- d2 d3)) (log (* d1 (- d2 d3))) (log (* d1 (- d2 d3))) (exp (* d1 (- d2 d3))) (pow (* d1 (- d2 d3)) 3) (* (cbrt (* d1 (- d2 d3))) (cbrt (* d1 (- d2 d3)))) (cbrt (* d1 (- d2 d3))) (pow (* d1 (- d2 d3)) 3) (sqrt (* d1 (- d2 d3))) (sqrt (* d1 (- d2 d3))) (* (sqrt d1) (sqrt (- d2 d3))) (* (sqrt d1) (sqrt (- d2 d3))) (* d1 (- (* (* (cbrt d2) (cbrt d2)) (cbrt d2)) d3)) (* d1 (* d3 0)) (* d1 (- (* (* (cbrt d2) (cbrt d2)) (cbrt d2)) d3)) (* d1 (* d3 0)) (* d1 (- (* (* (cbrt d2) (cbrt d2)) (cbrt d2)) d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 d2) (* (- d3) d1) (* d1 d2) (* (- d3) d1) (* d1 (- (* (* (cbrt d2) (cbrt d2)) (cbrt d2)) d3)) (* d1 (* d3 0)) (* d1 (- (* (* (cbrt d2) (cbrt d2)) (cbrt d2)) d3)) (* d1 (* d3 0)) (* d1 (- (* (* (cbrt d2) (cbrt d2)) (cbrt d2)) d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 d2) (* (- d3) d1) (* d1 d2) (* (- d3) d1) (* d1 (* (cbrt (- d2 d3)) (cbrt (- d2 d3)))) (* d1 (sqrt (- d2 d3))) d1 (* d1 (+ (sqrt d2) (sqrt d3))) d1 (* (cbrt d1) (- d2 d3)) (* (sqrt d1) (- d2 d3)) (* d1 (- d2 d3)) (* d1 (- (pow d2 3) (pow d3 3))) (* d1 (- (* d2 d2) (* d3 d3))) (- (* d1 (- d2 d3)) (* d1 d1)) (* d1 (+ (- d2 d3) d4)) (* d1 (+ (- d2 d3) d4)) (* (- d4 d1) d1) (* (- d4 d1) d1) (* (- d4 d1) d1) (* d1 (- d2 d3)) (* d1 (- d2 d3)) (* d1 (- d2 d3)) 7.746 * * * [progress]: adding candidates to table 8.039 * * [progress]: iteration 3 / 4 8.039 * * * [progress]: picking best candidate 8.045 * * * * [pick]: Picked # 8.045 * * * [progress]: localizing error 8.054 * * * [progress]: generating rewritten candidates 8.054 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 8.055 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3) 8.076 * * * [progress]: generating series expansions 8.076 * * * * [progress]: [ 1 / 2 ] generating series at (2) 8.076 * [approximate]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 (- d4 d1))) in (d1 d2 d3 d4) around 0 8.076 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 (- d4 d1))) in d4 8.076 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) 8.076 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d4 8.076 * [taylor]: Taking taylor expansion of d1 in d4 8.076 * [taylor]: Taking taylor expansion of (- d2 d3) in d4 8.076 * [taylor]: Taking taylor expansion of d2 in d4 8.076 * [taylor]: Taking taylor expansion of d3 in d4 8.076 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d4 8.076 * [taylor]: Taking taylor expansion of d1 in d4 8.076 * [taylor]: Taking taylor expansion of (- d4 d1) in d4 8.076 * [taylor]: Taking taylor expansion of d4 in d4 8.076 * [taylor]: Taking taylor expansion of d1 in d4 8.077 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 (- d4 d1))) in d3 8.077 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) 8.077 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d3 8.077 * [taylor]: Taking taylor expansion of d1 in d3 8.077 * [taylor]: Taking taylor expansion of (- d2 d3) in d3 8.077 * [taylor]: Taking taylor expansion of d2 in d3 8.077 * [taylor]: Taking taylor expansion of d3 in d3 8.077 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d3 8.077 * [taylor]: Taking taylor expansion of d1 in d3 8.077 * [taylor]: Taking taylor expansion of (- d4 d1) in d3 8.077 * [taylor]: Taking taylor expansion of d4 in d3 8.077 * [taylor]: Taking taylor expansion of d1 in d3 8.077 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 (- d4 d1))) in d2 8.077 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) 8.077 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d2 8.077 * [taylor]: Taking taylor expansion of d1 in d2 8.077 * [taylor]: Taking taylor expansion of (- d2 d3) in d2 8.077 * [taylor]: Taking taylor expansion of d2 in d2 8.077 * [taylor]: Taking taylor expansion of d3 in d2 8.077 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d2 8.077 * [taylor]: Taking taylor expansion of d1 in d2 8.077 * [taylor]: Taking taylor expansion of (- d4 d1) in d2 8.077 * [taylor]: Taking taylor expansion of d4 in d2 8.077 * [taylor]: Taking taylor expansion of d1 in d2 8.077 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 (- d4 d1))) in d1 8.077 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) 8.077 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1 8.077 * [taylor]: Taking taylor expansion of d1 in d1 8.077 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 8.077 * [taylor]: Taking taylor expansion of d2 in d1 8.077 * [taylor]: Taking taylor expansion of d3 in d1 8.077 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d1 8.077 * [taylor]: Taking taylor expansion of d1 in d1 8.077 * [taylor]: Taking taylor expansion of (- d4 d1) in d1 8.077 * [taylor]: Taking taylor expansion of d4 in d1 8.077 * [taylor]: Taking taylor expansion of d1 in d1 8.077 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 (- d4 d1))) in d1 8.077 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) 8.077 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1 8.077 * [taylor]: Taking taylor expansion of d1 in d1 8.077 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 8.077 * [taylor]: Taking taylor expansion of d2 in d1 8.077 * [taylor]: Taking taylor expansion of d3 in d1 8.077 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d1 8.077 * [taylor]: Taking taylor expansion of d1 in d1 8.077 * [taylor]: Taking taylor expansion of (- d4 d1) in d1 8.077 * [taylor]: Taking taylor expansion of d4 in d1 8.077 * [taylor]: Taking taylor expansion of d1 in d1 8.078 * [taylor]: Taking taylor expansion of 0 in d2 8.078 * [taylor]: Taking taylor expansion of 0 in d3 8.078 * [taylor]: Taking taylor expansion of 0 in d4 8.080 * [taylor]: Taking taylor expansion of (- (+ d4 d2) d3) in d2 8.080 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2 8.080 * [taylor]: Taking taylor expansion of d4 in d2 8.080 * [taylor]: Taking taylor expansion of d2 in d2 8.080 * [taylor]: Taking taylor expansion of d3 in d2 8.080 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 8.080 * [taylor]: Taking taylor expansion of d4 in d3 8.080 * [taylor]: Taking taylor expansion of d3 in d3 8.080 * [taylor]: Taking taylor expansion of d4 in d4 8.080 * [taylor]: Taking taylor expansion of 0 in d3 8.080 * [taylor]: Taking taylor expansion of 0 in d4 8.081 * [taylor]: Taking taylor expansion of 0 in d4 8.083 * [taylor]: Taking taylor expansion of -1 in d2 8.083 * [taylor]: Taking taylor expansion of -1 in d3 8.083 * [taylor]: Taking taylor expansion of -1 in d4 8.084 * [taylor]: Taking taylor expansion of 1 in d3 8.084 * [taylor]: Taking taylor expansion of 1 in d4 8.084 * [taylor]: Taking taylor expansion of 0 in d3 8.084 * [taylor]: Taking taylor expansion of 0 in d4 8.084 * [taylor]: Taking taylor expansion of -1 in d4 8.085 * [approximate]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ (- (/ 1 d4) (/ 1 d1)) d1)) in (d1 d2 d3 d4) around 0 8.085 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ (- (/ 1 d4) (/ 1 d1)) d1)) in d4 8.085 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ (- (/ 1 d4) (/ 1 d1)) d1)) 8.085 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d4 8.085 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 8.085 * [taylor]: Taking taylor expansion of d1 in d4 8.085 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d4 8.085 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 8.085 * [taylor]: Taking taylor expansion of d2 in d4 8.085 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 8.085 * [taylor]: Taking taylor expansion of d3 in d4 8.085 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d4 8.085 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d4 8.085 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.085 * [taylor]: Taking taylor expansion of d4 in d4 8.085 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 8.085 * [taylor]: Taking taylor expansion of d1 in d4 8.085 * [taylor]: Taking taylor expansion of d1 in d4 8.086 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ (- (/ 1 d4) (/ 1 d1)) d1)) in d3 8.086 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ (- (/ 1 d4) (/ 1 d1)) d1)) 8.086 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d3 8.086 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 8.086 * [taylor]: Taking taylor expansion of d1 in d3 8.086 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d3 8.086 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 8.086 * [taylor]: Taking taylor expansion of d2 in d3 8.086 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 8.086 * [taylor]: Taking taylor expansion of d3 in d3 8.086 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d3 8.086 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d3 8.086 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 8.086 * [taylor]: Taking taylor expansion of d4 in d3 8.086 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 8.086 * [taylor]: Taking taylor expansion of d1 in d3 8.086 * [taylor]: Taking taylor expansion of d1 in d3 8.087 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ (- (/ 1 d4) (/ 1 d1)) d1)) in d2 8.087 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ (- (/ 1 d4) (/ 1 d1)) d1)) 8.087 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d2 8.087 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 8.087 * [taylor]: Taking taylor expansion of d1 in d2 8.087 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 8.087 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.087 * [taylor]: Taking taylor expansion of d2 in d2 8.087 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 8.087 * [taylor]: Taking taylor expansion of d3 in d2 8.087 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d2 8.087 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d2 8.087 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 8.087 * [taylor]: Taking taylor expansion of d4 in d2 8.087 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 8.087 * [taylor]: Taking taylor expansion of d1 in d2 8.087 * [taylor]: Taking taylor expansion of d1 in d2 8.087 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ (- (/ 1 d4) (/ 1 d1)) d1)) in d1 8.087 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ (- (/ 1 d4) (/ 1 d1)) d1)) 8.087 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d1 8.087 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 8.088 * [taylor]: Taking taylor expansion of d1 in d1 8.088 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 8.088 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 8.088 * [taylor]: Taking taylor expansion of d2 in d1 8.088 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 8.088 * [taylor]: Taking taylor expansion of d3 in d1 8.088 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1 8.088 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1 8.088 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 8.088 * [taylor]: Taking taylor expansion of d4 in d1 8.088 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 8.088 * [taylor]: Taking taylor expansion of d1 in d1 8.088 * [taylor]: Taking taylor expansion of d1 in d1 8.089 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ (- (/ 1 d4) (/ 1 d1)) d1)) in d1 8.089 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ (- (/ 1 d4) (/ 1 d1)) d1)) 8.089 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d1 8.089 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 8.089 * [taylor]: Taking taylor expansion of d1 in d1 8.089 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 8.089 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 8.090 * [taylor]: Taking taylor expansion of d2 in d1 8.090 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 8.090 * [taylor]: Taking taylor expansion of d3 in d1 8.090 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1 8.090 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1 8.090 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 8.090 * [taylor]: Taking taylor expansion of d4 in d1 8.090 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 8.090 * [taylor]: Taking taylor expansion of d1 in d1 8.090 * [taylor]: Taking taylor expansion of d1 in d1 8.091 * [taylor]: Taking taylor expansion of -1 in d2 8.092 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 8.092 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 8.092 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.092 * [taylor]: Taking taylor expansion of d2 in d2 8.093 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 8.093 * [taylor]: Taking taylor expansion of d4 in d2 8.093 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 8.093 * [taylor]: Taking taylor expansion of d3 in d2 8.093 * [taylor]: Taking taylor expansion of 1 in d3 8.093 * [taylor]: Taking taylor expansion of -1 in d3 8.097 * [taylor]: Taking taylor expansion of 0 in d2 8.097 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 8.097 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 8.097 * [taylor]: Taking taylor expansion of d4 in d3 8.097 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 8.097 * [taylor]: Taking taylor expansion of d3 in d3 8.098 * [taylor]: Taking taylor expansion of -1 in d4 8.098 * [taylor]: Taking taylor expansion of 0 in d3 8.098 * [taylor]: Taking taylor expansion of 1 in d4 8.098 * [taylor]: Taking taylor expansion of -1 in d4 8.102 * [taylor]: Taking taylor expansion of 0 in d2 8.102 * [taylor]: Taking taylor expansion of 0 in d3 8.104 * [taylor]: Taking taylor expansion of 0 in d3 8.104 * [taylor]: Taking taylor expansion of 0 in d3 8.104 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.104 * [taylor]: Taking taylor expansion of d4 in d4 8.105 * [taylor]: Taking taylor expansion of 0 in d4 8.105 * [taylor]: Taking taylor expansion of 0 in d4 8.105 * [taylor]: Taking taylor expansion of 0 in d4 8.105 * [approximate]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) in (d1 d2 d3 d4) around 0 8.105 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) in d4 8.106 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) 8.106 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d4 8.106 * [taylor]: Taking taylor expansion of (/ -1 d1) in d4 8.106 * [taylor]: Taking taylor expansion of -1 in d4 8.106 * [taylor]: Taking taylor expansion of d1 in d4 8.106 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d4 8.106 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 8.106 * [taylor]: Taking taylor expansion of d3 in d4 8.106 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 8.106 * [taylor]: Taking taylor expansion of d2 in d4 8.106 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d4 8.106 * [taylor]: Taking taylor expansion of -1 in d4 8.106 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d4 8.106 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d4 8.106 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 8.106 * [taylor]: Taking taylor expansion of d1 in d4 8.106 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.106 * [taylor]: Taking taylor expansion of d4 in d4 8.106 * [taylor]: Taking taylor expansion of d1 in d4 8.107 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) in d3 8.107 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) 8.107 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d3 8.107 * [taylor]: Taking taylor expansion of (/ -1 d1) in d3 8.107 * [taylor]: Taking taylor expansion of -1 in d3 8.107 * [taylor]: Taking taylor expansion of d1 in d3 8.107 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d3 8.107 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 8.107 * [taylor]: Taking taylor expansion of d3 in d3 8.107 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 8.107 * [taylor]: Taking taylor expansion of d2 in d3 8.107 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d3 8.107 * [taylor]: Taking taylor expansion of -1 in d3 8.107 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d3 8.107 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d3 8.107 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 8.107 * [taylor]: Taking taylor expansion of d1 in d3 8.107 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 8.107 * [taylor]: Taking taylor expansion of d4 in d3 8.107 * [taylor]: Taking taylor expansion of d1 in d3 8.108 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) in d2 8.108 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) 8.108 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d2 8.108 * [taylor]: Taking taylor expansion of (/ -1 d1) in d2 8.108 * [taylor]: Taking taylor expansion of -1 in d2 8.108 * [taylor]: Taking taylor expansion of d1 in d2 8.108 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d2 8.108 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 8.108 * [taylor]: Taking taylor expansion of d3 in d2 8.108 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.108 * [taylor]: Taking taylor expansion of d2 in d2 8.108 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d2 8.108 * [taylor]: Taking taylor expansion of -1 in d2 8.108 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d2 8.108 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d2 8.108 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 8.108 * [taylor]: Taking taylor expansion of d1 in d2 8.108 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 8.108 * [taylor]: Taking taylor expansion of d4 in d2 8.108 * [taylor]: Taking taylor expansion of d1 in d2 8.108 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) in d1 8.109 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) 8.109 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d1 8.109 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 8.109 * [taylor]: Taking taylor expansion of -1 in d1 8.109 * [taylor]: Taking taylor expansion of d1 in d1 8.109 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 8.109 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 8.109 * [taylor]: Taking taylor expansion of d3 in d1 8.109 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 8.109 * [taylor]: Taking taylor expansion of d2 in d1 8.109 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1 8.109 * [taylor]: Taking taylor expansion of -1 in d1 8.109 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1 8.109 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1 8.109 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 8.109 * [taylor]: Taking taylor expansion of d1 in d1 8.109 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 8.109 * [taylor]: Taking taylor expansion of d4 in d1 8.109 * [taylor]: Taking taylor expansion of d1 in d1 8.110 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) in d1 8.110 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) 8.110 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d1 8.110 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 8.110 * [taylor]: Taking taylor expansion of -1 in d1 8.110 * [taylor]: Taking taylor expansion of d1 in d1 8.110 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 8.110 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 8.110 * [taylor]: Taking taylor expansion of d3 in d1 8.111 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 8.111 * [taylor]: Taking taylor expansion of d2 in d1 8.111 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1 8.111 * [taylor]: Taking taylor expansion of -1 in d1 8.111 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1 8.111 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1 8.111 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 8.111 * [taylor]: Taking taylor expansion of d1 in d1 8.111 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 8.111 * [taylor]: Taking taylor expansion of d4 in d1 8.111 * [taylor]: Taking taylor expansion of d1 in d1 8.112 * [taylor]: Taking taylor expansion of -1 in d2 8.113 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 8.114 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 8.114 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.114 * [taylor]: Taking taylor expansion of d2 in d2 8.114 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 8.114 * [taylor]: Taking taylor expansion of d4 in d2 8.114 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 8.114 * [taylor]: Taking taylor expansion of d3 in d2 8.114 * [taylor]: Taking taylor expansion of 1 in d3 8.114 * [taylor]: Taking taylor expansion of -1 in d3 8.118 * [taylor]: Taking taylor expansion of 0 in d2 8.119 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 8.119 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 8.119 * [taylor]: Taking taylor expansion of d4 in d3 8.119 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 8.119 * [taylor]: Taking taylor expansion of d3 in d3 8.120 * [taylor]: Taking taylor expansion of -1 in d4 8.120 * [taylor]: Taking taylor expansion of 0 in d3 8.120 * [taylor]: Taking taylor expansion of 1 in d4 8.120 * [taylor]: Taking taylor expansion of -1 in d4 8.125 * [taylor]: Taking taylor expansion of 0 in d2 8.125 * [taylor]: Taking taylor expansion of 0 in d3 8.126 * [taylor]: Taking taylor expansion of 0 in d3 8.126 * [taylor]: Taking taylor expansion of 0 in d3 8.127 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.127 * [taylor]: Taking taylor expansion of d4 in d4 8.127 * [taylor]: Taking taylor expansion of 0 in d4 8.127 * [taylor]: Taking taylor expansion of 0 in d4 8.127 * [taylor]: Taking taylor expansion of 0 in d4 8.128 * * * * [progress]: [ 2 / 2 ] generating series at (2 3) 8.128 * [approximate]: Taking taylor expansion of (* d1 (- d4 d1)) in (d1 d4) around 0 8.128 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d4 8.128 * [taylor]: Taking taylor expansion of d1 in d4 8.128 * [taylor]: Taking taylor expansion of (- d4 d1) in d4 8.128 * [taylor]: Taking taylor expansion of d4 in d4 8.128 * [taylor]: Taking taylor expansion of d1 in d4 8.128 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d1 8.128 * [taylor]: Taking taylor expansion of d1 in d1 8.128 * [taylor]: Taking taylor expansion of (- d4 d1) in d1 8.128 * [taylor]: Taking taylor expansion of d4 in d1 8.128 * [taylor]: Taking taylor expansion of d1 in d1 8.128 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d1 8.128 * [taylor]: Taking taylor expansion of d1 in d1 8.128 * [taylor]: Taking taylor expansion of (- d4 d1) in d1 8.128 * [taylor]: Taking taylor expansion of d4 in d1 8.128 * [taylor]: Taking taylor expansion of d1 in d1 8.128 * [taylor]: Taking taylor expansion of 0 in d4 8.129 * [taylor]: Taking taylor expansion of d4 in d4 8.130 * [taylor]: Taking taylor expansion of (- 1) in d4 8.130 * [taylor]: Taking taylor expansion of 1 in d4 8.132 * [taylor]: Taking taylor expansion of 0 in d4 8.134 * [taylor]: Taking taylor expansion of 0 in d4 8.134 * [approximate]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in (d1 d4) around 0 8.134 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d4 8.134 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d4 8.134 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.134 * [taylor]: Taking taylor expansion of d4 in d4 8.134 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 8.134 * [taylor]: Taking taylor expansion of d1 in d4 8.134 * [taylor]: Taking taylor expansion of d1 in d4 8.135 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1 8.135 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1 8.135 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 8.135 * [taylor]: Taking taylor expansion of d4 in d1 8.135 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 8.135 * [taylor]: Taking taylor expansion of d1 in d1 8.135 * [taylor]: Taking taylor expansion of d1 in d1 8.136 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1 8.136 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1 8.136 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 8.136 * [taylor]: Taking taylor expansion of d4 in d1 8.136 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 8.136 * [taylor]: Taking taylor expansion of d1 in d1 8.136 * [taylor]: Taking taylor expansion of d1 in d1 8.139 * [taylor]: Taking taylor expansion of -1 in d4 8.141 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.141 * [taylor]: Taking taylor expansion of d4 in d4 8.143 * [taylor]: Taking taylor expansion of 0 in d4 8.145 * [taylor]: Taking taylor expansion of 0 in d4 8.149 * [taylor]: Taking taylor expansion of 0 in d4 8.149 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in (d1 d4) around 0 8.149 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d4 8.149 * [taylor]: Taking taylor expansion of -1 in d4 8.149 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d4 8.149 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d4 8.149 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 8.149 * [taylor]: Taking taylor expansion of d1 in d4 8.149 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.149 * [taylor]: Taking taylor expansion of d4 in d4 8.149 * [taylor]: Taking taylor expansion of d1 in d4 8.150 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1 8.150 * [taylor]: Taking taylor expansion of -1 in d1 8.150 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1 8.150 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1 8.150 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 8.150 * [taylor]: Taking taylor expansion of d1 in d1 8.150 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 8.150 * [taylor]: Taking taylor expansion of d4 in d1 8.150 * [taylor]: Taking taylor expansion of d1 in d1 8.151 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1 8.151 * [taylor]: Taking taylor expansion of -1 in d1 8.151 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1 8.151 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1 8.151 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 8.151 * [taylor]: Taking taylor expansion of d1 in d1 8.151 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 8.151 * [taylor]: Taking taylor expansion of d4 in d1 8.151 * [taylor]: Taking taylor expansion of d1 in d1 8.152 * [taylor]: Taking taylor expansion of -1 in d4 8.153 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.153 * [taylor]: Taking taylor expansion of d4 in d4 8.156 * [taylor]: Taking taylor expansion of 0 in d4 8.159 * [taylor]: Taking taylor expansion of 0 in d4 8.163 * [taylor]: Taking taylor expansion of 0 in d4 8.164 * * * [progress]: simplifying candidates 8.165 * [simplify]: Simplifying using # : (expm1 (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (log1p (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (* d1 (- d2 d3)) (log (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (exp (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (* (cbrt (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (cbrt (fma d1 (- d2 d3) (* d1 (- d4 d1))))) (cbrt (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (* (* (fma d1 (- d2 d3) (* d1 (- d4 d1))) (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (sqrt (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (sqrt (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (expm1 (* d1 (- d4 d1))) (log1p (* d1 (- d4 d1))) (* d1 (- d4 d1)) (+ (log d1) (log (- d4 d1))) (log (* d1 (- d4 d1))) (exp (* d1 (- d4 d1))) (* (* (* d1 d1) d1) (* (* (- d4 d1) (- d4 d1)) (- d4 d1))) (* (cbrt (* d1 (- d4 d1))) (cbrt (* d1 (- d4 d1)))) (cbrt (* d1 (- d4 d1))) (* (* (* d1 (- d4 d1)) (* d1 (- d4 d1))) (* d1 (- d4 d1))) (sqrt (* d1 (- d4 d1))) (sqrt (* d1 (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma (sqrt d4) (sqrt d4) (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma 1 d4 (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma 1 d4 (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 d4) (* d1 (- d1)) (* d1 d4) (* d1 (- d1)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma (sqrt d4) (sqrt d4) (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma 1 d4 (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma 1 d4 (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* d4 d1) (* (- d1) d1) (* d4 d1) (* (- d1) d1) (* d1 (* (cbrt (- d4 d1)) (cbrt (- d4 d1)))) (* d1 (sqrt (- d4 d1))) (* d1 1) (* d1 (+ (sqrt d4) (sqrt d1))) (* d1 1) (* (cbrt d1) (- d4 d1)) (* (sqrt d1) (- d4 d1)) (* d1 (- d4 d1)) (* d1 (- (pow d4 3) (pow d1 3))) (* d1 (- (* d4 d4) (* d1 d1))) (- (* d1 d2) (+ (pow d1 2) (* d1 d3))) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (* d1 d4) (pow d1 2)) (- (* d1 d4) (pow d1 2)) (- (* d1 d4) (pow d1 2)) 8.168 * * [simplify]: iteration 0 : 118 enodes (cost 891 ) 8.185 * * [simplify]: iteration 1 : 232 enodes (cost 718 ) 8.239 * * [simplify]: iteration 2 : 944 enodes (cost 550 ) 8.675 * * [simplify]: iteration done : 5000 enodes (cost 548 ) 8.676 * [simplify]: Simplified to: (expm1 (* d1 (+ (- d2 d3) (- d4 d1)))) (log1p (* d1 (+ (- d2 d3) (- d4 d1)))) (* d1 (- d2 d3)) (log (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1))))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (pow (* d1 (+ (- d2 d3) (- d4 d1))) 3) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (expm1 (* d1 (- d4 d1))) (log1p (* d1 (- d4 d1))) (* d1 (- d4 d1)) (log (* d1 (- d4 d1))) (log (* d1 (- d4 d1))) (exp (* d1 (- d4 d1))) (pow (* d1 (- d4 d1)) 3) (* (cbrt (* d1 (- d4 d1))) (cbrt (* d1 (- d4 d1)))) (cbrt (* d1 (- d4 d1))) (pow (* d1 (- d4 d1)) 3) (sqrt (* d1 (- d4 d1))) (sqrt (* d1 (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)) d1) (* (* d1 0) d1) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)) d1) (* (* d1 0) d1) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)) d1) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d4 d1) (* d1 (- d1)) (* d4 d1) (* d1 (- d1)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)) d1) (* (* d1 0) d1) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)) d1) (* (* d1 0) d1) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1)) d1) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d4 d1) (* d1 (- d1)) (* d4 d1) (* d1 (- d1)) (* d1 (* (cbrt (- d4 d1)) (cbrt (- d4 d1)))) (* d1 (sqrt (- d4 d1))) d1 (* d1 (+ (sqrt d4) (sqrt d1))) d1 (* (cbrt d1) (- d4 d1)) (* (sqrt d1) (- d4 d1)) (* d1 (- d4 d1)) (* d1 (- (pow d4 3) (pow d1 3))) (* d1 (- (* d4 d4) (* d1 d1))) (* d1 (- d2 (+ d3 d1))) (* d1 (- (+ d4 d2) d3)) (* d1 (- (+ d4 d2) d3)) (* d1 (- d4 d1)) (* d1 (- d4 d1)) (* d1 (- d4 d1)) 8.676 * * * [progress]: adding candidates to table 8.766 * * [progress]: iteration 4 / 4 8.767 * * * [progress]: picking best candidate 8.769 * * * * [pick]: Picked # 8.769 * * * [progress]: localizing error 8.783 * * * [progress]: generating rewritten candidates 8.783 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 1 1 2) 8.784 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 1 1 2) 8.784 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 1 1 1) 8.784 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1 1 1) 8.792 * * * [progress]: generating series expansions 8.792 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 1 1 2) 8.792 * [approximate]: Taking taylor expansion of (pow d4 1/3) in (d4) around 0 8.792 * [taylor]: Taking taylor expansion of (pow d4 1/3) in d4 8.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d4))) in d4 8.792 * [taylor]: Taking taylor expansion of (* 1/3 (log d4)) in d4 8.792 * [taylor]: Taking taylor expansion of 1/3 in d4 8.792 * [taylor]: Taking taylor expansion of (log d4) in d4 8.792 * [taylor]: Taking taylor expansion of d4 in d4 8.793 * [taylor]: Taking taylor expansion of (pow d4 1/3) in d4 8.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d4))) in d4 8.793 * [taylor]: Taking taylor expansion of (* 1/3 (log d4)) in d4 8.793 * [taylor]: Taking taylor expansion of 1/3 in d4 8.793 * [taylor]: Taking taylor expansion of (log d4) in d4 8.793 * [taylor]: Taking taylor expansion of d4 in d4 8.842 * [approximate]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in (d4) around 0 8.842 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.842 * [taylor]: Taking taylor expansion of 1/3 in d4 8.842 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.842 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.842 * [taylor]: Taking taylor expansion of d4 in d4 8.843 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.843 * [taylor]: Taking taylor expansion of 1/3 in d4 8.843 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.843 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.843 * [taylor]: Taking taylor expansion of d4 in d4 8.895 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in (d4) around 0 8.895 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in d4 8.895 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 8.895 * [taylor]: Taking taylor expansion of -1 in d4 8.897 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.897 * [taylor]: Taking taylor expansion of 1/3 in d4 8.897 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.897 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.897 * [taylor]: Taking taylor expansion of d4 in d4 8.898 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in d4 8.898 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 8.898 * [taylor]: Taking taylor expansion of -1 in d4 8.899 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.899 * [taylor]: Taking taylor expansion of 1/3 in d4 8.899 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.899 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.899 * [taylor]: Taking taylor expansion of d4 in d4 8.970 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 1 1 2) 8.970 * [approximate]: Taking taylor expansion of (pow d4 1/3) in (d4) around 0 8.970 * [taylor]: Taking taylor expansion of (pow d4 1/3) in d4 8.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d4))) in d4 8.970 * [taylor]: Taking taylor expansion of (* 1/3 (log d4)) in d4 8.970 * [taylor]: Taking taylor expansion of 1/3 in d4 8.970 * [taylor]: Taking taylor expansion of (log d4) in d4 8.970 * [taylor]: Taking taylor expansion of d4 in d4 8.971 * [taylor]: Taking taylor expansion of (pow d4 1/3) in d4 8.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d4))) in d4 8.971 * [taylor]: Taking taylor expansion of (* 1/3 (log d4)) in d4 8.971 * [taylor]: Taking taylor expansion of 1/3 in d4 8.971 * [taylor]: Taking taylor expansion of (log d4) in d4 8.971 * [taylor]: Taking taylor expansion of d4 in d4 9.017 * [approximate]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in (d4) around 0 9.017 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 9.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 9.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 9.018 * [taylor]: Taking taylor expansion of 1/3 in d4 9.018 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 9.018 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.018 * [taylor]: Taking taylor expansion of d4 in d4 9.018 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 9.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 9.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 9.019 * [taylor]: Taking taylor expansion of 1/3 in d4 9.019 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 9.019 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.019 * [taylor]: Taking taylor expansion of d4 in d4 9.077 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in (d4) around 0 9.077 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in d4 9.077 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 9.077 * [taylor]: Taking taylor expansion of -1 in d4 9.077 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 9.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 9.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 9.077 * [taylor]: Taking taylor expansion of 1/3 in d4 9.077 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 9.077 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.078 * [taylor]: Taking taylor expansion of d4 in d4 9.078 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in d4 9.078 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 9.078 * [taylor]: Taking taylor expansion of -1 in d4 9.079 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 9.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 9.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 9.079 * [taylor]: Taking taylor expansion of 1/3 in d4 9.079 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 9.079 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.079 * [taylor]: Taking taylor expansion of d4 in d4 9.147 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 1 1 1) 9.147 * [approximate]: Taking taylor expansion of (pow d4 1/3) in (d4) around 0 9.147 * [taylor]: Taking taylor expansion of (pow d4 1/3) in d4 9.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d4))) in d4 9.147 * [taylor]: Taking taylor expansion of (* 1/3 (log d4)) in d4 9.147 * [taylor]: Taking taylor expansion of 1/3 in d4 9.147 * [taylor]: Taking taylor expansion of (log d4) in d4 9.147 * [taylor]: Taking taylor expansion of d4 in d4 9.148 * [taylor]: Taking taylor expansion of (pow d4 1/3) in d4 9.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d4))) in d4 9.148 * [taylor]: Taking taylor expansion of (* 1/3 (log d4)) in d4 9.148 * [taylor]: Taking taylor expansion of 1/3 in d4 9.148 * [taylor]: Taking taylor expansion of (log d4) in d4 9.148 * [taylor]: Taking taylor expansion of d4 in d4 9.201 * [approximate]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in (d4) around 0 9.201 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 9.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 9.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 9.201 * [taylor]: Taking taylor expansion of 1/3 in d4 9.201 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 9.201 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.201 * [taylor]: Taking taylor expansion of d4 in d4 9.202 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 9.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 9.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 9.202 * [taylor]: Taking taylor expansion of 1/3 in d4 9.202 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 9.202 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.202 * [taylor]: Taking taylor expansion of d4 in d4 9.252 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in (d4) around 0 9.252 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in d4 9.252 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 9.252 * [taylor]: Taking taylor expansion of -1 in d4 9.253 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 9.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 9.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 9.253 * [taylor]: Taking taylor expansion of 1/3 in d4 9.253 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 9.253 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.253 * [taylor]: Taking taylor expansion of d4 in d4 9.254 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in d4 9.254 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 9.254 * [taylor]: Taking taylor expansion of -1 in d4 9.260 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 9.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 9.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 9.260 * [taylor]: Taking taylor expansion of 1/3 in d4 9.260 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 9.260 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.260 * [taylor]: Taking taylor expansion of d4 in d4 9.321 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1 1 1) 9.321 * [approximate]: Taking taylor expansion of (pow (pow d4 2) 1/3) in (d4) around 0 9.321 * [taylor]: Taking taylor expansion of (pow (pow d4 2) 1/3) in d4 9.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow d4 2)))) in d4 9.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow d4 2))) in d4 9.321 * [taylor]: Taking taylor expansion of 1/3 in d4 9.321 * [taylor]: Taking taylor expansion of (log (pow d4 2)) in d4 9.321 * [taylor]: Taking taylor expansion of (pow d4 2) in d4 9.321 * [taylor]: Taking taylor expansion of d4 in d4 9.322 * [taylor]: Taking taylor expansion of (pow (pow d4 2) 1/3) in d4 9.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow d4 2)))) in d4 9.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow d4 2))) in d4 9.322 * [taylor]: Taking taylor expansion of 1/3 in d4 9.322 * [taylor]: Taking taylor expansion of (log (pow d4 2)) in d4 9.322 * [taylor]: Taking taylor expansion of (pow d4 2) in d4 9.322 * [taylor]: Taking taylor expansion of d4 in d4 9.379 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow d4 2)) 1/3) in (d4) around 0 9.379 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d4 2)) 1/3) in d4 9.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d4 2))))) in d4 9.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d4 2)))) in d4 9.379 * [taylor]: Taking taylor expansion of 1/3 in d4 9.379 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d4 2))) in d4 9.379 * [taylor]: Taking taylor expansion of (/ 1 (pow d4 2)) in d4 9.379 * [taylor]: Taking taylor expansion of (pow d4 2) in d4 9.379 * [taylor]: Taking taylor expansion of d4 in d4 9.380 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d4 2)) 1/3) in d4 9.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d4 2))))) in d4 9.380 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d4 2)))) in d4 9.380 * [taylor]: Taking taylor expansion of 1/3 in d4 9.380 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d4 2))) in d4 9.380 * [taylor]: Taking taylor expansion of (/ 1 (pow d4 2)) in d4 9.380 * [taylor]: Taking taylor expansion of (pow d4 2) in d4 9.380 * [taylor]: Taking taylor expansion of d4 in d4 9.440 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow d4 2)) 1/3)) in (d4) around 0 9.440 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow d4 2)) 1/3)) in d4 9.440 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d4 9.440 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 9.440 * [taylor]: Taking taylor expansion of -1 in d4 9.441 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d4 2)) 1/3) in d4 9.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d4 2))))) in d4 9.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d4 2)))) in d4 9.441 * [taylor]: Taking taylor expansion of 1/3 in d4 9.441 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d4 2))) in d4 9.441 * [taylor]: Taking taylor expansion of (/ 1 (pow d4 2)) in d4 9.441 * [taylor]: Taking taylor expansion of (pow d4 2) in d4 9.441 * [taylor]: Taking taylor expansion of d4 in d4 9.442 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow d4 2)) 1/3)) in d4 9.442 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d4 9.442 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 9.442 * [taylor]: Taking taylor expansion of -1 in d4 9.443 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d4 2)) 1/3) in d4 9.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d4 2))))) in d4 9.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d4 2)))) in d4 9.443 * [taylor]: Taking taylor expansion of 1/3 in d4 9.443 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d4 2))) in d4 9.443 * [taylor]: Taking taylor expansion of (/ 1 (pow d4 2)) in d4 9.443 * [taylor]: Taking taylor expansion of (pow d4 2) in d4 9.443 * [taylor]: Taking taylor expansion of d4 in d4 9.521 * * * [progress]: simplifying candidates 9.522 * [simplify]: Simplifying using # : (expm1 (cbrt d4)) (log1p (cbrt d4)) (log (cbrt d4)) (exp (cbrt d4)) (cbrt (* (cbrt d4) (cbrt d4))) (cbrt (cbrt d4)) (cbrt (sqrt d4)) (cbrt (sqrt d4)) (cbrt 1) (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt (cbrt d4)) (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) (sqrt (cbrt d4)) (sqrt (cbrt d4)) (expm1 (cbrt d4)) (log1p (cbrt d4)) (log (cbrt d4)) (exp (cbrt d4)) (cbrt (* (cbrt d4) (cbrt d4))) (cbrt (cbrt d4)) (cbrt (sqrt d4)) (cbrt (sqrt d4)) (cbrt 1) (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt (cbrt d4)) (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) (sqrt (cbrt d4)) (sqrt (cbrt d4)) (expm1 (cbrt d4)) (log1p (cbrt d4)) (log (cbrt d4)) (exp (cbrt d4)) (cbrt (* (cbrt d4) (cbrt d4))) (cbrt (cbrt d4)) (cbrt (sqrt d4)) (cbrt (sqrt d4)) (cbrt 1) (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt (cbrt d4)) (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) (sqrt (cbrt d4)) (sqrt (cbrt d4)) (expm1 (* (cbrt d4) (cbrt d4))) (log1p (* (cbrt d4) (cbrt d4))) (+ 1/3 1/3) (+ 1 1) (* d4 d4) (* (cbrt d4) (cbrt d4)) (+ 1 1) (+ (log (cbrt d4)) (log (cbrt d4))) (log (* (cbrt d4) (cbrt d4))) (exp (* (cbrt d4) (cbrt d4))) (* d4 d4) (* (cbrt (* (cbrt d4) (cbrt d4))) (cbrt (* (cbrt d4) (cbrt d4)))) (cbrt (* (cbrt d4) (cbrt d4))) (* (* (* (cbrt d4) (cbrt d4)) (* (cbrt d4) (cbrt d4))) (* (cbrt d4) (cbrt d4))) (sqrt (* (cbrt d4) (cbrt d4))) (sqrt (* (cbrt d4) (cbrt d4))) (* (cbrt (* (cbrt d4) (cbrt d4))) (cbrt (* (cbrt d4) (cbrt d4)))) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt 1) (cbrt 1)) (* (cbrt d4) (cbrt d4)) (* (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (* (cbrt (cbrt d4)) (cbrt (cbrt d4)))) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (* (sqrt (cbrt d4)) (sqrt (cbrt d4))) (* (sqrt (cbrt d4)) (sqrt (cbrt d4))) (* 1 1) (* (cbrt d4) (cbrt d4)) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt (sqrt d4)) (sqrt (cbrt d4))) (* (cbrt (sqrt d4)) (sqrt (cbrt d4))) (* (sqrt (cbrt d4)) (cbrt (sqrt d4))) (* (sqrt (cbrt d4)) (cbrt (sqrt d4))) (* (sqrt (cbrt d4)) (sqrt (cbrt d4))) (* (sqrt (cbrt d4)) (sqrt (cbrt d4))) (* 2 1/3) (* 2 1) (* (cbrt d4) (cbrt (* (cbrt d4) (cbrt d4)))) (* (cbrt d4) (cbrt (sqrt d4))) (* (cbrt d4) (cbrt 1)) (* (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4)))) (* (cbrt d4) (sqrt (cbrt d4))) (* (cbrt d4) 1) (* (cbrt (cbrt d4)) (cbrt d4)) (* (cbrt (sqrt d4)) (cbrt d4)) (* (cbrt d4) (cbrt d4)) (* (cbrt (cbrt d4)) (cbrt d4)) (* (sqrt (cbrt d4)) (cbrt d4)) (* (cbrt d4) (cbrt d4)) (pow d4 1/3) (pow (/ 1 d4) -1/3) (* (pow (* -1 d4) 1/3) (cbrt -1)) (pow d4 1/3) (pow (/ 1 d4) -1/3) (* (pow (* -1 d4) 1/3) (cbrt -1)) (pow d4 1/3) (pow (/ 1 d4) -1/3) (* (pow (* -1 d4) 1/3) (cbrt -1)) (pow d4 2/3) (pow (/ 1 d4) -2/3) (* (pow (cbrt -1) 2) (pow (pow d4 2) 1/3)) 9.524 * * [simplify]: iteration 0 : 65 enodes (cost 554 ) 9.537 * * [simplify]: iteration 1 : 122 enodes (cost 495 ) 9.577 * * [simplify]: iteration 2 : 449 enodes (cost 423 ) 9.804 * * [simplify]: iteration 3 : 1993 enodes (cost 405 ) 10.963 * * [simplify]: iteration done : 5001 enodes (cost 405 ) 10.963 * [simplify]: Simplified to: (expm1 (cbrt d4)) (log1p (cbrt d4)) (log (cbrt d4)) (exp (cbrt d4)) (cbrt (pow d4 2/3)) (cbrt (cbrt d4)) (cbrt (sqrt d4)) (cbrt (sqrt d4)) 1 (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt (cbrt d4)) d4 (sqrt (cbrt d4)) (sqrt (cbrt d4)) (expm1 (cbrt d4)) (log1p (cbrt d4)) (log (cbrt d4)) (exp (cbrt d4)) (cbrt (pow d4 2/3)) (cbrt (cbrt d4)) (cbrt (sqrt d4)) (cbrt (sqrt d4)) 1 (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt (cbrt d4)) d4 (sqrt (cbrt d4)) (sqrt (cbrt d4)) (expm1 (cbrt d4)) (log1p (cbrt d4)) (log (cbrt d4)) (exp (cbrt d4)) (cbrt (pow d4 2/3)) (cbrt (cbrt d4)) (cbrt (sqrt d4)) (cbrt (sqrt d4)) 1 (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt (cbrt d4)) d4 (sqrt (cbrt d4)) (sqrt (cbrt d4)) (expm1 (pow d4 2/3)) (log1p (pow d4 2/3)) 2/3 2 (* d4 d4) (pow d4 2/3) 2 (log (pow d4 2/3)) (log (pow d4 2/3)) (exp (pow d4 2/3)) (* d4 d4) (* (cbrt (pow d4 2/3)) (cbrt (pow d4 2/3))) (cbrt (pow d4 2/3)) (* d4 d4) (fabs (cbrt d4)) (fabs (cbrt d4)) (* (cbrt (pow d4 2/3)) (cbrt (pow d4 2/3))) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) 1 (pow d4 2/3) (pow (cbrt (cbrt d4)) 4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt d4) (cbrt d4) 1 (pow d4 2/3) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt (sqrt d4)) (sqrt (cbrt d4))) (* (cbrt (sqrt d4)) (sqrt (cbrt d4))) (* (cbrt (sqrt d4)) (sqrt (cbrt d4))) (* (cbrt (sqrt d4)) (sqrt (cbrt d4))) (cbrt d4) (cbrt d4) 2/3 2 (* (cbrt (pow d4 2/3)) (cbrt d4)) (* (cbrt d4) (cbrt (sqrt d4))) (cbrt d4) (* (pow (cbrt (cbrt d4)) 4) (cbrt (cbrt d4))) (pow (sqrt (cbrt d4)) 3) (cbrt d4) (pow (cbrt (cbrt d4)) 4) (* (cbrt d4) (cbrt (sqrt d4))) (pow d4 2/3) (pow (cbrt (cbrt d4)) 4) (pow (sqrt (cbrt d4)) 3) (pow d4 2/3) (cbrt d4) (pow (/ 1 d4) -1/3) (* (cbrt -1) (cbrt (- d4))) (cbrt d4) (pow (/ 1 d4) -1/3) (* (cbrt -1) (cbrt (- d4))) (cbrt d4) (pow (/ 1 d4) -1/3) (* (cbrt -1) (cbrt (- d4))) (pow d4 2/3) (pow (/ 1 d4) -2/3) (* (cbrt (* d4 d4)) (pow (cbrt -1) 2)) 10.964 * * * [progress]: adding candidates to table 11.249 * [progress]: [Phase 3 of 3] Extracting. 11.249 * * [regime]: Finding splitpoints for: (# #) 11.249 * * * [regime-changes]: Trying 4 branch expressions: (d4 d3 d2 d1) 11.249 * * * * [regimes]: Trying to branch on d4 from (# #) 11.266 * * * * [regimes]: Trying to branch on d3 from (# #) 11.281 * * * * [regimes]: Trying to branch on d2 from (# #) 11.298 * * * * [regimes]: Trying to branch on d1 from (# #) 11.313 * * * [regime]: Found split indices: #