Details

analyze433.0ms (6.4%)

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%	74.9%	25.1%	5
0%	62.4%	37.6%	6
0%	31.2%	68.8%	7
0%	31.2%	68.8%	8
0%	31.2%	68.8%	9
0%	28.1%	71.9%	10
6.1%	20.4%	73.5%	11
6.1%	20.4%	73.5%	12
7.7%	18.8%	73.5%	13
9.2%	16.6%	74.3%	14

Compiler

Compiled 22 to 17 computations (22.7% saved)

sample46.0ms (0.7%)

Algorithm

1×

intervals

Results

15.0ms	198×	body	128	valid
7.0ms	28×	body	512	valid
7.0ms	12×	body	1024	valid
3.0ms	18×	body	256	valid
0.0ms	6×	body	128	nan
0.0ms	1×	body	128	invalid

Compiler

Compiled 47 to 37 computations (21.3% saved)

simplify130.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

753×	`unsub-neg_binary64`
686×	`sub-neg_binary64`
591×	`distribute-rgt-in_binary64`
521×	`neg-sub0_binary64`
433×	`associate--r-_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	30	26
2	56	26
3	110	26
4	245	26
5	621	26
6	1270	26
7	1544	26
8	1489	26
9	1566	26
10	1581	26
11	1591	26
12	2401	26
13	4559	26
14	4855	26
15	4463	26
16	4907	26
17	5003	26

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

6.5b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 42 to 32 computations (23.8% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
0.0b	(+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y))))
0.1b	(*.f64 (-.f64 x 1) (log.f64 y))
4.4b	(log.f64 (-.f64 1 y))

rewrite263.0ms (3.9%)

Algorithm

1×	rewrite-expression-head

Error

6.1b

Rules

44×	`add-sqr-sqrt_binary64`
42×	`log-prod_binary64`
38×	`*-un-lft-identity_binary64`
18×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
17×	`add-cube-cbrt_binary64`

Counts

4 → 118

Calls

4 calls:

13.0ms	(+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y))))
11.0ms	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
8.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
4.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 2846 to 1929 computations (32.2% saved)

series238.0ms (3.5%)

Error

0.1b

Counts

4 → 43

Calls

4 calls:

109.0ms	(+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y))))
37.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
37.0ms	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
11.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 2279 to 1608 computations (29.4% saved)

simplify129.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

361×	`associate--r+_binary64`
355×	`cancel-sign-sub-inv_binary64`
287×	`associate--l+_binary64`
244×	`neg-sub0_binary64`
213×	`neg-mul-1_binary64`

Counts

161 → 135

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	277	3204
1	656	2946
2	2201	2879
3	4482	2879
4	5004	2879

prune165.0ms (2.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	130	5	135
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	131	5	136

Error

0.0b

Counts

136 → 5

Alt Table

Status	Error	Program
	6.6b	(-.f64 (+.f64 (+.f64 (.f64 2 (.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y)))) (.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y)))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	21.7b	(-.f64 (+.f64 (.f64 (sqrt.f64 (.f64 (log.f64 y) (+.f64 -1 x))) (sqrt.f64 (.f64 (log.f64 y) (+.f64 -1 x)))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
▶	0.1b	(-.f64 (+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y)))))) t)
	20.3b	(-.f64 (+.f64 (/.f64 (.f64 (log.f64 y) (+.f64 -1 (.f64 x x))) (+.f64 x 1)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	35.1b	(-.f64 (+.f64 (.f64 (+.f64 (sqrt.f64 x) 1) (.f64 (log.f64 y) (+.f64 -1 (sqrt.f64 x)))) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)

Compiler

Compiled 2712 to 1788 computations (34.1% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite192.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

28×	`add-sqr-sqrt_binary64`
19×	`*-un-lft-identity_binary64`
18×	`associate-l_binary64`
16×	`pow1_binary64`
15×	`add-exp-log_binary64` `add-cbrt-cube_binary64`

Counts

4 → 106

Calls

4 calls:

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

Compiler

Compiled 3334 to 1969 computations (40.9% saved)

series169.0ms (2.5%)

Error

0.0b

Counts

4 → 33

Calls

4 calls:

75.0ms	(.f64 (-.f64 z 1) (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 1/2 (.f64 1/3 y)))))
39.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
16.0ms	(.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y)))
7.0ms	(*.f64 1/3 y)

Compiler

Compiled 2199 to 1577 computations (28.3% saved)

simplify124.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

606×	`cancel-sign-sub-inv_binary64`
389×	`distribute-lft-neg-out_binary64`
385×	`distribute-rgt-neg-out_binary64`
340×	`associate-l_binary64`
306×	`associate-r_binary64`

Counts

139 → 112

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	251	2832
1	618	2557
2	2643	2372
3	4899	2366
4	5049	2366

prune128.0ms (1.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	112	5	117

Error

0.0b

Counts

117 → 5

Alt Table

Status	Error	Program
▶	6.6b	(-.f64 (+.f64 (+.f64 (.f64 2 (.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y)))) (.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y)))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	21.7b	(-.f64 (+.f64 (.f64 (sqrt.f64 (.f64 (log.f64 y) (+.f64 -1 x))) (sqrt.f64 (.f64 (log.f64 y) (+.f64 -1 x)))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
✓	0.1b	(-.f64 (+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y)))))) t)
	20.3b	(-.f64 (+.f64 (/.f64 (.f64 (log.f64 y) (+.f64 -1 (.f64 x x))) (+.f64 x 1)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	35.1b	(-.f64 (+.f64 (.f64 (+.f64 (sqrt.f64 x) 1) (.f64 (log.f64 y) (+.f64 -1 (sqrt.f64 x)))) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)

Compiler

Compiled 2664 to 1682 computations (36.9% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(+.f64 (.f64 2 (.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y))))
0.7b	(cbrt.f64 y)
0.7b	(cbrt.f64 y)
4.4b	(log.f64 (-.f64 1 y))

rewrite194.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

42×	`log-prod_binary64`
30×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
24×	`cbrt-prod_binary64` `associate-+l+_binary64`
22×	`add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
19×	`add-cube-cbrt_binary64`

