Details

analyze385.0ms (8.8%)

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
10.1%	64.7%	25.1%	8
17.2%	32.8%	50.1%	9
23%	26.9%	50.1%	10
26.8%	23.1%	50.1%	11
31.6%	18.3%	50.1%	12
35.2%	14.7%	50.1%	13
37.5%	12.4%	50.1%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample21.0ms (0.5%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 34 to 24 computations (29.4% saved)

simplify161.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

763×	`associate--r+_binary64`
658×	`associate--r-_binary64`
630×	`associate--l+_binary64`
490×	`associate--l-_binary64`
440×	`associate-+l-_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	25	18
2	73	18
3	229	18
4	556	18
5	1278	18
6	1440	18
7	1609	18
8	1711	18
9	1737	18
10	1764	18
11	1764	18
12	1910	18
13	1850	18
14	1850	18
15	1850	18
16	4710	18
17	4948	18

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 45 to 30 computations (33.3% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
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))) y)
0.1b	(*.f64 (+.f64 y 1/2) (log.f64 y))

rewrite129.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-log-exp_binary64` `*-un-lft-identity_binary64`
15×	`add-sqr-sqrt_binary64`
12×	`log-prod_binary64`
11×	`add-cube-cbrt_binary64`
7×	`pow1_binary64`

Counts

4 → 83

Calls

4 calls:

8.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
7.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))
6.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)))

Compiler

Compiled 1606 to 882 computations (45.1% saved)

series217.0ms (5%)

Error

0.1b

Counts

4 → 44

Calls

4 calls:

78.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
48.0ms	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))
48.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
19.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))

Compiler

Compiled 1511 to 976 computations (35.4% saved)

simplify177.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

475×	`exp-sum_binary64`
421×	`sub-neg_binary64`
343×	`associate-+l+_binary64`
309×	`exp-diff_binary64`
276×	`associate-+r+_binary64`

Counts

127 → 109

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	193	2032
1	503	1959
2	1510	1918
3	3462	1918
4	4444	1914
5	4902	1914
6	4998	1914
7	4802	1914

prune102.0ms (2.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	103	6	109
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	103	7	110

Error

0.0b

Counts

110 → 7

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
▶	0.1b	(-.f64 (+.f64 (-.f64 x (+.f64 (.f64 (+.f64 1/2 y) (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))) y) z)
	0.9b	(-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (-.f64 y (.f64 (log.f64 y) (+.f64 1/2 y))) x)) (cbrt.f64 (+.f64 (-.f64 y (.f64 (log.f64 y) (+.f64 1/2 y))) x))) (cbrt.f64 (+.f64 (-.f64 y (*.f64 (log.f64 y) (+.f64 1/2 y))) x))) z)
	0.3b	(-.f64 (+.f64 (-.f64 x (.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y))))) y) z)
	34.6b	(-.f64 (+.f64 (-.f64 x (.f64 (sqrt.f64 (.f64 (log.f64 y) (+.f64 1/2 y))) (sqrt.f64 (*.f64 (log.f64 y) (+.f64 1/2 y))))) y) z)
	45.7b	(-.f64 (log.f64 (/.f64 (exp.f64 (+.f64 y x)) (pow.f64 y (+.f64 1/2 y)))) z)
	21.1b	(-.f64 (+.f64 (-.f64 x (/.f64 (.f64 (log.f64 y) (+.f64 (pow.f64 y 3) 1/8)) (+.f64 (.f64 y y) (-.f64 (.f64 1/2 1/2) (.f64 y 1/2))))) y) z)

Compiler

Compiled 1582 to 893 computations (43.6% saved)

