Details

Time bar (total: 2.1m)

sample1.8s

Algorithm
intervals
Results
1.3s2252×body80valid

simplify1.7s

Counts
1 → 1
Iterations

Useful iterations: done (1.7s)

IterNodesCost
06395
114595
239192
3191992
done500091

prune78.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.1b

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

rewrite414.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 y) (* z t)) (- (* a b) (* c i)))
109.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
97.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
104.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series1.3s

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

simplify763.0ms

Counts
148 → 148
Iterations

Useful iterations: done (756.0ms)

IterNodesCost
03833668
111923512
done50013270

prune5.0s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 19.9b

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

rewrite392.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)))
87.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
94.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
104.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series1.2s

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

simplify846.0ms

Counts
148 → 148
Iterations

Useful iterations: done (838.0ms)

IterNodesCost
03843668
111993512
done50013270

prune6.1s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 17.3b

localize294.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×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:
17.0ms
(cbrt (- (* t y2) (* y y3)))
91.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
86.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
92.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series1.1s

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

simplify718.0ms

Counts
129 → 129
Iterations

Useful iterations: done (711.0ms)

IterNodesCost
03593031
110872901
done50012702

prune5.5s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 17.3b

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

rewrite343.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:
75.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
85.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
86.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
89.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series1.1s

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

simplify752.0ms

Counts
148 → 148
Iterations

Useful iterations: done (744.0ms)

IterNodesCost
03853668
111943512
done50013270

prune5.1s

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

bsearch13.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

simplify87.0ms

Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
01511001
1226992
2237992
done237992

end0.0ms

sample1.0m

Algorithm
intervals
Results
46.2s72325×body80valid