Details

Time bar (total: 1.7m)

sample1.7s

Algorithm
intervals
Results
1.2s2161×body80valid

simplify814.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
31745
2350
1132
063

prune58.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.3b

localize208.0ms

Local error

Found 4 expressions with local error:

6.7b
(* (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)))
7.5b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
8.3b
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
8.3b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

rewrite152.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:
38.0ms
(* (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)))
36.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
38.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
35.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

series908.0ms

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

simplify471.0ms

Counts
132 → 132
Iterations
IterNodes
done5001
11115
0342

prune3.8s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 15.8b

localize228.0ms

Local error

Found 4 expressions with local error:

6.6b
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
6.7b
(* (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)))
7.5b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
8.3b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

rewrite198.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:
35.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
53.0ms
(* (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)))
52.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
54.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

series857.0ms

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

simplify442.0ms

Counts
132 → 132
Iterations
IterNodes
done5000
11115
0342

prune3.9s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 11.0b

localize214.0ms

Local error

Found 4 expressions with local error:

7.5b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
7.5b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
7.5b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
8.3b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

rewrite192.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:
37.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
51.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
60.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
40.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

series886.0ms

Counts
4 → 12
Calls
4 calls:
228.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
217.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
246.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
195.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

simplify1.5s

Counts
132 → 132
Iterations
IterNodes
done5000
22854
1574
0176

prune3.9s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 11.0b

localize229.0ms

Local error

Found 4 expressions with local error:

6.4b
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))
6.6b
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
7.5b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
8.3b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

rewrite173.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:
36.0ms
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))
38.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
48.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
48.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

series918.0ms

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

simplify457.0ms

Counts
132 → 132
Iterations
IterNodes
done5001
11111
0341

prune4.1s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 9.7b

regimes21.1s

Accuracy

-6.5% (16.8b remaining)

Error of 28.5b against oracle of 11.7b and baseline of 27.5b

bsearch6.9s

Steps
ItersRangePoint
11
9.963960240578147e+85
3.8416811863791046e+105
7.7249665122620144e+87
10
7.057889293192098e-26
3.49718846922829e-16
9.090613409892616e-26
7
1.615851989630575e-48
3.125066458693714e-46
1.5799491901188363e-46
8
3.4801047301375724e-103
5.455066460433174e-100
1.6318523053338882e-100
5
-5.419914880647743e-300
-1.9875683656422847e-300
-5.212201362120862e-300
8
-2.404502776245676e-136
-6.375729389805364e-139
-7.037329032246424e-139

simplify510.0ms

Iterations
IterNodes
done5001
61444
5575
4408
3345
2291
1257
0170

end0.0ms

sample46.4s

Algorithm
intervals
Results
33.7s72254×body80valid