Details

analyze287.0ms (15.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
31.2%	68.6%	0.1%	9
43.3%	49.9%	6.8%	10
49.7%	40.8%	9.5%	11
55.7%	34%	10.3%	12
61.3%	24.4%	14.3%	13
65%	19.8%	15.3%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample17.0ms (0.9%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
0.0ms	15×	body	128	invalid

Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify110.0ms (5.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (13.0ms)

Iter	Nodes	Cost
0	301	10
1	301	10

prune2.0ms (0.1%)

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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite13.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_7602`
6×	`*-un-lft-identity_binary64_7580`
5×	`associate-l_binary64_7521`
4×	`add-log-exp_binary64_7619` `add-cbrt-cube_binary64_7616` `pow1_binary64_7641` `add-cube-cbrt_binary64_7615` `add-exp-log_binary64_7618`
3×	`associate-r_binary64_7520`
2×	`associate-*l/_binary64_7523`
1×	`distribute-lft-out--_binary64_7532` `pow-prod-down_binary64_7651` `unswap-sqr_binary64_7548` `+-commutative_binary64_7510` `flip-+_binary64_7554` `flip--_binary64_7555` `cbrt-unprod_binary64_7613` `prod-exp_binary64_7629` `sum-log_binary64_7671` `*-commutative_binary64_7511` `flip3--_binary64_7584` `difference-of-squares_binary64_7549` `flip3-+_binary64_7583`

Counts

2 → 33

Calls

2 calls:

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

series231.0ms (12.3%)

Counts

2 → 33

Calls

2 calls:

128.0ms	(+.f64 x (*.f64 (-.f64 y x) z))
103.0ms	(*.f64 (-.f64 y x) z)

Compiler

Compiled 399 to 340 computations (14.8% saved)

simplify56.0ms (3%)

Algorithm

1×	egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5033	660

prune39.0ms (2.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	65	1	66
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	65	2	67

Merged error: 0b

Counts

67 → 2

Compiler

Compiled 648 to 176 computations (72.8% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (.f64 (.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z)))
0.1b	(*.f64 (-.f64 y x) (sqrt.f64 z))
0.2b	(.f64 (.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z))

rewrite27.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_7602`
12×	`associate-r_binary64_7520`
10×	`add-cbrt-cube_binary64_7616` `*-un-lft-identity_binary64_7580` `pow1_binary64_7641` `add-exp-log_binary64_7618`
8×	`add-cube-cbrt_binary64_7615`
7×	`sqrt-prod_binary64_7596`
6×	`associate-l/_binary64_7523` `associate-l*_binary64_7521`
5×	`add-log-exp_binary64_7619`
4×	`pow-prod-down_binary64_7651` `cbrt-unprod_binary64_7613` `prod-exp_binary64_7629`
2×	`unswap-sqr_binary64_7548` `flip--_binary64_7555` `*-commutative_binary64_7511` `flip3--_binary64_7584`
1×	`distribute-lft-out--_binary64_7532` `+-commutative_binary64_7510` `flip-+_binary64_7554` `sum-log_binary64_7671` `difference-of-squares_binary64_7549` `flip3-+_binary64_7583`

Counts

3 → 60

Calls

3 calls:

11.0ms	(.f64 (.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z))
8.0ms	(*.f64 (-.f64 y x) (sqrt.f64 z))
3.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z)))

series357.0ms (19%)

Counts

3 → 47

Calls

3 calls:

131.0ms	(*.f64 (-.f64 y x) (sqrt.f64 z))
123.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z)))
103.0ms	(.f64 (.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z))

Compiler

Compiled 830 to 657 computations (20.8% saved)

simplify66.0ms (3.5%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5002	1137

prune59.0ms (3.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

109 → 2

Compiler

Compiled 1264 to 312 computations (75.3% saved)

regimes64.0ms (3.4%)

Compiler: Compiled 232 to 230 computations (0.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	10
1	19	10

end0.0ms (0%)

sample535.0ms (28.5%)

Algorithm

1×

intervals

Results

211.0ms	8000×	body	128	valid
15.0ms	577×	body	128	invalid

Compiler

Compiled 68 to 66 computations (2.9% saved)

Details

analyze287.0ms (15.3%)

sample17.0ms (0.9%)

simplify110.0ms (5.9%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite13.0ms (0.7%)

series231.0ms (12.3%)

simplify56.0ms (3%)

prune39.0ms (2.1%)

localize7.0ms (0.4%)

rewrite27.0ms (1.4%)

series357.0ms (19%)

simplify66.0ms (3.5%)

prune59.0ms (3.1%)

regimes64.0ms (3.4%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample535.0ms (28.5%)

Profiling