Details

Time bar (total: 2.0m)

sample1.9s

Algorithm
intervals
Results
1.6s2247×body80valid

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
done2001
42001
31712
2349
1132
063

prune53.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.8b

localize211.0ms

Local error

Found 4 expressions with local error:

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

rewrite245.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:
72.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
69.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
54.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
47.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series765.0ms

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

simplify878.0ms

Counts
136 → 136
Iterations
IterNodes
done2000
22000
11117
0346

prune7.4s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 14.7b

localize173.0ms

Local error

Found 4 expressions with local error:

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

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

series928.0ms

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

simplify972.0ms

Counts
136 → 136
Iterations
IterNodes
done2003
22003
11119
0347

prune8.3s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 13.7b

localize177.0ms

Local error

Found 4 expressions with local error:

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

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

series889.0ms

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

simplify1.0s

Counts
136 → 136
Iterations
IterNodes
done2000
22000
1854
0264

prune8.0s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 13.7b

localize480.0ms

Local error

Found 4 expressions with local error:

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

rewrite226.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:
57.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
51.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
58.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
59.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series977.0ms

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

simplify895.0ms

Counts
136 → 136
Iterations
IterNodes
done2000
22000
1854
0264

prune8.2s

Pruning

29 alts after pruning (28 fresh and 1 done)

Merged error: 13.7b

regimes14.0s

Accuracy

-8.9% (11.3b remaining)

Error of 26.7b against oracle of 15.4b and baseline of 25.8b

bsearch2.5s

Steps
ItersRangePoint
7
-1.8598209646136402e-146
-3.4831645791299804e-148
-2.0073425297372163e-147
9
-387867.1795739217
-0.0017349426644339976
-0.00798469123475429

simplify51.0ms

Iterations
IterNodes
done157
2157
1151
099

end0.0ms

sample57.8s

Algorithm
intervals
Results
47.6s72972×body80valid