Details

Time bar (total: 2.2m)

sample2.1s

Algorithm
intervals
Results
1.8s2103×body80valid

simplify9.0s

Counts
1 → 1
Iterations
IterNodes
413152
31883
2391
1145
063

prune104.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.5b

localize212.0ms

Local error

Found 4 expressions with local error:

7.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.0b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite257.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 insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
Counts
4 → 140
Calls
4 calls:
70.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
71.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
52.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
60.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series1.0s

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

simplify2.3s

Counts
152 → 152
Iterations
IterNodes
25488
11193
0387

prune9.4s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 17.1b

localize201.0ms

Local error

Found 4 expressions with local error:

8.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.0b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0b
(* (fma y4 b (- (* i y5))) (- (* t j) (* y k)))
47.5b
(fma (- i) y5 (* i y5))

rewrite174.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
13×flip3-- flip--
10×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
9×distribute-rgt-in distribute-lft-in associate-*r* associate-*l*
8×frac-times
6×sub-neg prod-diff associate-*r/
4×expm1-log1p-u associate-*l/ insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×fma-udef
Counts
4 → 110
Calls
4 calls:
83.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
59.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
29.0ms
(* (fma y4 b (- (* i y5))) (- (* t j) (* y k)))
0.0ms
(fma (- i) y5 (* i y5))

series798.0ms

Counts
4 → 12
Calls
4 calls:
265.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
230.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
268.0ms
(* (fma y4 b (- (* i y5))) (- (* t j) (* y k)))
34.0ms
(fma (- i) y5 (* i y5))

simplify982.0ms

Counts
122 → 122
Iterations
IterNodes
23379
1801
0283

prune7.9s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 16.6b

localize246.0ms

Local error

Found 4 expressions with local error:

7.8b
(cbrt (- (* y0 b) (* y1 i)))
7.8b
(cbrt (- (* y0 b) (* y1 i)))
8.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.0b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt flip3-- flip--
10×*-un-lft-identity add-cube-cbrt
8×frac-times pow1 add-cbrt-cube add-exp-log
6×cbrt-prod distribute-rgt-in distribute-lft-in associate-*r* associate-*l*
4×expm1-log1p-u cbrt-div sub-neg prod-diff associate-*l/ associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
2×pow1/3 pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 102
Calls
4 calls:
10.0ms
(cbrt (- (* y0 b) (* y1 i)))
5.0ms
(cbrt (- (* y0 b) (* y1 i)))
62.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
68.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series858.0ms

Counts
4 → 12
Calls
4 calls:
169.0ms
(cbrt (- (* y0 b) (* y1 i)))
141.0ms
(cbrt (- (* y0 b) (* y1 i)))
312.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
235.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify1.2s

Counts
114 → 114
Iterations
IterNodes
23365
1803
0269

prune8.1s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 16.4b

localize291.0ms

Local error

Found 4 expressions with local error:

7.5b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.0b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite282.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 insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
Counts
4 → 140
Calls
4 calls:
68.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
74.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
66.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
71.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series1.1s

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

simplify2.3s

Counts
152 → 152
Iterations
IterNodes
25473
11194
0388

prune9.3s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 14.5b

regimes13.5s

Accuracy

-5% (10.7b remaining)

Error of 26.2b against oracle of 15.5b and baseline of 25.7b

bsearch1.8s

Steps
ItersRangePoint
5
4.700196231554636e-177
1.7084625506659877e-176
5.983721874521418e-177
7
-4.884792482372381e-263
-5.072407965524223e-265
-2.2923867244047547e-263

simplify73.0ms

Iterations
IterNodes
2143
1143
092

end0.0ms

sample59.0s

Algorithm
intervals
Results
50.0s72934×body80valid