Details

Time bar (total: 1.9m)

sample2.2s

Algorithm
intervals
Results
1.8s2169×body80valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
done5001
31712
2349
1132
063

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.5b

localize193.0ms

Local error

Found 4 expressions with local error:

8.5b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.2b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

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

series922.0ms

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

simplify2.3s

Counts
136 → 136
Iterations
IterNodes
done5007
24890
11120
0345

prune3.7s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 17.5b

localize197.0ms

Local error

Found 4 expressions with local error:

8.1b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.5b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.2b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite180.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:
44.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
45.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
43.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
47.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series807.0ms

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

simplify2.4s

Counts
136 → 136
Iterations
IterNodes
done5001
24940
11116
0345

prune3.9s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 16.6b

localize203.0ms

Local error

Found 4 expressions with local error:

8.1b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.5b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.2b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite182.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:
46.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
45.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
43.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
46.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series863.0ms

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

simplify2.1s

Counts
136 → 136
Iterations
IterNodes
done5001
24945
11119
0347

prune5.1s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 16.6b

localize242.0ms

Local error

Found 4 expressions with local error:

8.5b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.2b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite289.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:
86.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
58.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
87.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
55.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.0s

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

simplify2.6s

Counts
136 → 136
Iterations
IterNodes
done5007
24890
11120
0345

prune3.8s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 16.6b

regimes12.6s

Accuracy

-16.7% (12.2b remaining)

Error of 27.0b against oracle of 14.8b and baseline of 25.3b

bsearch3.3s

Steps
ItersRangePoint
7
1.737211216280984e-42
6.69347922283103e-41
2.707765602532912e-42
9
-1.1839484249700965e+63
-9.878824061515822e+57
-1.2961541745563326e+62

simplify61.0ms

Iterations
IterNodes
done155
1155
099

end0.0ms

sample1.1m

Algorithm
intervals
Results
54.1s72033×body80valid