Details

sample112.0ms

Algorithm

intervals

Results

49.0ms

554×

body

valid

simplify93.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	43	14
1	96	14
2	291	14
3	825	14
4	2021	14
5	5001	14

prune6.0ms

Filtered

1 candidates to 0 candidates (100.0%)

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

Counts

2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))
3.9b	(* b (- (* c z) (* t i)))
4.8b	(* x (- (* y z) (* t a)))
6.9b	(* j (- (* c a) (* y i)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 96

Calls

4 calls:

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

series127.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify76.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	591	891
1	2752	825
2	5003	825

prune229.0ms

Filtered

108 candidates to 71 candidates (34.3%)

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.3b

Counts

109 → 15

localize24.0ms

Local error

Found 4 expressions with local error:

6.2b	(cbrt (* x (- (* y z) (* t a))))
6.2b	(cbrt (* x (- (* y z) (* t a))))
6.2b	(cbrt (* x (- (* y z) (* t a))))
6.9b	(* j (- (* c a) (* y i)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 57

Calls

4 calls:

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

series146.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify109.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 3 (102.0ms)

Iter	Nodes	Cost
0	310	554
1	1112	501
2	4347	492
3	5002	480

prune186.0ms

Filtered

69 candidates to 56 candidates (18.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	0	14	14
Picked	1	0	1
Done	0	0	0
Total	69	15	84

Merged error: 5.3b

Counts

84 → 15

localize28.0ms

Local error

Found 4 expressions with local error:

2.3b	(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))
2.8b	(* (cbrt x) (- (* y z) (* t a)))
3.9b	(* b (- (* c z) (* t i)))
6.9b	(* j (- (* c a) (* y i)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 108

Calls

4 calls:

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

series135.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify72.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	589	987
1	2480	780
2	5001	717

prune201.0ms

Filtered

120 candidates to 72 candidates (40.0%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	119	1	120
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	119	16	135

Merged error: 4.9b

Counts

135 → 16

localize26.0ms

Local error

Found 4 expressions with local error:

6.9b	(* j (- (* c a) (* y i)))
7.2b	(cbrt (* j (- (* c a) (* y i))))
7.2b	(cbrt (* j (- (* c a) (* y i))))
7.2b	(cbrt (* j (- (* c a) (* y i))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 57

Calls

4 calls:

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

series150.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* j (- (* c a) (* y i)))
44.0ms	(cbrt (* j (- (* c a) (* y i))))
42.0ms	(cbrt (* j (- (* c a) (* y i))))
44.0ms	(cbrt (* j (- (* c a) (* y i))))

simplify102.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 3 (96.0ms)

Iter	Nodes	Cost
0	253	554
1	927	501
2	3676	492
3	5001	480

prune94.0ms

Filtered

69 candidates to 56 candidates (18.8%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	2	12	14
Picked	0	1	1
Done	0	1	1
Total	70	15	85

Merged error: 4.9b

Counts

85 → 15

regimes1.7s

Accuracy

16% (6.1b remaining)

Error of 11.1b against oracle of 4.9b and baseline of 12.2b

bsearch93.0ms

Steps

Iters	Range		Point
8	2.4308197328288068e-123	1.6241423250713178e-120	1.3723510116473405e-120
3	-6.913498440459682e-53	-5.819718419697067e-53	-6.298247178780712e-53

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	74	60
1	74	60

end0.0ms

sample3.4s

Algorithm

intervals

Results

1.6s

19114×

body

valid

Details

sample112.0ms

simplify93.0ms

prune6.0ms

localize19.0ms

rewrite27.0ms

series127.0ms

simplify76.0ms

prune229.0ms

localize24.0ms

rewrite22.0ms

series146.0ms

simplify109.0ms

prune186.0ms

localize28.0ms

rewrite34.0ms

series135.0ms

simplify72.0ms

prune201.0ms

localize26.0ms

rewrite20.0ms

series150.0ms

simplify102.0ms

prune94.0ms

regimes1.7s

bsearch93.0ms

simplify2.0ms

end0.0ms

sample3.4s

Profiling