Details

sample103.0ms

Algorithm

intervals

Results

30.0ms	218×	body	80	nan
26.0ms	256×	body	80	valid

simplify506.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	33
1	50	33
2	105	33
3	332	33
4	1300	33
done	5000	33

prune6.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: 4.5b

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* z (sqrt (+ t a)))
0.3b	(/ 2.0 (* t 3.0))
3.5b	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
5.5b	(/ (* z (sqrt (+ t a))) t)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 101

Calls

4 calls:

8.0ms	(* z (sqrt (+ t a)))
5.0ms	(/ 2.0 (* t 3.0))
15.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
9.0ms	(/ (* z (sqrt (+ t a))) t)

series103.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* z (sqrt (+ t a)))
2.0ms	(/ 2.0 (* t 3.0))
66.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
20.0ms	(/ (* z (sqrt (+ t a))) t)

simplify1.1s

Counts

113 → 113

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	339	2631
1	1014	2445
2	4674	2340
done	5000	2334

prune292.0ms

Filtered

94 candidates to 113 candidates (-20.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	109	4	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	110	4	114

Merged error: 0.7b

Counts

114 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 2.0 (* t 3.0))
0.9b	(log (exp (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))
3.5b	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
5.5b	(/ (* z (sqrt (+ t a))) t)

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

20×	`frac-sub`
14×	`add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`flip3--` `flip--`
8×	`frac-times`
6×	`times-frac` `associate-*r/` `associate--r+` `add-log-exp`
5×	`pow1` `log-prod`
4×	`cbrt-undiv` `sub-neg` `flip3-+` `div-exp` `associate-/r` `log-pow` `flip-+` `associate-/l`
3×	`distribute-rgt-in` `exp-prod` `distribute-lft-in`
2×	`frac-2neg` `sqrt-div` `exp-sum` `associate-*l/` `prod-exp` `associate--l+` `clear-num` `cbrt-unprod` `div-inv` `associate-/l/`
1×	`log-div` `exp-diff` `diff-log` `rem-log-exp`

Counts

4 → 94

Calls

4 calls:

6.0ms	(/ 2.0 (* t 3.0))
10.0ms	(log (exp (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))
22.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
9.0ms	(/ (* z (sqrt (+ t a))) t)

series148.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(/ 2.0 (* t 3.0))
66.0ms	(log (exp (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))
59.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
20.0ms	(/ (* z (sqrt (+ t a))) t)

simplify1.0s

Counts

106 → 106

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	322	2996
1	949	2784
2	4333	2621
done	5000	2615

prune278.0ms

Filtered

86 candidates to 106 candidates (-23.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	106	4	110

Merged error: 0.7b

Counts

110 → 4

localize35.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 2.0 (* t 3.0))
3.7b	(log (exp (/ 2.0 (* t 3.0))))
4.2b	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))
5.5b	(/ (* z (sqrt (+ t a))) t)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-exp-log` `add-cbrt-cube`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
8×	`log-pow` `frac-sub`
7×	`exp-prod` `flip3--` `flip--`
6×	`associate--r+` `add-log-exp`
5×	`pow1`
4×	`cbrt-undiv` `frac-times` `associate-r/` `div-exp` `associate-/r` `associate-/l*`
3×	`distribute-rgt-in` `sub-neg` `log-prod` `distribute-lft-in` `div-inv`
2×	`frac-2neg` `sqrt-div` `associate-*l/` `prod-exp` `associate--l+` `clear-num` `cbrt-unprod` `associate-/l/`
1×	`flip3-+` `diff-log` `rem-log-exp` `flip-+`

Counts

4 → 89

Calls

4 calls:

6.0ms	(/ 2.0 (* t 3.0))
5.0ms	(log (exp (/ 2.0 (* t 3.0))))
15.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))
9.0ms	(/ (* z (sqrt (+ t a))) t)

series90.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(/ 2.0 (* t 3.0))
3.0ms	(log (exp (/ 2.0 (* t 3.0))))
66.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))
20.0ms	(/ (* z (sqrt (+ t a))) t)

simplify827.0ms

Counts

101 → 101

Iterations

Useful iterations: done (824.0ms)

Iter	Nodes	Cost
0	275	2112
1	767	1833
2	3486	1738
done	5001	1726

prune237.0ms

Filtered

79 candidates to 101 candidates (-27.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	101	4	105

Merged error: 0.7b

Counts

105 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ x (* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))))
0.0b	(* c (+ a 0.8333333333333334))
0.2b	(* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))
1.1b	(- (* c (+ a 0.8333333333333334)) (* a b))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
16×	`add-cube-cbrt`
15×	`associate-r`
10×	`add-cbrt-cube`
9×	`add-exp-log` `times-frac`
8×	`pow1` `distribute-rgt-in` `distribute-lft-in` `exp-sum`
6×	`associate-l` `associate--l+` `add-log-exp`
3×	`sub-neg` `associate-/r` `associate-/l`
2×	`flip3-+` `associate-r/` `pow-prod-down` `prod-exp` `associate-/r/` `-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`
1×	`cbrt-undiv` `flip3--` `frac-2neg` `diff-log` `div-exp` `clear-num` `flip--` `div-inv` `distribute-lft-out`

Counts

4 → 92

Calls

4 calls:

5.0ms	(/ x (+ x (* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))))
7.0ms	(* c (+ a 0.8333333333333334))
10.0ms	(* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))
7.0ms	(- (* c (+ a 0.8333333333333334)) (* a b))

series95.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(/ x (+ x (* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))))
6.0ms	(* c (+ a 0.8333333333333334))
36.0ms	(* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))
9.0ms	(- (* c (+ a 0.8333333333333334)) (* a b))

simplify1.1s

Counts

104 → 104

Iterations

Useful iterations: 3 (398.0ms)

Iter	Nodes	Cost
0	181	1748
1	442	1683
2	1153	1535
3	3478	1531
done	5001	1531

prune165.0ms

Filtered

73 candidates to 104 candidates (-42.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	102	2	104
Fresh	0	1	1
Picked	1	0	1
Done	1	1	2
Total	104	4	108

Merged error: 0.2b

Counts

108 → 4

regimes813.0ms

Accuracy

54.9% (1.6b remaining)

Error of 2.4b against oracle of 0.8b and baseline of 4.3b

bsearch1.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	49	124
1	64	124
done	64	124

end0.0ms

sample3.1s

Algorithm

intervals

Results

881.0ms	8000×	body	80	valid
845.0ms	7873×	body	80	nan

Details

sample103.0ms

simplify506.0ms

prune6.0ms

localize24.0ms

rewrite42.0ms

series103.0ms

simplify1.1s

prune292.0ms

localize27.0ms

rewrite51.0ms

series148.0ms

simplify1.0s

prune278.0ms

localize35.0ms

rewrite37.0ms

series90.0ms

simplify827.0ms

prune237.0ms

localize14.0ms

rewrite31.0ms

series95.0ms

simplify1.1s

prune165.0ms

regimes813.0ms

bsearch1.0ms

simplify5.0ms

end0.0ms

sample3.1s

Profiling