Details

sample457.0ms

Algorithm

intervals

Results

221.0ms	1520×	body	80	nan
53.0ms	463×	body	80	valid

simplify2.1s

Counts

1 → 1

Iterations

Useful iterations: 3 (35.0ms)

Iter	Nodes	Cost
0	17	18
1	32	18
2	65	18
3	180	16
4	559	16
5	3064	16
done	5001	16

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize53.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.2b	(* y (log z))
1.0b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.4b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite461.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 95

Calls

4 calls:

39.0ms	(* (- t 1.0) (log a))
13.0ms	(* y (log z))
120.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
284.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series618.0ms

Counts

4 → 12

Calls

4 calls:

82.0ms	(* (- t 1.0) (log a))
53.0ms	(* y (log z))
197.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
285.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify1.1s

Counts

107 → 107

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	231	1531
1	530	1495
2	2150	1215
done	5000	1196

prune855.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (- (log a)) t) b)
0.0b	(/ (pow a (- 1.0)) (pow (/ 1 z) y))
0.3b	(* (- (log a)) t)
6.8b	(/ (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) (/ y x))

rewrite2.7s

Algorithm

rewrite-expression-head

Rules

28192×	`times-frac`
10421×	`add-sqr-sqrt`
10419×	`add-cube-cbrt` `*-un-lft-identity`
8110×	`unpow-prod-down`
1722×	`exp-sum`
1370×	`sqr-pow`
969×	`div-inv`
503×	`associate-/l*`
170×	`div-exp`
160×	`add-exp-log`
54×	`pow-exp`
30×	`associate-/r*`
29×	`add-cbrt-cube`
27×	`pow-to-exp`
16×	`cbrt-undiv`
12×	`associate-l`
9×	`rec-exp` `1-exp`
8×	`pow1`
6×	`add-log-exp`
4×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
3×	`associate-r` `associate-/l/`
2×	`frac-2neg` `clear-num` `log-pow`
1×	`+-commutative` `distribute-lft-neg-out` `neg-sub0` `pow-neg` `neg-mul-1` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `associate-/r/` `*-commutative` `cbrt-unprod` `flip-+` `pow-sub` `unswap-sqr`

Counts

4 → 7228

Calls

4 calls:

17.0ms	(+ (* (- (log a)) t) b)
427.0ms	(/ (pow a (- 1.0)) (pow (/ 1 z) y))
19.0ms	(* (- (log a)) t)
474.0ms	(/ (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) (/ y x))

series1.2s

Counts

4 → 12

Calls

4 calls:

126.0ms	(+ (* (- (log a)) t) b)
229.0ms	(/ (pow a (- 1.0)) (pow (/ 1 z) y))
86.0ms	(* (- (log a)) t)
789.0ms	(/ (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) (/ y x))

simplify5.6s

Counts

7240 → 7240

Iterations

Useful iterations: 0 (1.2s)

Iter	Nodes	Cost
0	11947	373364
done	11947	373364

prune2.0m

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite11.5s

Algorithm

rewrite-expression-head

Rules

111464×	`times-frac`
40464×	`add-sqr-sqrt`
40462×	`add-cube-cbrt` `*-un-lft-identity`
26286×	`unpow-prod-down`
5658×	`exp-sum`
4442×	`sqr-pow`
3036×	`div-inv`
1995×	`associate-/l*`
465×	`div-exp`
405×	`add-exp-log`
108×	`pow-exp`
54×	`pow-to-exp`
49×	`add-cbrt-cube`
39×	`rec-exp` `1-exp`
33×	`associate-/r*`
31×	`cbrt-undiv`
12×	`associate-l`
8×	`pow1`
4×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `associate-/l/` `add-log-exp`
3×	`frac-2neg` `associate-r` `clear-num`
2×	`log-pow`
1×	`distribute-lft-neg-out` `neg-sub0` `pow-neg` `neg-mul-1` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `pow-sub` `unswap-sqr`

Counts

4 → 23228

Calls

