Details

analyze2.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample1.2s (36.7%)

Results

922.0ms

8256×

body

128

valid

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify254.0ms (7.8%)

Algorithm

1×	egg-herbie

Rules

1355×	`fma-neg_binary64`
877×	`fma-def_binary64`
720×	`distribute-rgt-neg-in_binary64`
564×	`cancel-sign-sub-inv_binary64`
530×	`sqr-pow_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	21	11
2	49	11
3	107	11
4	170	11
5	291	11
6	516	11
7	1002	11
8	1492	11
9	2128	11
10	2734	11
11	3154	11
12	3358	11
13	3535	11
14	4106	11
15	3099	11
16	3528	11
17	4668	11
18	4732	11

prune6.0ms (0.2%)

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
	0.1b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
▶	0.1b	(.f64 x (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))

Status

Error

Program

0.1b

(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (*.f64 (*.f64 x x) x)))

▶

0.1b

(*.f64 x (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))

Compiler

Compiled 62 to 40 computations (35.5% saved)

localize10.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)
✓	0.1b	(.f64 x (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))

series12.0ms (0.4%)

Counts

2 → 24

Calls

2 calls:

7.0ms	(.f64 x (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))
5.0ms	(fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)

rewrite11.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`add-exp-log_binary64`

Counts

2 → 32

Calls

2 calls:

6.0ms	(.f64 x (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))
1.0ms	(fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)

simplify85.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

907×	`distribute-rgt-in_binary64`
906×	`distribute-lft-in_binary64`
386×	`fma-def_binary64`
240×	`associate-l_binary64`
199×	`associate-r_binary64`

Counts

56 → 64

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	54	716
1	106	613
2	301	613
3	1063	613
4	5380	613

prune104.0ms (3.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	59	5	64
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	60	6	66

Error

0.0b

Counts

66 → 6

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))
	12.9b	(.f64 x (log.f64 (exp.f64 (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))))
	34.0b	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)))
	1.0b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 x) (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)))
	32.0b	(.f64 (sqrt.f64 (.f64 x (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))) (sqrt.f64 (.f64 x (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))))
✓	0.1b	(.f64 x (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))

Compiler

Compiled 979 to 581 computations (40.7% saved)

localize11.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))
✓	0.1b	(*.f64 6450306886639899/50000000000000000 (pow.f64 x 3))
✓	0.1b	(*.f64 238732414637843/250000000000000 x)

series17.0ms (0.5%)

Counts

3 → 3

Calls

3 calls:

7.0ms

(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))

7.0ms

(*.f64 6450306886639899/50000000000000000 (pow.f64 x 3))

3.0ms

(*.f64 238732414637843/250000000000000 x)

rewrite28.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
15×	`associate-r_binary64`
10×	`add-exp-log_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-cube-cbrt_binary64`

Counts

3 → 69

Calls

3 calls:

9.0ms

(*.f64 6450306886639899/50000000000000000 (pow.f64 x 3))

8.0ms

(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))

6.0ms

(*.f64 238732414637843/250000000000000 x)

simplify207.0ms (6.4%)

Algorithm

1×	egg-herbie

Rules

648×	`fma-def_binary64`
428×	`unswap-sqr_binary64`
420×	`fma-neg_binary64`
276×	`exp-prod_binary64`
268×	`times-frac_binary64`

Counts

72 → 98

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	113	782
1	223	713
2	650	705
3	1572	703
4	4052	669
5	4564	669
6	4781	669

prune177.0ms (5.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	96	2	98
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	97	7	104

Error

Counts

104 → 7

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 (.f64 6450306886639899/50000000000000000 x) (.f64 x x)))
✓	0.1b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))
	12.9b	(.f64 x (log.f64 (exp.f64 (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))))
	0.2b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 (sqrt.f64 6450306886639899/50000000000000000) (*.f64 (sqrt.f64 6450306886639899/50000000000000000) (pow.f64 x 3))))
	34.0b	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)))
	1.0b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 x) (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)))
✓	0.1b	(.f64 x (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))

Compiler

Compiled 1571 to 1221 computations (22.3% saved)

localize14.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 (.f64 6450306886639899/50000000000000000 x) (.f64 x x)))
	0.1b	(*.f64 238732414637843/250000000000000 x)
✓	0.1b	(*.f64 6450306886639899/50000000000000000 x)
✓	0.1b	(.f64 (.f64 6450306886639899/50000000000000000 x) (*.f64 x x))

series19.0ms (0.6%)

Counts

3 → 24

Calls

3 calls:

9.0ms

(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 (*.f64 6450306886639899/50000000000000000 x) (*.f64 x x)))

6.0ms

(*.f64 (*.f64 6450306886639899/50000000000000000 x) (*.f64 x x))

3.0ms

(*.f64 6450306886639899/50000000000000000 x)

rewrite17.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-cbrt-cube_binary64`
17×	`add-exp-log_binary64`
17×	`pow1_binary64`
9×	`cbrt-unprod_binary64`
9×	`prod-exp_binary64`

Counts

3 → 60

Calls

3 calls:

7.0ms

(*.f64 (*.f64 6450306886639899/50000000000000000 x) (*.f64 x x))

4.0ms

(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 (*.f64 6450306886639899/50000000000000000 x) (*.f64 x x)))

3.0ms

