Details

analyze516.0ms (10.5%)

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%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
12.5%	43.7%	43.8%	7
12.5%	43.7%	43.8%	8
25%	28.1%	47%	9
28.1%	20.3%	51.6%	10
28.1%	20.3%	51.6%	11
34.3%	13.3%	52.4%	12
35.9%	9.8%	54.4%	13
35.9%	9.8%	54.4%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample24.0ms (0.5%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
1.0ms	15×	body	128	invalid
0.0ms	3×	body	128	nan

Compiler

Compiled 34 to 26 computations (23.5% saved)

simplify353.0ms (7.2%)

Algorithm

1×	egg-herbie

Rules

1119×	`unsub-neg_binary64`
746×	`distribute-rgt-in_binary64`
570×	`+-commutative_binary64`
521×	`sub-neg_binary64`
510×	`associate--r+_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	28	18
2	53	18
3	97	18
4	218	18
5	349	18
6	486	18
7	829	18
8	1163	18
9	1232	18
10	1335	18
11	1416	18
12	1453	18
13	3274	18
14	3271	18
15	3920	18
16	4486	18
17	4497	18
18	4497	18
19	4982	18
20	4217	18
21	4371	18
22	4375	18
23	4375	18
24	4405	18
25	4405	18
26	4358	18
27	4352	18
28	4352	18
29	4889	18

prune2.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

0.1b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 30 to 22 computations (26.7% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.2b	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))

rewrite102.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`*-un-lft-identity_binary64`
9×	`pow1_binary64` `add-sqr-sqrt_binary64`
8×	`add-log-exp_binary64` `distribute-lft-out_binary64`
7×	`add-cube-cbrt_binary64` `associate-r_binary64`
5×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-+r+_binary64`

Counts

3 → 63

Calls

3 calls:

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

Compiler

Compiled 1094 to 665 computations (39.2% saved)

series124.0ms (2.5%)

Error

0.1b

Counts

3 → 30

Calls

3 calls:

61.0ms	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
31.0ms	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))
12.0ms	(+.f64 (-.f64 1 z) (log.f64 z))

Compiler

Compiled 931 to 611 computations (34.4% saved)

simplify106.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

450×	`times-frac_binary64`
274×	`*-commutative_binary64`
264×	`sub-neg_binary64`
250×	`exp-sum_binary64`
224×	`unsub-neg_binary64`

Counts

93 → 69

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	132	1365
1	365	1271
2	1204	1270
3	2545	1270
4	4393	1270
5	5374	1270

prune61.0ms (1.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

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

Error

0.0b

Counts

70 → 7

Alt Table

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

Compiler

Compiled 1085 to 677 computations (37.6% saved)

localize12.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite78.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`add-log-exp_binary64`
7×	`add-sqr-sqrt_binary64`
6×	`pow1_binary64` `*-un-lft-identity_binary64`
5×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `sum-log_binary64`
4×	`associate-l_binary64`

Counts

3 → 47

Calls

3 calls:

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

Compiler

Compiled 971 to 343 computations (64.7% saved)

series121.0ms (2.5%)

Error

0.0b

Counts

3 → 32

Calls

3 calls:

59.0ms	(+.f64 (+.f64 (.f64 1/2 x) (-.f64 y (.f64 z y))) (*.f64 (log.f64 z) y))
27.0ms	(*.f64 (log.f64 z) y)
17.0ms	(-.f64 y (*.f64 z y))

Compiler

Compiled 1073 to 684 computations (36.3% saved)

simplify103.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

653×	`distribute-rgt-in_binary64`
625×	`distribute-lft-in_binary64`
500×	`associate-l_binary64`
424×	`associate-r_binary64`
153×	`cancel-sign-sub-inv_binary64`

Counts

79 → 49

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	121	1075
1	305	1020
2	963	996
3	4560	992
4	4981	992
5	4990	992

prune48.0ms (1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	48	8	56

Error

0.0b

Counts

56 → 8

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 (+.f64 (.f64 1/2 x) (-.f64 y (.f64 z y))) (*.f64 (log.f64 z) y))
	0.8b	(+.f64 (.f64 x 1/2) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (+.f64 (log.f64 z) 1) z) y)) (cbrt.f64 (.f64 (-.f64 (+.f64 (log.f64 z) 1) z) y))) (cbrt.f64 (.f64 (-.f64 (+.f64 (log.f64 z) 1) z) y))))
	0.4b	(+.f64 (+.f64 (.f64 1/2 x) (-.f64 y (.f64 z y))) (.f64 (.f64 (cbrt.f64 (log.f64 z)) (cbrt.f64 (log.f64 z))) (*.f64 y (cbrt.f64 (log.f64 z)))))
