Details

sample90.0ms

Algorithm

intervals

Results

52.0ms

618×

body

valid

simplify102.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	47	14
1	110	13
2	335	13
3	1059	13
4	3442	13
5	5001	13

prune12.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 10.6b

Counts

2 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (* c z) (* t i))
2.9b	(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))))
4.5b	(* b (- (* c z) (* t i)))
6.1b	(* x (- (* y z) (* t a)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 82

Calls

4 calls:

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

series856.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(- (* c z) (* t i))
653.0ms	(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))))
70.0ms	(* b (- (* c z) (* t i)))
79.0ms	(* x (- (* y z) (* t a)))

simplify64.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 1 (16.0ms)

Iter	Nodes	Cost
0	376	645
1	1499	568
2	5001	568

prune503.0ms

Filtered

94 candidates to 73 candidates (77.7%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	78	16	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	16	95

Merged error: 4.2b

Counts

95 → 16

localize29.0ms

Local error

Found 4 expressions with local error:

2.9b	(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* t i)))))
4.5b	(* b (- (* c z) (* t i)))
6.1b	(* x (fma y z (- (* a t))))
50.2b	(fma (- a) t (* a t))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 70

Calls

4 calls:

1.0ms	(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* t i)))))
7.0ms	(* b (- (* c z) (* t i)))
4.0ms	(* x (fma y z (- (* a t))))
1.0ms	(fma (- a) t (* a t))

series4.4s

Counts

4 → 12

Calls

4 calls:

4.2s	(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* t i)))))
81.0ms	(* b (- (* c z) (* t i)))
92.0ms	(* x (fma y z (- (* a t))))
38.0ms	(fma (- a) t (* a t))

simplify61.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	310	624
1	1230	538
2	5001	538

prune414.0ms

Filtered

82 candidates to 58 candidates (70.7%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	14	15
Picked	1	0	1
Done	0	0	0
Total	83	15	98

Merged error: 4.2b

Counts

98 → 15

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.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×	`expm1-log1p-u` `flip3--` `flip--` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-prod` `distribute-rgt-in` `distribute-lft-in` `pow1/3` `associate-r` `associate-l`
2×	`sub-neg` `prod-diff`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 67

Calls

4 calls:

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

series597.0ms

Counts

4 → 12

Calls

4 calls:

173.0ms	(cbrt (* b (- (* c z) (* t i))))
169.0ms	(cbrt (* b (- (* c z) (* t i))))
175.0ms	(cbrt (* b (- (* c z) (* t i))))
80.0ms	(* x (- (* y z) (* t a)))

simplify140.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	337	604
1	1208	550
2	4572	541
3	5001	541

prune497.0ms

Filtered

79 candidates to 68 candidates (86.1%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	78	1	79
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	78	16	94

Merged error: 4.2b

Counts

94 → 16

localize36.0ms

Local error

Found 4 expressions with local error:

5.9b	(cbrt (* b (- (* c z) (* t i))))
5.9b	(cbrt (* b (- (* c z) (* t i))))
6.1b	(* x (- (* y z) (* t a)))
6.4b	(cbrt (- (* c z) (* t i)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 69

Calls

4 calls:

5.0ms	(cbrt (* b (- (* c z) (* t i))))
5.0ms	(cbrt (* b (- (* c z) (* t i))))
7.0ms	(* x (- (* y z) (* t a)))
4.0ms	(cbrt (- (* c z) (* t i)))

series565.0ms

Counts

4 → 12

Calls

4 calls:

172.0ms	(cbrt (* b (- (* c z) (* t i))))
167.0ms	(cbrt (* b (- (* c z) (* t i))))
81.0ms	(* x (- (* y z) (* t a)))
145.0ms	(cbrt (- (* c z) (* t i)))

simplify64.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	414	618
1	1401	566
2	5002	552

prune507.0ms

Filtered

81 candidates to 70 candidates (86.4%)

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	80	1	81
Fresh	0	14	14
Picked	0	1	1
Done	0	1	1
Total	80	17	97

Merged error: 4.2b

Counts

97 → 17

regimes1.0s

Accuracy

0% (7.2b remaining)

Error of 12.7b against oracle of 5.5b and baseline of 12.7b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	39	27
1	39	27

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.6s

19145×

body

valid

Details

sample90.0ms

simplify102.0ms

prune12.0ms

localize25.0ms

rewrite19.0ms

series856.0ms

simplify64.0ms

prune503.0ms

localize29.0ms

rewrite15.0ms

series4.4s

simplify61.0ms

prune414.0ms

localize26.0ms

rewrite28.0ms

series597.0ms

simplify140.0ms

prune497.0ms

localize36.0ms

rewrite23.0ms

series565.0ms

simplify64.0ms

prune507.0ms

regimes1.0s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.5s

Profiling