Details

analyze371.0ms (11.4%)

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
26.5%	73.3%	0.1%	8
33.5%	66.3%	0.1%	9
49.1%	50.7%	0.1%	10
56.9%	42.9%	0.1%	11
60.8%	39%	0.1%	12
69%	30.9%	0.1%	13
72.5%	27.3%	0.1%	14

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample31.0ms (0.9%)

Algorithm

1×

intervals

Results

10.0ms	89×	body	1024	valid
5.0ms	34×	body	2048	valid
4.0ms	44×	body	512	valid
2.0ms	73×	body	128	valid
1.0ms	16×	body	256	valid

Compiler

Compiled 25 to 22 computations (12% saved)

simplify118.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	504	17
1	504	17

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 45.0b

Counts

2 → 1

Compiler

Compiled 24 to 18 computations (25% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (*.f64 x y) z)
0.0b	(+.f64 1 (+.f64 (*.f64 x y) z))
8.5b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

rewrite22.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-log-exp_binary64_799`
13×	`*-un-lft-identity_binary64_760`
7×	`sum-log_binary64_851`
6×	`add-sqr-sqrt_binary64_782`
4×	`cancel-sign-sub-inv_binary64_726` `add-cube-cbrt_binary64_795`
3×	`diff-log_binary64_852` `distribute-lft-out_binary64_711` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
2×	`flip3-+_binary64_763` `flip-+_binary64_734` `distribute-lft-out--_binary64_712` `+-commutative_binary64_690`
1×	`difference-of-squares_binary64_729` `associate-+r+_binary64_692` `associate--r+_binary64_696` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

3 → 46

Calls

3 calls:

9.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
6.0ms	(+.f64 1 (+.f64 (*.f64 x y) z))
4.0ms	(+.f64 (*.f64 x y) z)

series87.0ms (2.7%)

Counts

3 → 9

Calls

3 calls:

43.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
22.0ms	(+.f64 (*.f64 x y) z)
22.0ms	(+.f64 1 (+.f64 (*.f64 x y) z))

simplify68.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4986	901
1	4986	901

prune57.0ms (1.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	47	8	55
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	48	8	56

Merged error: 44.4b

Counts

56 → 8

Compiler

Compiled 1117 to 418 computations (62.6% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x y) z)
8.6b	(-.f64 (+.f64 (fma.f64 x y z) -1) (+.f64 (*.f64 x y) z))

rewrite18.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-log-exp_binary64_799`
8×	`*-un-lft-identity_binary64_760`
5×	`flip3-+_binary64_763` `flip-+_binary64_734` `sum-log_binary64_851` `add-sqr-sqrt_binary64_782`
4×	`diff-log_binary64_852` `frac-sub_binary64_769`
3×	`cancel-sign-sub-inv_binary64_726` `add-cube-cbrt_binary64_795`
2×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `distribute-lft-out--_binary64_712` `pow1_binary64_821`
1×	`distribute-lft-out_binary64_711` `difference-of-squares_binary64_729` `+-commutative_binary64_690` `associate--r+_binary64_696` `associate--l+_binary64_697` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

2 → 37

Calls

2 calls:

11.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (+.f64 (*.f64 x y) z))
4.0ms	(+.f64 (*.f64 x y) z)

series60.0ms (1.8%)

Counts

2 → 6

Calls

2 calls:

40.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (+.f64 (*.f64 x y) z))
20.0ms	(+.f64 (*.f64 x y) z)

simplify35.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5157	1024

prune49.0ms (1.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	40	11	51

Merged error: 44.2b

Counts

51 → 11

Compiler

Compiled 1202 to 448 computations (62.7% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.5b	(-.f64 (-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y)) z)
9.8b	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))

rewrite19.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-log-exp_binary64_799`
7×	`diff-log_binary64_852`
5×	`*-un-lft-identity_binary64_760` `cancel-sign-sub-inv_binary64_726` `associate--l+_binary64_697` `add-sqr-sqrt_binary64_782`
3×	`add-cube-cbrt_binary64_795` `sub-neg_binary64_753`
2×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `sum-log_binary64_851` `pow1_binary64_821` `flip--_binary64_735` `flip3--_binary64_764`
1×	`associate--l-_binary64_698` `difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712`

Counts

2 → 36

Calls

2 calls:

9.0ms	(-.f64 (-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y)) z)
7.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))

series72.0ms (2.2%)

Counts

2 → 6

Calls

2 calls:

40.0ms	(-.f64 (-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y)) z)
32.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))

simplify59.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5353	808

prune62.0ms (1.9%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	32	10	42
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	34	19	53

Merged error: 44.1b

Counts

53 → 19

Compiler

Compiled 1304 to 602 computations (53.8% saved)

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.5b	(-.f64 (-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y)) z)
9.8b	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
9.8b	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
9.8b	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))

rewrite41.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-log-exp_binary64_799`
11×	`diff-log_binary64_852`
7×	`*-un-lft-identity_binary64_760` `cancel-sign-sub-inv_binary64_726` `associate--l+_binary64_697` `add-sqr-sqrt_binary64_782`
5×	`add-cube-cbrt_binary64_795` `sub-neg_binary64_753`
4×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `sum-log_binary64_851` `pow1_binary64_821` `flip--_binary64_735` `flip3--_binary64_764`
1×	`associate--l-_binary64_698` `difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712`

Counts

4 → 64

Calls

4 calls:

13.0ms	(-.f64 (-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y)) z)
7.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
7.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
7.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))

series121.0ms (3.7%)

Counts

4 → 12

Calls

4 calls:

39.0ms	(-.f64 (-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y)) z)
28.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
28.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
26.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))

simplify65.0ms (2%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5353	1456

prune122.0ms (3.8%)

Pruning

20 alts after pruning (18 fresh and 2 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	0	17	17
Picked	0	1	1
Done	0	1	1
Total	75	20	95

Merged error: 44.1b

Counts

95 → 20

Compiler

Compiled 3581 to 1522 computations (57.5% saved)

regimes213.0ms (6.6%)

Compiler: Compiled 3286 to 1852 computations (43.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	52	105
1	52	105

end0.0ms (0%)

sample1.5s (46.7%)

Algorithm

1×

intervals

Results

321.0ms	2708×	body	1024	valid
176.0ms	1205×	body	2048	valid
114.0ms	1211×	body	512	valid
79.0ms	2310×	body	128	valid
34.0ms	565×	body	256	valid
0.0ms	1×	body	4096	valid

Compiler

Compiled 898 to 506 computations (43.7% saved)

Details

analyze371.0ms (11.4%)

sample31.0ms (0.9%)

simplify118.0ms (3.6%)

prune2.0ms (0.1%)

localize8.0ms (0.2%)

rewrite22.0ms (0.7%)

series87.0ms (2.7%)

simplify68.0ms (2.1%)

prune57.0ms (1.8%)

localize8.0ms (0.2%)

rewrite18.0ms (0.5%)

series60.0ms (1.8%)

simplify35.0ms (1.1%)

prune49.0ms (1.5%)

localize8.0ms (0.2%)

rewrite19.0ms (0.6%)

series72.0ms (2.2%)

simplify59.0ms (1.8%)

prune62.0ms (1.9%)

localize12.0ms (0.4%)

rewrite41.0ms (1.3%)

series121.0ms (3.7%)

simplify65.0ms (2%)

prune122.0ms (3.8%)

regimes213.0ms (6.6%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.5s (46.7%)

Profiling