Details

analyze981.0ms (16.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
6.2%	82.7%	11.1%	10
12.5%	73.7%	13.8%	11
15.6%	59.5%	25%	12
17.9%	53.3%	28.8%	13
22.4%	47.2%	30.4%	14

Compiler

Compiled 18 to 12 computations (33.3% saved)

sample1.4s (23.2%)

Results

970.0ms	8256×	body	128	valid
358.0ms	3064×	body	128	invalid

Compiler

Compiled 53 to 35 computations (34% saved)

simplify46.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

850×	`fma-neg_binary64`
525×	`fma-def_binary64`
182×	`cancel-sign-sub-inv_binary64`
159×	`associate-l_binary64`
152×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	25	17
2	77	17
3	302	17
4	829	17
5	1620	17
6	2745	17
7	3158	17
8	3307	17
9	3349	17
10	3365	17
11	3365	17

Stop Event

1×

saturated

Counts

1 → 2

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

8.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	8.3b	(fma.f64 y (.f64 (-.f64 (.f64 z z) t) -4) (*.f64 x x))

Compiler

Compiled 61 to 34 computations (44.3% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	7.8b	(fma.f64 y (.f64 (-.f64 (.f64 z z) t) -4) (*.f64 x x))

series28.0ms (0.5%)

Counts

1 → 48

Calls

1 calls:

28.0ms

(fma.f64 y (*.f64 (-.f64 (*.f64 z z) t) -4) (*.f64 x x))

rewrite41.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

533×	`prod-diff_binary64`
233×	`fma-def_binary64`
202×	`expm1-udef_binary64`
202×	`log1p-udef_binary64`
182×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	230	17
2	2868	17

Stop Event

1×	node limit

Counts

1 → 26

Calls

1 calls:

40.0ms

(fma.f64 y (*.f64 (-.f64 (*.f64 z z) t) -4) (*.f64 x x))

simplify53.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

652×	`fma-def_binary64`
599×	`fma-neg_binary64`
387×	`cancel-sign-sub-inv_binary64`
310×	`distribute-rgt-neg-in_binary64`
284×	`unsub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	27	940
1	81	794
2	229	722
3	597	722
4	1580	722
5	3145	722
6	4638	722

Stop Event

1×	node limit

Counts

74 → 42

prune33.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	38	4	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	5	43

Error

0.1b

Counts

43 → 5

Alt Table

Status	Error	Program
✓	8.3b	(fma.f64 y (.f64 (-.f64 (.f64 z z) t) -4) (*.f64 x x))
	29.1b	(exp.f64 (log.f64 (fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t)))))
▶	9.4b	(pow.f64 (cbrt.f64 (fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t)))) 3)
	34.9b	(/.f64 (-.f64 (.f64 (.f64 (.f64 y -4) (-.f64 (.f64 z z) t)) (.f64 (.f64 y -4) (-.f64 (.f64 z z) t))) (pow.f64 x 4)) (-.f64 (.f64 (.f64 y -4) (-.f64 (.f64 z z) t)) (*.f64 x x)))
	23.9b	(fma.f64 x x (.f64 z (.f64 z (*.f64 y -4))))

Compiler

Compiled 835 to 426 computations (49% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t)))
✓	0.7b	(pow.f64 (cbrt.f64 (fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t)))) 3)
✓	1.7b	(cbrt.f64 (fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t))))
✓	7.8b	(.f64 (.f64 y -4) (-.f64 (*.f64 z z) t))

series458.0ms (7.7%)

Counts

4 → 116

Calls

4 calls:

363.0ms	(pow.f64 (cbrt.f64 (fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t)))) 3)
47.0ms	(cbrt.f64 (fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t))))
28.0ms	(fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t)))
19.0ms	(.f64 (.f64 y -4) (-.f64 (*.f64 z z) t))

rewrite66.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

590×	`prod-diff_binary64`
236×	`log1p-udef_binary64`
134×	`add-sqr-sqrt_binary64`
130×	`log1p-expm1-u_binary64`
130×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	66
1	291	66
2	3398	66

Stop Event

1×	node limit

Counts

4 → 101

Calls

4 calls:

64.0ms	(fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t)))
64.0ms	(pow.f64 (cbrt.f64 (fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t)))) 3)
64.0ms	(cbrt.f64 (fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t))))
64.0ms	(.f64 (.f64 y -4) (-.f64 (*.f64 z z) t))

simplify85.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

542×	`associate-r_binary64`
474×	`associate-l_binary64`
337×	`fma-def_binary64`
299×	`*-commutative_binary64`
271×	`fma-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	312	4407
1	1054	4065
2	4393	4065

Stop Event

1×	node limit

Counts

217 → 142

prune132.0ms (2.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	140	2	142
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	141	6	147

Error

0.1b

Counts

147 → 6

Alt Table

Status	Error	Program
	29.1b	(exp.f64 (log.f64 (fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t)))))
	34.9b	(/.f64 (-.f64 (.f64 (.f64 x x) (.f64 x x)) (pow.f64 (.f64 y (.f64 -4 (-.f64 (.f64 z z) t))) 2)) (-.f64 (.f64 x x) (.f64 y (.f64 -4 (-.f64 (.f64 z z) t)))))
✓	8.3b	(fma.f64 y (.f64 (-.f64 (.f64 z z) t) -4) (*.f64 x x))
✓	9.4b	(pow.f64 (cbrt.f64 (fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t)))) 3)
	23.9b	(fma.f64 x x (.f64 z (.f64 z (*.f64 y -4))))
