Details

analyze715.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0%	14

sample44.0ms

Algorithm

intervals

Results

19.0ms	54×	body	1280	valid
6.0ms	33×	body	640	valid
6.0ms	135×	body	80	valid
3.0ms	21×	body	320	valid
1.0ms	13×	body	160	valid

simplify543.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	5284	15

prune4.0ms

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.3b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
0.2b	(- 1.0 (* (tan x) (tan x)))
0.3b	(* (tan x) (tan x))
0.3b	(* (tan x) (tan x))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
18×	`pow1`
12×	`times-frac`
10×	`add-exp-log` `add-cbrt-cube`
8×	`tan-quot`
6×	`swap-sqr` `associate-r` `associate-l` `add-log-exp`
5×	`difference-of-squares`
4×	`associate-/l*`
3×	`associate-/r*`
2×	`pow2` `frac-times` `flip3--` `pow-plus` `associate-r/` `pow-prod-down` `associate-l/` `prod-exp` `associate-/r/` `pow-sqr` `*-commutative` `pow-prod-up` `flip--` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-sub` `div-exp` `clear-num` `flip-+` `div-inv`

Counts

4 → 104

Calls

4 calls:

15.0ms	(/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
3.0ms	(- 1.0 (* (tan x) (tan x)))
5.0ms	(* (tan x) (tan x))
7.0ms	(* (tan x) (tan x))

series66.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
9.0ms	(- 1.0 (* (tan x) (tan x)))
8.0ms	(* (tan x) (tan x))
18.0ms	(* (tan x) (tan x))

simplify55.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4951	1205
1	4951	1205

prune237.0ms

Filtered

82 candidates to 116 candidates (-41.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	104	12	116
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	105	12	117

Merged error: 0.0b

Counts

117 → 12

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ (tan x) (sqrt 1.0))
0.2b	(* (+ (tan x) (sqrt 1.0)) (- (sqrt 1.0) (tan x)))
0.2b	(- (sqrt 1.0) (tan x))
0.3b	(* (tan x) (tan x))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
13×	`pow1`
10×	`add-cube-cbrt`
9×	`associate-r`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
7×	`associate-l`
5×	`frac-times`
4×	`tan-quot` `flip3--` `flip3-+` `flip--` `flip-+` `difference-of-squares`
3×	`sub-neg` `associate-r/` `swap-sqr` `associate-l/`
2×	`pow-prod-down` `prod-exp` `sqrt-prod` `*-commutative` `cbrt-unprod` `distribute-lft-out` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `diff-log` `sum-log` `pow-sqr` `pow-prod-up`

Counts

4 → 86

Calls

4 calls:

5.0ms	(+ (tan x) (sqrt 1.0))
12.0ms	(* (+ (tan x) (sqrt 1.0)) (- (sqrt 1.0) (tan x)))
4.0ms	(- (sqrt 1.0) (tan x))
5.0ms	(* (tan x) (tan x))

series42.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(+ (tan x) (sqrt 1.0))
19.0ms	(* (+ (tan x) (sqrt 1.0)) (- (sqrt 1.0) (tan x)))
7.0ms	(- (sqrt 1.0) (tan x))
9.0ms	(* (tan x) (tan x))

simplify44.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5017	879

prune184.0ms

Filtered

70 candidates to 98 candidates (-40.0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	3	8	11
Picked	0	1	1
Done	0	0	0
Total	98	12	110

Merged error: 0.0b

Counts

110 → 12

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (+ (tan x) (sqrt 1.0)) (log (exp (- (sqrt 1.0) (tan x)))))
0.2b	(- (sqrt 1.0) (tan x))
0.3b	(* (tan x) (tan x))
0.3b	(exp (- (sqrt 1.0) (tan x)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
22×	`*-un-lft-identity`
14×	`pow1` `add-cube-cbrt`
13×	`associate-r`
12×	`exp-prod`
9×	`add-log-exp`
8×	`add-exp-log` `log-prod` `add-cbrt-cube`
7×	`associate-l` `log-pow`
6×	`difference-of-squares`
4×	`tan-quot` `distribute-rgt-in` `sub-neg` `distribute-lft-in`
3×	`swap-sqr` `exp-sum` `associate-*l/` `sqrt-prod` `distribute-lft-out--`
2×	`diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `rem-exp-log` `unswap-sqr`
1×	`pow2` `frac-times` `flip3--` `flip3-+` `pow-plus` `exp-diff` `associate-*r/` `pow-sqr` `pow-prod-up` `flip--` `flip-+` `distribute-lft-out`

Counts

4 → 95

Calls

4 calls:

