Details

sample33.0ms

Algorithm

intervals

Results

10.0ms

330×

body

valid

simplify36.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	733	9
1	733	9

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: 0.1b

Counts

2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ (* y (- z x)) t))
0.0b	(* y (- z x))
6.6b	(/ (* y (- z x)) t)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
5×	`pow1` `associate-r` `add-log-exp`
4×	`associate-*r/`
3×	`times-frac` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `div-exp` `prod-exp` `flip--` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 61

Calls

3 calls:

5.0ms	(+ x (/ (* y (- z x)) t))
7.0ms	(* y (- z x))
7.0ms	(/ (* y (- z x)) t)

series31.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(+ x (/ (* y (- z x)) t))
7.0ms	(* y (- z x))
12.0ms	(/ (* y (- z x)) t)

simplify41.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5612	588

prune85.0ms

Filtered

45 candidates to 70 candidates (-55.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	64	6	70
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	64	8	72

Merged error: 0.0b

Counts

72 → 8

localize10.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt t)
0.7b	(cbrt t)
0.7b	(cbrt t)
5.4b	(* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-sqr-sqrt`
40×	`times-frac`
38×	`*-un-lft-identity`
34×	`associate-r`
26×	`cbrt-prod` `add-cube-cbrt`
25×	`add-exp-log`
18×	`add-cbrt-cube`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp` `associate-l`
6×	`pow1` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
4×	`add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 104

Calls

4 calls:

1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)
20.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))

series91.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt t)
22.0ms	(cbrt t)
23.0ms	(cbrt t)
22.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))

simplify64.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4938	1097
1	4938	1097

prune130.0ms

Filtered

77 candidates to 116 candidates (-50.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	115	9	124

Merged error: 0.0b

Counts

124 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt y)
0.7b	(cbrt y)
0.8b	(* (/ (- z x) (cbrt t)) (/ (cbrt y) (cbrt t)))
1.6b	(* (/ (* (cbrt y) (cbrt y)) (cbrt t)) (* (/ (- z x) (cbrt t)) (/ (cbrt y) (cbrt t))))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

115×	`add-sqr-sqrt`
94×	`times-frac`
85×	`add-exp-log`
77×	`cbrt-prod`
63×	`*-un-lft-identity`
51×	`add-cube-cbrt`
44×	`associate-l`
41×	`associate-r` `add-cbrt-cube`
36×	`prod-exp` `cbrt-unprod`
26×	`cbrt-undiv` `div-exp`
15×	`unswap-sqr`
11×	`pow1`
6×	`frac-times` `associate-*r/` `distribute-lft-out--` `difference-of-squares`
4×	`pow-prod-down` `associate-*l/` `add-log-exp`
3×	`div-inv`
2×	`pow1/3` `*-commutative`

Counts

4 → 189

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
35.0ms	(* (/ (- z x) (cbrt t)) (/ (cbrt y) (cbrt t)))
20.0ms	(* (/ (* (cbrt y) (cbrt y)) (cbrt t)) (* (/ (- z x) (cbrt t)) (/ (cbrt y) (cbrt t))))

series102.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt y)
25.0ms	(cbrt y)
41.0ms	(* (/ (- z x) (cbrt t)) (/ (cbrt y) (cbrt t)))
13.0ms	(* (/ (* (cbrt y) (cbrt y)) (cbrt t)) (* (/ (- z x) (cbrt t)) (/ (cbrt y) (cbrt t))))

simplify79.0ms

Algorithm

egg-herbie

Counts

201 → 201

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	6475	2722

prune170.0ms

Filtered

122 candidates to 201 candidates (-64.8%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	199	2	201
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	200	10	210

Merged error: 0b

Counts

210 → 10

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ 1 (/ t (* y (- z x)))))
0.0b	(* y (- z x))
0.3b	(/ 1 (/ t (* y (- z x))))
6.6b	(/ t (* y (- z x)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

42×	`times-frac`
32×	`add-exp-log`
31×	`*-un-lft-identity`
30×	`add-sqr-sqrt`
26×	`add-cube-cbrt`
20×	`add-cbrt-cube`
14×	`div-exp`
12×	`associate-*r/`
11×	`associate-/r/`
10×	`associate-/r*`
7×	`pow1` `cbrt-undiv` `div-inv`
6×	`flip3--` `flip--` `associate-/l*` `add-log-exp`
5×	`associate-r` `prod-exp`
3×	`rec-exp` `1-exp` `associate-l` `cbrt-unprod`
2×	`distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `clear-num` `distribute-lft-out`
1×	`+-commutative` `pow-flip` `flip3-+` `pow-prod-down` `sum-log` `*-commutative` `flip-+` `distribute-lft-out--` `inv-pow` `difference-of-squares` `unswap-sqr`

Counts

4 → 126

Calls

4 calls:

12.0ms	(+ x (/ 1 (/ t (* y (- z x)))))
7.0ms	(* y (- z x))
10.0ms	(/ 1 (/ t (* y (- z x))))
7.0ms	(/ t (* y (- z x)))

series45.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(+ x (/ 1 (/ t (* y (- z x)))))
7.0ms	(* y (- z x))
13.0ms	(/ 1 (/ t (* y (- z x))))
13.0ms	(/ t (* y (- z x)))

simplify46.0ms

Algorithm

egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4994	1354
1	4994	1354

prune110.0ms

Filtered

82 candidates to 138 candidates (-68.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	137	1	138
Fresh	3	3	6
Picked	1	0	1
Done	1	2	3
Total	142	6	148

Merged error: 0b

Counts

148 → 6

regimes353.0ms

Accuracy

36.8% (1.3b remaining)

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

bsearch47.0ms

Steps

Iters	Range		Point
11	2.055497538512222e-178	2.2074451282164408e-153	1.1367150419428766e-154
8	-5.228743484131343e-194	-1.8613383865246767e-197	-3.2274220469820457e-196

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	43
1	42	43

end0.0ms

sample807.0ms

Algorithm

intervals

Results

321.0ms

10777×

body

valid

Details

sample33.0ms

simplify36.0ms

prune10.0ms

localize7.0ms

rewrite21.0ms

series31.0ms

simplify41.0ms

prune85.0ms

localize10.0ms

rewrite28.0ms

series91.0ms

simplify64.0ms

prune130.0ms

localize15.0ms

rewrite69.0ms

series102.0ms

simplify79.0ms

prune170.0ms

localize8.0ms

rewrite40.0ms

series45.0ms

simplify46.0ms

prune110.0ms

regimes353.0ms

bsearch47.0ms

simplify2.0ms

end0.0ms

sample807.0ms

Profiling