▶	10.2b	(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (.f64 z z) t)))))) 2) 3) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (*.f64 z z) t))))))

Compiler

Compiled 5738 to 3701 computations (35.5% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (*.f64 z z) t))))))
✓	0.8b	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (*.f64 z z) t)))))) 2) 3)
✓	1.7b	(cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (*.f64 z z) t)))))
✓	7.8b	(.f64 y (.f64 -4 (-.f64 (*.f64 z z) t)))

series562.0ms (9.4%)

Counts

4 → 148

Calls

4 calls:

375.0ms	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (*.f64 z z) t)))))) 2) 3)
121.0ms	(cbrt.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (*.f64 z z) t))))))
48.0ms	(cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (*.f64 z z) t)))))
18.0ms	(.f64 y (.f64 -4 (-.f64 (*.f64 z z) t)))

rewrite77.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

597×	`prod-diff_binary64`
163×	`add-sqr-sqrt_binary64`
159×	`log1p-expm1-u_binary64`
159×	`expm1-log1p-u_binary64`
156×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	77
1	355	75
2	4081	75

Stop Event

1×	node limit

Counts

4 → 100

Calls

4 calls:

75.0ms	(cbrt.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (*.f64 z z) t))))))
75.0ms	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (*.f64 z z) t)))))) 2) 3)
75.0ms	(cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (*.f64 z z) t)))))
75.0ms	(.f64 y (.f64 -4 (-.f64 (*.f64 z z) t)))

simplify160.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

