Details

analyze310.0ms (2.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%	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)

sample208.0ms (1.7%)

Algorithm

1×

intervals

Results

20.0ms	256×	body	128	valid
1.0ms	12×	body	128	nan
0.0ms	1×	body	128	invalid

Compiler

Compiled 35 to 25 computations (28.6% saved)

simplify181.0ms (1.4%)

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)

localize10.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))

series806.0ms (6.4%)

Counts

2 → 84

Calls

2 calls:

444.0ms	(fma.f64 x (log.f64 y) (log.f64 t))
362.0ms	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))

rewrite9.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:

5.0ms	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
0.0ms	(fma.f64 x (log.f64 y) (log.f64 t))

simplify102.0ms (0.8%)

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

prune73.0ms (0.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

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

Error

0.0b

Counts

92 → 5

Alt Table

Status	Error	Program
	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.1b	(-.f64 (-.f64 (log.f64 t) (*.f64 (log.f64 (/.f64 1 y)) x)) (+.f64 y z))
	20.7b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) x (log.f64 t)) 3)) (+.f64 y z))
	57.2b	(log.f64 (*.f64 t (/.f64 (pow.f64 y x) (exp.f64 (+.f64 y z)))))
	28.2b	(-.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))

Compiler

Compiled 1891 to 434 computations (77% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.1s (9%)

Counts

4 → 96

Calls

4 calls:

475.0ms	(-.f64 (log.f64 t) (*.f64 (log.f64 (/.f64 1 y)) x))
399.0ms	(-.f64 (-.f64 (log.f64 t) (*.f64 (log.f64 (/.f64 1 y)) x)) (+.f64 y z))
239.0ms	(*.f64 (log.f64 (/.f64 1 y)) x)
19.0ms	(log.f64 (/.f64 1 y))

rewrite27.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`*-un-lft-identity_binary64`
31×	`add-sqr-sqrt_binary64`
27×	`add-cube-cbrt_binary64`
20×	`prod-diff_binary64`
19×	`log-prod_binary64`

Counts

4 → 135

Calls

4 calls:

8.0ms	(-.f64 (-.f64 (log.f64 t) (*.f64 (log.f64 (/.f64 1 y)) x)) (+.f64 y z))
5.0ms	(*.f64 (log.f64 (/.f64 1 y)) x)
3.0ms	(log.f64 (/.f64 1 y))
3.0ms	(-.f64 (log.f64 t) (*.f64 (log.f64 (/.f64 1 y)) x))

simplify123.0ms (1%)

Algorithm

1×	egg-herbie

Rules

952×	`fma-neg_binary64`
322×	`cancel-sign-sub-inv_binary64`
213×	`distribute-rgt-neg-in_binary64`
202×	`sub-neg_binary64`
168×	`distribute-lft-neg-out_binary64`

Counts

231 → 225

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	246	4011
1	605	3434
2	2190	3035
3	4265	3035
4	4888	3035

prune202.0ms (1.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	222	3	225
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	222	8	230

Error

0.0b

Counts

230 → 8

Alt Table

Status	Error	Program
	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.1b	(-.f64 (-.f64 (log.f64 t) (*.f64 (log.f64 (/.f64 1 y)) x)) (+.f64 y z))
	20.7b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) x (log.f64 t)) 3)) (+.f64 y z))
	57.2b	(log.f64 (*.f64 t (/.f64 (pow.f64 y x) (exp.f64 (+.f64 y z)))))
	0.4b	(-.f64 (-.f64 (log.f64 t) (.f64 (.f64 (neg.f64 (log.f64 y)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))) (+.f64 y z))
	36.7b	(-.f64 (-.f64 (log.f64 t) (.f64 (sqrt.f64 (log.f64 (/.f64 1 y))) (.f64 x (sqrt.f64 (neg.f64 (log.f64 y)))))) (+.f64 y z))
	28.2b	(-.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.1b	(-.f64 (-.f64 (log.f64 t) (.f64 (+.f64 (neg.f64 (.f64 2 (log.f64 (cbrt.f64 y)))) (neg.f64 (log.f64 (cbrt.f64 y)))) x)) (+.f64 y z))

Compiler

Compiled 5123 to 2212 computations (56.8% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (log.f64 t) (.f64 (+.f64 (neg.f64 (.f64 2 (log.f64 (cbrt.f64 y)))) (neg.f64 (log.f64 (cbrt.f64 y)))) x))
✓	0.2b	(.f64 (+.f64 (neg.f64 (.f64 2 (log.f64 (cbrt.f64 y)))) (neg.f64 (log.f64 (cbrt.f64 y)))) x)
✓	0.3b	(+.f64 (neg.f64 (*.f64 2 (log.f64 (cbrt.f64 y)))) (neg.f64 (log.f64 (cbrt.f64 y))))
✓	0.6b	(cbrt.f64 y)

series3.0s (24.2%)

Counts

4 → 84

Calls

4 calls:

1.4s	(-.f64 (log.f64 t) (.f64 (+.f64 (neg.f64 (.f64 2 (log.f64 (cbrt.f64 y)))) (neg.f64 (log.f64 (cbrt.f64 y)))) x))
1.1s	(.f64 (+.f64 (neg.f64 (.f64 2 (log.f64 (cbrt.f64 y)))) (neg.f64 (log.f64 (cbrt.f64 y)))) x)
579.0ms	(+.f64 (neg.f64 (*.f64 2 (log.f64 (cbrt.f64 y)))) (neg.f64 (log.f64 (cbrt.f64 y))))
32.0ms	(cbrt.f64 y)

rewrite29.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`*-un-lft-identity_binary64`
21×	`log-prod_binary64`
19×	`add-sqr-sqrt_binary64`
18×	`distribute-neg-in_binary64`
17×	`distribute-rgt-neg-in_binary64`

Counts

4 → 128

Calls

4 calls:

9.0ms	(.f64 (+.f64 (neg.f64 (.f64 2 (log.f64 (cbrt.f64 y)))) (neg.f64 (log.f64 (cbrt.f64 y)))) x)
8.0ms	(+.f64 (neg.f64 (*.f64 2 (log.f64 (cbrt.f64 y)))) (neg.f64 (log.f64 (cbrt.f64 y))))
3.0ms	(-.f64 (log.f64 t) (.f64 (+.f64 (neg.f64 (.f64 2 (log.f64 (cbrt.f64 y)))) (neg.f64 (log.f64 (cbrt.f64 y)))) x))
1.0ms	(cbrt.f64 y)

simplify107.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

382×	`fma-neg_binary64`
315×	`cancel-sign-sub-inv_binary64`
261×	`distribute-rgt-neg-out_binary64`
255×	`times-frac_binary64`
230×	`distribute-lft-neg-out_binary64`

Counts

212 → 210

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	206	2907
1	488	2173
2	1632	1841
3	3878	1838
4	4851	1838

prune254.0ms (2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	226	2	228
Fresh	4	2	6
Picked	0	1	1
Done	0	1	1
Total	230	6	236

Error

Counts

236 → 6

Alt Table

Status	Error	Program
	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.1b	(-.f64 (-.f64 (log.f64 t) (*.f64 (log.f64 (/.f64 1 y)) x)) (+.f64 y z))
	57.2b	(log.f64 (*.f64 t (/.f64 (pow.f64 y x) (exp.f64 (+.f64 y z)))))
▶	0.1b	(-.f64 (-.f64 (log.f64 t) (.f64 (+.f64 2 1) (.f64 (neg.f64 (log.f64 (cbrt.f64 y))) x))) (+.f64 y z))
	0.1b	(-.f64 (fma.f64 (.f64 (log.f64 (.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 -1))) x) 3 (log.f64 t)) (+.f64 y z))
✓	0.1b	(-.f64 (-.f64 (log.f64 t) (.f64 (+.f64 (neg.f64 (.f64 2 (log.f64 (cbrt.f64 y)))) (neg.f64 (log.f64 (cbrt.f64 y)))) x)) (+.f64 y z))

Compiler

Compiled 5651 to 2292 computations (59.4% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (log.f64 t) (.f64 (+.f64 2 1) (.f64 (neg.f64 (log.f64 (cbrt.f64 y))) x)))
✓	0.2b	(*.f64 (neg.f64 (log.f64 (cbrt.f64 y))) x)
✓	0.3b	(.f64 (+.f64 2 1) (.f64 (neg.f64 (log.f64 (cbrt.f64 y))) x))
	0.6b	(cbrt.f64 y)

series3.7s (29.1%)

Counts

3 → 84

Calls

3 calls:

1.5s	(-.f64 (log.f64 t) (.f64 (+.f64 2 1) (.f64 (neg.f64 (log.f64 (cbrt.f64 y))) x)))
1.1s	(.f64 (+.f64 2 1) (.f64 (neg.f64 (log.f64 (cbrt.f64 y))) x))
1.1s	(*.f64 (neg.f64 (log.f64 (cbrt.f64 y))) x)

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`associate-l_binary64`
14×	`pow1_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`

Counts

3 → 81

Calls

3 calls:

6.0ms	(.f64 (+.f64 2 1) (.f64 (neg.f64 (log.f64 (cbrt.f64 y))) x))
4.0ms	(-.f64 (log.f64 t) (.f64 (+.f64 2 1) (.f64 (neg.f64 (log.f64 (cbrt.f64 y))) x)))
4.0ms	(*.f64 (neg.f64 (log.f64 (cbrt.f64 y))) x)

simplify87.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

597×	`fma-neg_binary64`
434×	`unsub-neg_binary64`
370×	`fma-def_binary64`
343×	`*-commutative_binary64`
310×	`neg-sub0_binary64`

Counts

165 → 145

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	165	2515
1	376	1976
2	1150	1751
3	3397	1744
4	4927	1744

prune154.0ms (1.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	162	1	163
Fresh	2	1	3
Picked	0	1	1
Done	0	2	2
Total	164	5	169

Error

Counts

169 → 5

Alt Table

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

Compiler

Compiled 3645 to 1623 computations (55.5% saved)

regimes1.0s (8.2%)

Accuracy

Total 0.1b remaining (74.9%)

Threshold costs 0.1b (74.9%)

Counts

117 → 1

Compiler

Compiled 17502 to 12207 computations (30.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`+-commutative_binary64`
8×	`sub-neg_binary64`
7×	`*-commutative_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	20
1	24	20
2	40	20
3	54	20
4	63	20
5	66	20
6	65	20

end1.0ms (0%)

Compiler: Compiled 17 to 12 computations (29.4% saved)

sample983.0ms (7.8%)

Algorithm

1×

intervals

Results

567.0ms	7996×	body	128	valid
18.0ms	347×	body	128	nan
3.0ms	41×	body	128	invalid
0.0ms	1×	body	1024	valid
0.0ms	2×	body	256	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 144 to 106 computations (26.4% saved)

Details

analyze310.0ms (2.5%)

sample208.0ms (1.7%)

simplify181.0ms (1.4%)

prune3.0ms (0%)

localize10.0ms (0.1%)

series806.0ms (6.4%)

rewrite9.0ms (0.1%)

simplify102.0ms (0.8%)

prune73.0ms (0.6%)

localize11.0ms (0.1%)

series1.1s (9%)

rewrite27.0ms (0.2%)

simplify123.0ms (1%)

prune202.0ms (1.6%)

localize16.0ms (0.1%)

series3.0s (24.2%)

rewrite29.0ms (0.2%)

simplify107.0ms (0.8%)

prune254.0ms (2%)

localize14.0ms (0.1%)

series3.7s (29.1%)

rewrite18.0ms (0.1%)

simplify87.0ms (0.7%)

prune154.0ms (1.2%)

regimes1.0s (8.2%)

simplify3.0ms (0%)

end1.0ms (0%)

sample983.0ms (7.8%)

Profiling