Details

sample28.0ms

Algorithm

intervals

Results

9.0ms	55×	body	1280	valid
5.0ms	38×	body	640	valid
4.0ms	130×	body	80	valid
3.0ms	29×	body	320	valid
0.0ms	4×	body	160	valid

simplify118.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	13
1	12	13
2	16	13
3	19	13
4	21	13
5	27	13
6	39	13
7	58	13
8	76	13
9	97	13
10	127	13
11	137	13
12	141	13
13	143	13
done	143	13

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 29.8b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (+ x 1.0) (- x 1.0))
0.0b	(/ x (+ x 1.0))
3.1b	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

99×	`*-un-lft-identity`
52×	`times-frac`
45×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
18×	`distribute-lft-out` `distribute-lft-out--`
9×	`associate-/r*` `difference-of-squares`
7×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
5×	`add-log-exp`
4×	`associate-/r/`
3×	`pow1`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `associate-/l/`
1×	`sub-neg` `diff-log` `frac-sub`

Counts

3 → 104

Calls

3 calls:

8.0ms	(/ (+ x 1.0) (- x 1.0))
5.0ms	(/ x (+ x 1.0))
33.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series13.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(/ (+ x 1.0) (- x 1.0))
3.0ms	(/ x (+ x 1.0))
8.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify1.7s

Counts

113 → 113

Iterations

Useful iterations: 3 (945.0ms)

Iter	Nodes	Cost
0	176	1584
1	390	1503
2	1014	1427
3	2729	1414
done	5000	1414

prune190.0ms

Filtered

76 candidates to 113 candidates (-48.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	108	5	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	109	5	114

Merged error: 0.0b

Counts

114 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ x 1.0))
0.0b	(log (exp (/ (+ x 1.0) (- x 1.0))))
0.0b	(exp (/ (+ x 1.0) (- x 1.0)))
3.1b	(- (/ x (+ x 1.0)) (log (exp (/ (+ x 1.0) (- x 1.0)))))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