853×	`times-frac_binary64`
805×	`fma-def_binary64`
323×	`*-commutative_binary64`
173×	`+-commutative_binary64`
109×	`associate-+r+_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	860	15079
1	3181	14943

Stop Event

1×	node limit

Counts

248 → 302

prune599.0ms (10.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	393	1	394
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	393	7	400

Error

0.0b

Counts

400 → 7

Alt Table

Status	Error	Program
	41.9b	(.f64 (cbrt.f64 (pow.f64 (.f64 4 (-.f64 (.f64 t y) (.f64 (.f64 z z) y))) 2)) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (.f64 z z) t))))))
✓	8.3b	(fma.f64 y (.f64 (-.f64 (.f64 z z) t) -4) (*.f64 x x))
	29.1b	(exp.f64 (log.f64 (fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t)))))
	34.9b	(/.f64 (-.f64 (.f64 (.f64 x x) (.f64 x x)) (pow.f64 (.f64 y (.f64 -4 (-.f64 (.f64 z z) t))) 2)) (-.f64 (.f64 x x) (.f64 y (.f64 -4 (-.f64 (.f64 z z) t)))))
✓	9.4b	(pow.f64 (cbrt.f64 (fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t)))) 3)
▶	23.9b	(fma.f64 x x (.f64 z (.f64 z (*.f64 y -4))))
✓	10.2b	(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (.f64 z z) t)))))) 2) 3) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (*.f64 z z) t))))))

Compiler

Compiled 28753 to 18441 computations (35.9% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 x x (.f64 z (.f64 z (*.f64 y -4))))
✓	0.2b	(.f64 z (.f64 z (*.f64 y -4)))

series24.0ms (0.4%)

Counts

2 → 60

Calls

2 calls:

16.0ms	(fma.f64 x x (.f64 z (.f64 z (*.f64 y -4))))
9.0ms	(.f64 z (.f64 z (*.f64 y -4)))

rewrite43.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

784×	`log1p-expm1-u_binary64`
784×	`expm1-log1p-u_binary64`
198×	`prod-diff_binary64`
90×	`associate-r_binary64`
90×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	24
1	181	24
2	2154	24

Stop Event

1×	node limit

Counts

2 → 38

Calls

2 calls:

42.0ms	(fma.f64 x x (.f64 z (.f64 z (*.f64 y -4))))
42.0ms	(.f64 z (.f64 z (*.f64 y -4)))

simplify48.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

740×	`fma-def_binary64`
645×	`unswap-sqr_binary64`
326×	`cancel-sign-sub-inv_binary64`
294×	`fma-neg_binary64`
252×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	738
1	32	684
2	80	684
3	225	684
4	672	684
5	1310	684
6	1997	684
7	3187	684

Stop Event

1×	node limit

Counts

98 → 44

prune29.0ms (0.5%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	42	2	44
Fresh	1	2	3
Picked	0	1	1
Done	0	3	3
Total	43	8	51

Error

0.0b

Counts

51 → 8

Alt Table

Status	Error	Program
	41.9b	(.f64 (cbrt.f64 (pow.f64 (.f64 4 (-.f64 (.f64 t y) (.f64 (.f64 z z) y))) 2)) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (.f64 z z) t))))))
✓	8.3b	(fma.f64 y (.f64 (-.f64 (.f64 z z) t) -4) (*.f64 x x))
	38.9b	(fma.f64 x x (exp.f64 (log.f64 (.f64 z (.f64 y (*.f64 -4 z))))))
	34.9b	(/.f64 (-.f64 (.f64 (.f64 x x) (.f64 x x)) (pow.f64 (.f64 y (.f64 -4 (-.f64 (.f64 z z) t))) 2)) (-.f64 (.f64 x x) (.f64 y (.f64 -4 (-.f64 (.f64 z z) t)))))
✓	9.4b	(pow.f64 (cbrt.f64 (fma.f64 x x (.f64 (.f64 y -4) (-.f64 (*.f64 z z) t)))) 3)
✓	23.9b	(fma.f64 x x (.f64 z (.f64 z (*.f64 y -4))))
✓	10.2b	(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (.f64 z z) t)))))) 2) 3) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 -4 (-.f64 (*.f64 z z) t))))))
	43.2b	(pow.f64 (hypot.f64 x (.f64 z (sqrt.f64 (.f64 y -4)))) 2)

Compiler

Compiled 796 to 477 computations (40.1% saved)

regimes939.0ms (15.8%)

Accuracy

Total 0.1b remaining (81.5%)

Threshold costs 0.1b (81.5%)

Counts

47 → 2

Compiler

Compiled 10196 to 6895 computations (32.4% saved)

bsearch2.0ms (0%)

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

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
2×	`+-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	19	40
1	25	40
2	30	40
3	32	40
4	33	40

Stop Event

1×

saturated

end122.0ms (2%)

Compiler: Compiled 248 to 151 computations (39.1% saved)

Details

analyze981.0ms (16.5%)

sample1.4s (23.2%)

simplify46.0ms (0.8%)

prune3.0ms (0%)

localize7.0ms (0.1%)

series28.0ms (0.5%)

rewrite41.0ms (0.7%)

simplify53.0ms (0.9%)

prune33.0ms (0.6%)

localize12.0ms (0.2%)

series458.0ms (7.7%)

rewrite66.0ms (1.1%)

simplify85.0ms (1.4%)

prune132.0ms (2.2%)

localize13.0ms (0.2%)

series562.0ms (9.4%)

rewrite77.0ms (1.3%)

simplify160.0ms (2.7%)

prune599.0ms (10.1%)

localize6.0ms (0.1%)

series24.0ms (0.4%)

rewrite43.0ms (0.7%)

simplify48.0ms (0.8%)

prune29.0ms (0.5%)

regimes939.0ms (15.8%)

bsearch2.0ms (0%)

simplify4.0ms (0.1%)

end122.0ms (2%)

Profiling