Details

sample26.0ms

Algorithm

intervals

Results

10.0ms

336×

body

valid

simplify2.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	34	9
3	78	9
4	177	9
5	288	9
6	388	9
7	486	9
8	736	9
9	1081	9
10	1476	9
11	2213	9
12	4970	9
done	5000	9

prune3.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: 4.6b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- 1.0 y) z)
4.3b	(* x (- 1.0 (* (- 1.0 y) z)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
8×	`-un-lft-identity` `associate-l*`
6×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-r` `add-cbrt-cube`
2×	`distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `associate-r/` `pow-prod-down` `associate-l/` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `add-log-exp` `unswap-sqr`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

2 → 46

Calls

2 calls:

7.0ms	(* (- 1.0 y) z)
6.0ms	(* x (- 1.0 (* (- 1.0 y) z)))

series23.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(* (- 1.0 y) z)
18.0ms	(* x (- 1.0 (* (- 1.0 y) z)))

simplify761.0ms

Counts

52 → 52

Iterations

Useful iterations: done (759.0ms)

Iter	Nodes	Cost
0	93	536
1	216	520
2	693	459
3	2678	458
done	5001	454

prune80.0ms

Filtered

34 candidates to 52 candidates (-52.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

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

Merged error: 0.0b

Counts

53 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (* x z) (- y 1.0)) (* x 1.0))
3.9b	(* (* x z) (- y 1.0))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*`
4×	`distribute-rgt-in` `sub-neg` `associate-+l+` `distribute-lft-in` `add-log-exp`
3×	`add-cube-cbrt` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`associate-*r/`
1×	`+-commutative` `flip3--` `flip3-+` `associate-l` `sum-log` `*-commutative` `flip--` `flip-+` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 41

Calls

2 calls:

9.0ms	(+ (* (* x z) (- y 1.0)) (* x 1.0))
11.0ms	(* (* x z) (- y 1.0))

series21.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(+ (* (* x z) (- y 1.0)) (* x 1.0))
9.0ms	(* (* x z) (- y 1.0))

simplify427.0ms

Counts

47 → 47

Iterations

Useful iterations: done (426.0ms)

Iter	Nodes	Cost
0	90	593
1	258	567
2	1111	463
done	5000	453

prune64.0ms

Filtered

30 candidates to 47 candidates (-56.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	45	2	47
Fresh	3	2	5
Picked	0	1	1
Done	0	1	1
Total	48	6	54

Merged error: 0b

Counts

54 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- y 1.0) x)
0.0b	(+ (* 1.0 x) (* z (* (- y 1.0) x)))
3.2b	(* z (* (- y 1.0) x))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
8×	`-un-lft-identity` `associate-l*`
6×	`add-cube-cbrt`
5×	`add-log-exp`
4×	`associate-r` `pow-prod-down` `associate-*l/` `prod-exp` `cbrt-unprod`
2×	`flip3--` `associate-r/` `-commutative` `flip--`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 53

Calls

3 calls:

7.0ms	(* (- y 1.0) x)
4.0ms	(+ (* 1.0 x) (* z (* (- y 1.0) x)))
8.0ms	(* z (* (- y 1.0) x))

series29.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(* (- y 1.0) x)
15.0ms	(+ (* 1.0 x) (* z (* (- y 1.0) x)))
9.0ms	(* z (* (- y 1.0) x))

simplify1.5s

Counts

62 → 62

Iterations

Useful iterations: 3 (411.0ms)

Iter	Nodes	Cost
0	99	679
1	261	651
2	986	535
3	4887	526
done	5000	526

prune83.0ms

Filtered

42 candidates to 62 candidates (-47.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	62	6	68

Merged error: 0b

Counts

68 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (- 1.0 y))
0.3b	(cbrt (- 1.0 y))
0.3b	(cbrt (- 1.0 y))
4.3b	(* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`cbrt-prod` `*-un-lft-identity`
9×	`add-cube-cbrt`
6×	`pow1` `add-exp-log` `cbrt-div` `add-cbrt-cube`
4×	`flip3--` `flip--` `add-log-exp`
3×	`pow1/3` `associate-r` `associate-l` `distribute-lft-out--` `difference-of-squares`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 69

Calls

4 calls:

4.0ms	(cbrt (- 1.0 y))
3.0ms	(cbrt (- 1.0 y))
3.0ms	(cbrt (- 1.0 y))
6.0ms	(* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))))

series32.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(cbrt (- 1.0 y))
7.0ms	(cbrt (- 1.0 y))
7.0ms	(cbrt (- 1.0 y))
12.0ms	(* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))))

simplify915.0ms

Counts

81 → 81

Iterations

Useful iterations: 3 (268.0ms)

Iter	Nodes	Cost
0	134	1434
1	313	1379
2	923	1037
3	3275	862
done	5000	862

prune167.0ms

Filtered

65 candidates to 81 candidates (-24.6%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	81	6	87

Merged error: 0b

Counts

87 → 6

regimes703.0ms

Accuracy

81.4% (0.3b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	47
1	31	47
2	32	47
done	32	47

end0.0ms

sample699.0ms

Algorithm

intervals

Results

303.0ms

10272×

body

valid

Details

sample26.0ms

simplify2.8s

prune3.0ms

localize7.0ms

rewrite14.0ms

series23.0ms

simplify761.0ms

prune80.0ms

localize7.0ms

rewrite22.0ms

series21.0ms

simplify427.0ms

prune64.0ms

localize7.0ms

rewrite21.0ms

series29.0ms

simplify1.5s

prune83.0ms

localize10.0ms

rewrite18.0ms

series32.0ms

simplify915.0ms

prune167.0ms

regimes703.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample699.0ms

Profiling