Details

sample79.0ms

Algorithm

intervals

Results

22.0ms	293×	body	80	valid
13.0ms	257×	body	80	nan

simplify1.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	16
1	30	16
2	83	16
3	225	16
4	627	16
5	1736	16
6	3701	16
done	5000	16

prune5.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: 0.1b

Counts

2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
0.0b	(* (- a 0.5) b)
0.1b	(- (+ (+ x y) z) (* z (log t)))
0.3b	(* z (log t))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-log-exp`
18×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
12×	`add-cube-cbrt` `log-prod`
10×	`sum-log`
9×	`pow1`
8×	`add-exp-log` `associate-l` `add-cbrt-cube`
7×	`associate-r`
6×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `diff-log` `associate-*l/` `flip--` `associate--r+`
4×	`frac-add`
3×	`associate-+l+`
2×	`sub-neg` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `associate-+l-` `flip3-+` `log-pow` `flip-+` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 90

Calls

4 calls:

13.0ms	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
7.0ms	(* (- a 0.5) b)
9.0ms	(- (+ (+ x y) z) (* z (log t)))
5.0ms	(* z (log t))

series71.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
5.0ms	(* (- a 0.5) b)
13.0ms	(- (+ (+ x y) z) (* z (log t)))
8.0ms	(* z (log t))

simplify554.0ms

Counts

102 → 102

Iterations

Useful iterations: done (551.0ms)

Iter	Nodes	Cost
0	210	1573
1	574	1474
2	2248	1359
done	5000	1354

prune164.0ms

Filtered

75 candidates to 102 candidates (-36.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	94	8	102
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	94	9	103

Merged error: 0.0b

Counts

103 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ x y) (- z (* (log t) z)))
0.0b	(* (- a 0.5) b)
0.2b	(- z (* (log t) z))
0.3b	(* (log t) z)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-log-exp`
16×	`*-un-lft-identity`
14×	`add-sqr-sqrt`
9×	`pow1` `associate-l`
8×	`add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
6×	`associate-r` `sum-log`
4×	`flip3--` `frac-add` `flip--`
3×	`flip3-+` `diff-log` `flip-+` `distribute-lft-out`
2×	`sub-neg` `associate-+r+` `pow-prod-down` `associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `associate-+r-` `associate-+l+` `distribute-rgt-out--` `log-pow` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 78

Calls

4 calls:

8.0ms	(+ (+ x y) (- z (* (log t) z)))
9.0ms	(* (- a 0.5) b)
3.0ms	(- z (* (log t) z))
5.0ms	(* (log t) z)

series38.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(+ (+ x y) (- z (* (log t) z)))
5.0ms	(* (- a 0.5) b)
9.0ms	(- z (* (log t) z))
11.0ms	(* (log t) z)

simplify513.0ms

Counts

90 → 90

Iterations

Useful iterations: done (510.0ms)

Iter	Nodes	Cost
0	190	1092
1	516	995
2	1875	926
done	5000	919

prune127.0ms

Filtered

64 candidates to 90 candidates (-40.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	88	2	90
Fresh	4	3	7
Picked	1	0	1
Done	0	1	1
Total	93	6	99

Merged error: 0.0b

Counts

99 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ x y) (* z (- 1 (log t))))
0.0b	(+ (+ (+ x y) (* z (- 1 (log t)))) (* (- a 0.5) b))
0.0b	(* (- a 0.5) b)
0.3b	(* z (- 1 (log t)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

24×	`frac-add`
18×	`add-log-exp`
17×	`add-sqr-sqrt`
14×	`flip3--` `-un-lft-identity` `associate-r/` `associate-*l/` `flip--`
10×	`flip3-+` `associate-r` `flip-+`
9×	`pow1` `sum-log`
8×	`add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube`
4×	`distribute-rgt-in` `sub-neg` `associate-+r+` `distribute-lft-in`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`+-commutative` `associate-+l+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`log-pow`

Counts

4 → 97

Calls

4 calls:

8.0ms	(+ (+ x y) (* z (- 1 (log t))))
11.0ms	(+ (+ (+ x y) (* z (- 1 (log t)))) (* (- a 0.5) b))
7.0ms	(* (- a 0.5) b)
8.0ms	(* z (- 1 (log t)))

series72.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(+ (+ x y) (* z (- 1 (log t))))
43.0ms	(+ (+ (+ x y) (* z (- 1 (log t)))) (* (- a 0.5) b))
5.0ms	(* (- a 0.5) b)
12.0ms	(* z (- 1 (log t)))

simplify891.0ms

Counts

109 → 109

Iterations

Useful iterations: done (888.0ms)

Iter	Nodes	Cost
0	267	2511
1	919	2229
2	3911	2139
done	5000	2136

prune180.0ms

Filtered

82 candidates to 109 candidates (-32.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	107	2	109
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	110	5	115

Merged error: 0b

Counts

115 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 2 (log (cbrt t))) z)
0.3b	(* z (log (cbrt t)))
0.5b	(cbrt t)
0.5b	(cbrt t)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow1` `cbrt-prod` `log-prod`
11×	`add-exp-log` `add-cbrt-cube`
8×	`associate-r`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow1/3`
2×	`log-pow` `*-commutative`
1×	`unswap-sqr`

Counts

4 → 72

Calls

4 calls:

6.0ms	(* (* 2 (log (cbrt t))) z)
8.0ms	(* z (log (cbrt t)))
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series100.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(* (* 2 (log (cbrt t))) z)
22.0ms	(* z (log (cbrt t)))
24.0ms	(cbrt t)
25.0ms	(cbrt t)

simplify1.6s

Counts

84 → 84

Iterations

Useful iterations: 4 (976.0ms)

Iter	Nodes	Cost
0	122	720
1	263	683
2	776	581
3	2120	553
4	4754	544
done	5000	544

prune101.0ms

Filtered

56 candidates to 84 candidates (-50.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	84	5	89

Merged error: 0b

Counts

89 → 5

regimes1.0s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	16
1	20	16
done	20	16

end0.0ms

sample2.4s

Algorithm

intervals

Results

549.0ms	9184×	body	80	valid
504.0ms	9550×	body	80	nan
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid

Details

sample79.0ms

simplify1.1s

prune5.0ms

localize19.0ms

rewrite37.0ms

series71.0ms

simplify554.0ms

prune164.0ms

localize14.0ms

rewrite27.0ms

series38.0ms

simplify513.0ms

prune127.0ms

localize13.0ms

rewrite37.0ms

series72.0ms

simplify891.0ms

prune180.0ms

localize19.0ms

rewrite20.0ms

series100.0ms

simplify1.6s

prune101.0ms

regimes1.0s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.4s

Profiling