Details

Time bar (total: 1.6m)

sample2.0s

Algorithm
intervals
Results
1.6s2607×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5001
31712
2349
1132
063

prune32.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.4b

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

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

series1.0s

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

simplify2.4s

Counts
132 → 132
Iterations
IterNodes
done5001
24793
11110
0341

prune3.9s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 14.4b

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

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

series1.0s

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

simplify2.3s

Counts
132 → 132
Iterations
IterNodes
done5001
24793
11110
0341

prune4.9s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 14.4b

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

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

series1.0s

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

simplify2.6s

Counts
132 → 132
Iterations
IterNodes
done5001
24793
11110
0341

prune5.0s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 14.4b

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

rewrite118.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:
45.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
23.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
16.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
30.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))

series1.3s

Counts
4 → 12
Calls
4 calls:
254.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
362.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
376.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
334.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))

simplify2.1s

Counts
93 → 93
Iterations
IterNodes
done5004
22393
1592
0197

prune3.4s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 14.4b

regimes14.3s

Accuracy

0.9% (8.1b remaining)

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

bsearch2.2s

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

simplify85.0ms

Iterations
IterNodes
done161
1161
0102

end0.0ms

sample40.3s

Algorithm
intervals
Results
33.2s73209×body80valid