Details

sample186.0ms

Algorithm

intervals

Results

132.0ms

505×

body

valid

simplify3.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
5	2272
4	1125
3	543
2	196
1	66
0	28

prune41.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.6b

localize89.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (* i x) 4.0)
0.7b	(* k (* j 27.0))
2.0b	(* (- (* (* y x) (* z 18.0)) (* a 4.0)) t)
3.8b	(* (* y x) (* z 18.0))

rewrite1.2s

Algorithm

rewrite-expression-head

Rules

93×	`add-sqr-sqrt`
67×	`associate-l`
42×	`associate-r`
40×	`unswap-sqr`
32×	`*-un-lft-identity`
28×	`pow1` `add-cbrt-cube` `add-exp-log`
20×	`add-cube-cbrt`
15×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`difference-of-squares`
8×	`*-commutative`
6×	`distribute-lft-out--`
4×	`insert-posit16` `add-log-exp`
2×	`associate-*l/`
1×	`flip3--` `flip--`

Counts

4 → 150

Calls

4 calls:

32.0ms	(* (* i x) 4.0)
43.0ms	(* k (* j 27.0))
1.0s	(* (- (* (* y x) (* z 18.0)) (* a 4.0)) t)
69.0ms	(* (* y x) (* z 18.0))

series319.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (* i x) 4.0)
39.0ms	(* k (* j 27.0))
204.0ms	(* (- (* (* y x) (* z 18.0)) (* a 4.0)) t)
48.0ms	(* (* y x) (* z 18.0))

simplify1.9s

Counts

162 → 162

Iterations

Iter	Nodes
done	5003
2	2394
1	728
0	280

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.9b

localize72.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (* z 18.0))
0.7b	(* k (* j 27.0))
2.0b	(* (- (* y (* x (* z 18.0))) (* a 4.0)) t)
4.0b	(* y (* x (* z 18.0)))

rewrite2.0s

Algorithm

rewrite-expression-head

Rules

84×	`add-sqr-sqrt`
70×	`associate-r`
40×	`associate-l`
35×	`unswap-sqr`
28×	`*-un-lft-identity`
25×	`pow1` `add-cbrt-cube` `add-exp-log`
20×	`add-cube-cbrt`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`*-commutative` `difference-of-squares`
4×	`insert-posit16` `distribute-lft-out--` `add-log-exp`
2×	`associate-*l/`
1×	`flip3--` `flip--`

Counts

4 → 143

Calls

4 calls:

42.0ms	(* x (* z 18.0))
42.0ms	(* k (* j 27.0))
1.8s	(* (- (* y (* x (* z 18.0))) (* a 4.0)) t)
136.0ms	(* y (* x (* z 18.0)))

series290.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* x (* z 18.0))
24.0ms	(* k (* j 27.0))
202.0ms	(* (- (* y (* x (* z 18.0))) (* a 4.0)) t)
42.0ms	(* y (* x (* z 18.0)))

simplify1.8s

Counts

155 → 155

Iterations

Iter	Nodes
done	5015
2	2054
1	627
0	243

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.9b

localize64.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* k j) 27.0)
0.2b	(* x (* z 18.0))
2.0b	(* (- (* y (* x (* z 18.0))) (* a 4.0)) t)
4.0b	(* y (* x (* z 18.0)))

rewrite2.1s

Algorithm

rewrite-expression-head

Rules

84×	`add-sqr-sqrt`
61×	`associate-r`
49×	`associate-l`
35×	`unswap-sqr`
28×	`*-un-lft-identity`
25×	`pow1` `add-cbrt-cube` `add-exp-log`
20×	`add-cube-cbrt`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`*-commutative` `difference-of-squares`
4×	`insert-posit16` `distribute-lft-out--` `add-log-exp`
2×	`associate-*l/`
1×	`flip3--` `flip--`

Counts

4 → 143

Calls

4 calls:

58.0ms	(* (* k j) 27.0)
52.0ms	(* x (* z 18.0))
1.8s	(* (- (* y (* x (* z 18.0))) (* a 4.0)) t)
139.0ms	(* y (* x (* z 18.0)))

series293.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(* (* k j) 27.0)
38.0ms	(* x (* z 18.0))
174.0ms	(* (- (* y (* x (* z 18.0))) (* a 4.0)) t)
41.0ms	(* y (* x (* z 18.0)))

simplify1.7s

Counts

155 → 155

Iterations

Iter	Nodes
done	5001
2	1973
1	608
0	239

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.9b

localize67.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* y (* x z)) 18.0)
0.2b	(* (* k j) 27.0)
2.0b	(* (- (* (* y (* x z)) 18.0) (* a 4.0)) t)
4.0b	(* y (* x z))

rewrite2.2s

Algorithm

rewrite-expression-head

Rules

84×	`add-sqr-sqrt`
75×	`associate-l`
42×	`associate-r`
35×	`unswap-sqr`
32×	`*-un-lft-identity`
25×	`pow1` `add-cbrt-cube` `add-exp-log`
20×	`add-cube-cbrt`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`*-commutative` `difference-of-squares`
6×	`distribute-lft-out--`
4×	`insert-posit16` `add-log-exp`
2×	`associate-*l/`
1×	`flip3--` `flip--`

Counts

4 → 145

Calls

4 calls:

148.0ms	(* (* y (* x z)) 18.0)
31.0ms	(* (* k j) 27.0)
2.0s	(* (- (* (* y (* x z)) 18.0) (* a 4.0)) t)
42.0ms	(* y (* x z))

series232.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(* (* y (* x z)) 18.0)
30.0ms	(* (* k j) 27.0)
128.0ms	(* (- (* (* y (* x z)) 18.0) (* a 4.0)) t)
42.0ms	(* y (* x z))

simplify2.3s

Counts

157 → 157

Iterations

Iter	Nodes
done	5002
2	1878
1	586
0	238

prune1.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.9b

regimes1.8s

Accuracy

0% (3.0b remaining)

Error of 4.9b against oracle of 1.9b and baseline of 4.9b

bsearch0.0ms

simplify9.0ms

Iterations

Iter	Nodes
done	39
1	39
0	27

end0.0ms

sample5.9s

Algorithm

intervals

Results

4.7s

16007×

body

valid