Details

analyze486.0ms (2.8%)

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%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	49.9%	50.1%	5
0%	43.7%	56.3%	6
0%	34.3%	65.7%	7
3.1%	31.2%	65.7%	8
3.5%	27.7%	68.8%	9
5.3%	24.4%	70.4%	10
7.5%	19.8%	72.7%	11
11.1%	16.2%	72.7%	12
11.3%	15.3%	73.5%	13
13.2%	13%	73.9%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample30.0ms (0.2%)

Algorithm

1×

intervals

Results

18.0ms	256×	body	128	valid
1.0ms	13×	body	128	nan

Compiler

Compiled 35 to 25 computations (28.6% saved)

simplify179.0ms (1%)

Algorithm

1×	egg-herbie

Rules

2537×	`fma-neg_binary64`
490×	`associate--r-_binary64`
460×	`associate--l-_binary64`
401×	`distribute-rgt-in_binary64`
373×	`unsub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	22	17
2	59	17
3	145	15
4	313	15
5	593	15
6	714	15
7	958	15
8	1168	15
9	1549	15
10	2712	15
11	2613	15
12	2654	15
13	2663	15
14	2669	15
15	2671	15
16	2759	15
17	2777	15
18	2785	15
19	2807	15
20	2793	15
21	2793	15
22	5107	15

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

0.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))

Compiler

Compiled 53 to 31 computations (41.5% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
✓	0.1b	(fma.f64 x (log.f64 y) (log.f64 t))

series1.3s (7.7%)

Counts

2 → 84

Calls

2 calls:

691.0ms	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
646.0ms	(fma.f64 x (log.f64 y) (log.f64 t))

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
12×	`prod-diff_binary64`
11×	`add-cube-cbrt_binary64`
7×	`add-log-exp_binary64`

Counts

2 → 48

Calls

2 calls:

10.0ms	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
1.0ms	(fma.f64 x (log.f64 y) (log.f64 t))

simplify190.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

593×	`fma-def_binary64`
414×	`associate-l_binary64`
385×	`distribute-rgt-in_binary64`
360×	`distribute-lft-in_binary64`
333×	`associate-r_binary64`

Counts

132 → 91

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	115	1952
1	260	1860
2	897	1769
3	4368	1769
4	4817	1762
5	4996	1762

prune111.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	87	4	91
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	87	5	92

Error

0.1b

Counts

92 → 5

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	30.3b	(-.f64 (*.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.5b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	21.6b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) x (log.f64 t)) 3)) (+.f64 y z))
▶	0.1b	(+.f64 (*.f64 x (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))

Compiler

Compiled 1871 to 419 computations (77.6% saved)

localize20.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (log.f64 t) (+.f64 y z))
✓	0.2b	(*.f64 x (log.f64 y))

series591.0ms (3.4%)

Counts

2 → 38

Calls

2 calls:

427.0ms	(*.f64 x (log.f64 y))
164.0ms	(-.f64 (log.f64 t) (+.f64 y z))

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`*-un-lft-identity_binary64`
21×	`add-sqr-sqrt_binary64`
17×	`add-cube-cbrt_binary64`
16×	`prod-diff_binary64`
12×	`pow1_binary64`

Counts

2 → 74

Calls

2 calls:

9.0ms	(-.f64 (log.f64 t) (+.f64 y z))
6.0ms	(*.f64 x (log.f64 y))

simplify165.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

468×	`fma-def_binary64`
329×	`associate--r+_binary64`
317×	`exp-sum_binary64`
303×	`fma-neg_binary64`
253×	`exp-diff_binary64`

Counts

112 → 94

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	145	1171
1	284	1059
2	863	1001
3	2410	1001
4	4223	1001
5	4952	1001
6	4977	1001
7	4849	1001

prune184.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	90	4	94
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	93	6	99

Error

0.0b

Counts

99 → 6

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	0.5b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.4b	(+.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (log.f64 y))) (-.f64 (log.f64 t) (+.f64 y z)))
▶	0.1b	(+.f64 (.f64 x (log.f64 y)) (+.f64 (log.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t))) (-.f64 (log.f64 (cbrt.f64 t)) (+.f64 y z))))
	0.2b	(+.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) (-.f64 (log.f64 t) (+.f64 y z)))
	0.4b	(+.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) (-.f64 (log.f64 t) (+.f64 y z)))

Compiler

Compiled 2017 to 547 computations (72.9% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f64 (log.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (-.f64 (log.f64 (cbrt.f64 t)) (+.f64 y z)))
	0.2b	(*.f64 x (log.f64 y))
✓	0.5b	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
✓	0.5b	(cbrt.f64 t)

series3.3s (19.1%)

Counts

3 → 60

Calls

3 calls:

3.2s	(+.f64 (log.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (-.f64 (log.f64 (cbrt.f64 t)) (+.f64 y z)))
68.0ms	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
57.0ms	(cbrt.f64 t)

rewrite69.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

69×	`*-un-lft-identity_binary64`
43×	`pow1_binary64`
33×	`log-pow_binary64`
33×	`add-sqr-sqrt_binary64`
31×	`associate-+r+_binary64`

Counts

3 → 130

Calls

3 calls:

32.0ms	(+.f64 (log.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (-.f64 (log.f64 (cbrt.f64 t)) (+.f64 y z)))
10.0ms	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
1.0ms	(cbrt.f64 t)

simplify181.0ms (1%)

Algorithm

1×	egg-herbie

Rules

703×	`fma-def_binary64`
581×	`fma-neg_binary64`
504×	`distribute-rgt-in_binary64`
454×	`distribute-lft-in_binary64`
198×	`log-prod_binary64`

Counts

190 → 163

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	169	2590
1	341	1666
2	1146	1590
3	4049	1572
4	4810	1572
5	4840	1572

prune465.0ms (2.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	239	0	239
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	239	6	245

Error

0.0b

Counts

245 → 6

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	0.5b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.4b	(+.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (log.f64 y))) (-.f64 (log.f64 t) (+.f64 y z)))
✓	0.1b	(+.f64 (.f64 x (log.f64 y)) (+.f64 (log.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t))) (-.f64 (log.f64 (cbrt.f64 t)) (+.f64 y z))))
▶	0.2b	(+.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) (-.f64 (log.f64 t) (+.f64 y z)))
	0.4b	(+.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) (-.f64 (log.f64 t) (+.f64 y z)))

Compiler

Compiled 6100 to 1424 computations (76.7% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series6.1s (35%)

Counts

4 → 84

Calls

4 calls:

2.1s	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
2.0s	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
2.0s	(*.f64 x (log.f64 (cbrt.f64 y)))
77.0ms	(cbrt.f64 y)

rewrite39.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`log-prod_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`
15×	`cbrt-prod_binary64`

Counts

4 → 94

Calls

4 calls:

11.0ms	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
9.0ms	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
8.0ms	(*.f64 x (log.f64 (cbrt.f64 y)))
1.0ms	(cbrt.f64 y)

simplify189.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

731×	`fma-neg_binary64`
502×	`fma-def_binary64`
375×	`*-commutative_binary64`
346×	`cancel-sign-sub-inv_binary64`
279×	`distribute-rgt-neg-in_binary64`

Counts

178 → 155

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	149	2256
1	336	1937
2	1137	1744
3	3238	1736
4	4453	1736
5	4816	1736

prune341.0ms (2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	170	3	173
Fresh	2	1	3
Picked	1	0	1
Done	1	1	2
Total	174	5	179

Error

Counts

179 → 5

Alt Table

Status	Error	Program
	16.4b	(+.f64 (/.f64 (.f64 x (.f64 (.f64 (log.f64 (cbrt.f64 y)) x) (log.f64 y))) (.f64 (log.f64 (cbrt.f64 y)) x)) (-.f64 (log.f64 t) (+.f64 y z)))
✓	0.1b	(+.f64 (.f64 x (log.f64 y)) (+.f64 (log.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t))) (-.f64 (log.f64 (cbrt.f64 t)) (+.f64 y z))))
	0.1b	(+.f64 (+.f64 (.f64 x (fma.f64 2/3 (log.f64 y) (log.f64 (cbrt.f64 (sqrt.f64 y))))) (.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x)) (-.f64 (log.f64 t) (+.f64 y z)))
	0.1b	(+.f64 (fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y)))) (-.f64 (log.f64 t) (+.f64 y z)))
	0.4b	(+.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) (-.f64 (log.f64 t) (+.f64 y z)))

Compiler

Compiled 4444 to 1454 computations (67.3% saved)

regimes1.4s (8.2%)

Accuracy

Total 0.1b remaining (78.1%)

Threshold costs 0.1b (78.1%)

Counts

95 → 1

Compiler

Compiled 14478 to 9439 computations (34.8% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	13	15
2	22	15
3	30	15
4	35	15
5	37	15
6	37	15

end1.0ms (0%)

Compiler: Compiled 14 to 9 computations (35.7% saved)

sample1.9s (10.8%)

Algorithm

1×

intervals

Results

1.1s	7996×	body	128	valid
41.0ms	363×	body	128	nan
3.0ms	27×	body	128	invalid
3.0ms	2×	body	1024	valid
1.0ms	2×	body	512	valid

Compiler

Compiled 159 to 97 computations (39% saved)

Details

analyze486.0ms (2.8%)

sample30.0ms (0.2%)

simplify179.0ms (1%)

prune3.0ms (0%)

localize9.0ms (0.1%)

series1.3s (7.7%)

rewrite18.0ms (0.1%)

simplify190.0ms (1.1%)

prune111.0ms (0.6%)

localize20.0ms (0.1%)

series591.0ms (3.4%)

rewrite22.0ms (0.1%)

simplify165.0ms (0.9%)

prune184.0ms (1.1%)

localize29.0ms (0.2%)

series3.3s (19.1%)

rewrite69.0ms (0.4%)

simplify181.0ms (1%)

prune465.0ms (2.7%)

localize30.0ms (0.2%)

series6.1s (35%)

rewrite39.0ms (0.2%)

simplify189.0ms (1.1%)

prune341.0ms (2%)

regimes1.4s (8.2%)

simplify5.0ms (0%)

end1.0ms (0%)

sample1.9s (10.8%)

Profiling