Details

Time bar (total: 1.6m)

sample1.3s

Algorithm
intervals
Results
790.0ms2244×body80valid

simplify2.2s

Counts
1 → 1
Iterations
IterNodes
done5001
31712
2349
1132
063

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.9b

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

rewrite279.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:
56.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
64.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
72.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
84.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series921.0ms

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

simplify2.1s

Counts
136 → 136
Iterations
IterNodes
done5001
24936
11114
0345

prune3.4s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 15.4b

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

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 insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
52.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
52.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
55.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
61.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series842.0ms

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

simplify2.1s

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

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

rewrite305.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:
70.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
74.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
77.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
78.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series840.0ms

Counts
4 → 12
Calls
4 calls:
199.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
203.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
208.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
229.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify1.7s

Counts
136 → 136
Iterations
IterNodes
done5002
22570
1575
0179

prune4.4s

Pruning

28 alts after pruning (27 fresh and 1 done)

Merged error: 13.9b

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

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

series759.0ms

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

simplify2.0s

Counts
136 → 136
Iterations
IterNodes
done5000
23704
1852
0265

prune4.0s

Pruning

28 alts after pruning (26 fresh and 2 done)

Merged error: 13.9b

regimes15.4s

Accuracy

-3.8% (11.1b remaining)

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

bsearch1.8s

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

simplify74.0ms

Iterations
IterNodes
done160
1160
0105

end0.0ms

sample43.9s

Algorithm
intervals
Results
37.6s73999×body80valid