Details

analyze392.0ms (5.9%)

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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	74.9%	25.1%	6
6.2%	68.6%	25.1%	7
9.4%	65.5%	25.1%	8
14%	35.9%	50.1%	9
21.1%	28.9%	50.1%	10
24.6%	25.4%	50.1%	11
28.7%	21.3%	50.1%	12
33.4%	16.5%	50.1%	13
35.8%	14.1%	50.1%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.2s (18.1%)

Results

1.1s	8253×	body	128	valid
5.0ms	43×	body	128	invalid
1.0ms	2×	body	512	valid
1.0ms	1×	body	1024	valid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify131.0ms (2%)

Algorithm

1×	egg-herbie

Rules

782×	`fma-neg_binary64`
610×	`unsub-neg_binary64`
567×	`distribute-rgt-in_binary64`
442×	`sub-neg_binary64`
412×	`fma-def_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	25	18
2	75	16
3	253	16
4	654	16
5	1767	16
6	2167	16
7	2284	16
8	2375	16
9	2374	16
10	2391	16
11	2701	16
12	3417	16
13	4877	16
14	4713	16
15	4967	16

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)

Compiler

Compiled 56 to 35 computations (37.5% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))
✓	0.0b	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
✓	0.1b	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
✓	0.1b	(*.f64 (+.f64 y 1/2) (log.f64 y))

series329.0ms (4.9%)

Counts

4 → 96

Calls

4 calls:

152.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
86.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
81.0ms	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))
10.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))

rewrite27.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`*-un-lft-identity_binary64`
27×	`add-sqr-sqrt_binary64`
23×	`add-cube-cbrt_binary64`
20×	`add-log-exp_binary64`
18×	`prod-diff_binary64`

Counts

4 → 119

Calls

4 calls:

7.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
5.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))
5.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
4.0ms	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))

simplify117.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

374×	`fma-neg_binary64`
307×	`associate--l+_binary64`
299×	`cancel-sign-sub-inv_binary64`
275×	`exp-sum_binary64`
242×	`exp-diff_binary64`

Counts

215 → 219

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	242	3418
1	609	3074
2	2022	2997
3	4350	2997
4	4873	2997

prune185.0ms (2.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	214	5	219
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	215	5	220

Error

0.0b

Counts

220 → 5

Alt Table

Status	Error	Program
	0.1b	(-.f64 (+.f64 (-.f64 x (+.f64 (.f64 (+.f64 1/2 y) (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))) y) z)
	34.6b	(-.f64 (+.f64 (-.f64 x (.f64 (sqrt.f64 (.f64 (+.f64 y 1/2) (log.f64 y))) (sqrt.f64 (*.f64 (+.f64 y 1/2) (log.f64 y))))) y) z)
	0.2b	(-.f64 (+.f64 (-.f64 x (.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z)
	0.5b	(-.f64 (+.f64 (-.f64 x (.f64 (.f64 (cbrt.f64 (+.f64 y 1/2)) (cbrt.f64 (+.f64 y 1/2))) (*.f64 (cbrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z)
▶	0.1b	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y z))

Compiler

Compiled 4585 to 2465 computations (46.2% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))
✓	0.1b	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y z))
	0.1b	(*.f64 (+.f64 y 1/2) (log.f64 y))

series153.0ms (2.3%)

Counts

1 → 36

Calls

1 calls:

153.0ms

(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y z))

rewrite11.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64`
13×	`associate-+r+_binary64`
13×	`add-log-exp_binary64`
12×	`prod-diff_binary64`
10×	`add-sqr-sqrt_binary64`

Counts

1 → 45

Calls

1 calls:

7.0ms

(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y z))

simplify59.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

516×	`associate-+l+_binary64`
417×	`associate-+r+_binary64`
199×	`associate--r+_binary64`
199×	`cancel-sign-sub-inv_binary64`
189×	`fma-neg_binary64`

Counts

81 → 89

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	163	1843
1	471	1642
2	1851	1585
3	5129	1585

