Details

analyze2.1s

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

sample89.0ms

Algorithm

intervals

Results

26.0ms	337×	body	80	invalid
20.0ms	256×	body	80	valid

simplify311.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (309.0ms)

Iter	Nodes	Cost
0	4955	29
1	4955	29

prune12.0ms

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: 11.8b

Counts

2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
3.8b	(* b (- (* c z) (* t i)))
4.7b	(* x (- (* y z) (* t a)))
6.7b	(* j (- (* c a) (* y i)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

34×	`associate-*r/`
19×	`flip3--` `flip--`
16×	`add-sqr-sqrt`
12×	`frac-add`
11×	`sub-neg`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`associate-r` `associate-l` `add-log-exp`
8×	`frac-sub`
5×	`distribute-rgt-in` `distribute-lft-in`
3×	`associate-+l+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`associate-+r+` `associate--l+` `sum-log`
1×	`+-commutative` `associate-+l-` `flip3-+` `diff-log` `flip-+`

Counts

4 → 96

Calls

4 calls:

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

series316.0ms

Counts

4 → 12

Calls

4 calls:

257.0ms	(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
19.0ms	(* b (- (* c z) (* t i)))
19.0ms	(* x (- (* y z) (* t a)))
21.0ms	(* j (- (* c a) (* y i)))

simplify48.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5042	3303

prune276.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	93	15	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	15	109

Merged error: 5.4b

Counts

109 → 15

localize25.0ms

Local error

Found 4 expressions with local error:

4.7b	(* x (- (* y z) (* t a)))
8.3b	(cbrt (- (* c a) (* y i)))
8.3b	(cbrt (- (* c a) (* y i)))
8.3b	(cbrt (- (* c a) (* y i)))

rewrite19.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	(* x (- (* y z) (* t a)))
4.0ms	(cbrt (- (* c a) (* y i)))
4.0ms	(cbrt (- (* c a) (* y i)))
4.0ms	(cbrt (- (* c a) (* y i)))

series139.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* x (- (* y z) (* t a)))
39.0ms	(cbrt (- (* c a) (* y i)))
39.0ms	(cbrt (- (* c a) (* y i)))
41.0ms	(cbrt (- (* c a) (* y i)))

simplify42.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4940	894
1	4940	894

prune184.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	73	15	88

Merged error: 5.4b

Counts

88 → 15

localize24.0ms

Local error

Found 4 expressions with local error:

2.2b	(* (* (cbrt x) (cbrt x)) (* (- (* y z) (* a t)) (cbrt x)))
2.9b	(* (- (* y z) (* a t)) (cbrt x))
3.8b	(* b (- (* c z) (* t i)))
6.7b	(* j (- (* c a) (* y i)))

rewrite35.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:

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

series102.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify38.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5013	1138

prune222.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	102	2	104
Fresh	0	13	13
Picked	1	0	1
Done	0	1	1
Total	103	16	119

Merged error: 5.4b

Counts

119 → 16

localize24.0ms

Local error

Found 4 expressions with local error:

0.7b	(* (* (- (* y z) (* a t)) (* (cbrt x) (cbrt x))) (cbrt x))
3.8b	(* b (- (* c z) (* t i)))
4.3b	(* (- (* y z) (* a t)) (* (cbrt x) (cbrt x)))
6.7b	(* j (- (* c a) (* y i)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

22×	`pow1` `add-exp-log`
16×	`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-*l/`
4×	`sub-neg` `flip3--` `associate-r/` `-commutative` `flip--` `add-log-exp`
3×	`cbrt-prod` `unswap-sqr`
2×	`distribute-rgt-in` `distribute-lft-in`

Counts

4 → 91

Calls

4 calls:

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

series121.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify39.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5007	1197

prune130.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

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

Merged error: 5.4b

Counts

119 → 16

regimes1.8s

Accuracy

25.2% (6.6b remaining)

Error of 10.2b against oracle of 3.7b and baseline of 12.4b

bsearch69.0ms

Steps

Iters	Range		Point
4	5.2411223735400025e-211	9.581478481775591e-211	6.812278623510992e-211
6	-3.60995411430585e+131	-6.305403782954688e+130	-1.111560812378541e+131

simplify26.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	1021	118
1	1021	118

end0.0ms

sample2.6s

Algorithm

intervals

Results

965.0ms	11221×	body	80	invalid
687.0ms	8000×	body	80	valid

Details

analyze2.1s

sample89.0ms

simplify311.0ms

prune12.0ms

localize20.0ms

rewrite34.0ms

series316.0ms

simplify48.0ms

prune276.0ms

localize25.0ms

rewrite19.0ms

series139.0ms

simplify42.0ms

prune184.0ms

localize24.0ms

rewrite35.0ms

series102.0ms

simplify38.0ms

prune222.0ms

localize24.0ms

rewrite39.0ms

series121.0ms

simplify39.0ms

prune130.0ms

regimes1.8s

bsearch69.0ms

simplify26.0ms

end0.0ms

sample2.6s

Profiling