Details

Time bar (total: 1.8m)

sample1.4s

Algorithm
intervals
Results
947.0ms2161×body80valid

simplify954.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
31745
2350
1132
063

prune40.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.3b

localize240.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)))

rewrite203.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)))
49.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
64.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
49.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

series970.0ms

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

simplify410.0ms

Counts
132 → 132
Iterations
IterNodes
done5001
11115
0342

prune3.7s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 15.8b

localize242.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)))

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

series941.0ms

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

simplify414.0ms

Counts
132 → 132
Iterations
IterNodes
done5000
11115
0342

prune4.0s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 11.0b

localize239.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)))

rewrite161.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:
43.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
39.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
37.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
38.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

series944.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
277.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
245.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* y5 a)))
210.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

simplify888.0ms

Counts
132 → 132
Iterations
IterNodes
done5000
22854
1574
0176

prune4.7s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 11.0b

localize378.0ms

Local error

Found 4 expressions with local error:

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

rewrite120.0ms

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

series826.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(cbrt (- (* c y0) (* y1 a)))
148.0ms
(cbrt (- (* c y0) (* y1 a)))
225.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
275.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

simplify1.3s

Counts
98 → 98
Iterations
IterNodes
done5000
23332
1742
0241

prune3.1s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 10.7b

regimes17.3s

Accuracy

-10.5% (14.5b remaining)

Error of 28.9b against oracle of 14.4b and baseline of 27.5b

bsearch5.8s

Steps
ItersRangePoint
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

simplify673.0ms

Iterations
IterNodes
done5001
61451
5522
4353
3293
2250
1226
0148

end0.0ms

sample54.9s

Algorithm
intervals
Results
40.9s72254×body80valid