prune184.0ms (2.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	200	0	200
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	200	5	205

Error

0.0b

Counts

205 → 5

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (+.f64 (-.f64 x (+.f64 (.f64 (+.f64 1/2 y) (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))) y) z)
	34.6b	(-.f64 (+.f64 (-.f64 x (.f64 (sqrt.f64 (.f64 (+.f64 y 1/2) (log.f64 y))) (sqrt.f64 (*.f64 (+.f64 y 1/2) (log.f64 y))))) y) z)
	0.2b	(-.f64 (+.f64 (-.f64 x (.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z)
	0.5b	(-.f64 (+.f64 (-.f64 x (.f64 (.f64 (cbrt.f64 (+.f64 y 1/2)) (cbrt.f64 (+.f64 y 1/2))) (*.f64 (cbrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z)
✓	0.1b	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y z))

Compiler

Compiled 4430 to 2141 computations (51.7% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y)))
✓	0.1b	(.f64 (+.f64 1/2 y) (.f64 2 (log.f64 (cbrt.f64 y))))
✓	0.3b	(+.f64 (.f64 (+.f64 1/2 y) (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))
✓	0.6b	(cbrt.f64 y)

series587.0ms (8.8%)

Counts

4 → 48

Calls

4 calls:

260.0ms	(+.f64 (.f64 (+.f64 1/2 y) (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))
149.0ms	(.f64 (+.f64 1/2 y) (.f64 2 (log.f64 (cbrt.f64 y))))
145.0ms	(*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y)))
33.0ms	(cbrt.f64 y)

rewrite36.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

72×	`log-prod_binary64`
60×	`distribute-lft-in_binary64`
60×	`distribute-rgt-in_binary64`
39×	`cbrt-prod_binary64`
36×	`*-un-lft-identity_binary64`

Counts

4 → 152

Calls

4 calls:

10.0ms	(+.f64 (.f64 (+.f64 1/2 y) (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))
7.0ms	(*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y)))
6.0ms	(.f64 (+.f64 1/2 y) (.f64 2 (log.f64 (cbrt.f64 y))))
1.0ms	(cbrt.f64 y)

simplify135.0ms (2%)

Algorithm

1×	egg-herbie

Rules

707×	`fma-neg_binary64`
346×	`associate-l_binary64`
337×	`associate-r_binary64`
279×	`distribute-rgt-out_binary64`
242×	`fma-def_binary64`

Counts

200 → 275

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	250	3870
1	648	3338
2	2606	3114
3	4519	3114
4	4899	3114

prune552.0ms (8.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	290	3	293
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	293	5	298

Error

Counts

298 → 5

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (+.f64 (-.f64 x (+.f64 (.f64 3 (.f64 y (log.f64 (pow.f64 y 1/3)))) (*.f64 3/2 (log.f64 (pow.f64 y 1/3))))) y) z)
	0.1b	(-.f64 (+.f64 (-.f64 x (+.f64 (+.f64 (.f64 (+.f64 1/2 y) (.f64 2 (log.f64 (cbrt.f64 y)))) (.f64 (log.f64 (.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))) (+.f64 1/2 y))) (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) (+.f64 1/2 y)))) y) z)
	0.2b	(-.f64 (+.f64 (-.f64 x (.f64 (log.f64 (.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 -1))) (+.f64 3/2 (*.f64 y 3)))) y) z)
	0.2b	(-.f64 (+.f64 (-.f64 x (.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z)
✓	0.1b	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y z))

Compiler

Compiled 9065 to 5052 computations (44.3% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 y (log.f64 (pow.f64 y 1/3)))
✓	0.3b	(*.f64 3/2 (log.f64 (pow.f64 y 1/3)))
✓	0.3b	(.f64 3 (.f64 y (log.f64 (pow.f64 y 1/3))))
✓	5.0b	(pow.f64 y 1/3)

series1.1s (16.5%)

Counts

4 → 28

Calls

4 calls:

376.0ms	(*.f64 y (log.f64 (pow.f64 y 1/3)))
366.0ms	(.f64 3 (.f64 y (log.f64 (pow.f64 y 1/3))))
343.0ms	(*.f64 3/2 (log.f64 (pow.f64 y 1/3)))
24.0ms	(pow.f64 y 1/3)

rewrite23.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`log-prod_binary64`
42×	`distribute-lft-in_binary64`
42×	`distribute-rgt-in_binary64`
31×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`

Counts

4 → 138

Calls

4 calls:

5.0ms	(.f64 3 (.f64 y (log.f64 (pow.f64 y 1/3))))
4.0ms	(*.f64 y (log.f64 (pow.f64 y 1/3)))
4.0ms	(*.f64 3/2 (log.f64 (pow.f64 y 1/3)))
1.0ms	(pow.f64 y 1/3)

simplify114.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

611×	`*-commutative_binary64`
522×	`log-prod_binary64`
353×	`distribute-rgt-out_binary64`
262×	`distribute-rgt-in_binary64`
253×	`distribute-lft-in_binary64`

Counts

166 → 201

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	218	2470
1	361	1964
2	1124	1738
3	2669	1546
4	4543	1546
5	4925	1546

prune322.0ms (4.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	230	0	230
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	230	5	235

Error

Counts

235 → 5

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (+.f64 (-.f64 x (+.f64 (.f64 3 (.f64 y (log.f64 (pow.f64 y 1/3)))) (*.f64 3/2 (log.f64 (pow.f64 y 1/3))))) y) z)
	0.1b	(-.f64 (+.f64 (-.f64 x (+.f64 (+.f64 (.f64 (+.f64 1/2 y) (.f64 2 (log.f64 (cbrt.f64 y)))) (.f64 (log.f64 (.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))) (+.f64 1/2 y))) (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) (+.f64 1/2 y)))) y) z)
	0.2b	(-.f64 (+.f64 (-.f64 x (.f64 (log.f64 (.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 -1))) (+.f64 3/2 (*.f64 y 3)))) y) z)
	0.2b	(-.f64 (+.f64 (-.f64 x (.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z)
✓	0.1b	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y z))

Compiler

Compiled 6248 to 4352 computations (30.3% saved)

regimes875.0ms (13.1%)

Accuracy

Total 0.1b remaining (76.4%)

Threshold costs 0.1b (76.4%)

Counts

162 → 1

Compiler

Compiled 15386 to 10537 computations (31.5% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16
1	15	16
2	23	16
3	27	16
4	29	16
5	29	16

end93.0ms (1.4%)

Compiler: Compiled 150 to 103 computations (31.3% saved)

Details

analyze392.0ms (5.9%)

sample1.2s (18.1%)

simplify131.0ms (2%)

prune3.0ms (0%)

localize9.0ms (0.1%)

series329.0ms (4.9%)

rewrite27.0ms (0.4%)

simplify117.0ms (1.7%)

prune185.0ms (2.8%)

localize9.0ms (0.1%)

series153.0ms (2.3%)

rewrite11.0ms (0.2%)

simplify59.0ms (0.9%)

prune184.0ms (2.7%)

localize13.0ms (0.2%)

series587.0ms (8.8%)

rewrite36.0ms (0.5%)

simplify135.0ms (2%)

prune552.0ms (8.2%)

localize14.0ms (0.2%)

series1.1s (16.5%)

rewrite23.0ms (0.3%)

simplify114.0ms (1.7%)

prune322.0ms (4.8%)

regimes875.0ms (13.1%)

simplify3.0ms (0.1%)

end93.0ms (1.4%)

Profiling