Details

analyze906.0ms (19.1%)

Algorithm

1×

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%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
14%	83.4%	2.5%	11
18.7%	78.2%	3.1%	12
28.1%	65.5%	6.4%	13
30.7%	59.4%	9.9%	14

sample48.0ms (1%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	80	valid
11.0ms	196×	body	80	invalid

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	48	15
1	48	15

prune14.0ms (0.3%)

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

Counts

2 → 1

localize19.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b	(+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
20.5b	(/ (* z z) (* t t))
22.3b	(/ (* x x) (* y y))

rewrite23.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-exp-log` `add-cbrt-cube`
8×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
5×	`*-un-lft-identity` `add-log-exp`
3×	`pow1` `add-sqr-sqrt` `add-cube-cbrt`
2×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l`
1×	`+-commutative` `flip3-+` `frac-add` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 55

Calls

3 calls:

9.0ms	(+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
7.0ms	(/ (* x x) (* y y))
6.0ms	(/ (* z z) (* t t))

series38.0ms (0.8%)

Counts

3 → 9

Calls

3 calls:

24.0ms	(+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
9.0ms	(/ (* x x) (* y y))
5.0ms	(/ (* z z) (* t t))

simplify53.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4962	598
1	4962	598

prune114.0ms (2.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	56	8	64
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	8	65

Merged error: 3.5b

Counts

65 → 8

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ x y) (/ x y)) (/ (* z z) (* t t)))
0.3b	(* (/ x y) (/ x y))
20.5b	(/ (* z z) (* t t))

rewrite27.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
41×	`times-frac`
31×	`add-cube-cbrt` `*-un-lft-identity`
27×	`add-exp-log` `add-cbrt-cube`
13×	`swap-sqr` `associate-r` `associate-l`
10×	`pow1`
8×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
5×	`div-inv` `add-log-exp`
4×	`unswap-sqr`
3×	`frac-add`
2×	`frac-times` `associate-r/` `associate-l/`
1×	`+-commutative` `pow2` `frac-2neg` `flip3-+` `pow-plus` `pow-prod-down` `clear-num` `associate-/r` `sum-log` `pow-sqr` `-commutative` `pow-prod-up` `flip-+` `associate-/l*`

Counts

3 → 102

Calls

3 calls:

9.0ms	(* (/ x y) (/ x y))
8.0ms	(+ (* (/ x y) (/ x y)) (/ (* z z) (* t t)))
6.0ms	(/ (* z z) (* t t))

series36.0ms (0.8%)

Counts

3 → 9

Calls

3 calls:

26.0ms	(+ (* (/ x y) (/ x y)) (/ (* z z) (* t t)))
5.0ms	(/ (* z z) (* t t))
5.0ms	(* (/ x y) (/ x y))

simplify40.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5249	970

prune193.0ms (4.1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	99	12	111
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	103	16	119

Merged error: 0.1b

Counts

119 → 16

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ x y) (/ x y)) (* (/ z t) (/ z t)))
0.3b	(* (/ x y) (/ x y))
0.4b	(* (/ z t) (/ z t))

rewrite35.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

83×	`add-sqr-sqrt`
80×	`times-frac`
59×	`add-cube-cbrt` `*-un-lft-identity`
27×	`add-exp-log` `add-cbrt-cube`
26×	`swap-sqr` `associate-r` `associate-l`
17×	`pow1`
9×	`frac-add`
8×	`cbrt-undiv` `frac-times` `associate-r/` `div-exp` `associate-l/` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
5×	`add-log-exp`
2×	`pow2` `pow-plus` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

3 → 154

Calls

3 calls:

11.0ms	(* (/ x y) (/ x y))
9.0ms	(* (/ z t) (/ z t))
8.0ms	(+ (* (/ x y) (/ x y)) (* (/ z t) (/ z t)))

series34.0ms (0.7%)

Counts

3 → 9

Calls

3 calls:

24.0ms	(+ (* (/ x y) (/ x y)) (* (/ z t) (/ z t)))
5.0ms	(* (/ z t) (/ z t))
5.0ms	(* (/ x y) (/ x y))

simplify49.0ms (1%)

Algorithm

1×	egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4990	1511
1	4990	1511

