Details

Time bar (total: 2.7m)

sample2.2s

Algorithm
intervals
Results
1.6s2450×body80valid

simplify4.3s

Counts
1 → 1
Iterations
IterNodes
done5001
31712
2349
1132
063

prune73.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.7b

localize457.0ms

Local error

Found 4 expressions with local error:

8.4b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.6b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
11.2b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite403.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:
88.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
98.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
95.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
114.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series1.6s

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

simplify6.5s

Counts
136 → 136
Iterations
IterNodes
done5000
24927
11113
0345

prune7.7s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 19.9b

localize633.0ms

Local error

Found 4 expressions with local error:

7.7b
(cbrt (- (* y0 b) (* y1 i)))
8.4b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.6b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
19×flip3-- flip--
17×add-sqr-sqrt
12×frac-times
11×*-un-lft-identity add-cube-cbrt
10×pow1 add-cbrt-cube add-exp-log
9×associate-*r* associate-*l*
6×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×insert-posit16 add-log-exp
3×cbrt-prod pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×cbrt-div
1×pow1/3
Counts
4 → 107
Calls
4 calls:
9.0ms
(cbrt (- (* y0 b) (* y1 i)))
76.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
79.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
64.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series1.6s

Counts
4 → 12
Calls
4 calls:
357.0ms
(cbrt (- (* y0 b) (* y1 i)))
426.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
392.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
396.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify6.0s

Counts
119 → 119
Iterations
IterNodes
done5001
24072
11007
0326

prune7.5s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 19.9b

localize624.0ms

Local error

Found 4 expressions with local error:

7.7b
(cbrt (- (* y0 b) (* y1 i)))
8.4b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.6b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite350.0ms

Algorithm
rewrite-expression-head
Rules
19×flip3-- flip--
17×add-sqr-sqrt
12×frac-times
11×*-un-lft-identity add-cube-cbrt
10×pow1 add-cbrt-cube add-exp-log
9×associate-*r* associate-*l*
6×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×insert-posit16 add-log-exp
3×cbrt-prod pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×cbrt-div
1×pow1/3
Counts
4 → 107
Calls
4 calls:
17.0ms
(cbrt (- (* y0 b) (* y1 i)))
121.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
95.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
102.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series1.5s

Counts
4 → 12
Calls
4 calls:
320.0ms
(cbrt (- (* y0 b) (* y1 i)))
397.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
346.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
461.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify6.4s

Counts
119 → 119
Iterations
IterNodes
done5001
24072
11007
0326

prune7.8s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 19.9b

localize533.0ms

Local error

Found 4 expressions with local error:

7.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.4b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
11.2b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite351.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:
78.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
90.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
75.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
92.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series1.6s

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

simplify6.9s

Counts
136 → 136
Iterations
IterNodes
done5000
24908
11116
0346

prune6.7s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 17.7b

regimes33.5s

Accuracy

-4.6% (11.4b remaining)

Error of 27.8b against oracle of 16.4b and baseline of 27.3b

bsearch5.8s

Steps
ItersRangePoint
10
2.6326287398616654e+67
3.1787106162334067e+80
3.3965747309064316e+72
8
6.556115558726093e-271
5.851826516535174e-268
1.1091979624369743e-270
7
-1.3148827142477634e-263
-3.2489983044070543e-265
-4.0262567889326796e-265
1
-7.68210231198683e-30
-7.240874058639569e-30
-7.571795248650015e-30
10
-1.6657402661109693e+155
-2.1691144300612585e+142
-3.478432364476206e+142

simplify113.0ms

Iterations
IterNodes
done206
1206
0134

end0.0ms

sample49.7s

Algorithm
intervals
Results
38.2s71564×body80valid