14.0ms	(* (+ (tan x) (sqrt 1.0)) (log (exp (- (sqrt 1.0) (tan x)))))
4.0ms	(- (sqrt 1.0) (tan x))
5.0ms	(* (tan x) (tan x))
6.0ms	(exp (- (sqrt 1.0) (tan x)))

series48.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (+ (tan x) (sqrt 1.0)) (log (exp (- (sqrt 1.0) (tan x)))))
7.0ms	(- (sqrt 1.0) (tan x))
8.0ms	(* (tan x) (tan x))
15.0ms	(exp (- (sqrt 1.0) (tan x)))

simplify65.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4955	933
1	4955	933

prune209.0ms

Filtered

72 candidates to 107 candidates (-48.6%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	106	1	107
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	106	13	119

Merged error: 0.0b

Counts

119 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (+ (tan x) (sqrt 1.0)) (/ (- (* 1.0 (sqrt 1.0)) (pow (tan x) 3)) (+ 1.0 (* (tan x) (+ (tan x) (sqrt 1.0))))))
0.2b	(/ (- (* 1.0 (sqrt 1.0)) (pow (tan x) 3)) (+ 1.0 (* (tan x) (+ (tan x) (sqrt 1.0)))))
0.3b	(* (tan x) (tan x))
0.3b	(pow (tan x) 3)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
31×	`*-un-lft-identity`
29×	`add-cube-cbrt`
25×	`times-frac`
21×	`associate-r`
14×	`pow1` `add-exp-log` `add-cbrt-cube`
7×	`difference-cubes` `associate-l` `pow3`
5×	`tan-quot`
4×	`flip3-+` `associate-/r/` `flip-+` `associate-/l*` `add-log-exp`
3×	`frac-times` `unpow-prod-down` `pow-unpow` `cube-prod` `swap-sqr` `associate-l/` `prod-exp` `associate-/r` `cbrt-unprod` `unswap-sqr`
2×	`cbrt-undiv` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `div-inv` `associate-/l/`
1×	`cube-div` `pow2` `cube-mult` `pow-to-exp` `flip3--` `pow-pow` `frac-2neg` `pow-plus` `unpow3` `div-sub` `pow-exp` `clear-num` `pow-sqr` `pow-prod-up` `flip--` `distribute-lft-out` `rem-cube-cbrt` `sqr-pow`

Counts

4 → 130

Calls

4 calls:

17.0ms	(* (+ (tan x) (sqrt 1.0)) (/ (- (* 1.0 (sqrt 1.0)) (pow (tan x) 3)) (+ 1.0 (* (tan x) (+ (tan x) (sqrt 1.0))))))
10.0ms	(/ (- (* 1.0 (sqrt 1.0)) (pow (tan x) 3)) (+ 1.0 (* (tan x) (+ (tan x) (sqrt 1.0)))))
5.0ms	(* (tan x) (tan x))
3.0ms	(pow (tan x) 3)

series136.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(* (+ (tan x) (sqrt 1.0)) (/ (- (* 1.0 (sqrt 1.0)) (pow (tan x) 3)) (+ 1.0 (* (tan x) (+ (tan x) (sqrt 1.0))))))
50.0ms	(/ (- (* 1.0 (sqrt 1.0)) (pow (tan x) 3)) (+ 1.0 (* (tan x) (+ (tan x) (sqrt 1.0)))))
11.0ms	(* (tan x) (tan x))
12.0ms	(pow (tan x) 3)

simplify60.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4948	2760
1	4948	2760

prune339.0ms

Filtered

100 candidates to 142 candidates (-42.0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	139	3	142
Fresh	2	8	10
Picked	1	0	1
Done	1	1	2
Total	143	12	155

Merged error: 0.0b

Counts

155 → 12

regimes162.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	21
1	25	21

end0.0ms

sample1.0s

Algorithm

intervals

Results

403.0ms	1527×	body	1280	valid
226.0ms	1289×	body	640	valid
163.0ms	4215×	body	80	valid
80.0ms	635×	body	320	valid
29.0ms	334×	body	160	valid

Details

analyze715.0ms

sample44.0ms

simplify543.0ms

prune4.0ms

localize10.0ms

rewrite34.0ms

series66.0ms

simplify55.0ms

prune237.0ms

localize11.0ms

rewrite28.0ms

series42.0ms

simplify44.0ms

prune184.0ms

localize16.0ms

rewrite31.0ms

series48.0ms

simplify65.0ms

prune209.0ms

localize18.0ms

rewrite39.0ms

series136.0ms

simplify60.0ms

prune339.0ms

regimes162.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.0s

Profiling