prune250.0ms (5.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	154	9	163
Fresh	10	5	15
Picked	1	0	1
Done	0	0	0
Total	165	14	179

Merged error: 0.0b

Counts

179 → 14

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+ (* (/ x y) (/ x y)) (* (/ 1 t) (* z (/ z t))))
0.2b	(* z (/ z t))
0.3b	(* (/ x y) (/ x y))
4.6b	(* (/ 1 t) (* z (/ z t)))

rewrite39.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`add-sqr-sqrt`
60×	`add-exp-log`
59×	`times-frac`
47×	`add-cube-cbrt` `*-un-lft-identity`
42×	`add-cbrt-cube`
29×	`associate-l`
27×	`associate-r`
26×	`prod-exp`
18×	`pow1`
17×	`associate-*r/`
16×	`cbrt-unprod`
15×	`div-exp`
13×	`swap-sqr`
10×	`cbrt-undiv`
9×	`frac-add`
8×	`frac-times` `associate-*l/`
6×	`div-inv` `add-log-exp` `unswap-sqr`
5×	`pow-prod-down`
3×	`rec-exp` `1-exp` `*-commutative`
1×	`+-commutative` `pow2` `flip3-+` `pow-plus` `sum-log` `pow-sqr` `pow-prod-up` `flip-+`

Counts

4 → 164

Calls

4 calls:

9.0ms	(* (/ x y) (/ x y))
9.0ms	(* (/ 1 t) (* z (/ z t)))
9.0ms	(+ (* (/ x y) (/ x y)) (* (/ 1 t) (* z (/ z t))))
6.0ms	(* z (/ z t))

series43.0ms (0.9%)

Counts

4 → 12

Calls

4 calls:

28.0ms	(+ (* (/ x y) (/ x y)) (* (/ 1 t) (* z (/ z t))))
7.0ms	(* (/ 1 t) (* z (/ z t)))
5.0ms	(* (/ x y) (/ x y))
3.0ms	(* z (/ z t))

simplify37.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5132	1508

prune201.0ms (4.2%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	176	0	176
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	176	14	190

Merged error: 0.0b

Counts

190 → 14

regimes1.4s (28.8%)

Accuracy

Total 1.2b remaining (94.7%)

Threshold costs 0b (0%)

bsearch148.0ms (3.1%)

Steps

Iters	Range	Point
11	-9.419605850327734e-291	9.676208677109406e-301	3.849433641532173e-306
9	-1.657693800524803e-133	-3.5235815389146857e-140	-4.396223194186806e-140
9	-3.2923207499610326e+156	-2.844450547059883e+147	-1.342217695911771e+154

Iters

Range

Point

-9.419605850327734e-291

9.676208677109406e-301

3.849433641532173e-306

-1.657693800524803e-133

-3.5235815389146857e-140

-4.396223194186806e-140

-3.2923207499610326e+156

-2.844450547059883e+147

-1.342217695911771e+154

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	38	80
1	38	80

end0.0ms (0%)

sample995.0ms (21%)

Algorithm

1×

intervals

Results

361.0ms	8000×	body	80	valid
270.0ms	6037×	body	80	invalid

Details

analyze906.0ms (19.1%)

sample48.0ms (1%)

simplify6.0ms (0.1%)

prune14.0ms (0.3%)

localize19.0ms (0.4%)

rewrite23.0ms (0.5%)

series38.0ms (0.8%)

simplify53.0ms (1.1%)

prune114.0ms (2.4%)

localize9.0ms (0.2%)

rewrite27.0ms (0.6%)

series36.0ms (0.8%)

simplify40.0ms (0.8%)

prune193.0ms (4.1%)

localize8.0ms (0.2%)

rewrite35.0ms (0.7%)

series34.0ms (0.7%)

simplify49.0ms (1%)

prune250.0ms (5.3%)

localize11.0ms (0.2%)

rewrite39.0ms (0.8%)

series43.0ms (0.9%)

simplify37.0ms (0.8%)

prune201.0ms (4.2%)

regimes1.4s (28.8%)

bsearch148.0ms (3.1%)

simplify2.0ms (0%)

end0.0ms (0%)

sample995.0ms (21%)

Profiling