Details

sample44.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
5.0ms	284×	pre	80	false
5.0ms	256×	pre	80	true

simplify32.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5117	11

prune10.0ms

Filtered

1 candidates to 1 candidates (0.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: 13.8b

Counts

2 → 2

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(sqrt (fabs (- 1 (* b (/ b (* a a))))))
0.2b	(* b (/ b (* a a)))
14.0b	(/ b (* a a))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-exp-log` `add-cbrt-cube`
14×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
7×	`times-frac` `associate-r`
6×	`pow1`
5×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `div-exp`
3×	`associate-l` `sqrt-prod` `associate-/l*` `add-log-exp`
2×	`div-inv` `unswap-sqr`
1×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `clear-num` `associate-/r` `*-commutative`

Counts

3 → 62

Calls

3 calls:

1.0ms	(sqrt (fabs (- 1 (* b (/ b (* a a))))))
8.0ms	(* b (/ b (* a a)))
5.0ms	(/ b (* a a))

series21.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(sqrt (fabs (- 1 (* b (/ b (* a a))))))
6.0ms	(* b (/ b (* a a)))
5.0ms	(/ b (* a a))

simplify47.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5267	492

prune106.0ms

Filtered

48 candidates to 71 candidates (-47.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	69	2	71
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	70	3	73

Merged error: 0b

Counts

73 → 3

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(sqrt (fabs (- 1 (pow (/ b a) 2))))
0.4b	(pow (/ b a) 2)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

13×	`unpow-prod-down`
12×	`add-sqr-sqrt`
11×	`add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
5×	`add-exp-log`
4×	`pow1`
3×	`pow-unpow` `sqrt-prod`
2×	`pow-exp` `add-cbrt-cube` `add-log-exp`
1×	`pow-to-exp` `rem-sqrt-square` `pow-pow` `sqrt-pow1` `pow1/2` `div-exp` `div-inv` `unpow2` `sqr-pow`

Counts

2 → 42

Calls

2 calls:

1.0ms	(sqrt (fabs (- 1 (pow (/ b a) 2))))
5.0ms	(pow (/ b a) 2)

series13.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(sqrt (fabs (- 1 (pow (/ b a) 2))))
4.0ms	(pow (/ b a) 2)

simplify35.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5367	388

prune68.0ms

Filtered

28 candidates to 48 candidates (-71.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	48	0	48
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	48	3	51

Merged error: 0b

Counts

51 → 3

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))
0.4b	(pow (/ b a) 2)
7.0b	(log (exp (pow (/ b a) 2)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

26×	`unpow-prod-down`
22×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
19×	`log-pow`
18×	`exp-prod` `times-frac`
6×	`pow1` `add-exp-log`
3×	`pow-unpow` `log-prod` `sqrt-prod` `add-cbrt-cube` `add-log-exp`
2×	`pow-exp` `div-inv` `unpow2` `sqr-pow`
1×	`pow-to-exp` `rem-sqrt-square` `pow-pow` `sqrt-pow1` `pow1/2` `div-exp` `rem-log-exp`

Counts

3 → 72

Calls

3 calls:

1.0ms	(sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))
5.0ms	(pow (/ b a) 2)
7.0ms	(log (exp (pow (/ b a) 2)))

series17.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))
4.0ms	(pow (/ b a) 2)
4.0ms	(log (exp (pow (/ b a) 2)))

simplify40.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5553	573

prune129.0ms

Filtered

56 candidates to 81 candidates (-44.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	81	3	84

Merged error: 0b

Counts

84 → 3

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.0b	(- (* a a) (* b b))
13.4b	(/ (- (* a a) (* b b)) (* a a))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `*-un-lft-identity`
5×	`add-log-exp`
4×	`pow1` `times-frac` `associate-/l*`
3×	`sqrt-prod` `difference-of-squares`
2×	`cbrt-undiv` `flip3--` `div-exp` `flip--` `associate-/l/`
1×	`sub-neg` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `diff-log` `div-sub` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv`

Counts

3 → 52

Calls

3 calls:

1.0ms	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
4.0ms	(- (* a a) (* b b))
8.0ms	(/ (- (* a a) (* b b)) (* a a))

series27.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
6.0ms	(- (* a a) (* b b))
9.0ms	(/ (- (* a a) (* b b)) (* a a))

simplify38.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5068	668

prune74.0ms

Filtered

43 candidates to 61 candidates (-41.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	61	0	61
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	61	3	64

Merged error: 0b

Counts

64 → 3

regimes258.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	9
1	10	9

end0.0ms

sample1.0s

Algorithm

intervals

Results

297.0ms	8000×	body	80	valid
150.0ms	8000×	pre	80	true
148.0ms	7875×	pre	80	false

Details

sample44.0ms

simplify32.0ms

prune10.0ms

localize8.0ms

rewrite16.0ms

series21.0ms

simplify47.0ms

prune106.0ms

localize8.0ms

rewrite8.0ms

series13.0ms

simplify35.0ms

prune68.0ms

localize12.0ms

rewrite16.0ms

series17.0ms

simplify40.0ms

prune129.0ms

localize8.0ms

rewrite15.0ms

series27.0ms

simplify38.0ms

prune74.0ms

regimes258.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling