Details

analyze710.0ms (12.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%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
7%	92.8%	0.2%	8
19.1%	80.7%	0.2%	9
29.8%	70%	0.2%	10
31.3%	68.5%	0.2%	11
42.3%	57.2%	0.6%	12
53.3%	45.5%	1.2%	13
59.2%	39.3%	1.5%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample120.0ms (2.1%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
1.0ms	28×	body	128	invalid

Compiler

Compiled 31 to 21 computations (32.3% saved)

simplify119.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1630×	`fma-neg_binary64`
896×	`div-sub_binary64`
582×	`times-frac_binary64`
579×	`fma-def_binary64`
367×	`sub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	13
2	34	13
3	74	13
4	145	13
5	245	13
6	572	13
7	1407	13
8	2937	13
9	2993	13
10	3292	13
11	3338	13
12	3355	13
13	3404	13
14	4948	13

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

8.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	8.9b	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))

Compiler

Compiled 39 to 24 computations (38.5% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 x (-.f64 y z))
✓	8.4b	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))

series40.0ms (0.7%)

Counts

2 → 84

Calls

2 calls:

33.0ms	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
6.0ms	(*.f64 x (-.f64 y z))

rewrite18.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64`
26×	`*-un-lft-identity_binary64`
20×	`add-cube-cbrt_binary64`
18×	`prod-diff_binary64`
13×	`distribute-lft-in_binary64`

Counts

2 → 81

Calls

2 calls:

8.0ms	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
5.0ms	(*.f64 x (-.f64 y z))

simplify111.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

526×	`cancel-sign-sub-inv_binary64`
513×	`fma-neg_binary64`
365×	`div-sub_binary64`
202×	`associate-/l*_binary64`
196×	`sub-neg_binary64`

Counts

165 → 145

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	244	2954
1	576	2753
2	2576	2555
3	4147	2552
4	5042	2552

prune113.0ms (2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	140	5	145
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	141	5	146

Error

0.0b

Counts

146 → 5

Alt Table

Status	Error	Program
	2.6b	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
	31.6b	(.f64 (/.f64 (.f64 x (-.f64 y z)) (-.f64 (.f64 t t) (.f64 z z))) (+.f64 t z))
	9.0b	(.f64 (.f64 x (-.f64 y z)) (/.f64 1 (-.f64 t z)))
▶	2.5b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
	8.9b	(-.f64 (/.f64 (.f64 y x) (-.f64 t z)) (/.f64 (.f64 z x) (-.f64 t z)))

Compiler

Compiled 3209 to 946 computations (70.5% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 y z) (-.f64 t z))
✓	2.3b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))

series60.0ms (1.1%)

Counts

2 → 84

Calls

2 calls:

34.0ms	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
26.0ms	(/.f64 (-.f64 y z) (-.f64 t z))

rewrite29.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`add-sqr-sqrt_binary64`
70×	`*-un-lft-identity_binary64`
51×	`times-frac_binary64`
31×	`associate-r_binary64`
26×	`add-cube-cbrt_binary64`

Counts

2 → 106

Calls

2 calls:

14.0ms	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
6.0ms	(/.f64 (-.f64 y z) (-.f64 t z))

simplify98.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

906×	`fma-def_binary64`
511×	`cancel-sign-sub-inv_binary64`
372×	`sub-neg_binary64`
220×	`fma-neg_binary64`
164×	`associate-/l*_binary64`

Counts

190 → 181

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	283	4489
1	786	4288
2	2972	4076
3	5031	4076

prune104.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	180	6	186

Error

Counts

186 → 6

Alt Table

Status	Error	Program
▶	2.6b	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
	31.6b	(.f64 (/.f64 (.f64 x (-.f64 y z)) (-.f64 (.f64 t t) (.f64 z z))) (+.f64 t z))
	9.0b	(.f64 (.f64 x (-.f64 y z)) (/.f64 1 (-.f64 t z)))
✓	2.5b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
	39.2b	(/.f64 (fma.f64 -1 y z) (/.f64 z x))
	8.9b	(-.f64 (/.f64 (.f64 y x) (-.f64 t z)) (/.f64 (.f64 z x) (-.f64 t z)))

Compiler

Compiled 4231 to 1248 computations (70.5% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 t z) (-.f64 y z))
✓	2.5b	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))

series55.0ms (1%)

Counts

2 → 84

Calls

2 calls:

34.0ms	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
20.0ms	(/.f64 (-.f64 t z) (-.f64 y z))

rewrite44.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

218×	`times-frac_binary64`
194×	`*-un-lft-identity_binary64`
194×	`add-sqr-sqrt_binary64`
90×	`add-cube-cbrt_binary64`
52×	`distribute-lft-out--_binary64`

Counts

2 → 198

Calls

2 calls:

9.0ms	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
6.0ms	(/.f64 (-.f64 t z) (-.f64 y z))

simplify189.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

