Details

analyze339.0ms (12.1%)

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
6.2%	93.6%	0.1%	6
15.6%	84.3%	0.1%	7
25%	74.9%	0.1%	8
37.4%	62.4%	0.1%	9
46.8%	53%	0.1%	10
55%	44.9%	0.1%	11
64.2%	35.7%	0.1%	12
70.3%	29.5%	0.1%	13
75.4%	24.4%	0.1%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample17.0ms (0.6%)

Algorithm

1×

intervals

Results

7.0ms	242×	body	128	valid
1.0ms	6×	body	1024	valid
0.0ms	6×	body	512	valid
0.0ms	2×	body	2048	valid

Compiler

Compiled 23 to 20 computations (13% saved)

simplify185.0ms (6.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	149	13
1	149	13

prune5.0ms (0.2%)

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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 38 to 32 computations (15.8% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))

rewrite10.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_5622`
3×	`sum-log_binary64_5674` `*-un-lft-identity_binary64_5583`
1×	`flip-+_binary64_5557` `pow1_binary64_5644` `+-commutative_binary64_5513` `add-cube-cbrt_binary64_5618` `add-exp-log_binary64_5621` `associate-+r+_binary64_5515` `distribute-lft-out_binary64_5534` `flip3-+_binary64_5586` `add-sqr-sqrt_binary64_5605` `add-cbrt-cube_binary64_5619`

Counts

1 → 14

Calls

1 calls:

9.0ms

(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))

series42.0ms (1.5%)

Counts

1 → 3

Calls

1 calls:

42.0ms

(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))

simplify67.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5220	299

prune35.0ms (1.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	14	3	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	4	18

Merged error: 0.0b

Counts

18 → 4

Compiler

Compiled 579 to 367 computations (36.6% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (+.f64 x (*.f64 (+.f64 x y) 2)) z)
0.0b	(+.f64 x (*.f64 (+.f64 x y) 2))

rewrite12.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-log-exp_binary64_5622`
4×	`sum-log_binary64_5674` `*-un-lft-identity_binary64_5583`
2×	`flip-+_binary64_5557` `pow1_binary64_5644` `+-commutative_binary64_5513` `add-cube-cbrt_binary64_5618` `add-exp-log_binary64_5621` `flip3-+_binary64_5586` `add-sqr-sqrt_binary64_5605` `add-cbrt-cube_binary64_5619`
1×	`distribute-lft-out_binary64_5534` `associate-+l+_binary64_5516`

Counts

2 → 25

Calls

2 calls:

7.0ms	(+.f64 (+.f64 x (*.f64 (+.f64 x y) 2)) z)
4.0ms	(+.f64 x (*.f64 (+.f64 x y) 2))

series83.0ms (3%)

Counts

2 → 6

Calls

2 calls:

45.0ms	(+.f64 x (*.f64 (+.f64 x y) 2))
37.0ms	(+.f64 (+.f64 x (*.f64 (+.f64 x y) 2)) z)

simplify70.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4832	511
1	4832	511

prune52.0ms (1.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	29	2	31
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	30	5	35

Merged error: 0.0b

Counts

35 → 5

Compiler

Compiled 903 to 562 computations (37.8% saved)

localize15.0ms (0.6%)

Local error

Found 3 expressions with local error:

0.0b

(+.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) 4))) (-.f64 (*.f64 y -2) x)) z)

13.1b

(-.f64 (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) 4)))

27.5b

(/.f64 (-.f64 (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) 4))) (-.f64 (*.f64 y -2) x))

