Details

sample53.0ms

Algorithm

intervals

Results

10.0ms	186×	body	80	valid
7.0ms	36×	body	640	valid
4.0ms	105×	body	80	nan
4.0ms	15×	body	1280	valid
3.0ms	13×	body	1280	nan
3.0ms	16×	body	640	nan
2.0ms	11×	body	320	valid
1.0ms	9×	body	320	nan
1.0ms	8×	body	160	valid

simplify146.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	12
1	19	12
2	29	12
3	41	12
4	54	12
5	62	12
6	70	12
7	85	12
8	103	12
9	116	12
done	116	12

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.3b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- x y) (- 1.0 y))
2.0b	(- 1.0 (/ (- x y) (- 1.0 y)))
4.4b	(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite133.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
44×	`*-un-lft-identity`
27×	`times-frac`
16×	`add-cube-cbrt` `difference-of-squares`
14×	`distribute-lft-out--`
6×	`add-exp-log` `log-prod`
5×	`associate-/r` `add-cbrt-cube` `associate-/l` `add-log-exp`
4×	`pow1` `flip3--` `flip--`
2×	`log-div` `div-sub` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `clear-num` `log-pow` `div-inv` `associate--r-`

Counts

3 → 85

Calls

3 calls:

31.0ms	(/ (- x y) (- 1.0 y))
47.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
50.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

series226.0ms

Counts

3 → 9

Calls

3 calls:

47.0ms	(/ (- x y) (- 1.0 y))
67.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
111.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify1.4s

Counts

94 → 94

Iterations

Useful iterations: 3 (601.0ms)

Iter	Nodes	Cost
0	171	1417
1	398	1351
2	965	1266
3	2370	1259
done	5000	1259

prune317.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- 1.0 y))
0.1b	(* (- x y) (/ 1 (- 1.0 y)))
4.4b	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
4.6b	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
32×	`times-frac`
25×	`add-cube-cbrt`
21×	`associate-r`
18×	`add-exp-log`
11×	`add-cbrt-cube`
8×	`pow1` `distribute-lft-out--` `difference-of-squares`
6×	`flip3--` `flip--` `add-log-exp`
5×	`associate-l` `associate-/r*`
4×	`div-exp` `prod-exp` `associate-/r/`
3×	`log-prod` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `frac-times` `log-div` `rec-exp` `1-exp` `associate-*l/` `cbrt-unprod` `div-inv`
1×	`sub-neg` `pow-flip` `frac-2neg` `diff-log` `associate-r/` `rem-log-exp` `pow-prod-down` `clear-num` `log-pow` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 117

Calls

4 calls:

13.0ms	(/ 1 (- 1.0 y))
61.0ms	(* (- x y) (/ 1 (- 1.0 y)))
4.0ms	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
7.0ms	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

series229.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/ 1 (- 1.0 y))
42.0ms	(* (- x y) (/ 1 (- 1.0 y)))
103.0ms	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
61.0ms	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

simplify2.6s

Counts

129 → 129

Iterations

Useful iterations: 3 (1.4s)

Iter	Nodes	Cost
0	205	1754
1	473	1422
2	1322	1277
3	4200	1271
done	5001	1271

prune272.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

localize34.0ms

Local error

Found 4 expressions with local error:

0.4b	(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0))))
1.9b	(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
12.6b	(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
14.1b	(log (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0)))

rewrite564.0ms

Algorithm

rewrite-expression-head

Rules

148×	`add-sqr-sqrt`
73×	`difference-of-squares`
72×	`log-prod`
54×	`unpow-prod-down` `cube-prod`
42×	`*-un-lft-identity`
33×	`associate--l+`
30×	`sqr-pow`
24×	`times-frac`
19×	`distribute-lft-out--`
10×	`pow1`
8×	`add-cube-cbrt` `log-div`
6×	`add-exp-log` `log-pow` `add-log-exp`
4×	`flip3--` `add-cbrt-cube` `flip--`
3×	`difference-cubes` `associate--r+`
2×	`associate--l-` `sub-neg` `flip3-+` `diff-log` `rem-log-exp` `flip-+` `associate--r-`

Counts

4 → 157

Calls

4 calls:

233.0ms	(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0))))
128.0ms	(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
135.0ms	(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
58.0ms	(log (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0)))

series1.5s

Counts

4 → 12

Calls

4 calls:

518.0ms	(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0))))
284.0ms	(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
473.0ms	(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
215.0ms	(log (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0)))

simplify898.0ms

Counts

169 → 169

Iterations

Useful iterations: done (887.0ms)

Iter	Nodes	Cost
0	263	5772
1	605	5449
2	1631	5256
done	5001	5219

prune674.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ 1.0 y) 1)
0.0b	(- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y))
0.1b	(* (+ (/ 1.0 y) 1) (/ x y))
3.4b	(log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y)))

rewrite135.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
17×	`*-un-lft-identity`
13×	`add-cube-cbrt` `associate-r`
10×	`add-exp-log` `times-frac` `frac-sub`
9×	`add-cbrt-cube`
8×	`log-div` `add-log-exp`
7×	`pow1` `flip3-+` `flip-+`
6×	`frac-times` `associate-*l/`
5×	`associate-*r/`
4×	`associate-l`
3×	`log-prod`
2×	`flip3--` `prod-exp` `flip--` `cbrt-unprod` `distribute-lft-out` `sub-div` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `sum-log` `log-pow` `*-commutative` `div-inv`

Counts

4 → 87

Calls

4 calls:

15.0ms	(+ (/ 1.0 y) 1)
26.0ms	(- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y))
63.0ms	(* (+ (/ 1.0 y) 1) (/ x y))
27.0ms	(log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y)))

series247.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(+ (/ 1.0 y) 1)
43.0ms	(- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y))
80.0ms	(* (+ (/ 1.0 y) 1) (/ x y))
91.0ms	(log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y)))

simplify1.4s

Counts

99 → 99

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	188	1823
1	447	1689
2	1489	1566
done	5000	1511

prune299.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

regimes176.0ms

Accuracy

99.8% (0.0b remaining)

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

bsearch144.0ms

Steps

Iters	Range		Point
9	288166.37165529485	42772065132.76068	32110906.87222982
7	-2445851338.3862987	-30461436.183609415	-118579514.58451813

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	27	116
1	36	70
done	36	70

end0.0ms

sample2.4s

Algorithm

intervals

Results

510.0ms	3746×	body	80	nan
465.0ms	5643×	body	80	valid
337.0ms	840×	body	1280	valid
280.0ms	836×	body	640	valid
136.0ms	441×	body	320	valid
96.0ms	378×	body	1280	nan
72.0ms	383×	body	640	nan
33.0ms	240×	body	320	nan
26.0ms	240×	body	160	valid
14.0ms	125×	body	160	nan