Details

sample549.0ms

Algorithm

intervals

Results

483.0ms

488×

body

valid

simplify2.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
4	1710
3	614
2	201
1	66
0	28

prune44.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.3b

localize71.0ms

Local error

Found 4 expressions with local error:

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

rewrite236.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-cbrt-cube` `add-exp-log`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-l`
11×	`add-sqr-sqrt`
9×	`*-un-lft-identity` `add-cube-cbrt`
6×	`associate-r`
4×	`*-commutative` `add-log-exp`
2×	`associate-*l/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

15.0ms	(* x (* z 18.0))
22.0ms	(* j (* k 27.0))
154.0ms	(* (- (* y (* x (* z 18.0))) (* a 4.0)) t)
43.0ms	(* y (* x (* z 18.0)))

series266.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.4s

Counts

89 → 89

Iterations

Iter	Nodes
done	5000
2	1727
1	370
0	145

prune1.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.9b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite266.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-cbrt-cube` `add-exp-log`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-l`
9×	`*-un-lft-identity` `add-cube-cbrt`
8×	`associate-r`
4×	`*-commutative` `add-log-exp`
2×	`associate-*l/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

23.0ms	(* x (* z 18.0))
21.0ms	(* (* j k) 27.0)
158.0ms	(* (- (* y (* x (* z 18.0))) (* a 4.0)) t)
61.0ms	(* y (* x (* z 18.0)))

series283.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* x (* z 18.0))
34.0ms	(* (* j k) 27.0)
176.0ms	(* (- (* y (* x (* z 18.0))) (* a 4.0)) t)
41.0ms	(* y (* x (* z 18.0)))

simplify1.6s

Counts

89 → 89

Iterations

Iter	Nodes
done	5000
2	1996
1	384
0	147

prune1.2s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 2.9b

localize77.0ms

Local error

Found 4 expressions with local error:

0.3b	(* j (* k 27.0))
0.3b	(* 18.0 (* x (* z y)))
4.0b	(* x (* z y))
4.1b	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)

rewrite331.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-cbrt-cube` `add-exp-log`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-l`
11×	`add-sqr-sqrt`
9×	`*-un-lft-identity` `add-cube-cbrt`
6×	`associate-r`
4×	`*-commutative` `add-log-exp`
2×	`associate-*l/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

28.0ms	(* j (* k 27.0))
62.0ms	(* 18.0 (* x (* z y)))
16.0ms	(* x (* z y))
220.0ms	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)

series357.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* j (* k 27.0))
52.0ms	(* 18.0 (* x (* z y)))
57.0ms	(* x (* z y))
212.0ms	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)

simplify1.8s

Counts

89 → 89

Iterations

Iter	Nodes
done	5000
2	1546
1	362
0	141

prune1.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 2.9b

localize152.0ms

Local error

Found 4 expressions with local error:

4.0b	(* x (* z y))
4.1b	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
4.1b	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
4.1b	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)

rewrite717.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-cbrt-cube` `add-exp-log`
12×	`associate-l`
11×	`*-un-lft-identity` `add-cube-cbrt`
10×	`associate-r`
6×	`pow-prod-down` `associate-*l/` `prod-exp` `cbrt-unprod`
4×	`*-commutative` `add-log-exp`
3×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 78

Calls

4 calls:

26.0ms	(* x (* z y))
205.0ms	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
227.0ms	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
255.0ms	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)

series596.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(* x (* z y))
166.0ms	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
196.0ms	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
189.0ms	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)

simplify1.5s

Counts

90 → 90

Iterations

Iter	Nodes
done	5000
2	941
1	224
0	85

prune1.4s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 2.9b

regimes3.8s

Accuracy

31.8% (2.5b remaining)

Error of 4.5b against oracle of 2.0b and baseline of 5.7b

bsearch318.0ms

Steps

Iters	Range		Point
6	1.0909778009685074e-115	4.646879573910802e-115	3.1390973848175545e-115
7	-3.162965753782051e-172	-2.2975351569061484e-174	-9.206800721396284e-173

simplify23.0ms

Iterations

Iter	Nodes
done	66
3	66
2	63
1	53
0	37

end0.0ms

sample5.3s

Algorithm

intervals

Results

3.9s

15952×

body

valid