Details

analyze197.0ms (6.2%)

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
50%	50%	0.1%	6
56.2%	40.6%	3.2%	7
68.7%	25%	6.3%	8
71.8%	19.5%	8.7%	9
78%	12.5%	9.5%	10
79.6%	9.6%	10.8%	11
82.7%	6.2%	11%	12
83.5%	4.7%	11.8%	13
85.1%	3.1%	11.8%	14

Compiler

Compiled 14 to 10 computations (28.6% saved)

sample36.0ms (1.1%)

Algorithm

1×

intervals

Results

18.0ms	253×	body	128	valid
1.0ms	2×	body	1024	valid
0.0ms	1×	body	512	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 29 to 21 computations (27.6% saved)

simplify15.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

24×	`fma-def_binary64`
8×	`*-commutative_binary64`
7×	`+-commutative_binary64`
5×	`associate-+r+_binary64`
5×	`distribute-lft-out_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	20	10
2	44	7
3	64	7
4	67	7
5	68	7
6	66	7

prune8.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 d1 (+.f64 d2 30))
	0.2b	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

Compiler

Compiled 58 to 40 computations (31% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 d1 (+.f64 d2 30))

series8.0ms (0.3%)

Counts

1 → 20

Calls

1 calls:

8.0ms

(*.f64 d1 (+.f64 d2 30))

rewrite11.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 25

Calls

1 calls:

9.0ms

(*.f64 d1 (+.f64 d2 30))

simplify119.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

898×	`distribute-rgt-in_binary64`
895×	`distribute-lft-in_binary64`
522×	`associate-*l/_binary64`
475×	`fma-def_binary64`
247×	`associate-l_binary64`

Counts

45 → 44

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	53	389
1	127	359
2	385	359
3	925	359
4	2929	359
5	3014	359
6	3452	359
7	4858	359

prune58.0ms (1.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Error

Counts

46 → 4

Alt Table

Status	Error	Program
	11.7b	(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (-.f64 d2 30))
	17.5b	(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (+.f64 (.f64 d2 d2) (-.f64 (.f64 30 30) (.f64 d2 30))))
✓	0.0b	(*.f64 d1 (+.f64 d2 30))
▶	0.2b	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

Compiler

Compiled 540 to 361 computations (33.1% saved)

localize13.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 d1 10) (.f64 d1 d2))
✓	0.2b	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

series19.0ms (0.6%)

Counts

2 → 48

Calls

2 calls:

10.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
9.0ms	(+.f64 (.f64 d1 10) (.f64 d1 d2))

rewrite21.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-log-exp_binary64`
5×	`fma-def_binary64`
4×	`sum-log_binary64`
4×	`distribute-lft-out_binary64`
3×	`*-un-lft-identity_binary64`

Counts

2 → 35

Calls

2 calls:

12.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
6.0ms	(+.f64 (.f64 d1 10) (.f64 d1 d2))

simplify136.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

575×	`fma-def_binary64`
492×	`associate-l_binary64`
392×	`cancel-sign-sub-inv_binary64`
377×	`associate-r_binary64`
307×	`fma-neg_binary64`

Counts

83 → 66

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	70	804
1	223	677
2	816	659
3	3108	653
4	4650	653
5	4988	653
6	5000	653
7	4939	653

prune81.0ms (2.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	66	4	70

Error

Counts

70 → 4

Alt Table

Status	Error	Program
▶	11.7b	(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (-.f64 d2 30))
	17.5b	(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (+.f64 (.f64 d2 d2) (-.f64 (.f64 30 30) (.f64 d2 30))))
✓	0.0b	(*.f64 d1 (+.f64 d2 30))
✓	0.2b	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

Compiler

Compiled 1078 to 673 computations (37.6% saved)

localize13.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	2.2b	(*.f64 d1 (fma.f64 d2 d2 -900))
✓	8.8b	(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (-.f64 d2 30))

series56.0ms (1.8%)

Counts

2 → 48

Calls

2 calls:

38.0ms	(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (-.f64 d2 30))
18.0ms	(*.f64 d1 (fma.f64 d2 d2 -900))

rewrite33.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
6×	`add-cube-cbrt_binary64`

Counts

2 → 51

Calls

2 calls:

10.0ms	(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (-.f64 d2 30))
5.0ms	(*.f64 d1 (fma.f64 d2 d2 -900))

simplify114.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

786×	`div-sub_binary64`
586×	`associate-/l*_binary64`
533×	`times-frac_binary64`
362×	`fma-def_binary64`
297×	`associate-*l/_binary64`

Counts

99 → 88

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	104	1257
1	222	1136
2	874	1135
3	4049	1135
4	6643	1135

prune99.0ms (3.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	88	4	92

Error

Counts

92 → 4

Alt Table

Status	Error	Program
✓	11.7b	(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (-.f64 d2 30))
▶	17.5b	(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (+.f64 (.f64 d2 d2) (-.f64 (.f64 30 30) (.f64 d2 30))))
✓	0.0b	(*.f64 d1 (+.f64 d2 30))
✓	0.2b	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

Compiler

Compiled 1402 to 905 computations (35.4% saved)

localize22.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 30 30) (.f64 d2 30))
✓	0.0b	(+.f64 (.f64 d2 d2) (-.f64 (.f64 30 30) (*.f64 d2 30)))
✓	3.4b	(*.f64 d1 (+.f64 (pow.f64 d2 3) 27000))
✓	13.7b	(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (+.f64 (.f64 d2 d2) (-.f64 (.f64 30 30) (.f64 d2 30))))

