Details

analyze422.0ms

Algorithm

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
12.5%	68.6%	18.9%	6
18.7%	62.4%	18.9%	7
18.7%	59.3%	22%	8
28.1%	39%	32.9%	9
32.8%	34.3%	32.9%	10
32.8%	32%	35.3%	11
38.2%	20.7%	41.1%	12
41%	17.9%	41.1%	13
41%	16.6%	42.5%	14

sample68.0ms

Algorithm

intervals

Results

30.0ms	122×	body	320	valid
24.0ms	130×	body	160	valid
3.0ms	34×	body	80	nan
0.0ms	4×	body	80	valid

simplify505.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (210.0ms)

Iter	Nodes	Cost
0	4794	48
1	4794	48

prune6.0ms

Filtered

1 candidates to 1 candidates (0.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

Merged error: 31.4b

Counts

2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

8.1b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
9.0b	(cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a)))
25.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
25.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite227.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_13250`
11×	`cbrt-prod_binary64_13232`
10×	`*-un-lft-identity_binary64_13265`
9×	`sqrt-prod_binary64_13244`
8×	`add-cube-cbrt_binary64_13236`
6×	`times-frac_binary64_13260` `pow1_binary64_13207`
4×	`sqrt-div_binary64_13245` `add-log-exp_binary64_13230` `add-exp-log_binary64_13229` `difference-of-squares_binary64_13294` `add-cbrt-cube_binary64_13237`
2×	`flip--_binary64_13291` `pow1/2_binary64_13197` `cbrt-div_binary64_13233` `flip3--_binary64_13264` `sqrt-pow1_binary64_13246` `rem-sqrt-square_binary64_13253` `pow1/3_binary64_13199`
1×	`distribute-lft-out--_binary64_13310` `associate-*r/_binary64_13326` `div-inv_binary64_13266`

Counts

4 → 61

Calls

4 calls:

10.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
10.0ms	(cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a)))
5.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
199.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series2.4s

Counts

4 → 12

Calls

4 calls:

695.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
835.0ms	(cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a)))
414.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
422.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Iterations

Useful iterations: 0 (114.0ms)

Iter	Nodes	Cost
0	126	2600
1	126	2600
0	4875	2418
1	4875	2418
0	126	2600
1	126	2600
0	4875	2418
1	4875	2418
0	5188	2476
0	126	2600
1	126	2600
0	4875	2418
1	4875	2418
0	126	2600
1	126	2600
0	4875	2418
1	4875	2418
0	5188	2476
0	81	3762
1	81	3762
0	5123	3654
0	81	3762
1	81	3762
0	5123	3654
0	4922	3696
1	4922	3696
0	81	3762
1	81	3762
0	4886	3654
1	4886	3654
0	81	3762
1	81	3762
0	4886	3654
1	4886	3654
0	4812	3707
1	4812	3707

simplify129.0ms

Counts

73 → 73

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	5478	13717

prune35.0ms

Filtered: 63 candidates to 73 candidates (-15.9%)

Details

analyze422.0ms

sample68.0ms

simplify505.0ms

prune6.0ms

localize17.0ms

rewrite227.0ms

series2.4s

simplify129.0ms

prune35.0ms

Profiling