82×	`*-un-lft-identity`
56×	`add-sqr-sqrt`
53×	`times-frac`
52×	`exp-prod`
35×	`add-cube-cbrt`
28×	`log-pow`
14×	`distribute-lft-out`
10×	`distribute-lft-out--` `difference-of-squares`
6×	`pow1` `add-exp-log` `log-prod` `associate-/r/` `add-cbrt-cube` `add-log-exp`
4×	`associate-/r*`
3×	`flip3--` `flip--` `div-inv` `associate-/l*` `associate--r+`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-exp` `rem-log-exp` `clear-num` `flip-+` `rem-exp-log`

Counts

4 → 124

Calls

4 calls:

5.0ms	(/ x (+ x 1.0))
11.0ms	(log (exp (/ (+ x 1.0) (- x 1.0))))
9.0ms	(exp (/ (+ x 1.0) (- x 1.0)))
40.0ms	(- (/ x (+ x 1.0)) (log (exp (/ (+ x 1.0) (- x 1.0)))))

series18.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ x (+ x 1.0))
3.0ms	(log (exp (/ (+ x 1.0) (- x 1.0))))
4.0ms	(exp (/ (+ x 1.0) (- x 1.0)))
8.0ms	(- (/ x (+ x 1.0)) (log (exp (/ (+ x 1.0) (- x 1.0)))))

simplify1.6s

Counts

136 → 136

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	212	1758
1	415	1532
2	955	1436
3	2521	1411
done	5001	1407

prune213.0ms

Filtered

96 candidates to 136 candidates (-41.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	136	5	141

Merged error: 0.0b

Counts

141 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ x 1.0))
0.0b	(cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3))
0.0b	(pow (/ (+ x 1.0) (- x 1.0)) 3)
3.1b	(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

137×	`*-un-lft-identity`
124×	`add-sqr-sqrt`
103×	`times-frac`
70×	`cbrt-prod`
56×	`unpow-prod-down` `cube-prod`
55×	`add-cube-cbrt`
30×	`difference-of-squares`
24×	`distribute-lft-out`
17×	`distribute-lft-out--`
10×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`add-log-exp`
5×	`pow1` `flip3--` `flip--` `div-inv`
4×	`associate-/r*` `sqr-pow`
3×	`cube-div` `pow-unpow` `associate-/l*`
2×	`cbrt-undiv` `cube-mult` `cbrt-div` `unpow3` `div-exp` `pow-exp` `rem-cube-cbrt`
1×	`pow-to-exp` `sub-neg` `pow-pow` `frac-2neg` `flip3-+` `pow1/3` `diff-log` `clear-num` `frac-sub` `rem-cbrt-cube` `flip-+`

Counts

4 → 201

Calls

4 calls:

5.0ms	(/ x (+ x 1.0))
11.0ms	(cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3))
11.0ms	(pow (/ (+ x 1.0) (- x 1.0)) 3)
61.0ms	(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))

series23.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ x (+ x 1.0))
6.0ms	(cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3))
4.0ms	(pow (/ (+ x 1.0) (- x 1.0)) 3)
11.0ms	(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))

simplify986.0ms

Counts

213 → 213

Iterations

Useful iterations: 2 (370.0ms)

Iter	Nodes	Cost
0	293	4170
1	737	3464
2	2190	3200
done	5000	3200

prune236.0ms

Filtered

106 candidates to 213 candidates (-100.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	213	0	213
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	213	5	218

Merged error: 0.0b

Counts

218 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- x 1.0) (+ x 1.0))
0.0b	(* (+ x 1.0) (+ x 1.0))
0.0b	(/ (- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* (- x 1.0) (+ x 1.0)))
18.6b	(- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

46×	`associate-*r/`
36×	`flip3-+` `flip-+`
32×	`frac-sub`
30×	`*-un-lft-identity`
28×	`frac-times`
24×	`flip3--` `flip--`
18×	`add-sqr-sqrt` `associate-/l/`
14×	`associate-*l/`
13×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`add-cube-cbrt`
9×	`associate-l`
8×	`associate-r` `associate-/r/`
7×	`distribute-lft-out`
6×	`swap-sqr` `add-log-exp`
5×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate--l+`
3×	`sub-neg` `times-frac` `prod-exp` `cbrt-unprod` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative` `associate--r+` `unswap-sqr`
1×	`pow2` `frac-2neg` `pow-plus` `diff-log` `div-sub` `clear-num` `associate-/r*` `pow-sqr` `pow-prod-up` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 153

Calls

4 calls:

10.0ms	(* (- x 1.0) (+ x 1.0))
9.0ms	(* (+ x 1.0) (+ x 1.0))
18.0ms	(/ (- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* (- x 1.0) (+ x 1.0)))
9.0ms	(- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0)))

series18.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (- x 1.0) (+ x 1.0))
2.0ms	(* (+ x 1.0) (+ x 1.0))
5.0ms	(/ (- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* (- x 1.0) (+ x 1.0)))
4.0ms	(- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0)))

simplify1.7s

Counts

165 → 165

Iterations

Useful iterations: 2 (671.0ms)

Iter	Nodes	Cost
0	249	3700
1	783	3448
2	4145	3130
done	5000	3130

prune274.0ms

Filtered

113 candidates to 165 candidates (-46.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	164	1	165
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	166	4	170

Merged error: 0b

Counts

170 → 4

regimes41.0ms

Accuracy

99.9% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 14.9b

bsearch38.0ms

Steps

Iters	Range		Point
11	901.3230478674768	3.453863445390637e+32	1208365.1148162424
8	-1.446720947063474e+35	-5.322052552197638e+32	-8.86080339333129e+33

simplify5.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	25	54
1	39	39
2	46	39
done	46	39

end0.0ms

sample791.0ms

Algorithm

intervals

Results

273.0ms	1718×	body	1280	valid
153.0ms	1194×	body	640	valid
140.0ms	4175×	body	80	valid
57.0ms	606×	body	320	valid
22.0ms	307×	body	160	valid

Details

sample28.0ms

simplify118.0ms

prune2.0ms

localize6.0ms

rewrite50.0ms

series13.0ms

simplify1.7s

prune190.0ms

localize10.0ms

rewrite70.0ms

series18.0ms

simplify1.6s

prune213.0ms

localize10.0ms

rewrite102.0ms

series23.0ms

simplify986.0ms

prune236.0ms

localize9.0ms

rewrite56.0ms

series18.0ms

simplify1.7s

prune274.0ms

regimes41.0ms

bsearch38.0ms

simplify5.0ms

end0.0ms

sample791.0ms

Profiling