Details

analyze834.0ms (4.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
12.5%	87.2%	0.3%	6
12.5%	87.2%	0.3%	7
12.5%	87.2%	0.3%	8
18.7%	81%	0.3%	9
18.7%	56.1%	25.2%	10
18.7%	56.1%	25.2%	11
18.7%	37.4%	43.9%	12
18.7%	37.4%	43.9%	13
18.7%	37.4%	43.9%	14

Compiler

Compiled 25 to 18 computations (28% saved)

sample2.8s (14.6%)

Infinites

47.9% of outputs are infinite.

Results

1.4s	10163×	body	128	invalid
1.3s	8256×	body	128	valid

Compiler

Compiled 74 to 53 computations (28.4% saved)

simplify50.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

615×	`associate-/l/_binary64`
552×	`associate-/r/_binary64`
488×	`associate-*l/_binary64`
352×	`associate-*r/_binary64`
345×	`fma-def_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	26
1	37	26
2	78	24
3	186	24
4	517	24
5	1664	24
6	4362	24
7	4750	24
8	5045	24

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	23.0b	(.f64 (.f64 (pow.f64 a (-.f64 t 1)) (/.f64 (pow.f64 z y) (exp.f64 b))) (/.f64 x y))
▶	1.5b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

Compiler

Compiled 132 to 90 computations (31.8% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (-.f64 t 1) (log.f64 a))
✓	0.3b	(*.f64 y (log.f64 z))
✓	0.6b	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
✓	1.2b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

series2.0s (10.6%)

Counts

4 → 176

Calls

4 calls:

1.2s	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
572.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
218.0ms	(*.f64 y (log.f64 z))
62.0ms	(*.f64 (-.f64 t 1) (log.f64 a))

rewrite31.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
14×	`exp-sum_binary64`
13×	`add-cbrt-cube_binary64`

Counts

4 → 116

Calls

4 calls:

9.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
6.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
5.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
3.0ms	(*.f64 y (log.f64 z))

simplify204.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

510×	`fma-neg_binary64`
314×	`associate-r_binary64`
302×	`associate-l_binary64`
245×	`cancel-sign-sub-inv_binary64`
170×	`times-frac_binary64`

Counts

292 → 248

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	393	7243
1	895	6044
2	3341	5911
3	4549	5911
4	4999	5911
5	4924	5911

prune230.0ms (1.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	244	4	248
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	245	5	250

Error

0.0b

Counts

250 → 5

Alt Table

Status	Error	Program
▶	19.7b	(/.f64 x (/.f64 y (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1))))))
	20.5b	(/.f64 1 (/.f64 y (*.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) x)))
	43.0b	(*.f64 (/.f64 x (sqrt.f64 y)) (/.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) (sqrt.f64 y)))
	23.1b	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) (/.f64 x y))) (cbrt.f64 (.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) (/.f64 x y)))) (cbrt.f64 (*.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) (/.f64 x y))))
✓	1.5b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

Compiler

Compiled 7330 to 3133 computations (57.3% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 a (+.f64 t -1))
✓	0.2b	(/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))
✓	0.4b	(/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1))))
✓	0.5b	(/.f64 x (/.f64 y (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1))))))

series2.5s (12.9%)

Counts

4 → 192

Calls

4 calls:

1.3s	(/.f64 x (/.f64 y (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1))))))
918.0ms	(/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1))))
197.0ms	(/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))
33.0ms	(pow.f64 a (+.f64 t -1))

rewrite1.1s (5.5%)

Algorithm

1×	rewrite-expression-head

Rules

9016×	`times-frac_binary64`
3564×	`*-un-lft-identity_binary64`
3563×	`add-sqr-sqrt_binary64`
3562×	`add-cube-cbrt_binary64`
1938×	`unpow-prod-down_binary64`

Counts

4 → 2797

Calls

4 calls:

95.0ms	(/.f64 x (/.f64 y (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1))))))
13.0ms	(/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1))))
4.0ms	(/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))
3.0ms	(pow.f64 a (+.f64 t -1))

simplify1.9s (9.8%)

Algorithm

1×	egg-herbie

Counts

2989 → 2835

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5443	161965

prune2.8s (14.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	2834	1	2835
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	2837	3	2840

Error

Counts

2840 → 3

Alt Table

Status	Error	Program
	25.7b	(/.f64 (.f64 (exp.f64 (.f64 (log.f64 z) y)) x) (.f64 (exp.f64 b) (.f64 y a)))
▶	20.5b	(/.f64 1 (/.f64 y (*.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) x)))
✓	1.5b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

Compiler

Compiled 115556 to 48624 computations (57.9% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(pow.f64 a (+.f64 t -1))
	0.2b	(/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))
	0.4b	(/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1))))
✓	1.2b	(/.f64 y (*.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) x))

series1.6s (8.1%)

Counts

1 → 72

Calls

1 calls:

1.6s	(/.f64 y (*.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) x))

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

47×	`add-exp-log_binary64`
35×	`div-exp_binary64`
15×	`add-cbrt-cube_binary64`
13×	`prod-exp_binary64`
7×	`cbrt-undiv_binary64`

Counts

1 → 38

Calls

1 calls:

18.0ms

(/.f64 y (*.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) x))

simplify148.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

493×	`fma-def_binary64`
381×	`times-frac_binary64`
303×	`associate-/l*_binary64`
238×	`associate-r_binary64`
236×	`associate-/r*_binary64`

Counts

110 → 82

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	250	3723
1	778	3296
2	3287	3164
3	4970	3164
4	5020	3164

prune377.0ms (2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	440	0	440
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	440	3	443

Error

Counts

443 → 3

Alt Table

Status	Error	Program
▶	25.7b	(/.f64 (.f64 (exp.f64 (.f64 (log.f64 z) y)) x) (.f64 (exp.f64 b) (.f64 y a)))
✓	20.5b	(/.f64 1 (/.f64 y (*.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) x)))
✓	1.5b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

Compiler

Compiled 14546 to 7044 computations (51.6% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (exp.f64 (.f64 (log.f64 z) y)) x)
✓	0.3b	(*.f64 (log.f64 z) y)
✓	2.6b	(/.f64 (.f64 (exp.f64 (.f64 (log.f64 z) y)) x) (.f64 (exp.f64 b) (.f64 y a)))
✓	4.9b	(.f64 (exp.f64 b) (.f64 y a))

series1.1s (5.6%)

Counts

4 → 68

Calls

4 calls:

617.0ms	(/.f64 (.f64 (exp.f64 (.f64 (log.f64 z) y)) x) (.f64 (exp.f64 b) (.f64 y a)))
224.0ms	(.f64 (exp.f64 (.f64 (log.f64 z) y)) x)
217.0ms	(*.f64 (log.f64 z) y)
13.0ms	(.f64 (exp.f64 b) (.f64 y a))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`add-cbrt-cube_binary64`
24×	`add-exp-log_binary64`
14×	`cbrt-unprod_binary64`
14×	`prod-exp_binary64`
14×	`pow1_binary64`

Counts

4 → 88

Calls

4 calls:

7.0ms	(/.f64 (.f64 (exp.f64 (.f64 (log.f64 z) y)) x) (.f64 (exp.f64 b) (.f64 y a)))
6.0ms	(.f64 (exp.f64 b) (.f64 y a))
4.0ms	(.f64 (exp.f64 (.f64 (log.f64 z) y)) x)
3.0ms	(*.f64 (log.f64 z) y)

simplify95.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

544×	`associate-/l/_binary64`
508×	`fma-def_binary64`
354×	`times-frac_binary64`
241×	`associate-l_binary64`
240×	`associate-r_binary64`

Counts

156 → 172

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	217	2749
1	630	2351
2	2718	2179
3	4691	2177
4	4976	2177

prune117.0ms (0.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	172	0	172
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	172	3	175

Error

Counts

175 → 3

Alt Table

Status	Error	Program
✓	25.7b	(/.f64 (.f64 (exp.f64 (.f64 (log.f64 z) y)) x) (.f64 (exp.f64 b) (.f64 y a)))
✓	20.5b	(/.f64 1 (/.f64 y (*.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) x)))
✓	1.5b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

Compiler

Compiled 3661 to 825 computations (77.5% saved)

regimes1.2s (6.4%)

Accuracy

Total 0.9b remaining (95.1%)

Threshold costs 0.9b (95.1%)

Counts

98 → 1

Compiler

Compiled 24924 to 17326 computations (30.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
3×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	26
1	22	26
2	26	26
3	28	26
4	29	26
5	29	26

end76.0ms (0.4%)

Compiler: Compiled 114 to 80 computations (29.8% saved)

Details

analyze834.0ms (4.3%)

sample2.8s (14.6%)

simplify50.0ms (0.3%)

prune4.0ms (0%)

localize15.0ms (0.1%)

series2.0s (10.6%)

rewrite31.0ms (0.2%)

simplify204.0ms (1.1%)

prune230.0ms (1.2%)

localize13.0ms (0.1%)

series2.5s (12.9%)

rewrite1.1s (5.5%)

simplify1.9s (9.8%)

prune2.8s (14.7%)

localize14.0ms (0.1%)

series1.6s (8.1%)

rewrite22.0ms (0.1%)

simplify148.0ms (0.8%)

prune377.0ms (2%)

localize13.0ms (0.1%)

series1.1s (5.6%)

rewrite26.0ms (0.1%)

simplify95.0ms (0.5%)

prune117.0ms (0.6%)

regimes1.2s (6.4%)

simplify3.0ms (0%)

end76.0ms (0.4%)

Profiling