Details

analyze1.9s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

sample94.0ms

Algorithm

intervals

Results

27.0ms	335×	body	80	invalid
20.0ms	256×	body	80	valid

simplify252.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (250.0ms)

Iter	Nodes	Cost
0	4955	29
1	4955	29

prune13.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 14.2b

Counts

2 → 1

localize23.0ms

Local error

Found 4 expressions with local error:

0.4b	(- (* c z) (* t i))
4.9b	(* x (- (* y z) (* t a)))
5.9b	(* b (- (* c z) (* t i)))
7.3b	(* j (- (* c a) (* y i)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`associate-r` `associate-l`
7×	`sub-neg`
6×	`associate-*r/` `add-log-exp`
4×	`flip3--` `flip--`
3×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`diff-log`

Counts

4 → 77

Calls

4 calls:

4.0ms	(- (* c z) (* t i))
6.0ms	(* x (- (* y z) (* t a)))
6.0ms	(* b (- (* c z) (* t i)))
6.0ms	(* j (- (* c a) (* y i)))

series70.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (* c z) (* t i))
22.0ms	(* x (- (* y z) (* t a)))
18.0ms	(* b (- (* c z) (* t i)))
19.0ms	(* j (- (* c a) (* y i)))

simplify49.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5066	937

prune229.0ms

Filtered

68 candidates to 89 candidates (-30.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	75	14	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	76	14	90

Merged error: 4.8b

Counts

90 → 14

localize27.0ms

Local error

Found 4 expressions with local error:

7.3b	(cbrt (- (* c z) (* t i)))
7.3b	(cbrt (- (* c z) (* i t)))
7.3b	(cbrt (- (* c z) (* i t)))
7.3b	(* j (- (* c a) (* y i)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 61

Calls

4 calls:

3.0ms	(cbrt (- (* c z) (* t i)))
4.0ms	(cbrt (- (* c z) (* i t)))
6.0ms	(cbrt (- (* c z) (* i t)))
6.0ms	(* j (- (* c a) (* y i)))

series131.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(cbrt (- (* c z) (* t i)))
39.0ms	(cbrt (- (* c z) (* i t)))
38.0ms	(cbrt (- (* c z) (* i t)))
18.0ms	(* j (- (* c a) (* y i)))

simplify36.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4951	900
1	4951	900

prune207.0ms

Filtered

63 candidates to 73 candidates (-15.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	0	13	13
Picked	1	0	1
Done	0	0	0
Total	72	15	87

Merged error: 4.8b

Counts

87 → 15

localize23.0ms

Local error

Found 4 expressions with local error:

3.4b	(* (- (* c a) (* y i)) (cbrt j))
4.0b	(* (* (cbrt j) (cbrt j)) (* (- (* c a) (* y i)) (cbrt j)))
4.9b	(* x (- (* y z) (* t a)))
5.9b	(* b (- (* c z) (* t i)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

22×	`pow1` `add-exp-log`
19×	`add-sqr-sqrt`
15×	`add-cbrt-cube`
13×	`associate-r`
11×	`add-cube-cbrt` `*-un-lft-identity` `pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-l`
6×	`associate-*r/`
4×	`cbrt-prod` `sub-neg` `flip3--` `associate-l/` `-commutative` `flip--` `add-log-exp` `unswap-sqr`
2×	`distribute-rgt-in` `distribute-lft-in`

Counts

4 → 92

Calls

4 calls:

6.0ms	(* (- (* c a) (* y i)) (cbrt j))
11.0ms	(* (* (cbrt j) (cbrt j)) (* (- (* c a) (* y i)) (cbrt j)))
6.0ms	(* x (- (* y z) (* t a)))
6.0ms	(* b (- (* c z) (* t i)))

series101.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(* (- (* c a) (* y i)) (cbrt j))
23.0ms	(* (* (cbrt j) (cbrt j)) (* (- (* c a) (* y i)) (cbrt j)))
18.0ms	(* x (- (* y z) (* t a)))
20.0ms	(* b (- (* c z) (* t i)))

simplify55.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4968	1131
1	4968	1131

prune228.0ms

Filtered

76 candidates to 104 candidates (-36.8%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	101	3	104
Fresh	1	13	14
Picked	1	0	1
Done	0	0	0
Total	103	16	119

Merged error: 4.8b

Counts

119 → 16

localize27.0ms

Local error

Found 4 expressions with local error:

5.9b	(* b (- (* c z) (* t i)))
8.2b	(cbrt (- (* c a) (* y i)))
8.2b	(cbrt (- (* c a) (* y i)))
8.2b	(cbrt (- (* c a) (* y i)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 61

Calls

4 calls:

6.0ms	(* b (- (* c z) (* t i)))
4.0ms	(cbrt (- (* c a) (* y i)))
4.0ms	(cbrt (- (* c a) (* y i)))
4.0ms	(cbrt (- (* c a) (* y i)))

series135.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* b (- (* c z) (* t i)))
37.0ms	(cbrt (- (* c a) (* y i)))
41.0ms	(cbrt (- (* c a) (* y i)))
38.0ms	(cbrt (- (* c a) (* y i)))

simplify35.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	4942	900
1	4942	900

prune106.0ms

Filtered

65 candidates to 73 candidates (-12.3%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	72	1	73
Fresh	0	15	15
Picked	1	0	1
Done	0	0	0
Total	73	16	89

Merged error: 4.8b

Counts

89 → 16

regimes1.9s

Accuracy

26% (6.4b remaining)

Error of 10.4b against oracle of 4.0b and baseline of 12.7b

bsearch130.0ms

Steps

Iters	Range		Point
9	1.0226055875843817e-72	7.891791834178262e-66	2.562283266920311e-68
9	-1.7533820393238917e+114	-1.021533713691597e+107	-1.571478716024194e+113

simplify13.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	922	89
1	922	89

end0.0ms

sample2.7s

Algorithm

intervals

Results

920.0ms	10827×	body	80	invalid
721.0ms	8000×	body	80	valid

Details

analyze1.9s

sample94.0ms

simplify252.0ms

prune13.0ms

localize23.0ms

rewrite23.0ms

series70.0ms

simplify49.0ms

prune229.0ms

localize27.0ms

rewrite21.0ms

series131.0ms

simplify36.0ms

prune207.0ms

localize23.0ms

rewrite32.0ms

series101.0ms

simplify55.0ms

prune228.0ms

localize27.0ms

rewrite18.0ms

series135.0ms

simplify35.0ms

prune106.0ms

regimes1.9s

bsearch130.0ms

simplify13.0ms

end0.0ms

sample2.7s

Profiling