Details

analyze433.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	68.6%	31.4%	5
0%	65.5%	34.5%	6
0%	59.2%	40.8%	7
0%	51.4%	48.6%	8
0%	41.3%	58.7%	9
0%	28.4%	71.6%	10
2.3%	22.3%	75.4%	11
2.3%	21%	76.7%	12
2.7%	18%	79.3%	13
2.7%	16.4%	80.8%	14

sample46.0ms

Algorithm

intervals

Results

19.0ms	256×	body	80	valid
9.0ms	138×	body	80	nan

simplify95.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	5198	16

prune18.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: 0.2b

Counts

2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (- a 0.5) (log t)) t)
0.1b	(* (- a 0.5) (log t))
0.1b	(+ (log (+ x y)) (+ (log z) (- (* (- a 0.5) (log t)) t)))
0.1b	(+ (log z) (- (* (- a 0.5) (log t)) t))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

32×	`*-un-lft-identity`
25×	`log-prod`
18×	`add-sqr-sqrt`
14×	`add-cube-cbrt`
13×	`pow1` `distribute-lft-out` `add-log-exp`
12×	`associate--l+`
9×	`distribute-rgt-in` `distribute-lft-in`
8×	`associate-+r+`
7×	`associate-+l+` `sum-log` `log-pow`
6×	`add-exp-log` `add-cbrt-cube`
5×	`associate-l`
4×	`associate-r`
3×	`associate-+r-` `flip3-+` `diff-log` `flip-+`
2×	`+-commutative` `associate-+l-` `sub-neg` `log-div` `flip3--` `associate-*l/` `flip--`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 98

Calls

4 calls:

7.0ms	(- (* (- a 0.5) (log t)) t)
7.0ms	(* (- a 0.5) (log t))
14.0ms	(+ (log (+ x y)) (+ (log z) (- (* (- a 0.5) (log t)) t)))
9.0ms	(+ (log z) (- (* (- a 0.5) (log t)) t))

series89.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (* (- a 0.5) (log t)) t)
9.0ms	(* (- a 0.5) (log t))
50.0ms	(+ (log (+ x y)) (+ (log z) (- (* (- a 0.5) (log t)) t)))
22.0ms	(+ (log z) (- (* (- a 0.5) (log t)) t))

simplify60.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5038	1469

prune184.0ms

Filtered

82 candidates to 110 candidates (-34.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	102	8	110
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	104	8	112

Merged error: 0.0b

Counts

112 → 8

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ x y)) (cbrt (+ x y)))
0.5b	(cbrt (+ x y))
0.5b	(cbrt (+ x y))
0.5b	(cbrt (+ x y))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

9.0ms	(* (cbrt (+ x y)) (cbrt (+ x y)))
3.0ms	(cbrt (+ x y))
3.0ms	(cbrt (+ x y))
3.0ms	(cbrt (+ x y))

series128.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(* (cbrt (+ x y)) (cbrt (+ x y)))
29.0ms	(cbrt (+ x y))
29.0ms	(cbrt (+ x y))
32.0ms	(cbrt (+ x y))

simplify42.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4881	941
1	4881	941

prune168.0ms

Filtered

75 candidates to 107 candidates (-42.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	107	8	115

Merged error: 0.0b

Counts

115 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ (+ (log z) (* (- a 0.5) (* 2 (log (cbrt t))))) (- (* (- a 0.5) (log (cbrt t))) t))
0.2b	(+ (log z) (* (- a 0.5) (* 2 (log (cbrt t)))))
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

39×	`log-prod`
37×	`associate-+r+`
30×	`distribute-rgt-in` `distribute-lft-in`
24×	`cbrt-prod`
21×	`*-un-lft-identity`
19×	`add-sqr-sqrt` `add-cube-cbrt`
15×	`add-log-exp`
12×	`associate--l+`
7×	`sum-log`
4×	`pow1` `add-exp-log` `associate-+l+` `flip3-+` `frac-add` `add-cbrt-cube` `flip-+`
2×	`+-commutative` `flip3--` `pow1/3` `diff-log` `flip--`
1×	`associate-+r-` `sub-neg` `distribute-lft-out`

