Details

sample98.0ms

Algorithm

intervals

Results

24.0ms	45×	body	1280	valid
16.0ms	49×	body	640	valid
8.0ms	123×	body	80	valid
6.0ms	31×	body	320	valid
4.0ms	9×	body	1280	nan
3.0ms	71×	body	80	nan
3.0ms	14×	body	640	nan
3.0ms	59×	body	80	overflowed
1.0ms	9×	body	160	valid
1.0ms	7×	body	320	nan
0.0ms	2×	body	160	nan

simplify3.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	20	13
2	33	13
3	47	13
4	67	13
5	96	13
6	136	13
7	191	13
8	265	13
9	378	13
10	677	13
11	1091	13
12	1292	13
13	1656	13
14	2013	13
15	2697	13
16	3432	13
17	4742	13
done	5000	13

prune4.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: 25.0b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
2.0b	(+ (- 1.0 y) (* y (exp z)))
2.8b	(log (+ (- 1.0 y) (* y (exp z))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
11×	`pow1`
9×	`add-log-exp`
8×	`add-exp-log` `add-cbrt-cube`
5×	`log-pow`
4×	`log-div` `associate-/l*`
3×	`log-prod` `flip3-+` `associate-r` `associate-l` `associate-/r*` `flip-+`
2×	`associate-+l+` `div-sub` `sum-log`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 80

Calls

4 calls:

6.0ms	(* y (exp z))
9.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
7.0ms	(+ (- 1.0 y) (* y (exp z)))
6.0ms	(log (+ (- 1.0 y) (* y (exp z))))

series76.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* y (exp z))
44.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
7.0ms	(+ (- 1.0 y) (* y (exp z)))
16.0ms	(log (+ (- 1.0 y) (* y (exp z))))

simplify1.3s

Counts

92 → 92

Iterations

Useful iterations: 3 (392.0ms)

Iter	Nodes	Cost
0	199	1436
1	464	1390
2	1366	1274
3	4313	1266
done	5000	1266

prune187.0ms

Filtered

72 candidates to 92 candidates (-27.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	87	5	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	5	93

Merged error: 4.3b

Counts

93 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- (exp z) 1) y)
0.0b	(/ (log (+ 1.0 (* (- (exp z) 1) y))) t)
2.8b	(log (+ 1.0 (* (- (exp z) 1) y)))
4.4b	(- (exp z) 1)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
22×	`*-un-lft-identity`
16×	`add-cube-cbrt`
12×	`times-frac`
11×	`pow1`
9×	`add-exp-log`
8×	`add-cbrt-cube`
7×	`associate-l`
6×	`add-log-exp`
5×	`log-pow`
4×	`log-div` `associate-/l*` `difference-of-squares`
3×	`log-prod` `associate-r` `associate-/r*`
2×	`flip3--` `flip3-+` `difference-of-sqr-1` `div-sub` `associate-*l/` `flip--` `flip-+` `distribute-lft-out--`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 87

Calls

4 calls:

8.0ms	(* (- (exp z) 1) y)
6.0ms	(/ (log (+ 1.0 (* (- (exp z) 1) y))) t)
3.0ms	(log (+ 1.0 (* (- (exp z) 1) y)))
5.0ms	(- (exp z) 1)

series59.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (- (exp z) 1) y)
34.0ms	(/ (log (+ 1.0 (* (- (exp z) 1) y))) t)
14.0ms	(log (+ 1.0 (* (- (exp z) 1) y)))
2.0ms	(- (exp z) 1)

simplify1.1s

Counts

99 → 99

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	206	1438
1	457	1374
2	1371	1264
3	4191	1250
done	5001	1249

prune176.0ms

Filtered