562×	`cancel-sign-sub-inv_binary64`
374×	`sub-neg_binary64`
271×	`associate-/r/_binary64`
224×	`fma-neg_binary64`
198×	`associate-/l/_binary64`

Counts

282 → 300

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	408	7629
1	1057	7410
2	3983	7368
3	5298	7368

prune149.0ms (2.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	299	1	300
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	300	6	306

Error

Counts

306 → 6

Alt Table

Status	Error	Program
▶	2.6b	(/.f64 x (-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z))))
✓	2.6b	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
	9.0b	(.f64 (.f64 x (-.f64 y z)) (/.f64 1 (-.f64 t z)))
✓	2.5b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
	39.2b	(/.f64 (fma.f64 -1 y z) (/.f64 z x))
	8.9b	(-.f64 (/.f64 (.f64 y x) (-.f64 t z)) (/.f64 (.f64 z x) (-.f64 t z)))

Compiler

Compiled 7206 to 1683 computations (76.6% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z)))
✓	0.0b	(/.f64 z (-.f64 y z))
✓	0.0b	(/.f64 t (-.f64 y z))
✓	2.5b	(/.f64 x (-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z))))

series177.0ms (3.1%)

Counts

4 → 111

Calls

4 calls:

122.0ms	(/.f64 x (-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z))))
26.0ms	(-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z)))
16.0ms	(/.f64 t (-.f64 y z))
13.0ms	(/.f64 z (-.f64 y z))

rewrite207.0ms (3.6%)

Algorithm

1×	rewrite-expression-head

Rules

863×	`*-un-lft-identity_binary64`
834×	`times-frac_binary64`
813×	`add-sqr-sqrt_binary64`
453×	`add-cube-cbrt_binary64`
441×	`prod-diff_binary64`

Counts

4 → 684

Calls

4 calls:

31.0ms	(-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z)))
24.0ms	(/.f64 x (-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z))))
4.0ms	(/.f64 t (-.f64 y z))
4.0ms	(/.f64 z (-.f64 y z))

simplify797.0ms (14%)

Algorithm

1×	egg-herbie

Rules

853×	`times-frac_binary64`
306×	`fma-udef_binary64`
263×	`unsub-neg_binary64`
237×	`fma-def_binary64`
197×	`sub-neg_binary64`

Counts

795 → 882

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	1006	47199
1	2724	42312
2	4809	42120
3	5008	42120

prune869.0ms (15.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	882	0	882
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	882	6	888

Error

Counts

888 → 6

Alt Table

Status	Error	Program
✓	2.6b	(/.f64 x (-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z))))
✓	2.6b	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
	9.0b	(.f64 (.f64 x (-.f64 y z)) (/.f64 1 (-.f64 t z)))
✓	2.5b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
	39.2b	(/.f64 (fma.f64 -1 y z) (/.f64 z x))
	8.9b	(-.f64 (/.f64 (.f64 y x) (-.f64 t z)) (/.f64 (.f64 z x) (-.f64 t z)))

Compiler

Compiled 44524 to 8202 computations (81.6% saved)

regimes897.0ms (15.7%)

Accuracy

Total 2.1b remaining (98.8%)

Threshold costs 0b (0%)

Counts

112 → 3

Compiler

Compiled 9500 to 5814 computations (38.8% saved)

bsearch31.0ms (0.5%)

Steps

Iters	Range		Point
9	-2.123658490697115e-295	-1.1247748058894602e-300	-9.604018982582673e-297
7	-1.1274980019346963e-48	-5.422603809169295e-50	-2.464627712927991e-49

Compiler

Compiled 5 to 4 computations (20% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
7×	`+-commutative_binary64`
7×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	60
1	32	60
2	43	60
3	54	60
4	60	60
5	63	60
6	64	60
7	64	60

end1.0ms (0%)

Compiler: Compiled 45 to 21 computations (53.3% saved)

sample733.0ms (12.8%)

Algorithm

1×

intervals

Results

326.0ms	8000×	body	128	valid
25.0ms	636×	body	128	invalid

Compiler

Compiled 152 to 87 computations (42.8% saved)

Details

analyze710.0ms (12.4%)

sample120.0ms (2.1%)

simplify119.0ms (2.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series40.0ms (0.7%)

rewrite18.0ms (0.3%)

simplify111.0ms (1.9%)

prune113.0ms (2%)

localize6.0ms (0.1%)

series60.0ms (1.1%)

rewrite29.0ms (0.5%)

simplify98.0ms (1.7%)

prune104.0ms (1.8%)

localize6.0ms (0.1%)

series55.0ms (1%)

rewrite44.0ms (0.8%)

simplify189.0ms (3.3%)

prune149.0ms (2.6%)

localize9.0ms (0.2%)

series177.0ms (3.1%)

rewrite207.0ms (3.6%)

simplify797.0ms (14%)

prune869.0ms (15.2%)

regimes897.0ms (15.7%)

bsearch31.0ms (0.5%)

simplify8.0ms (0.1%)

end1.0ms (0%)

sample733.0ms (12.8%)

Profiling