Details

sample23.0ms

Algorithm

intervals

Results

8.0ms

296×

body

valid

simplify36.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	16	7
2	22	7
3	33	7
4	36	7
5	42	7
6	46	7
7	54	7
8	58	7
done	58	7

prune4.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: 13.1b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (+ y z))
12.3b	(/ (* x (+ y z)) z)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 46

Calls

2 calls:

6.0ms	(* x (+ y z))
7.0ms	(/ (* x (+ y z)) z)

series16.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* x (+ y z))
9.0ms	(/ (* x (+ y z)) z)

simplify892.0ms

Counts

52 → 52

Iterations

Useful iterations: 3 (321.0ms)

Iter	Nodes	Cost
0	85	458
1	232	438
2	781	382
3	3370	376
done	5001	376

prune76.0ms

Filtered

35 candidates to 52 candidates (-48.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	46	6	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	47	6	53

Merged error: 0.0b

Counts

53 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ z (+ y z))
3.2b	(/ x (/ z (+ y z)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
94×	`*-un-lft-identity`
62×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`associate-/r*`
16×	`distribute-lft-out`
11×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`

Counts

2 → 123

Calls

2 calls:

8.0ms	(/ z (+ y z))
9.0ms	(/ x (/ z (+ y z)))

series16.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ z (+ y z))
10.0ms	(/ x (/ z (+ y z)))

simplify404.0ms

Counts

129 → 129

Iterations

Useful iterations: done (400.0ms)

Iter	Nodes	Cost
0	187	1758
1	423	1652
2	1465	1574
done	5000	1566

prune119.0ms

Filtered

93 candidates to 129 candidates (-38.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	129	6	135

Merged error: 0b

Counts

135 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ z (+ y z))
0.2b	(/ 1 (/ (/ z (+ y z)) x))
3.2b	(/ (/ z (+ y z)) x)

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

648×	`times-frac`
398×	`*-un-lft-identity`
294×	`add-sqr-sqrt` `add-cube-cbrt`
65×	`associate-/r*`
52×	`distribute-lft-out`
35×	`associate-/r/`
31×	`add-exp-log`
24×	`associate-/l*`
23×	`div-inv`
19×	`div-exp` `add-cbrt-cube`
17×	`flip3-+` `flip-+`
10×	`cbrt-undiv`
4×	`pow1`
3×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `add-log-exp`
1×	`pow-flip` `associate-/l/` `inv-pow`

Counts

3 → 383

Calls

3 calls:

9.0ms	(/ z (+ y z))
18.0ms	(/ 1 (/ (/ z (+ y z)) x))
10.0ms	(/ (/ z (+ y z)) x)

series26.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(/ z (+ y z))
9.0ms	(/ 1 (/ (/ z (+ y z)) x))
11.0ms	(/ (/ z (+ y z)) x)

simplify848.0ms

Counts

392 → 392

Iterations

Useful iterations: done (836.0ms)

Iter	Nodes	Cost
0	492	7266
1	1239	6479
2	4016	5732
done	5000	5652

prune229.0ms

Filtered

205 candidates to 392 candidates (-91.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	392	0	392
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	392	6	398

Merged error: 0b

Counts

398 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (/ (* x y) z))
6.1b	(/ (* x y) z)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-exp-log` `add-cbrt-cube`
6×	`*-un-lft-identity`
4×	`add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
3×	`times-frac` `associate-/r*`
2×	`pow1` `cbrt-undiv` `div-exp`
1×	`+-commutative` `frac-2neg` `flip3-+` `prod-exp` `clear-num` `sum-log` `cbrt-unprod` `flip-+` `div-inv` `distribute-lft-out` `associate-/l*`

Counts

2 → 33

Calls

2 calls:

5.0ms	(+ x (/ (* x y) z))
5.0ms	(/ (* x y) z)

series16.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(+ x (/ (* x y) z))
6.0ms	(/ (* x y) z)

simplify706.0ms

Counts

39 → 39

Iterations

Useful iterations: 3 (221.0ms)

Iter	Nodes	Cost
0	67	359
1	184	338
2	596	306
3	2704	301
done	5000	301

prune31.0ms

Filtered

26 candidates to 39 candidates (-50.0%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	39	0	39
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	39	6	45

Merged error: 0b

Counts

45 → 6

regimes196.0ms

Accuracy

43.3% (1.9b remaining)

Error of 1.9b against oracle of 0.0b and baseline of 3.3b

bsearch38.0ms

Steps

Iters	Range		Point
7	14848.343200454	602010.8647626698	25947.630406955814
10	-5.590082551980238e+120	-2.4478686666901204e+110	-3.5585009134455516e+110

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	29
1	21	23
done	21	23

end0.0ms

sample852.0ms

Algorithm

intervals

Results

473.0ms

9538×

body

valid

Details

sample23.0ms

simplify36.0ms

prune4.0ms

localize5.0ms

rewrite14.0ms

series16.0ms

simplify892.0ms

prune76.0ms

localize5.0ms

rewrite23.0ms

series16.0ms

simplify404.0ms

prune119.0ms

localize7.0ms

rewrite65.0ms

series26.0ms

simplify848.0ms

prune229.0ms

localize5.0ms

rewrite10.0ms

series16.0ms

simplify706.0ms

prune31.0ms

regimes196.0ms

bsearch38.0ms

simplify2.0ms

end0.0ms

sample852.0ms

Profiling