Details

Time bar (total: 1.5m)

sample1.4s

Algorithm
intervals
Results
1.1s2244×body80valid

simplify2.7s

Counts
1 → 1
Iterations
IterNodes
done5001
31712
2349
1132
063

prune36.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.9b

localize157.0ms

Local error

Found 4 expressions with local error:

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

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

series837.0ms

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

simplify2.1s

Counts
136 → 136
Iterations
IterNodes
done5001
24936
11114
0345

prune3.5s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 15.4b

localize161.0ms

Local error

Found 4 expressions with local error:

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

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

series945.0ms

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

simplify1.9s

Counts
136 → 136
Iterations
IterNodes
done5002
24847
11115
0345

prune4.0s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 13.9b

localize200.0ms

Local error

Found 4 expressions with local error:

7.5b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
7.5b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
7.5b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.8b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite265.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:
65.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
68.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
73.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
54.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series956.0ms

Counts
4 → 12
Calls
4 calls:
263.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
252.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
224.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
217.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify1.8s

Counts
136 → 136
Iterations
IterNodes
done5002
22570
1575
0179

prune4.6s

Pruning

28 alts after pruning (27 fresh and 1 done)

Merged error: 13.9b

localize260.0ms

Local error

Found 4 expressions with local error:

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

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

series939.0ms

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

simplify2.1s

Counts
136 → 136
Iterations
IterNodes
done5000
23704
1852
0265

prune4.2s

Pruning

28 alts after pruning (26 fresh and 2 done)

Merged error: 13.9b

regimes15.0s

Accuracy

-3.8% (11.1b remaining)

Error of 26.8b against oracle of 15.7b and baseline of 26.4b

bsearch1.4s

Steps
ItersRangePoint
7
1.0095423833082674e+34
6.553641039044531e+35
8.547560793646703e+34
4
5.5224488267440154e-192
8.038412101430772e-192
7.91318384003172e-192

simplify78.0ms

Iterations
IterNodes
done160
1160
0105

end0.0ms

sample41.8s

Algorithm
intervals
Results
35.3s73999×body80valid