Details

sample517.0ms

Algorithm

intervals

Results

305.0ms	1522×	body	80	nan
93.0ms	481×	body	80	valid

simplify5.5s

Counts

1 → 1

Iterations

Iter	Nodes
6	7990
5	1486
4	460
3	167
2	63
1	32
0	17

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.6b

localize38.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.3b	(* y (log z))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.8b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite327.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`add-cbrt-cube`
12×	`log-prod` `add-exp-log`
10×	`pow1` `add-log-exp`
8×	`associate-r` `associate-l`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`exp-prod`
3×	`associate-/r*` `times-frac` `exp-sum` `prod-exp` `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×	`clear-num` `sum-log` `sub-neg` `frac-2neg` `flip3--` `associate--l+` `associate-r/` `div-inv` `flip--` `associate-/l` `associate-/l/`

Counts

4 → 95

Calls

4 calls:

30.0ms	(* (- t 1.0) (log a))
12.0ms	(* y (log z))
73.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
210.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series573.0ms

Counts

4 → 12

Calls

4 calls:

99.0ms	(* (- t 1.0) (log a))
63.0ms	(* y (log z))
168.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
242.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify2.9s

Counts

107 → 107

Iterations

Iter	Nodes
3	5366
2	1400
1	512
0	233

prune1.8s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.8b

localize67.0ms

Local error

Found 4 expressions with local error:

0.3b	(* y (log z))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.8b	(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

rewrite1.2s

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 89

Calls

4 calls:

6.0ms	(* y (log z))
50.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
65.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1s	(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

series648.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(* y (log z))
166.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
165.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
249.0ms	(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

simplify3.1s

Counts

101 → 101

Iterations

Iter	Nodes
3	5856
2	1287
1	446
0	188

prune2.1s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 0.7b

localize78.0ms

Local error

Found 4 expressions with local error:

0.3b	(* y (log z))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.8b	(* (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))

rewrite4.4s

Algorithm

rewrite-expression-head

Rules

45×	`add-exp-log`
27×	`add-cbrt-cube`
25×	`prod-exp`
23×	`add-sqr-sqrt`
21×	`*-un-lft-identity`
17×	`associate-r` `add-cube-cbrt`
16×	`pow1` `add-log-exp`
13×	`cbrt-unprod`
10×	`exp-prod` `exp-diff`
9×	`times-frac` `associate-*r/`
8×	`sqrt-div`
7×	`pow-prod-down`
6×	`log-prod` `div-exp` `exp-sum` `rem-exp-log`
5×	`frac-times` `associate-*l/`
4×	`diff-log` `associate-l`
3×	`distribute-rgt-in` `cbrt-undiv` `rec-exp` `distribute-lft-in` `1-exp`
2×	`sum-log` `sub-neg` `associate--l+` `*-commutative` `distribute-lft-out--` `difference-of-squares`
1×	`log-pow` `un-div-inv` `div-inv` `unswap-sqr`

Counts

4 → 114

Calls

4 calls:

11.0ms	(* y (log z))
73.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
51.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
4.3s	(* (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))

series633.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(* y (log z))
163.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
148.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
276.0ms	(* (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))

simplify4.4s

Counts

126 → 126

Iterations

Iter	Nodes
3	5861
2	1663
1	603
0	238

prune2.1s

Pruning

21 alts after pruning (19 fresh and 2 done)

Merged error: 0.7b

localize71.0ms

Local error

Found 4 expressions with local error:

1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.8b	(* (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))
1.8b	(* (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))
1.8b	(* (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))

rewrite12.1s

Algorithm

rewrite-expression-head

Rules

121×	`add-exp-log`
72×	`prod-exp`
67×	`add-cbrt-cube`
39×	`associate-r`
36×	`cbrt-unprod`
31×	`pow1`
28×	`add-sqr-sqrt` `*-un-lft-identity`
27×	`times-frac` `associate-*r/`
26×	`add-cube-cbrt`
25×	`exp-diff`
24×	`sqrt-div`
18×	`div-exp` `pow-prod-down`
15×	`frac-times` `associate-*l/`
10×	`add-log-exp`
9×	`cbrt-undiv` `rec-exp` `1-exp`
5×	`exp-prod`
3×	`associate-l` `exp-sum` `un-div-inv` `*-commutative` `div-inv` `rem-exp-log`
2×	`diff-log`
1×	`sum-log` `sub-neg` `associate--l+` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 172

Calls

4 calls:

60.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
3.9s	(* (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))
4.0s	(* (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))
4.1s	(* (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))

series831.0ms

Counts

4 → 12

Calls

4 calls:

182.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
250.0ms	(* (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))
193.0ms	(* (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))
205.0ms	(* (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))

simplify4.4s

Counts

184 → 184

Iterations

Iter	Nodes
3	5645
2	1528
1	536
0	200

prune4.0s

Pruning

23 alts after pruning (21 fresh and 2 done)

Merged error: 0.6b

regimes2.6s

Accuracy

27.7% (1.0b remaining)

Error of 1.7b against oracle of 0.7b and baseline of 2.1b

bsearch855.0ms

Steps

Iters	Range		Point
11	52.37641907826081	5.25061851644177e+22	5.310858125257187e+20
9	-3.125490765068402e+214	-1.364199943811514e+209	-1.3784794480955156e+209

simplify13.0ms

Iterations

Iter	Nodes
2	46
1	46
0	39

end0.0ms

sample16.3s

Algorithm

intervals

Results

9.4s	46650×	body	80	nan
3.3s	15275×	body	80	valid