Details

sample1.0s

Algorithm

intervals

Results

805.0ms

2559×

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

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.1b

localize64.0ms

Local error

Found 4 expressions with local error:

10.2b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
11.4b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
11.8b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
11.9b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
17.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
17.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
17.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series404.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify39.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1079	1572
1	5002	1484

prune4.5s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 21.3b

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`flip3--` `flip--`
13×	`associate-r`
12×	`associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity`
8×	`frac-times` `associate-*l/`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
3×	`unswap-sqr`
1×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `distribute-rgt-neg-out`

Counts

4 → 104

Calls

4 calls:

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

series183.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify107.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	828	1155
1	4017	1038
2	5002	1038

prune3.9s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 21.3b

localize63.0ms

Local error

Found 4 expressions with local error:

10.1b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.2b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
11.4b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
11.9b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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 j) (* z k)) (- (* y0 b) (* y1 i)))
17.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
17.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
18.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series234.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify42.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5001	1484

prune5.0s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 19.1b

localize72.0ms

Local error

Found 4 expressions with local error:

10.2b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
11.3b	(* (- (* x y2) (* z y3)) (* y0 c))
11.8b	(* (- (* x y2) (* z y3)) (- (* y1 a)))
11.8b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`flip3--` `flip--`
13×	`associate-r`
12×	`associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity`
8×	`frac-times` `associate-*l/`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
3×	`unswap-sqr`
1×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `distribute-rgt-neg-out`

Counts

4 → 104

Calls

4 calls:

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

series185.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
31.0ms	(* (- (* x y2) (* z y3)) (* y0 c))
35.0ms	(* (- (* x y2) (* z y3)) (- (* y1 a)))
60.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify107.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	817	1155
1	3990	1038
2	5001	1038

prune3.7s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 19.1b

regimes14.2s

Accuracy

-19.4% (13.0b remaining)

Error of 29.8b against oracle of 16.9b and baseline of 27.7b

bsearch2.4s

Steps

Iters	Range		Point
6	1.0015667836353854e+178	6.440204042696942e+178	1.0886522815312051e+178
6	5.6555232259943984e+47	2.395744713030033e+48	6.9091816760564224e+47
6	4.3933789303851326e-29	3.6736313675055683e-28	1.462219132311439e-28
9	2.0346597664345637e-287	5.218601611361272e-279	6.434993220167568e-284
6	-3.8281331339356916e-10	-3.9876103289417276e-11	-3.7685787262763295e-10

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	180	306
1	182	306
2	182	306

end0.0ms

sample29.4s

Algorithm

intervals

Results

23.5s

74321×

body

valid