Details

Time bar (total: 33.0s)

sample257.0ms

Algorithm
intervals
Results
197.0ms664×body80valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
52500
4907
3333
2110
147
023

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.1b

localize63.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* t c) (* y i))
4.9b
(* (- (* t c) (* y i)) j)
5.5b
(fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j))
6.0b
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-*r* associate-*l*
2×flip3-- associate-*l/ fma-udef flip--
1×sub-neg fma-neg diff-log prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 62
Calls
4 calls:
23.0ms
(- (* t c) (* y i))
37.0ms
(* (- (* t c) (* y i)) j)
0.0ms
(fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j))
1.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j)))

series1.3s

Counts
4 → 12
Calls
4 calls:
52.0ms
(- (* t c) (* y i))
89.0ms
(* (- (* t c) (* y i)) j)
315.0ms
(fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j))
833.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j)))

simplify712.0ms

Counts
74 → 74
Iterations
IterNodes
32359
2689
1242
0111

prune1.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 7.5b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma t c (- (* y i)))
4.9b
(* (fma t c (- (* y i))) j)
5.5b
(fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j))
6.0b
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* associate-*l* fma-udef
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 54
Calls
4 calls:
0.0ms
(fma t c (- (* y i)))
6.0ms
(* (fma t c (- (* y i))) j)
0.0ms
(fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j))
0.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))

series1.3s

Counts
4 → 12
Calls
4 calls:
58.0ms
(fma t c (- (* y i)))
86.0ms
(* (fma t c (- (* y i))) j)
304.0ms
(fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j))
838.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))

simplify3.8s

Counts
66 → 66
Iterations
IterNodes
46817
31484
2414
1164
091

prune1.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 7.1b

localize87.0ms

Local error

Found 4 expressions with local error:

5.5b
(fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j))
6.0b
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
6.0b
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
6.0b
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 44
Calls
4 calls:
0.0ms
(fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j))
0.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
0.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
0.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))

series2.8s

Counts
4 → 12
Calls
4 calls:
327.0ms
(fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j))
856.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
815.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
822.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))

simplify1.3s

Counts
56 → 56
Iterations
IterNodes
43046
3669
2203
195
052

prune1.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 7.1b

localize109.0ms

Local error

Found 4 expressions with local error:

5.5b
(fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j))
6.0b
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
6.0b
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
6.0b
(fma (- (* z y) (* t a)) x (* (* (cbrt (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j))) (cbrt (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))) (cbrt (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 44
Calls
4 calls:
0.0ms
(fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j))
0.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
0.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
1.0ms
(fma (- (* z y) (* t a)) x (* (* (cbrt (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j))) (cbrt (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))) (cbrt (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))))

series3.0s

Counts
4 → 12
Calls
4 calls:
329.0ms
(fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j))
888.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
887.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
896.0ms
(fma (- (* z y) (* t a)) x (* (* (cbrt (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j))) (cbrt (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))) (cbrt (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))))

simplify1.3s

Counts
56 → 56
Iterations
IterNodes
43473
3769
2236
1110
064

prune1.7s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 7.1b

regimes2.0s

Accuracy

21% (4.9b remaining)

Error of 11.3b against oracle of 6.3b and baseline of 12.6b

bsearch178.0ms

Steps
ItersRangePoint
3
7.409717211076117e-152
9.138673194985869e-152
8.771814504689122e-152
6
-3.439686813983567e-90
-3.457009684786847e-91
-3.388397820042072e-90

simplify17.0ms

Iterations
IterNodes
363
263
161
042

end0.0ms

sample7.1s

Algorithm
intervals
Results
5.8s19070×body80valid