Details

Time bar (total: 2.3m)

sample2.1s

Algorithm
intervals
Results
1.5s2252×body80valid

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
06395
113295
235095
3173795
done500095

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.1b

localize180.0ms

Local error

Found 4 expressions with local error:

9.8b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.9b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
13.3b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite341.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
85.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
78.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
74.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
96.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series1.2s

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

simplify718.0ms

Counts
132 → 132
Iterations

Useful iterations: done (711.0ms)

IterNodesCost
03403300
111093224
done50002988

prune4.5s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 19.9b

localize285.0ms

Local error

Found 4 expressions with local error:

9.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.8b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.9b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite408.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
97.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
96.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
96.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
111.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series1.3s

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

simplify863.0ms

Counts
132 → 132
Iterations

Useful iterations: done (856.0ms)

IterNodesCost
03423300
111153224
done50002988

prune5.7s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 17.3b

localize273.0ms

Local error

Found 4 expressions with local error:

8.5b
(cbrt (- (* t y2) (* y y3)))
9.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.8b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite293.0ms

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

series1.1s

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

simplify3.0s

Counts
115 → 115
Iterations

Useful iterations: done (3.0s)

IterNodesCost
03262737
110152671
247882476
done50002473

prune4.6s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 17.3b

localize252.0ms

Local error

Found 4 expressions with local error:

9.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.8b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.9b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
13.3b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite379.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
88.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
91.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
97.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
96.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series1.3s

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

simplify865.0ms

Counts
132 → 132
Iterations

Useful iterations: done (855.0ms)

IterNodesCost
03423300
111143224
done50002988

prune4.6s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 16.6b

regimes18.3s

Accuracy

-0.9% (14.6b remaining)

Error of 30.2b against oracle of 15.6b and baseline of 30.1b

bsearch12.0s

Steps
ItersRangePoint
8
3.6580870492613232e-25
5.603206736752015e-21
7.5112716847524e-24
5
4.0615552657767553e-41
8.763855839123449e-41
7.864516444277128e-41
9
2.1543967017714356e-93
4.495274097745726e-85
3.5386778189903964e-87
8
3.7087206123333626e-231
3.4201248731522614e-228
1.397620611129866e-229
9
1.2072545245630821e-242
1.2643037332790892e-235
1.644302387906592e-240
8
1.1033745865803169e-303
2.957032980564701e-299
1.723497740447605e-301
8
-2.9610989209764707e-134
-1.8283751677884354e-137
-2.2913568130925792e-135
8
-2.8687357536348396e-119
-2.855025029552942e-123
-2.2479001944194514e-120
7
-9.768625712092266e-41
-9.17625851440248e-43
-2.263777424586869e-42

simplify93.0ms

Iterations

Useful iterations: 1 (57.0ms)

IterNodesCost
01541006
1235997
2246997
done246997

end0.0ms

sample1.2m

Algorithm
intervals
Results
52.9s72325×body80valid