Details

Time bar (total: 2.4m)

sample1.8s

Algorithm
intervals
Results
1.6s2281×body80valid

simplify7.7s

Counts
1 → 1
Iterations
IterNodes
412421
31712
2349
1132
063

prune46.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.1b

localize200.0ms

Local error

Found 4 expressions with local error:

8.2b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.5b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.2b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite200.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 insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
40.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
40.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
68.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
50.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series756.0ms

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

simplify1.7s

Counts
136 → 136
Iterations
IterNodes
24866
11117
0345

prune8.6s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 17.5b

localize240.0ms

Local error

Found 4 expressions with local error:

8.2b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.5b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.2b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite178.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 insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
41.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
40.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
41.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
55.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series1.1s

Counts
4 → 12
Calls
4 calls:
286.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
273.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
294.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
227.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify1.7s

Counts
136 → 136
Iterations
IterNodes
24866
11117
0345

prune9.8s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 17.5b

localize233.0ms

Local error

Found 4 expressions with local error:

9.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.2b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite282.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 insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
71.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
59.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
63.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
88.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series1.0s

Counts
4 → 12
Calls
4 calls:
254.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
259.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
232.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
259.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify820.0ms

Counts
136 → 136
Iterations
IterNodes
22453
1579
0179

prune9.5s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 17.3b

localize196.0ms

Local error

Found 4 expressions with local error:

7.8b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.2b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.2b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite253.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 insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
50.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
82.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
49.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
69.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series1.0s

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

simplify1.6s

Counts
136 → 136
Iterations
IterNodes
24930
11118
0347

prune7.3s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 15.0b

regimes12.5s

Accuracy

-19.2% (12.1b remaining)

Error of 27.8b against oracle of 15.7b and baseline of 25.9b

bsearch3.9s

Steps
ItersRangePoint
2
7.039930168155625e+115
7.602032284301525e+115
7.531769519783287e+115
6
1.5072597755277637e-74
2.3455350784148545e-73
3.2670001790969278e-74
8
1.408095056090745e-103
4.714132805623354e-101
4.480059003985887e-101
4
-3.354198869325512e-63
-1.7415502460711188e-63
-2.1372002604629256e-63

simplify117.0ms

Iterations
IterNodes
2182
1182
0120

end0.0ms

sample1.1m

Algorithm
intervals
Results
57.0s72224×body80valid