Details

analyze183.0ms (7.3%)

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
25%	74.9%	0.1%	5
43.7%	43.7%	12.6%	6
53.1%	31.2%	15.7%	7
59.3%	18.7%	22%	8
62.4%	14%	23.5%	9
64.8%	8.6%	26.6%	10
66%	6.6%	27.4%	11
66.9%	4.1%	29%	12
67.4%	3.2%	29.4%	13
67.9%	2%	30.1%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample76.0ms (3%)

Algorithm

1×

intervals

Results

51.0ms	8×	body	1024	valid
14.0ms	238×	body	128	valid
2.0ms	6×	body	512	valid
1.0ms	4×	body	256	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 25 to 19 computations (24% saved)

simplify98.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

892×	`prod-exp_binary64`
741×	`fabs-mul_binary64`
531×	`fabs-div_binary64`
469×	`swap-sqr_binary64`
379×	`times-frac_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	18	14
2	27	14
3	39	14
4	50	14
5	70	14
6	92	14
7	112	14
8	146	14
9	150	14
10	158	14
11	178	14
12	253	14
13	461	14
14	873	14
15	2790	14
16	3179	14
17	3256	14
18	3475	14
19	3469	14
20	5201	14

prune1.0ms (0.1%)

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.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))

Compiler

Compiled 22 to 16 computations (27.3% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 1 (exp.f64 x))
0.0b	(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
0.0b	(log.f64 (+.f64 1 (exp.f64 x)))

rewrite42.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`*-un-lft-identity_binary64`
8×	`log-prod_binary64`
6×	`add-log-exp_binary64`
5×	`add-sqr-sqrt_binary64`
5×	`add-cube-cbrt_binary64`

Counts

3 → 45

Calls

3 calls:

5.0ms	(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
3.0ms	(+.f64 1 (exp.f64 x))
3.0ms	(log.f64 (+.f64 1 (exp.f64 x)))

Compiler

Compiled 708 to 393 computations (44.5% saved)

series53.0ms (2.1%)

Error

0.0b

Counts

3 → 26

Calls

3 calls:

27.0ms	(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
11.0ms	(log.f64 (+.f64 1 (exp.f64 x)))
5.0ms	(+.f64 1 (exp.f64 x))

Compiler

Compiled 585 to 422 computations (27.9% saved)

simplify112.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

617×	`cancel-sign-sub-inv_binary64`
349×	`sub-neg_binary64`
328×	`unsub-neg_binary64`
302×	`unswap-sqr_binary64`
271×	`*-commutative_binary64`

Counts

71 → 34

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	103	1019
1	247	961
2	564	942
3	1452	942
4	3180	942
5	4512	942
6	4840	942
7	4870	942

prune15.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	33	1	34
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	33	2	35

Error

0.0b

Counts

35 → 2

Alt Table

Status	Error	Program
▶	10.8b	(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
✓	0.0b	(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))

Compiler

Compiled 404 to 247 computations (38.9% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

rewrite44.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`add-sqr-sqrt_binary64`
12×	`cancel-sign-sub-inv_binary64`
11×	`*-un-lft-identity_binary64`
9×	`add-cube-cbrt_binary64`
8×	`distribute-lft-in_binary64`

Counts

2 → 52

Calls

2 calls:

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

Compiler

Compiled 751 to 527 computations (29.8% saved)

series39.0ms (1.5%)

Error

0.0b

Counts

2 → 21

Calls

2 calls:

23.0ms	(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
11.0ms	(*.f64 x (-.f64 1/2 y))

Compiler

Compiled 409 to 309 computations (24.4% saved)

simplify107.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

823×	`neg-mul-1_binary64`
445×	`distribute-rgt-neg-out_binary64`
406×	`distribute-lft-neg-out_binary64`
364×	`distribute-rgt-in_binary64`
356×	`unsub-neg_binary64`

Counts

73 → 46

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	104	804
1	243	779
2	739	779
3	2423	779
4	4255	779
5	5073	779

prune16.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	45	1	46
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	46	2	48

Error

0.0b

Counts

48 → 2

Alt Table

Status	Error	Program
▶	11.3b	(+.f64 (log.f64 (sqrt.f64 2)) (+.f64 (*.f64 x (-.f64 1/2 y)) (log.f64 (sqrt.f64 2))))
✓	0.0b	(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))

Compiler

Compiled 343 to 254 computations (25.9% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (log.f64 (sqrt.f64 2)) (+.f64 (*.f64 x (-.f64 1/2 y)) (log.f64 (sqrt.f64 2))))
0.0b	(*.f64 x (-.f64 1/2 y))
1.0b	(log.f64 (sqrt.f64 2))
1.0b	(log.f64 (sqrt.f64 2))

rewrite69.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`*-un-lft-identity_binary64`
18×	`add-sqr-sqrt_binary64`
18×	`log-prod_binary64`
14×	`add-cube-cbrt_binary64`
11×	`pow1_binary64`

Counts

4 → 85

Calls

4 calls:

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

Compiler

Compiled 1477 to 1245 computations (15.7% saved)

series59.0ms (2.4%)

Error

Counts

4 → 21

Calls

4 calls:

40.0ms	(+.f64 (log.f64 (sqrt.f64 2)) (+.f64 (*.f64 x (-.f64 1/2 y)) (log.f64 (sqrt.f64 2))))
14.0ms	(*.f64 x (-.f64 1/2 y))
0.0ms	(log.f64 (sqrt.f64 2))
0.0ms	(log.f64 (sqrt.f64 2))

Compiler

Compiled 561 to 460 computations (18% saved)

simplify90.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

704×	`unsub-neg_binary64`
443×	`neg-mul-1_binary64`
435×	`neg-sub0_binary64`
346×	`distribute-rgt-in_binary64`
329×	`distribute-lft-in_binary64`

Counts

106 → 69

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	130	1388
1	281	1307
2	784	1212
3	2713	1212
4	4095	1212
5	5018	1212

prune29.0ms (1.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	68	3	71

Error

Counts

71 → 3

Alt Table

Status	Error	Program
▶	11.3b	(+.f64 (.f64 (-.f64 1/2 y) x) (.f64 2 (log.f64 (sqrt.f64 2))))
✓	11.3b	(+.f64 (log.f64 (sqrt.f64 2)) (+.f64 (*.f64 x (-.f64 1/2 y)) (log.f64 (sqrt.f64 2))))
✓	0.0b	(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))

Compiler

Compiled 790 to 659 computations (16.6% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 1/2 y) x)
0.0b	(+.f64 (.f64 (-.f64 1/2 y) x) (.f64 2 (log.f64 (sqrt.f64 2))))
1.0b	(log.f64 (sqrt.f64 2))

rewrite50.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`log-prod_binary64`
15×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
12×	`associate-+r+_binary64`
11×	`add-cube-cbrt_binary64`

Counts

3 → 62

Calls

3 calls:

6.0ms	(+.f64 (.f64 (-.f64 1/2 y) x) (.f64 2 (log.f64 (sqrt.f64 2))))
5.0ms	(*.f64 (-.f64 1/2 y) x)
1.0ms	(log.f64 (sqrt.f64 2))

Compiler

Compiled 1034 to 869 computations (16% saved)

series51.0ms (2%)

Error

Counts

3 → 21

Calls

3 calls:

35.0ms	(+.f64 (.f64 (-.f64 1/2 y) x) (.f64 2 (log.f64 (sqrt.f64 2))))
13.0ms	(*.f64 (-.f64 1/2 y) x)
0.0ms	(log.f64 (sqrt.f64 2))

Compiler

Compiled 523 to 422 computations (19.3% saved)

simplify91.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

595×	`associate-l_binary64`
499×	`associate-r_binary64`
460×	`distribute-rgt-in_binary64`
420×	`distribute-lft-in_binary64`
385×	`neg-sub0_binary64`

Counts

83 → 60

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	119	1094
1	255	1032
2	824	1014
3	3401	1014
4	4385	1014
5	4925	1014

prune29.0ms (1.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	60	3	63

Error

Counts

63 → 3

Alt Table

Status	Error	Program
	11.3b	(+.f64 (.f64 (-.f64 1/2 y) x) (.f64 2 (log.f64 (sqrt.f64 2))))
	11.3b	(+.f64 (log.f64 (sqrt.f64 2)) (+.f64 (*.f64 x (-.f64 1/2 y)) (log.f64 (sqrt.f64 2))))
	0.0b	(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))

Compiler

Compiled 667 to 555 computations (16.8% saved)

regimes146.0ms (5.8%)

Accuracy

Total 0.3b remaining (52.5%)

Threshold costs 0.3b (52.5%)

Compiler

Compiled 2023 to 1620 computations (19.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	18	14
2	27	14
3	33	14
4	37	14
5	38	14
6	37	14

end0.0ms (0%)

Compiler: Compiled 11 to 8 computations (27.3% saved)

sample1.1s (42.9%)

Algorithm

1×

intervals

Results

484.0ms	7355×	body	128	valid
125.0ms	233×	body	1024	valid
65.0ms	251×	body	512	valid
23.0ms	159×	body	256	valid
4.0ms	54×	body	128	invalid
2.0ms	2×	body	2048	valid
0.0ms	6×	body	128	overflowed

Compiler

Compiled 64 to 51 computations (20.3% saved)

Details

analyze183.0ms (7.3%)

sample76.0ms (3%)

simplify98.0ms (3.9%)

prune1.0ms (0.1%)

localize7.0ms (0.3%)

rewrite42.0ms (1.7%)

series53.0ms (2.1%)

simplify112.0ms (4.4%)

prune15.0ms (0.6%)

localize8.0ms (0.3%)

rewrite44.0ms (1.8%)

series39.0ms (1.5%)

simplify107.0ms (4.2%)

prune16.0ms (0.6%)

localize8.0ms (0.3%)

rewrite69.0ms (2.7%)

series59.0ms (2.4%)

simplify90.0ms (3.6%)

prune29.0ms (1.2%)

localize9.0ms (0.3%)

rewrite50.0ms (2%)

series51.0ms (2%)

simplify91.0ms (3.6%)

prune29.0ms (1.1%)

regimes146.0ms (5.8%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.1s (42.9%)

Profiling