Details

sample127.0ms

Algorithm

intervals

Results

87.0ms	225×	body	10240	exit
11.0ms	210×	body	80	valid
4.0ms	15×	body	640	valid
4.0ms	24×	body	320	valid
1.0ms	10×	body	160	valid

simplify478.0ms

Counts

1 → 1

Iterations

Useful iterations: done (478.0ms)

Iter	Nodes	Cost
0	8	16
1	21	15
2	52	15
3	115	15
4	419	15
done	5000	14

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.6b

localize30.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (exp wj))
0.0b	(/ (- (/ wj 1) (/ x (exp wj))) (+ wj 1))
3.3b	(- wj (/ (- (/ wj 1) (/ x (exp wj))) (+ wj 1)))

rewrite300.0ms

Algorithm

rewrite-expression-head

Rules

421×	`add-sqr-sqrt`
355×	`*-un-lft-identity`
339×	`times-frac`
150×	`prod-diff`
127×	`add-cube-cbrt`
104×	`difference-of-squares`
45×	`distribute-lft-out`
35×	`distribute-lft-out--`
14×	`associate-/l*`
8×	`associate-/r/`
7×	`associate-/r*` `add-cbrt-cube`
6×	`add-exp-log`
5×	`div-inv` `add-log-exp`
4×	`flip3-+` `flip-+`
3×	`expm1-log1p-u` `pow1` `fma-neg` `log1p-expm1-u` `associate-/l/`
2×	`cbrt-undiv` `clear-num` `frac-2neg` `flip3--` `div-sub` `div-exp` `flip--`
1×	`sub-neg` `diff-log` `frac-sub` `associate--r-`

Counts

3 → 279

Calls

3 calls:

10.0ms	(/ x (exp wj))
127.0ms	(/ (- (/ wj 1) (/ x (exp wj))) (+ wj 1))
142.0ms	(- wj (/ (- (/ wj 1) (/ x (exp wj))) (+ wj 1)))

series157.0ms

Counts

3 → 9

Calls

3 calls:

42.0ms	(/ x (exp wj))
49.0ms	(/ (- (/ wj 1) (/ x (exp wj))) (+ wj 1))
66.0ms	(- wj (/ (- (/ wj 1) (/ x (exp wj))) (+ wj 1)))

simplify666.0ms

Counts

288 → 288

Iterations

Useful iterations: done (649.0ms)

Iter	Nodes	Cost
0	480	16383
1	1291	13247
done	5001	10569

prune846.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.4b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b	(- x (* 2 (* x wj)))
0.0b	(* 2 (* x wj))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-cbrt-cube` `add-exp-log`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`add-log-exp`
3×	`fma-neg` `associate-l` `prod-diff` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`expm1-log1p-u` `log1p-expm1-u`
1×	`sub-neg` `flip3--` `diff-log` `associate-r` `*-commutative` `flip--`

Counts

2 → 40

Calls

2 calls:

5.0ms	(- x (* 2 (* x wj)))
14.0ms	(* 2 (* x wj))

series79.0ms

Counts

2 → 6

Calls

2 calls:

57.0ms	(- x (* 2 (* x wj)))
21.0ms	(* 2 (* x wj))

simplify789.0ms

Counts

46 → 46

Iterations

Useful iterations: done (787.0ms)

Iter	Nodes	Cost
0	70	445
1	169	408
2	744	355
done	5000	320

prune243.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.4b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (exp wj))
0.0b	(/ wj (+ wj 1))
0.0b	(/ (/ x (exp wj)) (+ wj 1))
5.0b	(- wj (/ wj (+ wj 1)))

rewrite108.0ms

Algorithm

rewrite-expression-head

Rules

169×	`*-un-lft-identity`
155×	`times-frac`
118×	`add-sqr-sqrt`
113×	`add-cube-cbrt`
54×	`prod-diff`
27×	`distribute-lft-out`
19×	`associate-/l*`
13×	`add-cbrt-cube`
11×	`associate-/r*` `add-exp-log` `div-inv`
10×	`associate-/r/`
6×	`add-log-exp`
5×	`cbrt-undiv` `flip3-+` `div-exp` `flip-+`
4×	`expm1-log1p-u` `pow1` `log1p-expm1-u`
3×	`clear-num` `frac-2neg` `fma-neg`
2×	`difference-of-squares`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `distribute-lft-out--` `associate-/l/`

Counts

4 → 226

Calls

4 calls:

5.0ms	(/ x (exp wj))
16.0ms	(/ wj (+ wj 1))
31.0ms	(/ (/ x (exp wj)) (+ wj 1))
45.0ms	(- wj (/ wj (+ wj 1)))

series188.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(/ x (exp wj))
33.0ms	(/ wj (+ wj 1))
67.0ms	(/ (/ x (exp wj)) (+ wj 1))
39.0ms	(- wj (/ wj (+ wj 1)))

simplify2.5s

Counts

238 → 238

Iterations

Useful iterations: done (2.5s)

Iter	Nodes	Cost
0	370	5110
1	955	4552
2	4375	3674
done	5000	3673

prune1.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma wj wj (- (pow wj 4) (pow wj 3)))
0.0b	(- (pow wj 4) (pow wj 3))
0.0b	(/ x (exp wj))
0.0b	(/ (/ x (exp wj)) (+ wj 1))

rewrite108.0ms

Algorithm

rewrite-expression-head

Rules

138×	`*-un-lft-identity`
125×	`add-sqr-sqrt`
108×	`add-cube-cbrt`
106×	`times-frac`
84×	`prod-diff`
67×	`unpow-prod-down`
27×	`sqr-pow`
24×	`cube-prod`
16×	`associate-/l*`
14×	`distribute-lft-out`
12×	`difference-of-squares`
11×	`add-cbrt-cube`
9×	`add-exp-log`
7×	`cube-mult` `associate-/r*` `fma-neg` `unpow3` `div-inv`
6×	`add-log-exp`
4×	`expm1-log1p-u` `pow1` `cbrt-undiv` `div-exp` `log1p-expm1-u`
2×	`clear-num` `frac-2neg` `associate-/r/`
1×	`sub-neg` `flip3-+` `flip3--` `diff-log` `flip-+` `fma-udef` `flip--` `distribute-lft-out--` `associate-/l/`

Counts

4 → 245

Calls

4 calls:

1.0ms	(fma wj wj (- (pow wj 4) (pow wj 3)))
40.0ms	(- (pow wj 4) (pow wj 3))
17.0ms	(/ x (exp wj))
32.0ms	(/ (/ x (exp wj)) (+ wj 1))

series272.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(fma wj wj (- (pow wj 4) (pow wj 3)))
136.0ms	(- (pow wj 4) (pow wj 3))
30.0ms	(/ x (exp wj))
68.0ms	(/ (/ x (exp wj)) (+ wj 1))

simplify2.1s

Counts

257 → 257

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	363	5585
1	868	4113
2	3787	3461
done	5000	3460

prune1.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

regimes96.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	19
1	19	19
done	19	19

end0.0ms

sample6.3s

Algorithm

intervals

Results

4.9s	7455×	body	10240	exit
453.0ms	6324×	body	80	valid
167.0ms	771×	body	320	valid
121.0ms	434×	body	640	valid
64.0ms	554×	body	160	valid