Details

sample619.0ms

Algorithm

intervals

Results

408.0ms

2439×

body

valid

simplify45.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	132	47
1	350	47
2	1758	47
3	5001	47

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.2b

localize62.0ms

Local error

Found 4 expressions with local error:

8.9b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.5b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.6b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.4b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

17.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
17.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
19.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
17.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series663.0ms

Counts

4 → 12

Calls

4 calls:

164.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
164.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
164.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
170.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify40.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1082	1572
1	5002	1484

prune1.9s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 19.1b

localize73.0ms

Local error

Found 4 expressions with local error:

9.5b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.5b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.6b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.4b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

17.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
17.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
23.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
17.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series684.0ms

Counts

4 → 12

Calls

4 calls:

170.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
174.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
172.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
168.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify108.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (19.0ms)

Iter	Nodes	Cost
0	821	1572
1	4011	1452
2	5001	1452

prune2.0s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 19.1b

localize75.0ms

Local error

Found 4 expressions with local error:

9.5b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.5b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.5b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.6b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

21.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
17.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
17.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
17.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series687.0ms

Counts

4 → 12

Calls

4 calls:

169.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
172.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
169.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
176.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify84.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	560	1572
1	2710	1452
2	5001	1452

prune2.3s

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 19.1b

localize76.0ms

Local error

Found 4 expressions with local error:

8.9b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.5b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.6b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.4b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

17.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
17.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
17.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
17.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series680.0ms

Counts

4 → 12

Calls

4 calls:

171.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
168.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
169.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
171.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify43.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1082	1572
1	5002	1484

prune1.8s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 19.1b

regimes5.3s

Accuracy

-24.2% (11.2b remaining)

Error of 29.4b against oracle of 18.2b and baseline of 27.2b

bsearch4.3s

Steps

Iters	Range		Point
7	8.529097972037126e+173	2.1301022697507166e+175	2.3476362859135987e+174
9	6.094571674646366e+73	4.298344196918124e+81	2.3568162621410604e+81
9	524608580645.6391	5.633211154887592e+18	104834718982835.05
7	6.033788408596331e-43	1.4413841311059808e-40	1.1276651886158225e-41
7	6.127383290100134e-179	1.673671016334034e-177	1.510249851392259e-177
7	5.558530104121168e-240	5.25147172285647e-238	3.9152261080468464e-238
8	-4.6916346820479667e-66	-2.5539159508603336e-70	-1.390950727807777e-66

simplify6.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	221	402
1	237	402
2	237	402

end0.0ms

sample17.8s

Algorithm

intervals

Results

12.2s

72609×

body

valid