localize17.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite156.0ms (3.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`*-un-lft-identity_binary64`
12×	`cbrt-prod_binary64` `log-prod_binary64` `associate-+r+_binary64`
11×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
10×	`associate-*l/_binary64`
9×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`

Counts

4 → 71

Calls

4 calls:

11.0ms	(+.f64 (.f64 (+.f64 1/2 y) (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))
8.0ms	(.f64 (+.f64 1/2 y) (.f64 (log.f64 (cbrt.f64 y)) 2))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 2271 to 1260 computations (44.5% saved)

series132.0ms (3%)

Error

0.0b

Counts

4 → 16

Calls

4 calls:

42.0ms	(+.f64 (.f64 (+.f64 1/2 y) (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))
33.0ms	(.f64 (+.f64 1/2 y) (.f64 (log.f64 (cbrt.f64 y)) 2))
17.0ms	(cbrt.f64 y)
16.0ms	(cbrt.f64 y)

Compiler

Compiled 1113 to 819 computations (26.4% saved)

simplify71.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

917×	`distribute-rgt-in_binary64`
888×	`distribute-lft-in_binary64`
218×	`associate-r_binary64`
206×	`associate-l_binary64`
141×	`distribute-lft-out_binary64`

Counts

87 → 65

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	164	1699
1	463	1409
2	1644	1199
3	5652	1199

prune100.0ms (2.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	63	2	65
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	64	8	72

Error

Counts

72 → 8

Alt Table

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

Compiler

Compiled 1701 to 1026 computations (39.7% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3))))
0.1b	(+.f64 (-.f64 x (.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3)))) y)
0.3b	(.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3)))
0.4b	(*.f64 -1/3 (neg.f64 (log.f64 y)))

rewrite166.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

15×	`associate-r_binary64`
13×	`pow1_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
11×	`add-exp-log_binary64` `add-log-exp_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64`
6×	`log-prod_binary64` `distribute-neg-in_binary64`
5×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`

Counts

4 → 89

Calls

4 calls:

11.0ms	(.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3)))
7.0ms	(*.f64 -1/3 (neg.f64 (log.f64 y)))
6.0ms	(+.f64 (-.f64 x (.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3)))) y)
4.0ms	(-.f64 x (.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3))))

Compiler

Compiled 2123 to 1318 computations (37.9% saved)

series155.0ms (3.6%)

Error

Counts

4 → 30

Calls

4 calls:

47.0ms	(-.f64 x (.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3))))
47.0ms	(+.f64 (-.f64 x (.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3)))) y)
20.0ms	(.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3)))
14.0ms	(*.f64 -1/3 (neg.f64 (log.f64 y)))

Compiler

Compiled 1187 to 794 computations (33.1% saved)

simplify109.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

879×	`distribute-rgt-in_binary64`
310×	`cancel-sign-sub-inv_binary64`
286×	`distribute-rgt-neg-out_binary64`
285×	`distribute-lft-neg-out_binary64`
247×	`exp-prod_binary64`

Counts

119 → 98

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	200	2111
1	561	1492
2	1678	1452
3	4709	1451
4	4967	1451

prune100.0ms (2.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	96	2	98
Fresh	3	2	5
Picked	0	1	1
Done	0	2	2
Total	99	7	106

Error

Counts

106 → 7

Alt Table

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

Compiler

Compiled 1408 to 856 computations (39.2% saved)

localize18.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 1/3 (log.f64 (cbrt.f64 y)))
0.4b	(*.f64 (log.f64 (cbrt.f64 y)) -2/3)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)

rewrite141.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`add-sqr-sqrt_binary64`
14×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
12×	`cbrt-prod_binary64` `log-prod_binary64`
10×	`pow1_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l_binary64` `associate-r_binary64`

Counts

4 → 74

Calls

4 calls:

6.0ms	(*.f64 1/3 (log.f64 (cbrt.f64 y)))
5.0ms	(*.f64 (log.f64 (cbrt.f64 y)) -2/3)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 2029 to 1180 computations (41.8% saved)

series105.0ms (2.4%)

Error

Counts

4 → 12

Calls

4 calls:

29.0ms	(*.f64 (log.f64 (cbrt.f64 y)) -2/3)
28.0ms	(*.f64 1/3 (log.f64 (cbrt.f64 y)))
18.0ms	(cbrt.f64 y)
17.0ms	(cbrt.f64 y)

Compiler

Compiled 942 to 736 computations (21.9% saved)

simplify121.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

673×	`log-prod_binary64`
414×	`*-commutative_binary64`
401×	`unswap-sqr_binary64`
336×	`associate-l_binary64`
228×	`associate-r_binary64`

Counts

86 → 63

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	112	927
1	187	785
2	473	779
3	1345	742
4	2363	722
5	4249	722
6	4995	722
7	4874	722

prune83.0ms (1.9%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	63	7	70

Error

Counts

70 → 7

Alt Table

Status	Error	Program
	0.2b	(-.f64 (+.f64 (-.f64 x (.f64 (+.f64 (neg.f64 (.f64 (log.f64 (cbrt.f64 y)) -2/3)) (.f64 1/3 (log.f64 (cbrt.f64 y)))) (+.f64 3/2 (.f64 y 3)))) y) z)
	0.1b	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
	16.9b	(-.f64 (+.f64 (-.f64 x (/.f64 (.f64 (.f64 1/3 (log.f64 y)) (-.f64 9/4 (.f64 y (.f64 9 y)))) (-.f64 3/2 (*.f64 y 3)))) y) z)
	0.1b	(-.f64 (+.f64 (-.f64 x (+.f64 (.f64 (+.f64 1/2 y) (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))) y) z)
	0.3b	(-.f64 (+.f64 (-.f64 x (.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y))))) y) z)
	34.6b	(-.f64 (+.f64 (-.f64 x (.f64 (sqrt.f64 (.f64 (log.f64 y) (+.f64 1/2 y))) (sqrt.f64 (*.f64 (log.f64 y) (+.f64 1/2 y))))) y) z)
	0.2b	(-.f64 (+.f64 (-.f64 x (.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3)))) y) z)

Compiler

Compiled 1229 to 803 computations (34.7% saved)

regimes861.0ms (19.8%)

Accuracy

Total 0.1b remaining (82.8%)

Threshold costs 0.1b (82.8%)

Compiler

Compiled 13475 to 9316 computations (30.9% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`+-commutative_binary64`
7×	`sub-neg_binary64`
6×	`*-commutative_binary64`
5×	`neg-mul-1_binary64` `neg-sub0_binary64`
2×	`cancel-sign-sub-inv_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	21	18
2	39	18
3	50	18
4	57	18
5	59	18
6	58	18

end1.0ms (0%)

Compiler: Compiled 15 to 10 computations (33.3% saved)

sample794.0ms (18.2%)

Algorithm

1×

intervals

Results

362.0ms	7997×	body	128	valid
1.0ms	31×	body	128	invalid
0.0ms	2×	body	512	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 194 to 136 computations (29.9% saved)

Details

analyze385.0ms (8.8%)

sample21.0ms (0.5%)

simplify161.0ms (3.7%)

prune3.0ms (0.1%)

localize12.0ms (0.3%)

rewrite129.0ms (3%)

series217.0ms (5%)

simplify177.0ms (4.1%)

prune102.0ms (2.3%)

localize17.0ms (0.4%)

rewrite156.0ms (3.6%)

series132.0ms (3%)

simplify71.0ms (1.6%)

prune100.0ms (2.3%)

localize13.0ms (0.3%)

rewrite166.0ms (3.8%)

series155.0ms (3.6%)

simplify109.0ms (2.5%)

prune100.0ms (2.3%)

localize18.0ms (0.4%)

rewrite141.0ms (3.2%)

series105.0ms (2.4%)

simplify121.0ms (2.8%)

prune83.0ms (1.9%)

regimes861.0ms (19.8%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample794.0ms (18.2%)

Profiling