series153.0ms (4.8%)

Counts

4 → 72

Calls

4 calls:

122.0ms	(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (+.f64 (.f64 d2 d2) (-.f64 (.f64 30 30) (.f64 d2 30))))
23.0ms	(*.f64 d1 (+.f64 (pow.f64 d2 3) 27000))
4.0ms	(+.f64 (.f64 d2 d2) (-.f64 (.f64 30 30) (*.f64 d2 30)))
3.0ms	(-.f64 (.f64 30 30) (.f64 d2 30))

rewrite77.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-cbrt-cube_binary64`
11×	`add-log-exp_binary64`
11×	`add-exp-log_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-sqr-sqrt_binary64`

Counts

4 → 88

Calls

4 calls:

32.0ms	(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (+.f64 (.f64 d2 d2) (-.f64 (.f64 30 30) (.f64 d2 30))))
20.0ms	(*.f64 d1 (+.f64 (pow.f64 d2 3) 27000))
10.0ms	(+.f64 (.f64 d2 d2) (-.f64 (.f64 30 30) (*.f64 d2 30)))
6.0ms	(-.f64 (.f64 30 30) (.f64 d2 30))

simplify139.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

702×	`distribute-rgt-in_binary64`
671×	`distribute-lft-in_binary64`
602×	`fma-def_binary64`
507×	`times-frac_binary64`
143×	`cancel-sign-sub-inv_binary64`

Counts

160 → 174

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	165	2445
1	414	2148
2	1670	1955
3	5460	1955

prune247.0ms (7.7%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	174	0	174
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	174	4	178

Error

Counts

178 → 4

Alt Table

Status	Error	Program
✓	11.7b	(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (-.f64 d2 30))
✓	17.5b	(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (+.f64 (.f64 d2 d2) (-.f64 (.f64 30 30) (.f64 d2 30))))
✓	0.0b	(*.f64 d1 (+.f64 d2 30))
✓	0.2b	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

Compiler

Compiled 4295 to 3053 computations (28.9% saved)

regimes367.0ms (11.4%)

Accuracy

Total 0.0b remaining (84.8%)

Threshold costs 0.0b (84.8%)

Counts

67 → 1

Compiler

Compiled 3020 to 2204 computations (27% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	10	10
2	10	10

end1.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

sample1.1s (35.9%)

Algorithm

1×

intervals

Results

597.0ms	7882×	body	128	valid
22.0ms	70×	body	1024	valid
6.0ms	87×	body	128	invalid
5.0ms	27×	body	512	valid
2.0ms	18×	body	256	valid
1.0ms	3×	body	2048	valid

Compiler

Compiled 78 to 56 computations (28.2% saved)

Details

analyze197.0ms (6.2%)

sample36.0ms (1.1%)

simplify15.0ms (0.5%)

prune8.0ms (0.3%)

localize7.0ms (0.2%)

series8.0ms (0.3%)

rewrite11.0ms (0.4%)

simplify119.0ms (3.7%)

prune58.0ms (1.8%)

localize13.0ms (0.4%)

series19.0ms (0.6%)

rewrite21.0ms (0.6%)

simplify136.0ms (4.3%)

prune81.0ms (2.5%)

localize13.0ms (0.4%)

series56.0ms (1.8%)

rewrite33.0ms (1%)

simplify114.0ms (3.6%)

prune99.0ms (3.1%)

localize22.0ms (0.7%)

series153.0ms (4.8%)

rewrite77.0ms (2.4%)

simplify139.0ms (4.3%)

prune247.0ms (7.7%)

regimes367.0ms (11.4%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample1.1s (35.9%)

Profiling