Details

analyze6.0ms (0.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
87.5%	12.5%	0%	4
93.7%	6.2%	0%	5
96.8%	3.1%	0%	6
98.4%	1.6%	0%	7
99.2%	0.8%	0%	8
99.6%	0.4%	0%	9
99.8%	0.2%	0%	10
99.9%	0.1%	0%	11
99.9%	0%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

sample60.0ms (4.9%)

Algorithm

1×

intervals

Results

40.0ms	127×	body	1280	valid
9.0ms	129×	body	80	valid

simplify10.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	140	8
1	140	8

prune7.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 4.9b

Counts

2 → 1

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.2b	(* (/ 1.0 x) (fabs x))
5.1b	(- 1 (* (/ 1.0 x) (fabs x)))

rewrite10.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`associate-l`
10×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`associate-r`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `sub-neg` `flip3--` `diff-log` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `flip--` `div-inv`

Counts

2 → 43

Calls

2 calls:

5.0ms	(* (/ 1.0 x) (fabs x))
3.0ms	(- 1 (* (/ 1.0 x) (fabs x)))

series10.0ms (0.8%)

Counts

2 → 6

Calls

2 calls:

6.0ms	(- 1 (* (/ 1.0 x) (fabs x)))
4.0ms	(* (/ 1.0 x) (fabs x))

simplify38.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5299	425

prune82.0ms (6.7%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	1	50

Merged error: 0b

Counts

50 → 1

localize5.0ms (0.4%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune2.0ms (0.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Merged error: 0b

Counts

1 → 1

simplify1.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	8
1	41	8

end0.0ms (0%)

sample995.0ms (80.6%)

Algorithm

1×

intervals

Results

729.0ms	4001×	body	1280	valid
162.0ms	3999×	body	80	valid

Details

analyze6.0ms (0.5%)

sample60.0ms (4.9%)

simplify10.0ms (0.8%)

prune7.0ms (0.5%)

localize5.0ms (0.4%)

rewrite10.0ms (0.8%)

series10.0ms (0.8%)

simplify38.0ms (3.1%)

prune82.0ms (6.7%)

localize5.0ms (0.4%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify2.0ms (0.2%)

prune2.0ms (0.2%)

simplify1.0ms (0.1%)

end0.0ms (0%)

sample995.0ms (80.6%)

Profiling