76 candidates to 99 candidates (-30.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	99	5	104

Merged error: 4.2b

Counts

104 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (+ (log 1.0) (* (* z (+ (* 0.5 z) 1.0)) y)) t))
0.0b	(* z (+ (* 0.5 z) 1.0))
3.8b	(* (* z (+ (* 0.5 z) 1.0)) y)
4.1b	(/ (+ (log 1.0) (* (* z (+ (* 0.5 z) 1.0)) y)) t)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`add-exp-log` `add-cbrt-cube`
11×	`pow1`
10×	`times-frac`
6×	`associate-r` `add-log-exp`
4×	`associate-r/` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`flip3-+` `associate-/r` `flip-+` `associate-/l`
2×	`associate-l/` `-commutative` `associate-/l/` `difference-of-squares`
1×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `flip3--` `frac-2neg` `distribute-lft-in` `diff-log` `div-exp` `clear-num` `flip--` `div-inv` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 86

Calls

4 calls:

9.0ms	(- x (/ (+ (log 1.0) (* (* z (+ (* 0.5 z) 1.0)) y)) t))
7.0ms	(* z (+ (* 0.5 z) 1.0))
9.0ms	(* (* z (+ (* 0.5 z) 1.0)) y)
7.0ms	(/ (+ (log 1.0) (* (* z (+ (* 0.5 z) 1.0)) y)) t)

series65.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(- x (/ (+ (log 1.0) (* (* z (+ (* 0.5 z) 1.0)) y)) t))
6.0ms	(* z (+ (* 0.5 z) 1.0))
7.0ms	(* (* z (+ (* 0.5 z) 1.0)) y)
22.0ms	(/ (+ (log 1.0) (* (* z (+ (* 0.5 z) 1.0)) y)) t)

simplify548.0ms

Counts

98 → 98

Iterations

Useful iterations: done (545.0ms)

Iter	Nodes	Cost
0	173	1774
1	439	1707
2	1469	1553
done	5002	1546

prune216.0ms

Filtered

70 candidates to 98 candidates (-40.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	91	7	98
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	92	11	103

Merged error: 4.2b

Counts

103 → 11

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
3.1b	(/ (* z y) t)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`add-cube-cbrt`
3×	`times-frac` `associate-/r*`
2×	`pow1` `cbrt-undiv` `diff-log` `div-exp`
1×	`sub-neg` `flip3--` `frac-2neg` `prod-exp` `clear-num` `sum-log` `flip--` `cbrt-unprod` `div-inv` `associate-/l*` `associate--r+` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 37

Calls

2 calls:

11.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
5.0ms	(/ (* z y) t)

series27.0ms

Counts

2 → 6

Calls

2 calls:

22.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
5.0ms	(/ (* z y) t)

simplify746.0ms

Counts

43 → 43

Iterations

Useful iterations: 3 (260.0ms)

Iter	Nodes	Cost
0	86	587
1	211	568
2	703	512
3	3025	506
done	5000	506

prune62.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	38	5	43
Fresh	3	7	10
Picked	0	1	1
Done	0	0	0
Total	41	13	54

Merged error: 3.9b

Counts

54 → 13

regimes923.0ms

Accuracy

63.2% (4.9b remaining)

Error of 8.7b against oracle of 3.8b and baseline of 17.1b

bsearch1.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	62
1	34	62
done	34	62

end0.0ms

sample2.9s

Algorithm

intervals

Results

745.0ms	1382×	body	1280	valid
510.0ms	1551×	body	640	valid
245.0ms	3591×	body	80	valid
201.0ms	937×	body	320	valid
128.0ms	2528×	body	80	nan
105.0ms	88×	body	2560	valid
88.0ms	1582×	body	80	overflowed
65.0ms	271×	body	640	nan
63.0ms	478×	body	160	valid
48.0ms	138×	body	1280	nan
27.0ms	164×	body	320	nan
18.0ms	107×	body	160	nan

Details

sample98.0ms

simplify3.0s

prune4.0ms

localize18.0ms

rewrite31.0ms

series76.0ms

simplify1.3s

prune187.0ms

localize14.0ms

rewrite24.0ms

series59.0ms

simplify1.1s

prune176.0ms

localize12.0ms

rewrite34.0ms

series65.0ms

simplify548.0ms

prune216.0ms

localize10.0ms

rewrite17.0ms

series27.0ms

simplify746.0ms

prune62.0ms

regimes923.0ms

bsearch1.0ms

simplify3.0ms

end0.0ms

sample2.9s

Profiling