Details

analyze91.0ms (9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
50%	12.5%	37.5%	5
50%	6.2%	43.8%	6
50%	3.1%	46.9%	7
50%	1.6%	48.5%	8
50%	0.8%	49.2%	9
50%	0.4%	49.6%	10
50.2%	0.2%	49.6%	11
50.2%	0.1%	49.7%	12
50.2%	0%	49.8%	13
50.2%	0%	49.8%	14

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample14.0ms (1.4%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify76.0ms (7.6%)

Algorithm

1×	egg-herbie

Rules

675×	`div-sub_binary64`
417×	`times-frac_binary64`
411×	`associate-/l*_binary64`
366×	`associate-/r*_binary64`
345×	`associate-l_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	19	9
2	45	9
3	86	9
4	180	9
5	392	9
6	1228	9
7	3373	9
8	4328	9
9	4683	9
10	4908	9

prune4.0ms (0.4%)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(exp.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize5.0ms (0.4%)

Local error

Found 1 expressions with local error:

0.0b	(exp.f64 (-.f64 (*.f64 x x) 1))

rewrite27.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`exp-prod_binary64`
4×	`add-sqr-sqrt_binary64` `*-un-lft-identity_binary64` `exp-sum_binary64` `add-log-exp_binary64`
3×	`add-cube-cbrt_binary64` `cancel-sign-sub-inv_binary64`
2×	`difference-of-squares_binary64` `rem-exp-log_binary64`
1×	`pow1_binary64` `difference-of-sqr-1_binary64` `exp-diff_binary64` `sub-neg_binary64` `diff-log_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`

Counts

1 → 20

Calls

1 calls:

6.0ms

(exp.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 211 to 132 computations (37.4% saved)

series15.0ms (1.5%)

Error

Counts

1 → 6

Calls

1 calls:

10.0ms

(exp.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 151 to 134 computations (11.3% saved)

simplify94.0ms (9.3%)

Algorithm

1×	egg-herbie

Rules

473×	`unswap-sqr_binary64`
413×	`associate-l_binary64`
387×	`distribute-rgt-out_binary64`
316×	`associate-r_binary64`
211×	`exp-sum_binary64`

Counts

26 → 19

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	49	306
1	92	283
2	194	273
3	551	268
4	2179	268
5	4881	268
6	4965	268
7	4924	268

prune13.0ms (1.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	18	1	19
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	2	20

Error

Counts

20 → 2

Alt Table

Status	Error	Program
✓	0.0b	(exp.f64 (-.f64 (*.f64 x x) 1))
▶	0.0b	(/.f64 (exp.f64 (*.f64 x x)) E.f64)

Compiler

Compiled 189 to 120 computations (36.5% saved)

localize7.0ms (0.7%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (exp.f64 (*.f64 x x)) E.f64)

rewrite20.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `times-frac_binary64` `*-un-lft-identity_binary64`
3×	`add-cbrt-cube_binary64` `associate-/l_binary64` `associate-/r_binary64`
2×	`div-exp_binary64` `add-exp-log_binary64`
1×	`pow1_binary64` `e-exp-1_binary64` `add-log-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `clear-num_binary64` `div-inv_binary64`

Counts

1 → 28

Calls

1 calls:

4.0ms

(/.f64 (exp.f64 (*.f64 x x)) E.f64)

Compiler

Compiled 372 to 89 computations (76.1% saved)

series16.0ms (1.6%)

Error

Counts

1 → 6

Calls

1 calls:

11.0ms

(/.f64 (exp.f64 (*.f64 x x)) E.f64)

Compiler

Compiled 147 to 114 computations (22.4% saved)

simplify66.0ms (6.5%)

Algorithm

1×	egg-herbie

Rules

475×	`times-frac_binary64`
445×	`unswap-sqr_binary64`
346×	`associate-/l*_binary64`
276×	`cancel-sign-sub-inv_binary64`
243×	`associate-l_binary64`

Counts

34 → 20

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	72	618
1	143	553
2	297	553
3	697	553
4	2868	553
5	4926	553

prune11.0ms (1.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

22 → 2

Alt Table

Status	Error	Program
	0.0b	(exp.f64 (-.f64 (*.f64 x x) 1))
	0.0b	(/.f64 (exp.f64 (*.f64 x x)) E.f64)

Compiler

Compiled 187 to 102 computations (45.5% saved)

regimes70.0ms (6.9%)

Accuracy

Total 0.0b remaining (38%)

Threshold costs 0.0b (38%)

Compiler

Compiled 481 to 355 computations (26.2% saved)

simplify3.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64` `exp-1-e_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	10	10
2	9	10

end1.0ms (0.1%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

sample476.0ms (47.2%)

Algorithm

1×

intervals

Results

245.0ms	8000×	body	128	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 31 to 23 computations (25.8% saved)

Details

analyze91.0ms (9%)

sample14.0ms (1.4%)

simplify76.0ms (7.6%)

prune4.0ms (0.4%)

localize5.0ms (0.4%)

rewrite27.0ms (2.6%)

series15.0ms (1.5%)

simplify94.0ms (9.3%)

prune13.0ms (1.3%)

localize7.0ms (0.7%)

rewrite20.0ms (2%)

series16.0ms (1.6%)

simplify66.0ms (6.5%)

prune11.0ms (1.1%)

regimes70.0ms (6.9%)

simplify3.0ms (0.3%)

end1.0ms (0.1%)

sample476.0ms (47.2%)

Profiling