Details

sample39.0ms

Algorithm

intervals

Results

21.0ms

358×

body

valid

simplify76.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	34	8
1	83	8
2	220	8
3	384	8
4	455	8
5	563	8
6	586	8
7	677	8
8	902	8
9	1322	8
10	1322	8

prune3.0ms

Filtered

1 candidates to 0 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: 6.6b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
0.2b	(* (* y 9.0) z)
0.7b	(* (* a 27.0) b)
8.6b	(* (* (* y 9.0) z) t)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`associate-r` `add-log-exp`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
3×	`associate-l` `*-commutative`
2×	`associate-+l+` `sum-log`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `flip-+`

Counts

4 → 72

Calls

4 calls:

6.0ms	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
5.0ms	(* (* y 9.0) z)
5.0ms	(* (* a 27.0) b)
7.0ms	(* (* (* y 9.0) z) t)

series208.0ms

Counts

4 → 12

Calls

4 calls:

143.0ms	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
17.0ms	(* (* y 9.0) z)
20.0ms	(* (* a 27.0) b)
28.0ms	(* (* (* y 9.0) z) t)

simplify56.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	370	455
1	1919	383
2	5002	383

prune175.0ms

Filtered

84 candidates to 49 candidates (58.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	77	7	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	78	7	85

Merged error: 0.1b

Counts

85 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x 2.0) (* (* y 9.0) (* z t)))
0.0b	(+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b))
0.7b	(* (* a 27.0) b)
6.4b	(* (* y 9.0) (* z t))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

21×	`pow1` `add-exp-log` `add-cbrt-cube`
11×	`pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`associate-r`
2×	`sub-neg` `associate-+l+` `diff-log` `associate-l` `sum-log` `*-commutative`
1×	`+-commutative` `associate-+l-` `flip3--` `flip3-+` `flip--` `flip-+`

Counts

4 → 67

Calls

4 calls:

3.0ms	(- (* x 2.0) (* (* y 9.0) (* z t)))
6.0ms	(+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b))
5.0ms	(* (* a 27.0) b)
6.0ms	(* (* y 9.0) (* z t))

series264.0ms

Counts

4 → 12

Calls

4 calls:

70.0ms	(- (* x 2.0) (* (* y 9.0) (* z t)))
145.0ms	(+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b))
20.0ms	(* (* a 27.0) b)
28.0ms	(* (* y 9.0) (* z t))

simplify61.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	385	495
1	1778	438
2	5001	438

prune174.0ms

Filtered

79 candidates to 49 candidates (62.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	76	3	79
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	78	8	86

Merged error: 0.0b

Counts

86 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x 2.0) (* (* y 9.0) (* z t)))
0.0b	(+ (- (* x 2.0) (* (* y 9.0) (* z t))) (pow (* 27.0 (* a b)) 1))
0.3b	(* 27.0 (* a b))
6.4b	(* (* y 9.0) (* z t))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

21×	`pow1` `add-exp-log` `add-cbrt-cube`
11×	`pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
7×	`*-un-lft-identity`
5×	`add-sqr-sqrt` `add-cube-cbrt`
4×	`associate-l`
2×	`sub-neg` `associate-+l+` `diff-log` `associate-r` `sum-log` `*-commutative`
1×	`+-commutative` `associate-+l-` `flip3--` `flip3-+` `flip--` `flip-+` `distribute-lft-out`

Counts

4 → 68

Calls

4 calls:

3.0ms	(- (* x 2.0) (* (* y 9.0) (* z t)))
8.0ms	(+ (- (* x 2.0) (* (* y 9.0) (* z t))) (pow (* 27.0 (* a b)) 1))
5.0ms	(* 27.0 (* a b))
6.0ms	(* (* y 9.0) (* z t))

series265.0ms

Counts

4 → 12

Calls

4 calls:

70.0ms	(- (* x 2.0) (* (* y 9.0) (* z t)))
148.0ms	(+ (- (* x 2.0) (* (* y 9.0) (* z t))) (pow (* 27.0 (* a b)) 1))
20.0ms	(* 27.0 (* a b))
27.0ms	(* (* y 9.0) (* z t))

simplify54.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	378	516
1	1592	454
2	5002	451

prune185.0ms

Filtered

80 candidates to 49 candidates (61.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	79	1	80
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	79	9	88

Merged error: 0.0b

Counts

88 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x 2.0) (* (* y 9.0) (* z t))) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* a b))) 1))
0.2b	(* (sqrt 27.0) (* a b))
0.2b	(* (sqrt 27.0) (* (sqrt 27.0) (* a b)))
6.4b	(* (* y 9.0) (* z t))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

30×	`pow1` `add-exp-log` `add-cbrt-cube`
17×	`pow-prod-down` `prod-exp` `cbrt-unprod`
13×	`associate-l`
10×	`*-un-lft-identity`
9×	`add-log-exp`
8×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`sqrt-prod`
3×	`associate-r` `*-commutative`
2×	`associate-+l+` `sum-log`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `flip-+` `distribute-lft-out`

Counts

4 → 83

Calls

4 calls:

11.0ms	(+ (- (* x 2.0) (* (* y 9.0) (* z t))) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* a b))) 1))
6.0ms	(* (sqrt 27.0) (* a b))
9.0ms	(* (sqrt 27.0) (* (sqrt 27.0) (* a b)))
6.0ms	(* (* y 9.0) (* z t))

series410.0ms

Counts

4 → 12

Calls

4 calls:

263.0ms	(+ (- (* x 2.0) (* (* y 9.0) (* z t))) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* a b))) 1))
44.0ms	(* (sqrt 27.0) (* a b))
78.0ms	(* (sqrt 27.0) (* (sqrt 27.0) (* a b)))
25.0ms	(* (* y 9.0) (* z t))

simplify56.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	399	640
1	1785	491
2	5002	487

prune201.0ms

Filtered

95 candidates to 54 candidates (56.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	94	1	95
Fresh	1	6	7
Picked	0	1	1
Done	1	0	1
Total	96	8	104

Merged error: 0.0b

Counts

104 → 8

regimes809.0ms

Accuracy

76.9% (0.8b remaining)

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

bsearch159.0ms

Steps

Iters	Range		Point
11	1.0086206066055423e-94	4.619144123187631e-74	1.6048558416687092e-74
6	-1.055682589569592	-0.1213939224205488	-0.33218242866251996

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	20
1	53	20

end0.0ms

sample974.0ms

Algorithm

intervals

Results

604.0ms

11045×

body

valid

Details

sample39.0ms

simplify76.0ms

prune3.0ms

localize13.0ms

rewrite24.0ms

series208.0ms

simplify56.0ms

prune175.0ms

localize13.0ms

rewrite22.0ms

series264.0ms

simplify61.0ms

prune174.0ms

localize18.0ms

rewrite24.0ms

series265.0ms

simplify54.0ms

prune185.0ms

localize17.0ms

rewrite35.0ms

series410.0ms

simplify56.0ms

prune201.0ms

regimes809.0ms

bsearch159.0ms

simplify2.0ms

end0.0ms

sample974.0ms

Profiling