Details

Time bar (total: 1.5m)

sample1.4s

Algorithm
intervals
Results
1.1s2450×body80valid

simplify2.9s

Counts
1 → 1
Iterations
IterNodes
done5001
31712
2349
1132
063

prune32.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.3b

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

rewrite316.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:
96.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
68.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
84.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
63.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series862.0ms

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

simplify2.4s

Counts
136 → 136
Iterations
IterNodes
done5001
24928
11114
0345

prune3.7s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 18.9b

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

rewrite155.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:
6.0ms
(cbrt (- (* y0 b) (* y1 i)))
48.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
46.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
52.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series744.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(cbrt (- (* y0 b) (* y1 i)))
200.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
199.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
207.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify1.9s

Counts
119 → 119
Iterations
IterNodes
done5001
24063
11006
0326

prune3.4s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 18.9b

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

rewrite179.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:
5.0ms
(cbrt (- (* y0 b) (* y1 i)))
59.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
65.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
47.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series783.0ms

Counts
4 → 12
Calls
4 calls:
171.0ms
(cbrt (- (* y0 b) (* y1 i)))
198.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
205.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
210.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify2.2s

Counts
119 → 119
Iterations
IterNodes
done5001
24063
11006
0326

prune4.4s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 18.9b

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

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

series986.0ms

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

simplify2.3s

Counts
136 → 136
Iterations
IterNodes
done5000
24937
11117
0346

prune3.8s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 16.7b

regimes14.6s

Accuracy

-7.4% (11.2b remaining)

Error of 26.7b against oracle of 15.5b and baseline of 26.0b

bsearch3.4s

Steps
ItersRangePoint
4
6.59258750022312e-244
1.1012489514443006e-243
7.006953314056233e-244
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
-1.885291032353528e+143

simplify66.0ms

Iterations
IterNodes
done191
1191
0123

end0.0ms

sample41.4s

Algorithm
intervals
Results
35.4s71564×body80valid