Counts

4 → 94

Calls

4 calls:

14.0ms	(+ (+ (log z) (* (- a 0.5) (* 2 (log (cbrt t))))) (- (* (- a 0.5) (log (cbrt t))) t))
7.0ms	(+ (log z) (* (- a 0.5) (* 2 (log (cbrt t)))))
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series145.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(+ (+ (log z) (* (- a 0.5) (* 2 (log (cbrt t))))) (- (* (- a 0.5) (log (cbrt t))) t))
58.0ms	(+ (log z) (* (- a 0.5) (* 2 (log (cbrt t)))))
21.0ms	(cbrt t)
23.0ms	(cbrt t)

simplify46.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4990	1695
1	4990	1695

prune198.0ms

Filtered

86 candidates to 106 candidates (-23.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	104	2	106
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	106	8	114

Merged error: 0.0b

Counts

114 → 8

localize30.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ (+ (log z) (* (- a 0.5) (* 2 (log (cbrt t))))) (- (* (- a 0.5) (log (pow t 1/3))) t))
0.2b	(+ (log z) (* (- a 0.5) (* 2 (log (cbrt t)))))
0.6b	(cbrt t)
5.1b	(pow t 1/3)

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

41×	`log-prod`
39×	`associate-+r+`
31×	`distribute-rgt-in` `distribute-lft-in`
22×	`*-un-lft-identity`
20×	`add-sqr-sqrt` `add-cube-cbrt`
15×	`cbrt-prod` `add-log-exp`
14×	`associate--l+`
9×	`unpow-prod-down`
7×	`sum-log`
5×	`pow1` `add-exp-log`
4×	`associate-+l+` `flip3-+` `frac-add` `add-cbrt-cube` `flip-+`
3×	`pow-unpow` `sqr-pow`
2×	`+-commutative` `flip3--` `diff-log` `flip--`
1×	`pow-to-exp` `associate-+r-` `sub-neg` `pow-pow` `unpow1/3` `pow1/3` `pow-exp` `distribute-lft-out`

Counts

4 → 103

Calls

4 calls:

14.0ms	(+ (+ (log z) (* (- a 0.5) (* 2 (log (cbrt t))))) (- (* (- a 0.5) (log (pow t 1/3))) t))
7.0ms	(+ (log z) (* (- a 0.5) (* 2 (log (cbrt t)))))
1.0ms	(cbrt t)
2.0ms	(pow t 1/3)

series157.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(+ (+ (log z) (* (- a 0.5) (* 2 (log (cbrt t))))) (- (* (- a 0.5) (log (pow t 1/3))) t))
59.0ms	(+ (log z) (* (- a 0.5) (* 2 (log (cbrt t)))))
20.0ms	(cbrt t)
19.0ms	(pow t 1/3)

simplify41.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5592	1685

prune184.0ms

Filtered

87 candidates to 115 candidates (-32.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	115	0	115
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	115	8	123

Merged error: 0.0b

Counts

123 → 8

regimes990.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	28
1	42	28

end0.0ms

sample1.3s

Algorithm

intervals

Results

625.0ms	8000×	body	80	valid
299.0ms	4342×	body	80	nan
2.0ms	33×	body	80	invalid

Details

analyze433.0ms

sample46.0ms

simplify95.0ms

prune18.0ms

localize16.0ms

rewrite40.0ms

series89.0ms

simplify60.0ms

prune184.0ms

localize22.0ms

rewrite21.0ms

series128.0ms

simplify42.0ms

prune168.0ms

localize21.0ms

rewrite27.0ms

series145.0ms

simplify46.0ms

prune198.0ms

localize30.0ms

rewrite31.0ms

series157.0ms

simplify41.0ms

prune184.0ms

regimes990.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.3s

Profiling