4 calls:

41.0ms	(/ (pow a (- 1.0)) (pow (/ 1 z) y))
408.0ms	(/ (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) y)
26.0ms	(* (- (log a)) t)
2.0s	(/ (/ (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) y) (/ 1 x))

series2.0s

Counts

4 → 12

Calls

4 calls:

295.0ms	(/ (pow a (- 1.0)) (pow (/ 1 z) y))
598.0ms	(/ (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) y)
115.0ms	(* (- (log a)) t)
954.0ms	(/ (/ (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) y) (/ 1 x))

simplify23.1s

Counts

23240 → 23240

Iterations

Useful iterations: 0 (5.2s)

Iter	Nodes	Cost
0	33682	1323777
done	33682	1323777

prune6.4m

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize65.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (pow a (- 1.0)) (pow (/ 1 z) y))
0.1b	(* (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) (/ 1 y))
0.3b	(* (- (log a)) t)
0.5b	(/ (* (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) (/ 1 y)) (/ 1 x))

rewrite1.2s

Algorithm

rewrite-expression-head

Rules

1596×	`times-frac`
1585×	`add-exp-log`
1570×	`div-exp`
816×	`add-sqr-sqrt`
768×	`unpow-prod-down`
643×	`*-un-lft-identity`
617×	`add-cube-cbrt`
508×	`associate-l`
401×	`prod-exp`
378×	`pow-exp`
244×	`rec-exp` `1-exp`
189×	`pow-to-exp`
146×	`sqr-pow`
123×	`exp-sum`
94×	`add-cbrt-cube`
52×	`unswap-sqr`
49×	`cbrt-undiv`
46×	`div-inv`
30×	`associate-/r*`
19×	`cbrt-unprod`
16×	`associate-r`
10×	`pow1`
8×	`associate-/l*`
6×	`associate-/l/`
4×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `add-log-exp`
2×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `log-pow` `un-div-inv` `*-commutative`
1×	`distribute-lft-neg-out` `neg-sub0` `pow-neg` `neg-mul-1` `associate-/r/` `pow-sub`

Counts

4 → 1241

Calls

4 calls:

38.0ms	(/ (pow a (- 1.0)) (pow (/ 1 z) y))
600.0ms	(* (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) (/ 1 y))
21.0ms	(* (- (log a)) t)
249.0ms	(/ (* (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) (/ 1 y)) (/ 1 x))

series1.7s

Counts

4 → 12

Calls

4 calls:

292.0ms	(/ (pow a (- 1.0)) (pow (/ 1 z) y))
489.0ms	(* (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) (/ 1 y))
95.0ms	(* (- (log a)) t)
797.0ms	(/ (* (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) (/ 1 y)) (/ 1 x))

simplify1.2s

Counts

1253 → 1253

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	1583	34096
done	5000	32584

prune13.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes1.5s

Accuracy

16.3% (1.5b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 1.8b

bsearch865.0ms

Steps

Iters	Range		Point
7	0.006901949681135612	0.1461804216306531	0.1397313821950947
9	-6.77055146288665e-202	-1.4676220160333212e-208	-2.5711038393426343e-203

simplify22.0ms

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	38	71
1	52	54
2	56	54
3	57	54
done	57	54

end0.0ms

sample17.8s

Algorithm

intervals

Results

8.0s	44890×	body	80	nan
3.7s	15075×	body	80	valid
0.0ms	1×	body	160	valid

Details

sample457.0ms

simplify2.1s

prune32.0ms

localize53.0ms

rewrite461.0ms

series618.0ms

simplify1.1s

prune855.0ms

localize57.0ms

rewrite2.7s

series1.2s

simplify5.6s

prune2.0m

localize75.0ms

rewrite11.5s

series2.0s

simplify23.1s

prune6.4m

localize65.0ms

rewrite1.2s

series1.7s

simplify1.2s

prune13.4s

regimes1.5s

bsearch865.0ms

simplify22.0ms

end0.0ms

sample17.8s

end2.1s