Details

analyze42.0ms (1.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
62.4%	37.5%	0.1%	4
68.7%	31.2%	0.1%	5
68.7%	18.7%	12.6%	6
68.7%	17.2%	14.1%	7
68.7%	10.1%	21.2%	8
68.7%	9%	22.3%	9
68.7%	5.3%	26%	10
68.7%	4.6%	26.7%	11
68.7%	2.7%	28.6%	12
68.7%	2.3%	29%	13
68.7%	1.4%	30%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample790.0ms (25.9%)

Results

760.0ms	8256×	body	128	valid
3.0ms	30×	body	128	invalid

Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	8	13
2	8	13

prune1.0ms (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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 30 to 18 computations (40% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f64 b)
✓	0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
✓	0.0b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

series33.0ms (1.1%)

Counts

3 → 52

Calls

3 calls:

27.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
4.0ms	(+.f64 (exp.f64 a) (exp.f64 b))
1.0ms	(exp.f64 b)

rewrite11.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
14×	`add-cube-cbrt_binary64`
12×	`times-frac_binary64`
6×	`add-log-exp_binary64`

Counts

3 → 65

Calls

3 calls:

5.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
3.0ms	(+.f64 (exp.f64 a) (exp.f64 b))
1.0ms	(exp.f64 b)

simplify63.0ms (2%)

Algorithm

1×	egg-herbie

Rules

537×	`fma-def_binary64`
536×	`times-frac_binary64`
389×	`associate-/l*_binary64`
245×	`associate-/r*_binary64`
241×	`associate--l+_binary64`

Counts

117 → 129

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	187	2085
1	478	1971
2	1455	1953
3	4967	1953

prune117.0ms (3.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	128	2	130

Error

Counts

130 → 2

Alt Table

Status	Error	Program
	20.6b	(-.f64 (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))) (/.f64 (*.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))
▶	0.0b	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))

Compiler

Compiled 2516 to 948 computations (62.3% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))
	0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
✓	0.2b	(-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))
✓	3.2b	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

series890.0ms (29.1%)

Counts

3 → 72

Calls

3 calls:

422.0ms	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
255.0ms	(-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))
213.0ms	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))

rewrite20.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`*-un-lft-identity_binary64`
27×	`add-sqr-sqrt_binary64`
24×	`prod-diff_binary64`
23×	`add-cube-cbrt_binary64`
19×	`exp-sum_binary64`

Counts

3 → 95

Calls

3 calls:

6.0ms	(-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))
5.0ms	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))
3.0ms	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

simplify117.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

813×	`fma-neg_binary64`
540×	`times-frac_binary64`
303×	`cancel-sign-sub-inv_binary64`
290×	`sub-neg_binary64`
134×	`+-commutative_binary64`

Counts

167 → 179

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	259	3797
1	648	3524
2	2381	3260
3	4522	3255
4	4920	3255

prune146.0ms (4.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

220 → 2

Alt Table

Status	Error	Program
▶	20.6b	(-.f64 (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))) (/.f64 (*.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))
✓	0.0b	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))

Compiler

Compiled 5420 to 1997 computations (63.2% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 1 (exp.f64 a))
✓	0.0b	(*.f64 b (exp.f64 a))
✓	0.0b	(pow.f64 (+.f64 1 (exp.f64 a)) 2)
✓	0.0b	(/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a)))

series19.0ms (0.6%)

Counts

4 → 32

Calls

4 calls:

8.0ms	(/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a)))
6.0ms	(*.f64 b (exp.f64 a))
3.0ms	(pow.f64 (+.f64 1 (exp.f64 a)) 2)
1.0ms	(+.f64 1 (exp.f64 a))

rewrite18.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`*-un-lft-identity_binary64`
20×	`add-sqr-sqrt_binary64`
18×	`add-cube-cbrt_binary64`
12×	`times-frac_binary64`
8×	`add-cbrt-cube_binary64`

Counts

4 → 93

Calls

4 calls:

4.0ms	(/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a)))
3.0ms	(*.f64 b (exp.f64 a))
3.0ms	(pow.f64 (+.f64 1 (exp.f64 a)) 2)
2.0ms	(+.f64 1 (exp.f64 a))

simplify130.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

525×	`unswap-sqr_binary64`
456×	`fma-def_binary64`
391×	`times-frac_binary64`
363×	`associate-l_binary64`
320×	`fma-neg_binary64`

Counts

125 → 173

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	161	1490
1	370	1342
2	1054	1328
3	3525	1325
4	4532	1324
5	4914	1324
6	4974	1324
7	4847	1324

prune135.0ms (4.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

208 → 2

Alt Table

Status	Error	Program
✓	20.6b	(-.f64 (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))) (/.f64 (*.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))
✓	0.0b	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))

Compiler

Compiled 5076 to 2642 computations (48% saved)

regimes446.0ms (14.6%)

Accuracy

Total 0.1b remaining (20.6%)

Threshold costs 0.1b (20.6%)

Counts

127 → 1

Compiler

Compiled 10089 to 6603 computations (34.6% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	20
1	8	20

end46.0ms (1.5%)

Compiler: Compiled 60 to 35 computations (41.7% saved)

Details

analyze42.0ms (1.4%)

sample790.0ms (25.9%)

simplify6.0ms (0.2%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series33.0ms (1.1%)

rewrite11.0ms (0.4%)

simplify63.0ms (2%)

prune117.0ms (3.8%)

localize7.0ms (0.2%)

series890.0ms (29.1%)

rewrite20.0ms (0.7%)

simplify117.0ms (3.8%)

prune146.0ms (4.8%)

localize9.0ms (0.3%)

series19.0ms (0.6%)

rewrite18.0ms (0.6%)

simplify130.0ms (4.3%)

prune135.0ms (4.4%)

regimes446.0ms (14.6%)

simplify2.0ms (0.1%)

end46.0ms (1.5%)

Profiling