Details

analyze1.9s

Algorithm

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%	81.1%	18.9%	7
0%	68.6%	31.4%	8
0%	59.2%	40.8%	9
0%	59.2%	40.8%	10
0%	59.2%	40.8%	11
0.4%	49.5%	50.1%	12
0.8%	44.4%	54.8%	13
1.4%	39.9%	58.7%	14

sample135.0ms

Algorithm

intervals

Results

47.0ms	256×	body	80	valid
32.0ms	229×	body	80	nan
29.0ms	160×	body	80	invalid

simplify365.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5059	41

prune5.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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: 27.7b

Counts

2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

8.2b	(.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (-.f64 1 (.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 M D) (.f64 d 2)) 2)) (/.f64 h l))))
9.4b	(sqrt.f64 (/.f64 d h))
13.7b	(sqrt.f64 (/.f64 d l))
14.5b	(.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 M D) (.f64 d 2)) 2)) (/.f64 h l))

rewrite265.0ms

Algorithm

rewrite-expression-head

Rules

77×	`add-exp-log_binary64_6049`
41×	`prod-exp_binary64_6032`
32×	`add-sqr-sqrt_binary64_6070`
29×	`times-frac_binary64_6080`
26×	`*-un-lft-identity_binary64_6085` `add-cube-cbrt_binary64_6056` `sqrt-prod_binary64_6064`
21×	`add-cbrt-cube_binary64_6057`
16×	`div-exp_binary64_6034` `associate-r_binary64_6144`
14×	`sqrt-div_binary64_6065`
13×	`pow1_binary64_6027`
10×	`pow-exp_binary64_6005`
9×	`cbrt-unprod_binary64_6054` `frac-times_binary64_6077`
6×	`associate-l/_binary64_6147` `associate-r/_binary64_6146`
4×	`add-log-exp_binary64_6050` `flip--_binary64_6111` `rem-sqrt-square_binary64_6073` `pow-prod-down_binary64_6008` `flip3--_binary64_6084`
3×	`div-inv_binary64_6086`
2×	`pow1/2_binary64_6017` `associate-l_binary64_6145` `sub-neg_binary64_6089` `sqrt-pow1_binary64_6066` `cbrt-undiv_binary64_6055` `pow-to-exp_binary64_6006` `*-commutative_binary64_6153`
1×	`distribute-rgt-in_binary64_6128` `distribute-lft-in_binary64_6127`

Counts

4 → 125

Calls

4 calls:

23.0ms	(.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (-.f64 1 (.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 M D) (.f64 d 2)) 2)) (/.f64 h l))))
3.0ms	(sqrt.f64 (/.f64 d h))
3.0ms	(sqrt.f64 (/.f64 d l))
228.0ms	(.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 M D) (.f64 d 2)) 2)) (/.f64 h l))

series1.4s

Counts

4 → 12

Calls

4 calls:

383.0ms	(.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (-.f64 1 (.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 M D) (.f64 d 2)) 2)) (/.f64 h l))))
318.0ms	(sqrt.f64 (/.f64 d h))
320.0ms	(sqrt.f64 (/.f64 d l))
382.0ms	(.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 M D) (.f64 d 2)) 2)) (/.f64 h l))

Iterations

Useful iterations: 0 (150.0ms)

Iter	Nodes	Cost
0	93	5583
1	93	5583
0	5204	5463
0	93	5583
1	93	5583
0	5204	5463
0	5208	5645
0	140	2444
1	140	2444
0	19	2214
1	19	2214
0	140	2444
1	140	2444
0	19	2214
1	19	2214
0	4851	1647
1	4851	1647
0	140	2444
1	140	2444
0	19	2214
1	19	2214
0	140	2444
1	140	2444
0	19	2214
1	19	2214
0	4851	1647
1	4851	1647
0	114	5850
1	114	5850
0	5836	5634
0	114	5850
1	114	5850
0	5836	5634
0	5302	5828

simplify139.0ms

Counts

137 → 137

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4993	17840
1	4993	17840

prune68.0ms

Filtered: 101 candidates to 137 candidates (-35.6%)

Details

analyze1.9s

sample135.0ms

simplify365.0ms

prune5.0ms

localize19.0ms

rewrite265.0ms

series1.4s

simplify139.0ms

prune68.0ms

Profiling