Counts

4 → 91

Calls

4 calls:

15.0ms	(+.f64 (.f64 2 (.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y))))
4.0ms	(log.f64 (-.f64 1 y))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 3466 to 2110 computations (39.1% saved)

series188.0ms (2.8%)

Error

0.0b

Counts

4 → 20

Calls

4 calls:

114.0ms	(+.f64 (.f64 2 (.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y))))
21.0ms	(cbrt.f64 y)
18.0ms	(cbrt.f64 y)
11.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 1589 to 1220 computations (23.2% saved)

simplify108.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

307×	`associate-+l+_binary64`
291×	`associate-+r+_binary64`
285×	`distribute-rgt-out_binary64`
210×	`cancel-sign-sub-inv_binary64`
172×	`associate-r_binary64`

Counts

111 → 85

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	209	2199
1	513	1727
2	1753	1452
3	4891	1448
4	4965	1448

prune129.0ms (1.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	82	3	85
Fresh	3	0	3
Picked	1	0	1
Done	0	1	1
Total	86	4	90

Error

0.0b

Counts

90 → 4

Alt Table

Status	Error	Program
	6.6b	(-.f64 (+.f64 (+.f64 (.f64 (+.f64 -1 x) (log.f64 (.f64 (pow.f64 y 2/3) (pow.f64 y 1/6)))) (.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) (+.f64 -1 x))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
▶	6.6b	(-.f64 (+.f64 (+.f64 (.f64 2 (.f64 (+.f64 -1 x) (log.f64 (.f64 (pow.f64 y 1/6) (pow.f64 y 1/6))))) (.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y)))) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	6.6b	(-.f64 (+.f64 (+.f64 (.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (+.f64 -1 x)) 2) (.f64 (+.f64 -1 x) (+.f64 (log.f64 (cbrt.f64 y)) (.f64 2 (log.f64 (cbrt.f64 (cbrt.f64 y))))))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
✓	0.1b	(-.f64 (+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y)))))) t)

Compiler

Compiled 2475 to 1571 computations (36.5% saved)

localize27.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.7b	(cbrt.f64 y)
4.2b	(pow.f64 y 1/6)
4.2b	(pow.f64 y 1/6)
4.4b	(log.f64 (-.f64 1 y))