(*.f64 6450306886639899/50000000000000000 x)

simplify133.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

526×	`fma-neg_binary64`
427×	`distribute-rgt-neg-in_binary64`
411×	`distribute-lft-neg-in_binary64`
384×	`cancel-sign-sub-inv_binary64`
317×	`fma-def_binary64`

Counts

84 → 86

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	97	900
1	229	797
2	764	783
3	2004	783
4	4304	766
5	4999	766
6	4832	766

prune164.0ms (5.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	108	7	115

Error

Counts

115 → 7

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 (.f64 6450306886639899/50000000000000000 x) (.f64 x x)))
✓	0.1b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))
	12.9b	(.f64 x (log.f64 (exp.f64 (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))))
▶	0.2b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 (sqrt.f64 6450306886639899/50000000000000000) (*.f64 (sqrt.f64 6450306886639899/50000000000000000) (pow.f64 x 3))))
	34.0b	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)))
	1.0b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 x) (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)))
✓	0.1b	(.f64 x (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))

Compiler

Compiled 1855 to 1176 computations (36.6% saved)

localize16.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 (sqrt.f64 6450306886639899/50000000000000000) (*.f64 (sqrt.f64 6450306886639899/50000000000000000) (pow.f64 x 3))))
	0.1b	(*.f64 238732414637843/250000000000000 x)
✓	0.1b	(.f64 (sqrt.f64 6450306886639899/50000000000000000) (.f64 (sqrt.f64 6450306886639899/50000000000000000) (pow.f64 x 3)))
✓	0.1b	(*.f64 (sqrt.f64 6450306886639899/50000000000000000) (pow.f64 x 3))

series37.0ms (1.1%)

Counts

3 → 24

Calls

3 calls:

17.0ms

(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 (sqrt.f64 6450306886639899/50000000000000000) (*.f64 (sqrt.f64 6450306886639899/50000000000000000) (pow.f64 x 3))))

11.0ms

(*.f64 (sqrt.f64 6450306886639899/50000000000000000) (*.f64 (sqrt.f64 6450306886639899/50000000000000000) (pow.f64 x 3)))

9.0ms

(*.f64 (sqrt.f64 6450306886639899/50000000000000000) (pow.f64 x 3))

rewrite37.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
18×	`add-exp-log_binary64`
13×	`associate-r_binary64`
12×	`associate-l_binary64`
10×	`sqrt-prod_binary64`

Counts

3 → 80

Calls

3 calls:

12.0ms

(*.f64 (sqrt.f64 6450306886639899/50000000000000000) (pow.f64 x 3))

11.0ms

(*.f64 (sqrt.f64 6450306886639899/50000000000000000) (*.f64 (sqrt.f64 6450306886639899/50000000000000000) (pow.f64 x 3)))

6.0ms

(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 (sqrt.f64 6450306886639899/50000000000000000) (*.f64 (sqrt.f64 6450306886639899/50000000000000000) (pow.f64 x 3))))

simplify162.0ms (5%)

Algorithm

1×	egg-herbie

Rules

823×	`fma-def_binary64`
420×	`distribute-rgt-neg-in_binary64`
387×	`distribute-lft-neg-in_binary64`
373×	`exp-prod_binary64`
345×	`*-commutative_binary64`

Counts

104 → 111

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	114	1294
1	266	1217
2	941	1183
3	2251	1175
4	4459	1162
5	4629	1162

prune228.0ms (7%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	133	7	140

Error

Counts

140 → 7

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 (.f64 6450306886639899/50000000000000000 x) (.f64 x x)))
✓	0.1b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))
	12.9b	(.f64 x (log.f64 (exp.f64 (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))))
✓	0.2b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 (sqrt.f64 6450306886639899/50000000000000000) (*.f64 (sqrt.f64 6450306886639899/50000000000000000) (pow.f64 x 3))))
	34.0b	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)))
	1.0b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 x) (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)))
✓	0.1b	(.f64 x (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))

Compiler

Compiled 2505 to 2068 computations (17.4% saved)

regimes82.0ms (2.5%)

Accuracy

Total 0.1b remaining (95.6%)

Threshold costs 0.1b (95.6%)

Counts

25 → 1

Compiler

Compiled 674 to 458 computations (32% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

end220.0ms (6.8%)

Compiler: Compiled 103 to 71 computations (31.1% saved)

Details

analyze2.0ms (0.1%)

sample1.2s (36.7%)

simplify254.0ms (7.8%)

prune6.0ms (0.2%)

localize10.0ms (0.3%)

series12.0ms (0.4%)

rewrite11.0ms (0.3%)

simplify85.0ms (2.6%)

prune104.0ms (3.2%)

localize11.0ms (0.3%)

series17.0ms (0.5%)

rewrite28.0ms (0.9%)

simplify207.0ms (6.4%)

prune177.0ms (5.4%)

localize14.0ms (0.4%)

series19.0ms (0.6%)

rewrite17.0ms (0.5%)

simplify133.0ms (4.1%)

prune164.0ms (5.1%)

localize16.0ms (0.5%)

series37.0ms (1.1%)

rewrite37.0ms (1.1%)

simplify162.0ms (5%)

prune228.0ms (7%)

regimes82.0ms (2.5%)

simplify2.0ms (0.1%)

end220.0ms (6.8%)

Profiling