Details

analyze284.0ms (5.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample78.0ms (1.4%)

Algorithm

1×

intervals

Results

43.0ms	114×	body	1024	valid
16.0ms	78×	body	512	valid
6.0ms	11×	body	2048	valid
3.0ms	23×	body	256	valid
2.0ms	30×	body	128	valid

Compiler

Compiled 28 to 24 computations (14.3% saved)

simplify266.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

752×	`distribute-rgt-in_binary64`
602×	`distribute-lft-in_binary64`
406×	`unsub-neg_binary64`
389×	`sub-neg_binary64`
376×	`neg-sub0_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	20	15
2	26	15
3	40	15
4	60	15
5	81	15
6	117	15
7	201	15
8	367	15
9	492	15
10	574	15
11	566	15
12	611	15
13	681	15
14	841	15
15	1728	15
16	1773	15
17	2096	15
18	2397	15
19	2485	15
20	2514	15
21	2528	15
22	2528	15
23	2718	15
24	2796	15
25	2932	15
26	3066	15
27	3050	15
28	3062	15
29	3066	15
30	4296	15
31	4506	15
32	4713	15

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

56.8b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 33 to 27 computations (18.2% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 1 x) (-.f64 1 x))
5.0b	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

rewrite191.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

56.6b

Rules

78×	`*-un-lft-identity_binary64`
52×	`add-sqr-sqrt_binary64`
48×	`times-frac_binary64`
30×	`log-prod_binary64`
25×	`add-cube-cbrt_binary64`

Counts

2 → 91

Calls

2 calls:

8.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
8.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

Compiler

Compiled 1373 to 1094 computations (20.3% saved)

series31.0ms (0.6%)

Error

0.0b

Counts

2 → 14

Calls

2 calls:

11.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
10.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

Compiler

Compiled 334 to 293 computations (12.3% saved)

simplify127.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

506×	`div-sub_binary64`
437×	`distribute-rgt-in_binary64`
365×	`distribute-lft-in_binary64`
329×	`associate-/l*_binary64`
229×	`sub-neg_binary64`

Counts

105 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	145	2071
1	325	1979
2	757	1931
3	1995	1927
4	4258	1927
5	5622	1927

prune64.0ms (1.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	86	6	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	6	93

Error

0.0b

Counts

93 → 6

Alt Table

Status	Error	Program
	56.9b	(.f64 1/2 (+.f64 (.f64 2 (log.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))) (log.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))))
▶	0.4b	(.f64 1/2 (+.f64 (+.f64 x x) (+.f64 (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5))) (.f64 2/7 (pow.f64 x 7)))))
	56.8b	(.f64 1/2 (+.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (.f64 x x)))) (log.f64 (+.f64 x 1))))
	56.9b	(*.f64 1/2 (log.f64 (/.f64 (/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 1 x))) (sqrt.f64 (-.f64 1 x)))))
	56.8b	(.f64 1/2 (log.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 x x) (*.f64 1 x))))))
	60.9b	(*.f64 1/2 (+.f64 (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 x)))) (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (sqrt.f64 x))))))

Compiler

Compiled 1354 to 1069 computations (21% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))
0.1b	(*.f64 2/7 (pow.f64 x 7))
0.1b	(*.f64 2/5 (pow.f64 x 5))
0.2b	(*.f64 2/3 (pow.f64 x 3))

rewrite138.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`add-sqr-sqrt_binary64`
26×	`associate-r_binary64`
19×	`add-exp-log_binary64`
14×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
12×	`unpow-prod-down_binary64`

Counts

4 → 92

Calls

4 calls:

7.0ms	(*.f64 2/3 (pow.f64 x 3))
5.0ms	(*.f64 2/7 (pow.f64 x 7))
5.0ms	(*.f64 2/5 (pow.f64 x 5))
5.0ms	(+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))

Compiler

Compiled 2488 to 1898 computations (23.7% saved)

series61.0ms (1.1%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

23.0ms	(+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))
11.0ms	(*.f64 2/7 (pow.f64 x 7))
11.0ms	(*.f64 2/5 (pow.f64 x 5))
10.0ms	(*.f64 2/3 (pow.f64 x 3))

Compiler

Compiled 688 to 541 computations (21.4% saved)

simplify115.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

379×	`*-commutative_binary64`
352×	`cancel-sign-sub-inv_binary64`
289×	`sqr-pow_binary64`
236×	`log-prod_binary64`
228×	`exp-prod_binary64`

Counts

107 → 54

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	163	1280
1	345	1204
2	905	1180
3	1697	1180
4	3620	1143
5	4800	1140
6	4918	1140

prune51.0ms (0.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	54	6	60

Error

0.0b

Counts

60 → 6

Alt Table

Status	Error	Program
	56.9b	(.f64 1/2 (+.f64 (.f64 2 (log.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))) (log.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))))
✓	0.4b	(.f64 1/2 (+.f64 (+.f64 x x) (+.f64 (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5))) (.f64 2/7 (pow.f64 x 7)))))
▶	56.8b	(.f64 1/2 (+.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (.f64 x x)))) (log.f64 (+.f64 x 1))))
	56.9b	(*.f64 1/2 (log.f64 (/.f64 (/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 1 x))) (sqrt.f64 (-.f64 1 x)))))
	56.8b	(.f64 1/2 (log.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 x x) (*.f64 1 x))))))
	60.9b	(*.f64 1/2 (+.f64 (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 x)))) (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (sqrt.f64 x))))))

Compiler

Compiled 1146 to 879 computations (23.3% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x)))
0.0b	(+.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x)))) (log.f64 (+.f64 x 1)))
5.1b	(log.f64 (+.f64 x 1))
5.1b	(log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x))))

rewrite145.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

90×	`*-un-lft-identity_binary64`
60×	`log-prod_binary64` `times-frac_binary64`
50×	`add-sqr-sqrt_binary64`
37×	`add-cube-cbrt_binary64`
26×	`difference-of-squares_binary64` `associate-+l+_binary64`

Counts

4 → 145

Calls

4 calls:

14.0ms	(+.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x)))) (log.f64 (+.f64 x 1)))
7.0ms	(/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x)))
7.0ms	(log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x))))
3.0ms	(log.f64 (+.f64 x 1))

Compiler

Compiled 3323 to 2417 computations (27.3% saved)

series59.0ms (1.1%)

Error

0.0b

Counts

4 → 26

Calls

4 calls:

14.0ms	(+.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x)))) (log.f64 (+.f64 x 1)))
11.0ms	(log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x))))
10.0ms	(log.f64 (+.f64 x 1))
8.0ms	(/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x)))

Compiler

Compiled 959 to 771 computations (19.6% saved)

simplify209.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

563×	`sub-neg_binary64`
239×	`distribute-rgt-in_binary64`
235×	`associate-l_binary64`
229×	`unsub-neg_binary64`
228×	`associate-+l+_binary64`

Counts

171 → 115

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	226	3664
1	503	3494
2	1273	3340
3	3942	3340
4	4914	3338
5	4973	3338
6	4912	3338

prune86.0ms (1.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	113	2	115
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	115	6	121

Error

0.0b

Counts

121 → 6

Alt Table

Status	Error	Program
	56.9b	(.f64 1/2 (+.f64 (.f64 2 (log.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))) (log.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))))
✓	0.4b	(.f64 1/2 (+.f64 (+.f64 x x) (+.f64 (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5))) (.f64 2/7 (pow.f64 x 7)))))
▶	56.8b	(.f64 1/2 (+.f64 (log.f64 (/.f64 1 (+.f64 1 x))) (-.f64 (.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))))
✓	56.8b	(.f64 1/2 (+.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (.f64 x x)))) (log.f64 (+.f64 x 1))))
	56.9b	(.f64 1/2 (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 1 x))) (+.f64 (log.f64 (+.f64 x 1)) (log.f64 (/.f64 (cbrt.f64 (+.f64 x 1)) (-.f64 1 x))))))
	56.9b	(*.f64 1/2 (log.f64 (/.f64 (/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 1 x))) (sqrt.f64 (-.f64 1 x)))))

Compiler

Compiled 2353 to 1752 computations (25.5% saved)

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(+.f64 (log.f64 (/.f64 1 (+.f64 1 x))) (-.f64 (*.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x))))
5.1b	(log.f64 (+.f64 x 1))
5.1b	(log.f64 (/.f64 1 (+.f64 1 x)))
5.1b	(log.f64 (-.f64 1 x))

rewrite127.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

54×	`log-prod_binary64`
49×	`*-un-lft-identity_binary64`
28×	`add-sqr-sqrt_binary64`
25×	`add-cube-cbrt_binary64`
24×	`times-frac_binary64`

Counts

4 → 115

Calls

4 calls:

16.0ms	(+.f64 (log.f64 (/.f64 1 (+.f64 1 x))) (-.f64 (*.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x))))
5.0ms	(log.f64 (/.f64 1 (+.f64 1 x)))
4.0ms	(log.f64 (-.f64 1 x))
3.0ms	(log.f64 (+.f64 x 1))

Compiler

Compiled 2737 to 2335 computations (14.7% saved)

series79.0ms (1.4%)

Error

0.0b

Counts

4 → 26

Calls

4 calls:

17.0ms	(+.f64 (log.f64 (/.f64 1 (+.f64 1 x))) (-.f64 (*.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x))))
13.0ms	(log.f64 (-.f64 1 x))
12.0ms	(log.f64 (+.f64 x 1))
12.0ms	(log.f64 (/.f64 1 (+.f64 1 x)))

Compiler

Compiled 1337 to 1129 computations (15.6% saved)

simplify149.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

573×	`sub-neg_binary64`
346×	`times-frac_binary64`
331×	`unsub-neg_binary64`
204×	`distribute-rgt-in_binary64`
184×	`cancel-sign-sub-inv_binary64`

Counts

141 → 108

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	223	2552
1	478	2329
2	1168	1997
3	3457	1994
4	4872	1994
5	4914	1994

prune81.0ms (1.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	108	6	114

Error

0.0b

Counts

114 → 6

Alt Table

Status	Error	Program
	56.8b	(.f64 1/2 (+.f64 (+.f64 (neg.f64 (log.f64 (+.f64 (pow.f64 x 3) 1))) (log.f64 (+.f64 (.f64 x x) (-.f64 1 x)))) (-.f64 (*.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))))
	56.9b	(.f64 1/2 (+.f64 (.f64 2 (log.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))) (log.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))))
	0.4b	(.f64 1/2 (+.f64 (+.f64 x x) (+.f64 (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5))) (.f64 2/7 (pow.f64 x 7)))))
	56.8b	(.f64 1/2 (+.f64 (log.f64 (/.f64 1 (+.f64 1 x))) (-.f64 (.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))))
	56.8b	(.f64 1/2 (+.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (.f64 x x)))) (log.f64 (+.f64 x 1))))
	56.9b	(*.f64 1/2 (log.f64 (/.f64 (/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 1 x))) (sqrt.f64 (-.f64 1 x)))))

Compiler

Compiled 2223 to 1840 computations (17.2% saved)

regimes367.0ms (6.7%)

Accuracy

Total 0.2b remaining (97.2%)

Threshold costs 0.2b (97.2%)

Compiler

Compiled 6413 to 5197 computations (19% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
3×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	34
1	27	34
2	27	34

end1.0ms (0%)

Compiler: Compiled 24 to 19 computations (20.8% saved)

sample2.8s (49.9%)

Algorithm

1×

intervals

Results

1.5s	4088×	body	1024	valid
433.0ms	1977×	body	512	valid
218.0ms	401×	body	2048	valid
117.0ms	944×	body	256	valid
34.0ms	590×	body	128	valid

Compiler

Compiled 174 to 142 computations (18.4% saved)

Details

analyze284.0ms (5.1%)

sample78.0ms (1.4%)

simplify266.0ms (4.8%)

prune4.0ms (0.1%)

localize6.0ms (0.1%)

rewrite191.0ms (3.5%)

series31.0ms (0.6%)

simplify127.0ms (2.3%)

prune64.0ms (1.2%)

localize15.0ms (0.3%)

rewrite138.0ms (2.5%)

series61.0ms (1.1%)

simplify115.0ms (2.1%)

prune51.0ms (0.9%)

localize9.0ms (0.2%)

rewrite145.0ms (2.6%)

series59.0ms (1.1%)

simplify209.0ms (3.8%)

prune86.0ms (1.6%)

localize16.0ms (0.3%)

rewrite127.0ms (2.3%)

series79.0ms (1.4%)

simplify149.0ms (2.7%)

prune81.0ms (1.5%)

regimes367.0ms (6.7%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample2.8s (49.9%)

Profiling