rewrite136.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`
7×	`pow1_binary64` `add-exp-log_binary64`
6×	`log-prod_binary64` `unpow-prod-down_binary64` `pow-unpow_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64`

Counts

4 → 62

Calls

4 calls:

4.0ms	(log.f64 (-.f64 1 y))
3.0ms	(pow.f64 y 1/6)
2.0ms	(pow.f64 y 1/6)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 2223 to 1584 computations (28.7% saved)

series88.0ms (1.3%)

Error

0.0b

Counts

4 → 14

Calls

4 calls:

21.0ms	(cbrt.f64 y)
17.0ms	(pow.f64 y 1/6)
17.0ms	(pow.f64 y 1/6)
16.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 1425 to 1112 computations (22% saved)

simplify94.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

534×	`unswap-sqr_binary64`
399×	`log-prod_binary64`
382×	`associate-l_binary64`
377×	`distribute-rgt-neg-in_binary64`
346×	`distribute-lft-neg-in_binary64`

Counts

76 → 42

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	104	623
1	190	585
2	489	566
3	1939	556
4	4411	556
5	4853	556

prune65.0ms (1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	42	0	42
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	42	4	46

Error

0.0b

Counts

46 → 4

Alt Table

Status	Error	Program
	6.6b	(-.f64 (+.f64 (+.f64 (.f64 (+.f64 -1 x) (log.f64 (.f64 (pow.f64 y 2/3) (pow.f64 y 1/6)))) (.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) (+.f64 -1 x))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	6.6b	(-.f64 (+.f64 (+.f64 (.f64 2 (.f64 (+.f64 -1 x) (log.f64 (.f64 (pow.f64 y 1/6) (pow.f64 y 1/6))))) (.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y)))) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	6.6b	(-.f64 (+.f64 (+.f64 (.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (+.f64 -1 x)) 2) (.f64 (+.f64 -1 x) (+.f64 (log.f64 (cbrt.f64 y)) (.f64 2 (log.f64 (cbrt.f64 (cbrt.f64 y))))))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	0.1b	(-.f64 (+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y)))))) t)

Compiler

Compiled 1103 to 787 computations (28.6% saved)

regimes2.0s (30.3%)

Accuracy

Total 0.2b remaining (80.8%)

Threshold costs 0.2b (80.8%)

Compiler

Compiled 33788 to 25331 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

17×	`+-commutative_binary64`
16×	`*-commutative_binary64`
14×	`sub-neg_binary64`
11×	`neg-mul-1_binary64` `neg-sub0_binary64`
6×	`unsub-neg_binary64` `distribute-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	41
1	46	39
2	69	39
3	106	39
4	123	39
5	132	39
6	135	39
7	130	39

end1.0ms (0%)

Compiler: Compiled 30 to 23 computations (23.3% saved)

sample1.6s (23.4%)

Algorithm

1×

intervals

Results

475.0ms	6140×	body	128	valid
246.0ms	483×	body	1024	valid
223.0ms	782×	body	512	valid
95.0ms	592×	body	256	valid
24.0ms	259×	body	128	nan
2.0ms	3×	body	2048	valid
2.0ms	28×	body	128	invalid

Compiler

Compiled 201 to 153 computations (23.9% saved)

Details

analyze433.0ms (6.4%)

sample46.0ms (0.7%)

simplify130.0ms (1.9%)

prune3.0ms (0%)

localize17.0ms (0.2%)

rewrite263.0ms (3.9%)

series238.0ms (3.5%)

simplify129.0ms (1.9%)

prune165.0ms (2.4%)

localize18.0ms (0.3%)

rewrite192.0ms (2.9%)

series169.0ms (2.5%)

simplify124.0ms (1.9%)

prune128.0ms (1.9%)

localize19.0ms (0.3%)

rewrite194.0ms (2.9%)

series188.0ms (2.8%)

simplify108.0ms (1.6%)

prune129.0ms (1.9%)

localize27.0ms (0.4%)

rewrite136.0ms (2%)

series88.0ms (1.3%)

simplify94.0ms (1.4%)

prune65.0ms (1%)

regimes2.0s (30.3%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample1.6s (23.4%)

Profiling