Details

sample42.0ms

Algorithm

intervals

Results

18.0ms

256×

body

valid

simplify47.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5130	13

prune11.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.0b

Counts

2 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ -1 (- (/ z y) (/ t (* 2.0 z)))))
0.0b	(- (/ z y) (/ t (* 2.0 z)))
0.7b	(/ -1 (- (/ z y) (/ t (* 2.0 z))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

39×	`add-sqr-sqrt`
26×	`*-un-lft-identity`
23×	`times-frac`
14×	`add-cube-cbrt`
10×	`difference-of-squares`
7×	`add-log-exp`
6×	`associate-/r*`
5×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out--`
3×	`pow1` `associate-/r/` `associate-/l*`
2×	`flip3--` `frac-sub` `flip--`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `sum-log` `flip-+` `div-inv` `distribute-lft-out`

Counts

3 → 70

Calls

3 calls:

14.0ms	(+ x (/ -1 (- (/ z y) (/ t (* 2.0 z)))))
9.0ms	(- (/ z y) (/ t (* 2.0 z)))
10.0ms	(/ -1 (- (/ z y) (/ t (* 2.0 z))))

series28.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(+ x (/ -1 (- (/ z y) (/ t (* 2.0 z)))))
6.0ms	(- (/ z y) (/ t (* 2.0 z)))
10.0ms	(/ -1 (- (/ z y) (/ t (* 2.0 z))))

simplify40.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5226	1248

prune122.0ms

Filtered

62 candidates to 79 candidates (-27.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	75	4	79
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	76	5	81

Merged error: 0.0b

Counts

81 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.7b	(/ 1 (* (cbrt (- (/ z y) (/ t (* z 2.0)))) (cbrt (- (/ z y) (/ t (* z 2.0))))))
18.4b	(cbrt (- (/ z y) (/ t (* z 2.0))))
18.4b	(cbrt (- (/ z y) (/ t (* z 2.0))))
18.4b	(cbrt (- (/ z y) (/ t (* z 2.0))))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

33×	`cbrt-div`
24×	`add-sqr-sqrt`
18×	`cbrt-prod`
15×	`add-exp-log` `*-un-lft-identity` `associate-/r/`
12×	`pow1`
11×	`flip3--` `frac-sub` `flip--`
9×	`frac-times` `add-cube-cbrt` `pow-flip` `pow1/3`
7×	`add-cbrt-cube`
6×	`times-frac` `difference-of-squares`
4×	`div-exp` `add-log-exp`
3×	`associate-r/` `associate-l/` `prod-exp` `associate-/l*` `distribute-lft-out--`
2×	`cbrt-undiv` `rec-exp` `1-exp` `pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-2neg` `pow-plus` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv` `inv-pow`

Counts

4 → 101

Calls

4 calls:

22.0ms	(/ 1 (* (cbrt (- (/ z y) (/ t (* z 2.0)))) (cbrt (- (/ z y) (/ t (* z 2.0))))))
8.0ms	(cbrt (- (/ z y) (/ t (* z 2.0))))
8.0ms	(cbrt (- (/ z y) (/ t (* z 2.0))))
8.0ms	(cbrt (- (/ z y) (/ t (* z 2.0))))

series99.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(/ 1 (* (cbrt (- (/ z y) (/ t (* z 2.0)))) (cbrt (- (/ z y) (/ t (* z 2.0))))))
22.0ms	(cbrt (- (/ z y) (/ t (* z 2.0))))
23.0ms	(cbrt (- (/ z y) (/ t (* z 2.0))))
22.0ms	(cbrt (- (/ z y) (/ t (* z 2.0))))

simplify47.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5361	1802

prune242.0ms

Filtered

83 candidates to 113 candidates (-36.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	112	1	113
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	112	6	118

Merged error: 0.0b

Counts

118 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (cbrt (/ -1 (pow (- (/ z y) (/ t (* z 2.0))) 3))))
0.2b	(pow (- (/ z y) (/ t (* z 2.0))) 3)
0.6b	(/ -1 (pow (- (/ z y) (/ t (* z 2.0))) 3))
26.9b	(cbrt (/ -1 (pow (- (/ z y) (/ t (* z 2.0))) 3)))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

146×	`add-sqr-sqrt`
124×	`times-frac`
100×	`*-un-lft-identity`
66×	`add-cube-cbrt`
61×	`cbrt-prod`
48×	`unpow-prod-down` `cube-prod`
32×	`difference-of-squares`
18×	`associate-/r*`
16×	`distribute-lft-out--`
10×	`add-exp-log`
9×	`cube-div`
8×	`cube-mult` `unpow3` `sqr-pow`
7×	`add-cbrt-cube`
6×	`associate-/r/` `add-log-exp`
5×	`pow1`
3×	`pow-unpow` `flip3--` `div-exp` `frac-sub` `flip--` `associate-/l*`
2×	`pow-to-exp` `pow-exp` `div-inv`
1×	`cbrt-undiv` `+-commutative` `cbrt-div` `pow-pow` `frac-2neg` `flip3-+` `pow1/3` `clear-num` `sum-log` `flip-+` `distribute-lft-out` `rem-cube-cbrt`

Counts

4 → 206

Calls

4 calls:

24.0ms	(+ x (cbrt (/ -1 (pow (- (/ z y) (/ t (* z 2.0))) 3))))
12.0ms	(pow (- (/ z y) (/ t (* z 2.0))) 3)
13.0ms	(/ -1 (pow (- (/ z y) (/ t (* z 2.0))) 3))
13.0ms	(cbrt (/ -1 (pow (- (/ z y) (/ t (* z 2.0))) 3)))

series72.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(+ x (cbrt (/ -1 (pow (- (/ z y) (/ t (* z 2.0))) 3))))
21.0ms	(pow (- (/ z y) (/ t (* z 2.0))) 3)
20.0ms	(/ -1 (pow (- (/ z y) (/ t (* z 2.0))) 3))
14.0ms	(cbrt (/ -1 (pow (- (/ z y) (/ t (* z 2.0))) 3)))

simplify49.0ms

Algorithm

egg-herbie

Counts

218 → 218

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5008	4549

prune264.0ms

Filtered

112 candidates to 218 candidates (-94.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	217	1	218
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	218	6	224

Merged error: 0.0b

Counts

224 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(/ 1 (pow (- (/ z y) (/ t (* z 2.0))) 2))
0.7b	(/ -1 (- (/ z y) (/ t (* z 2.0))))
17.4b	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
32.0b	(cbrt (/ 1 (pow (- (/ z y) (/ t (* z 2.0))) 2)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

133×	`add-sqr-sqrt`
116×	`times-frac`
91×	`*-un-lft-identity`
63×	`add-cube-cbrt`
62×	`cbrt-prod`
42×	`unpow-prod-down`
28×	`difference-of-squares`
17×	`associate-/r*`
15×	`add-exp-log`
14×	`distribute-lft-out--`
8×	`add-cbrt-cube`
7×	`div-exp` `unpow2` `sqr-pow`
6×	`associate-/r/` `associate-/l*`
4×	`pow1` `div-inv` `add-log-exp`
3×	`pow-to-exp` `rec-exp` `1-exp` `pow-exp`
2×	`cbrt-undiv` `cbrt-div` `flip3--` `frac-2neg` `pow1/3` `clear-num` `frac-sub` `flip--`
1×	`pow-flip` `inv-pow`

Counts

4 → 191

Calls

4 calls:

12.0ms	(/ 1 (pow (- (/ z y) (/ t (* z 2.0))) 2))
10.0ms	(/ -1 (- (/ z y) (/ t (* z 2.0))))
13.0ms	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
12.0ms	(cbrt (/ 1 (pow (- (/ z y) (/ t (* z 2.0))) 2)))

series89.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(/ 1 (pow (- (/ z y) (/ t (* z 2.0))) 2))
8.0ms	(/ -1 (- (/ z y) (/ t (* z 2.0))))
35.0ms	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
33.0ms	(cbrt (/ 1 (pow (- (/ z y) (/ t (* z 2.0))) 2)))

simplify60.0ms

Algorithm

egg-herbie

Counts

203 → 203

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5247	3949

prune376.0ms

Filtered

127 candidates to 203 candidates (-59.8%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	203	0	203
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	203	6	209

Merged error: 0.0b

Counts

209 → 6

regimes467.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	13
1	14	13

end0.0ms

sample757.0ms

Algorithm

intervals

Results

395.0ms

8000×

body

valid

Details

sample42.0ms

simplify47.0ms

prune11.0ms

localize9.0ms

rewrite35.0ms

series28.0ms

simplify40.0ms

prune122.0ms

localize16.0ms

rewrite50.0ms

series99.0ms

simplify47.0ms

prune242.0ms

localize13.0ms

rewrite73.0ms

series72.0ms

simplify49.0ms

prune264.0ms

localize17.0ms

rewrite56.0ms

series89.0ms

simplify60.0ms

prune376.0ms

regimes467.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample757.0ms

Profiling