Details

Time bar (total: 2.1m)

sample1.9s

Algorithm
intervals
Results
1.4s2252×body80valid

simplify1.5s

Counts
1 → 1
Iterations

Useful iterations: done (1.5s)

IterNodesCost
06395
114595
239192
3191992
done500091

prune57.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.1b

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

rewrite300.0ms

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

series1.1s

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

simplify637.0ms

Counts
148 → 148
Iterations

Useful iterations: done (630.0ms)

IterNodesCost
03833668
111923512
done50013270

prune4.4s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 19.9b

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

rewrite303.0ms

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

series1.2s

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

simplify662.0ms

Counts
148 → 148
Iterations

Useful iterations: done (655.0ms)

IterNodesCost
03843668
111993512
done50013270

prune5.2s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 17.3b

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

rewrite321.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×distribute-rgt-in distribute-lft-in associate-*r* associate-*l*
6×sub-neg associate-*r/ prod-diff associate-*l/
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×cbrt-div
1×pow1/3
Counts
4 → 117
Calls
4 calls:
12.0ms
(cbrt (- (* t y2) (* y y3)))
95.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
102.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
101.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series1.2s

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

simplify792.0ms

Counts
129 → 129
Iterations

Useful iterations: done (785.0ms)

IterNodesCost
03593031
110872901
done50012702

prune5.7s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 17.3b

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

rewrite391.0ms

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

series1.4s

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

simplify911.0ms

Counts
148 → 148
Iterations

Useful iterations: done (895.0ms)

IterNodesCost
03853668
111943512
done50013270

prune5.5s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 16.6b

regimes17.9s

Accuracy

-0.9% (14.6b remaining)

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

bsearch12.9s

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

simplify72.0ms

Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
01511001
1226992
2237992
done237992

end0.0ms

sample1.0m

Algorithm
intervals
Results
46.2s72325×body80valid