rewrite38.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64_5583`
11×	`add-cube-cbrt_binary64_5618` `add-sqr-sqrt_binary64_5605`
9×	`times-frac_binary64_5589`
7×	`add-log-exp_binary64_5622`
5×	`add-exp-log_binary64_5621` `add-cbrt-cube_binary64_5619`
3×	`associate-/l_binary64_5528` `flip--_binary64_5558` `pow1_binary64_5644` `associate-/r_binary64_5527` `flip3--_binary64_5587`
2×	`associate-/r/_binary64_5529` `associate-/l/_binary64_5530` `div-sub_binary64_5588`
1×	`div-inv_binary64_5580` `flip-+_binary64_5557` `sum-log_binary64_5674` `clear-num_binary64_5582` `cancel-sign-sub-inv_binary64_5549` `diff-log_binary64_5675` `associate-+l-_binary64_5518` `+-commutative_binary64_5513` `div-exp_binary64_5634` `frac-2neg_binary64_5594` `cbrt-undiv_binary64_5617` `distribute-lft-out_binary64_5534` `flip3-+_binary64_5586` `sub-neg_binary64_5576`

Counts

3 → 57

Calls

3 calls:

16.0ms

(+.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) 4))) (-.f64 (*.f64 y -2) x)) z)

11.0ms

(/.f64 (-.f64 (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) 4))) (-.f64 (*.f64 y -2) x))

5.0ms

(-.f64 (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) 4)))

series338.0ms (12.1%)

Counts

3 → 9

Calls

3 calls:

145.0ms

(/.f64 (-.f64 (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) 4))) (-.f64 (*.f64 y -2) x))

138.0ms

(+.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) 4))) (-.f64 (*.f64 y -2) x)) z)

55.0ms

(-.f64 (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) 4)))

simplify76.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5033	2312

prune91.0ms (3.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	66	5	71

Merged error: 0.0b

Counts

71 → 5

Compiler

Compiled 2245 to 1131 computations (49.6% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
0.0b	(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))
0.0b	(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))
0.3b	(.f64 (sqrt.f64 (+.f64 x (+.f64 (.f64 (+.f64 x y) 2) z))) (sqrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))))

rewrite65.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`*-un-lft-identity_binary64_5583`
30×	`sqrt-prod_binary64_5599`
28×	`add-sqr-sqrt_binary64_5605`
20×	`pow1_binary64_5644`
14×	`sqrt-div_binary64_5600` `add-log-exp_binary64_5622`
13×	`add-cube-cbrt_binary64_5618`
11×	`swap-sqr_binary64_5550`
9×	`flip-+_binary64_5557` `sqrt-pow1_binary64_5601` `distribute-lft-out_binary64_5534` `pow1/2_binary64_5663` `flip3-+_binary64_5586`
7×	`associate-r_binary64_5523` `associate-l_binary64_5524`
6×	`sum-log_binary64_5674` `add-exp-log_binary64_5621` `add-cbrt-cube_binary64_5619`
5×	`pow-prod-up_binary64_5653`
4×	`unswap-sqr_binary64_5551` `frac-times_binary64_5593`
3×	`pow-prod-down_binary64_5654` `rem-sqrt-square_binary64_5596` `pow-sqr_binary64_5556`
2×	`associate-l/_binary64_5526` `+-commutative_binary64_5513` `associate-r/_binary64_5525` `associate-+r+_binary64_5515`
1×	`pow-plus_binary64_5646` `sqrt-unprod_binary64_5603` `pow2_binary64_5664` `prod-exp_binary64_5632` `cbrt-unprod_binary64_5616` `*-commutative_binary64_5514` `sqr-abs_binary64_5598` `rem-square-sqrt_binary64_5595`

Counts

4 → 107

Calls

4 calls:

24.0ms	(.f64 (sqrt.f64 (+.f64 x (+.f64 (.f64 (+.f64 x y) 2) z))) (sqrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))))
12.0ms	(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))
9.0ms	(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))
8.0ms	(sqrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))

series256.0ms (9.2%)

Counts

4 → 12

Calls

4 calls:

96.0ms	(.f64 (sqrt.f64 (+.f64 x (+.f64 (.f64 (+.f64 x y) 2) z))) (sqrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))))
88.0ms	(sqrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
37.0ms	(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))
35.0ms	(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))

simplify130.0ms (4.7%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	4945	2363
1	4945	2363

prune159.0ms (5.7%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	117	2	119
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	117	7	124

Merged error: 0.0b

Counts

124 → 7

Compiler

Compiled 3380 to 1959 computations (42% saved)

regimes55.0ms (2%)

Compiler: Compiled 450 to 339 computations (24.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	13	13

end0.0ms (0%)

sample626.0ms (22.4%)

Algorithm

1×

intervals

Results

221.0ms	7453×	body	128	valid
23.0ms	200×	body	1024	valid
13.0ms	170×	body	512	valid
12.0ms	74×	body	2048	valid
5.0ms	103×	body	256	valid
0.0ms	14×	body	128	invalid

Compiler

Compiled 169 to 127 computations (24.9% saved)

Details

analyze339.0ms (12.1%)

sample17.0ms (0.6%)

simplify185.0ms (6.6%)

prune5.0ms (0.2%)

localize6.0ms (0.2%)

rewrite10.0ms (0.4%)

series42.0ms (1.5%)

simplify67.0ms (2.4%)

prune35.0ms (1.3%)

localize7.0ms (0.2%)

rewrite12.0ms (0.4%)

series83.0ms (3%)

simplify70.0ms (2.5%)

prune52.0ms (1.9%)

localize15.0ms (0.6%)

rewrite38.0ms (1.4%)

series338.0ms (12.1%)

simplify76.0ms (2.7%)

prune91.0ms (3.3%)

localize9.0ms (0.3%)

rewrite65.0ms (2.3%)

series256.0ms (9.2%)

simplify130.0ms (4.7%)

prune159.0ms (5.7%)

regimes55.0ms (2%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample626.0ms (22.4%)

Profiling