Details

Time bar (total: 1.5m)

sample2.0s

Algorithm
intervals
Results
1.5s2241×body80valid

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
done5001
31923
2391
1145
063

prune42.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.1b

localize183.0ms

Local error

Found 4 expressions with local error:

9.1b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.9b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.7b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite272.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×distribute-rgt-in pow1 *-un-lft-identity distribute-lft-in add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×sub-neg prod-diff associate-*l/ associate-*r/
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:
71.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
77.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
47.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
74.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.0s

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

simplify536.0ms

Counts
148 → 148
Iterations
IterNodes
done5001
11195
0383

prune4.9s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 18.3b

localize194.0ms

Local error

Found 4 expressions with local error:

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

rewrite215.0ms

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

series917.0ms

Counts
4 → 12
Calls
4 calls:
148.0ms
(* (- (* i y1)) (- (* x j) (* z k)))
256.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
238.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
275.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify493.0ms

Counts
146 → 146
Iterations
IterNodes
done5001
11133
0359

prune4.9s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 17.5b

localize212.0ms

Local error

Found 4 expressions with local error:

7.9b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.3b
(* (- (* i y1)) (- (* x j) (* z k)))
9.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.9b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
19×flip3-- flip--
15×associate-*l*
12×distribute-rgt-in frac-times pow1 *-un-lft-identity distribute-lft-in add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt
8×sub-neg prod-diff associate-*r/
6×associate-*l/
4×expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
1×distribute-lft-neg-out distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in
Counts
4 → 134
Calls
4 calls:
45.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
33.0ms
(* (- (* i y1)) (- (* x j) (* z k)))
45.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
52.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series1.5s

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

simplify613.0ms

Counts
146 → 146
Iterations
IterNodes
done5001
11126
0359

prune5.0s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 15.1b

localize210.0ms

Local error

Found 4 expressions with local error:

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

rewrite183.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
19×flip3-- flip--
15×associate-*l*
12×distribute-rgt-in frac-times pow1 *-un-lft-identity distribute-lft-in add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt
8×sub-neg prod-diff associate-*r/
6×associate-*l/
4×expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
1×distribute-lft-neg-out distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in
Counts
4 → 134
Calls
4 calls:
52.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
51.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
26.0ms
(* (- (* i y1)) (- (* x j) (* z k)))
47.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series982.0ms

Counts
4 → 12
Calls
4 calls:
251.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
259.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
194.0ms
(* (- (* i y1)) (- (* x j) (* z k)))
277.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify511.0ms

Counts
146 → 146
Iterations
IterNodes
done5001
11121
0360

prune4.4s

Pruning

34 alts after pruning (34 fresh and 0 done)

Merged error: 13.0b

regimes20.2s

Accuracy

-19% (18.1b remaining)

Error of 30.1b against oracle of 12.0b and baseline of 27.3b

bsearch6.1s

Steps
ItersRangePoint
7
4.939471835289796e+142
5.574550960441498e+144
5.068523228647656e+142
7
1.1070825276988733e+31
2.459201734657389e+33
1.1466843471833704e+33
7
1.6282285363363315e-104
8.078246239130008e-103
7.586217188176185e-103
6
2.0680726261035625e-165
2.9189162695939325e-164
1.6874770642863421e-164
6
2.954436190206319e-208
2.3454138860834618e-207
7.742023117024128e-208
5
-3.3955207607710723e-254
-1.3976001473272774e-254
-2.5670613540106872e-254
7
-1.2770965179946663e-123
-1.0202678266438141e-125
-2.1764282042822157e-125
4
-6.87840072254865e+41
-3.648009111070826e+41
-6.171752557537877e+41

simplify61.0ms

Iterations
IterNodes
done353
3353
2314
1264
0166

end0.0ms

sample33.2s

Algorithm
intervals
Results
25.2s70634×body80valid