Details

Time bar (total: 1.6m)

sample1.3s

Algorithm
intervals
Results
1.0s2607×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5001
31712
2349
1132
063

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.4b

localize152.0ms

Local error

Found 4 expressions with local error:

7.2b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
7.4b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
7.6b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.1b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

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

series961.0ms

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

simplify2.3s

Counts
132 → 132
Iterations
IterNodes
done5001
24793
11110
0341

prune3.8s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 14.4b

localize227.0ms

Local error

Found 4 expressions with local error:

7.2b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
7.4b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
7.6b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.1b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

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

series811.0ms

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

simplify2.1s

Counts
132 → 132
Iterations
IterNodes
done5001
24793
11110
0341

prune3.9s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 14.4b

localize298.0ms

Local error

Found 4 expressions with local error:

7.2b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
7.4b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
7.6b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.1b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

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

series925.0ms

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

simplify2.4s

Counts
132 → 132
Iterations
IterNodes
done5001
24793
11110
0341

prune4.5s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 14.4b

localize256.0ms

Local error

Found 4 expressions with local error:

8.1b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.3b
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
8.3b
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
8.3b
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-div flip3-- flip--
16×frac-times
8×add-sqr-sqrt associate-*l/ associate-*r/
6×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×add-log-exp
3×cbrt-prod pow1/3 associate-*r* associate-*l*
2×distribute-rgt-in sub-neg distribute-lft-in
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 81
Calls
4 calls:
38.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
16.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
25.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
25.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))

series1.1s

Counts
4 → 12
Calls
4 calls:
225.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
315.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
271.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
273.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))

simplify1.8s

Counts
93 → 93
Iterations
IterNodes
done5004
22393
1592
0197

prune2.8s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 14.4b

regimes13.5s

Accuracy

0.9% (8.1b remaining)

Error of 26.4b against oracle of 18.3b and baseline of 26.5b

bsearch2.4s

Steps
ItersRangePoint
5
4294112870.4472485
13196233040.744942
6458826144.9107065
9
-6.239437738292584e-15
-1.9641248773341317e-20
-9.508672862527934e-18

simplify56.0ms

Iterations
IterNodes
done161
1161
0102

end0.0ms

sample46.5s

Algorithm
intervals
Results
38.2s73209×body80valid