Details

sample647.0ms

Algorithm

intervals

Results

425.0ms

2559×

body

valid

simplify48.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: 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)))

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

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

series680.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1079	1572
1	5002	1484

prune2.0s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 21.3b

localize66.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)))

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

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

series520.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify110.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 1 (23.0ms)

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

prune1.6s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 21.3b

localize69.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.4b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
11.8b	(* (- (* x y2) (* z y3)) (- (* y1 a)))

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

16.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
18.0ms	(* (- (* x y2) (* z y3)) (* y0 c))
16.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
11.0ms	(* (- (* x y2) (* z y3)) (- (* y1 a)))

series522.0ms

Counts

4 → 12

Calls

4 calls:

168.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
94.0ms	(* (- (* x y2) (* z y3)) (* y0 c))
165.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
95.0ms	(* (- (* x y2) (* z y3)) (- (* y1 a)))

simplify110.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 1 (22.0ms)

Iter	Nodes	Cost
0	815	1155
1	3988	1038
2	5001	1038

prune1.6s

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 21.3b

localize74.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)))

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

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

series529.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify111.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 1 (22.0ms)

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

prune1.5s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 21.3b

regimes5.1s

Accuracy

-25% (10.9b remaining)

Error of 29.8b against oracle of 18.9b and baseline of 27.6b

bsearch2.6s

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

simplify7.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	197	321
1	205	321
2	206	321
3	206	321

end0.0ms

sample18.0s

Algorithm

intervals

Results

12.3s

74321×

body

valid