▶	0.1b	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z)))))
	31.8b	(+.f64 (.f64 x 1/2) (.f64 (sqrt.f64 (.f64 (-.f64 (+.f64 (log.f64 z) 1) z) y)) (sqrt.f64 (.f64 (-.f64 (+.f64 (log.f64 z) 1) z) y))))
	0.8b	(+.f64 (.f64 x 1/2) (.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (-.f64 (+.f64 (log.f64 z) 1) z) (cbrt.f64 y))))
	0.8b	(+.f64 (.f64 x 1/2) (.f64 (.f64 y (.f64 (cbrt.f64 (-.f64 (+.f64 (log.f64 z) 1) z)) (cbrt.f64 (-.f64 (+.f64 (log.f64 z) 1) z)))) (cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))))
	32.5b	(+.f64 (.f64 x 1/2) (.f64 (sqrt.f64 y) (*.f64 (-.f64 (+.f64 (log.f64 z) 1) z) (sqrt.f64 y))))

Compiler

Compiled 891 to 461 computations (48.3% saved)

localize17.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b	(+.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z)))
0.2b	(.f64 y (+.f64 (+.f64 (-.f64 1 z) (.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z))))
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)

rewrite147.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

16×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
9×	`cbrt-prod_binary64`
8×	`pow1_binary64`

Counts

4 → 69

Calls

4 calls:

15.0ms	(.f64 y (+.f64 (+.f64 (-.f64 1 z) (.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z))))
11.0ms	(+.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z)))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

Compiler

Compiled 1782 to 952 computations (46.6% saved)

series128.0ms (2.6%)

Error

0.0b

Counts

4 → 19

Calls

4 calls:

54.0ms	(.f64 y (+.f64 (+.f64 (-.f64 1 z) (.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z))))
22.0ms	(+.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z)))
17.0ms	(cbrt.f64 z)
17.0ms	(cbrt.f64 z)

Compiler

Compiled 921 to 709 computations (23% saved)

simplify90.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

888×	`distribute-rgt-in_binary64`
875×	`distribute-lft-in_binary64`
164×	`exp-prod_binary64`
141×	`exp-sum_binary64`
127×	`cancel-sign-sub-inv_binary64`

Counts

88 → 66

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	122	1688
1	313	1172
2	1131	1007
3	4623	1005
4	4970	1005

prune78.0ms (1.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	64	2	66
Fresh	4	2	6
Picked	0	1	1
Done	0	1	1
Total	68	6	74

Error

Counts

74 → 6

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 (.f64 x 1/2) (+.f64 (.f64 y (+.f64 (-.f64 1 z) (.f64 (log.f64 z) 2/3))) (.f64 y (log.f64 (cbrt.f64 z)))))
✓	0.1b	(+.f64 (+.f64 (.f64 1/2 x) (-.f64 y (.f64 z y))) (*.f64 (log.f64 z) y))
	0.4b	(+.f64 (+.f64 (.f64 1/2 x) (-.f64 y (.f64 z y))) (.f64 (.f64 (cbrt.f64 (log.f64 z)) (cbrt.f64 (log.f64 z))) (*.f64 y (cbrt.f64 (log.f64 z)))))
✓	0.1b	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z)))))
	14.6b	(+.f64 (.f64 x 1/2) (.f64 y (/.f64 (+.f64 (pow.f64 (+.f64 (-.f64 1 z) (.f64 (log.f64 z) 2/3)) 3) (pow.f64 (log.f64 (cbrt.f64 z)) 3)) (+.f64 (.f64 1/9 (.f64 (log.f64 z) (log.f64 z))) (.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 z) 2/3)) (+.f64 (log.f64 (cbrt.f64 z)) (-.f64 1 z)))))))
	0.8b	(+.f64 (.f64 x 1/2) (.f64 (.f64 y (.f64 (cbrt.f64 (-.f64 (+.f64 (log.f64 z) 1) z)) (cbrt.f64 (-.f64 (+.f64 (log.f64 z) 1) z)))) (cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))))

Compiler

Compiled 1232 to 762 computations (38.1% saved)

localize20.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite159.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

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

Counts

4 → 84

Calls

4 calls:

9.0ms	(.f64 y (+.f64 (-.f64 1 z) (.f64 (log.f64 z) 2/3)))
5.0ms	(*.f64 y (log.f64 (cbrt.f64 z)))
4.0ms	(*.f64 (log.f64 z) 2/3)
1.0ms	(cbrt.f64 z)

Compiler

Compiled 2067 to 1102 computations (46.7% saved)

series144.0ms (2.9%)

Error

Counts

4 → 20

Calls

4 calls:

53.0ms	(*.f64 y (log.f64 (cbrt.f64 z)))
36.0ms	(.f64 y (+.f64 (-.f64 1 z) (.f64 (log.f64 z) 2/3)))
19.0ms	(cbrt.f64 z)
14.0ms	(*.f64 (log.f64 z) 2/3)

Compiler

Compiled 1201 to 861 computations (28.3% saved)

simplify88.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

635×	`distribute-rgt-in_binary64`
612×	`distribute-lft-in_binary64`
361×	`distribute-rgt-neg-out_binary64`
333×	`*-commutative_binary64`
180×	`associate-l_binary64`

Counts

104 → 78

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	171	1360
1	357	1240
2	1173	1232
3	3265	1232
4	5035	1232

prune91.0ms (1.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	78	6	84

Error

Counts

84 → 6

Alt Table

Status	Error	Program
	0.1b	(+.f64 (.f64 x 1/2) (+.f64 (.f64 y (+.f64 (-.f64 1 z) (.f64 (log.f64 z) 2/3))) (.f64 y (log.f64 (cbrt.f64 z)))))
	0.1b	(+.f64 (+.f64 (.f64 1/2 x) (-.f64 y (.f64 z y))) (*.f64 (log.f64 z) y))
	0.4b	(+.f64 (+.f64 (.f64 1/2 x) (-.f64 y (.f64 z y))) (.f64 (.f64 (cbrt.f64 (log.f64 z)) (cbrt.f64 (log.f64 z))) (*.f64 y (cbrt.f64 (log.f64 z)))))
	0.1b	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z)))))
	14.6b	(+.f64 (.f64 x 1/2) (.f64 y (/.f64 (+.f64 (pow.f64 (+.f64 (-.f64 1 z) (.f64 (log.f64 z) 2/3)) 3) (pow.f64 (log.f64 (cbrt.f64 z)) 3)) (+.f64 (.f64 1/9 (.f64 (log.f64 z) (log.f64 z))) (.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 z) 2/3)) (+.f64 (log.f64 (cbrt.f64 z)) (-.f64 1 z)))))))
	0.8b	(+.f64 (.f64 x 1/2) (.f64 (.f64 y (.f64 (cbrt.f64 (-.f64 (+.f64 (log.f64 z) 1) z)) (cbrt.f64 (-.f64 (+.f64 (log.f64 z) 1) z)))) (cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))))

Compiler

Compiled 1430 to 808 computations (43.5% saved)

regimes1.4s (28.6%)

Accuracy

Total 0.1b remaining (79.7%)

Threshold costs 0.1b (79.7%)

Compiler

Compiled 20986 to 14620 computations (30.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64` `+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`1-exp_binary64` `neg-mul-1_binary64` `neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	33
1	28	33
2	32	33
3	34	33
4	35	33
5	34	33

end1.0ms (0%)

Compiler: Compiled 24 to 16 computations (33.3% saved)

sample893.0ms (18.1%)

Algorithm

1×

intervals

Results

414.0ms	8000×	body	128	valid
15.0ms	300×	body	128	invalid
3.0ms	69×	body	128	nan

Compiler

Compiled 213 to 144 computations (32.4% saved)

Details

analyze516.0ms (10.5%)

sample24.0ms (0.5%)

simplify353.0ms (7.2%)

prune2.0ms (0%)

localize9.0ms (0.2%)

rewrite102.0ms (2.1%)

series124.0ms (2.5%)

simplify106.0ms (2.2%)

prune61.0ms (1.2%)

localize12.0ms (0.2%)

rewrite78.0ms (1.6%)

series121.0ms (2.5%)

simplify103.0ms (2.1%)

prune48.0ms (1%)

localize17.0ms (0.3%)

rewrite147.0ms (3%)

series128.0ms (2.6%)

simplify90.0ms (1.8%)

prune78.0ms (1.6%)

localize20.0ms (0.4%)

rewrite159.0ms (3.2%)

series144.0ms (2.9%)

simplify88.0ms (1.8%)

prune91.0ms (1.9%)

regimes1.4s (28.6%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample893.0ms (18.1%)

Profiling