Details

Time bar (total: 1.5m)

sample1.9s

Algorithm
intervals
Results
1.5s2241×body80valid

simplify941.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
31745
2350
1132
063

prune74.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.1b

localize212.0ms

Local error

Found 4 expressions with local error:

9.1b
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
9.3b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
9.9b
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
10.7b
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
67.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
37.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
38.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
42.0ms
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))

series1.2s

Counts
4 → 12
Calls
4 calls:
279.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
278.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
299.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
310.0ms
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))

simplify447.0ms

Counts
132 → 132
Iterations
IterNodes
done5000
11111
0341

prune4.1s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 16.4b

localize204.0ms

Local error

Found 4 expressions with local error:

9.1b
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
9.3b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
9.4b
(* (* i y5) (- (* t j) (* k y)))
10.7b
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))

rewrite283.0ms

Algorithm
rewrite-expression-head
Rules
19×flip3-- flip--
17×add-sqr-sqrt
15×pow1 add-cbrt-cube add-exp-log
12×frac-times associate-*r*
11×*-un-lft-identity add-cube-cbrt
10×associate-*l*
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
6×pow-prod-down associate-*l/ prod-exp cbrt-unprod
4×*-commutative add-log-exp
3×unswap-sqr
Counts
4 → 114
Calls
4 calls:
74.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
74.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
52.0ms
(* (* i y5) (- (* t j) (* k y)))
75.0ms
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))

series933.0ms

Counts
4 → 12
Calls
4 calls:
239.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
261.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
145.0ms
(* (* i y5) (- (* t j) (* k y)))
288.0ms
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))

simplify565.0ms

Counts
126 → 126
Iterations
IterNodes
done5000
11034
0318

prune4.4s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 15.1b

localize183.0ms

Local error

Found 4 expressions with local error:

9.1b
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
9.4b
(* (* i y5) (- (* t j) (* k y)))
9.7b
(* (* (- z) t) (- (* b a) (* c i)))
10.7b
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))

rewrite176.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-cbrt-cube add-exp-log
14×add-sqr-sqrt flip3-- flip--
12×associate-*r*
10×*-un-lft-identity add-cube-cbrt
8×distribute-rgt-in frac-times sub-neg distribute-lft-in associate-*l* pow-prod-down prod-exp associate-*r/ cbrt-unprod
4×associate-*l/ *-commutative add-log-exp
2×distribute-lft-neg-out unswap-sqr
Counts
4 → 109
Calls
4 calls:
50.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
27.0ms
(* (* i y5) (- (* t j) (* k y)))
30.0ms
(* (* (- z) t) (- (* b a) (* c i)))
67.0ms
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))

series843.0ms

Counts
4 → 12
Calls
4 calls:
268.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
132.0ms
(* (* i y5) (- (* t j) (* k y)))
197.0ms
(* (* (- z) t) (- (* b a) (* c i)))
246.0ms
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))

simplify525.0ms

Counts
121 → 121
Iterations
IterNodes
done5000
1970
0297

prune3.9s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 14.6b

localize202.0ms

Local error

Found 4 expressions with local error:

9.1b
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
9.4b
(* (* i y5) (- (* t j) (* k y)))
9.7b
(* (* (- z) t) (- (* b a) (* c i)))
10.1b
(* (* y3 (- j)) (- (* y4 y1) (* y0 y5)))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1 add-cbrt-cube add-exp-log
12×associate-*r*
11×add-sqr-sqrt
10×pow-prod-down prod-exp cbrt-unprod
9×*-un-lft-identity flip3-- add-cube-cbrt flip--
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
6×associate-*l*
4×frac-times *-commutative add-log-exp
3×distribute-lft-neg-out
2×associate-*l/
1×distribute-rgt-neg-out unswap-sqr
Counts
4 → 104
Calls
4 calls:
73.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
54.0ms
(* (* i y5) (- (* t j) (* k y)))
57.0ms
(* (* (- z) t) (- (* b a) (* c i)))
51.0ms
(* (* y3 (- j)) (- (* y4 y1) (* y0 y5)))

series706.0ms

Counts
4 → 12
Calls
4 calls:
287.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
126.0ms
(* (* i y5) (- (* t j) (* k y)))
147.0ms
(* (* (- z) t) (- (* b a) (* c i)))
145.0ms
(* (* y3 (- j)) (- (* y4 y1) (* y0 y5)))

simplify533.0ms

Counts
116 → 116
Iterations
IterNodes
done5000
1908
0276

prune2.9s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 13.9b

regimes15.1s

Accuracy

-2.5% (11.6b remaining)

Error of 28.9b against oracle of 17.3b and baseline of 28.6b

bsearch8.2s

Steps
ItersRangePoint
8
5.172846739179762e+122
3.45812955859789e+126
4.937292836495025e+123
8
1.5511076408325942e+18
2.445826023942873e+22
2.3099683418125936e+20
8
2.662970275409499e-23
1.472780185473512e-19
1.754288039130151e-20
5
2.7028193935516963e-114
5.677931520033411e-114
3.7524621455913525e-114
7
6.709251721678795e-133
1.946841601545009e-131
6.775599914751334e-133
10
1.8922776081391205e-305
1.1315340085758337e-287
5.749763712456293e-291

simplify79.0ms

Iterations
IterNodes
done340
4340
3336
2315
1270
0166

end0.0ms

sample43.6s

Algorithm
intervals
Results
33.5s70634×body80valid