Details

Time bar (total: 1.6m)

sample2.0s

Algorithm
intervals
Results
1.6s2607×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5004
31883
2391
1145
063

prune76.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 23.4b

localize221.0ms

Local error

Found 4 expressions with local error:

7.2b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
7.4b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
7.6b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.1b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

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

series1.0s

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

simplify1.2s

Counts
148 → 148
Iterations
IterNodes
done5000
11192
0384

prune4.9s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 16.1b

localize286.0ms

Local error

Found 4 expressions with local error:

7.2b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
7.4b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
7.6b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.1b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite191.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:
58.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
50.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
36.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
39.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series969.0ms

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

simplify1.5s

Counts
148 → 148
Iterations
IterNodes
done5000
11192
0384

prune4.8s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 16.1b

localize231.0ms

Local error

Found 4 expressions with local error:

8.1b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.3b
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
8.3b
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
8.3b
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-div flip3-- flip--
16×frac-times
8×add-sqr-sqrt associate-*l/ associate-*r/
6×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod distribute-rgt-in distribute-lft-in pow1/3 associate-*r* associate-*l*
2×sub-neg prod-diff
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 91
Calls
4 calls:
43.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
27.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
28.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
31.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))

series1.2s

Counts
4 → 12
Calls
4 calls:
268.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
328.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
296.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))
336.0ms
(cbrt (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))))

simplify2.1s

Counts
103 → 103
Iterations
IterNodes
done5001
22655
1623
0210

prune3.6s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 15.6b

localize201.0ms

Local error

Found 4 expressions with local error:

7.4b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
7.4b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
7.6b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.1b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite160.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:
40.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
39.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
38.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
39.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series945.0ms

Counts
4 → 12
Calls
4 calls:
249.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
265.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
235.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
196.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify2.1s

Counts
148 → 148
Iterations
IterNodes
done5000
24158
1903
0291

prune4.6s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 14.9b

regimes14.8s

Accuracy

-4.5% (8.2b remaining)

Error of 26.8b against oracle of 18.6b and baseline of 26.5b

bsearch879.0ms

Steps
ItersRangePoint
6
-1.5399903186711885e+40
-1.3122069117272471e+39
-3.2889866737382994e+39

simplify28.0ms

Iterations
IterNodes
done132
1132
086

end0.0ms

sample45.7s

Algorithm
intervals
Results
37.8s73209×body80valid