Details

analyze2.1s (7.1%)

Algorithm

1×

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

sample161.0ms (0.6%)

Algorithm

1×

intervals

Results

48.0ms	256×	body	80	valid
44.0ms	263×	body	80	nan
35.0ms	182×	body	80	invalid

simplify24.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5401	35

prune18.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: 22.6b

Counts

2 → 2

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.6b	(* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
10.1b	(pow (/ d h) (/ 1.0 2.0))
10.4b	(pow (/ d l) (/ 1.0 2.0))
12.6b	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

rewrite53.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

205×	`add-exp-log`
107×	`prod-exp`
55×	`div-exp`
45×	`times-frac`
40×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `pow-exp`
30×	`add-cbrt-cube`
26×	`unpow-prod-down` `pow-unpow`
16×	`associate-r`
14×	`pow-to-exp`
13×	`cbrt-unprod`
10×	`pow1`
5×	`cbrt-undiv` `div-inv`
4×	`add-log-exp`
3×	`associate-r/` `associate-l/`
2×	`sub-neg` `pow-pow` `associate-l` `pow-prod-down` `*-commutative` `sqr-pow`
1×	`distribute-rgt-in` `frac-times` `flip3--` `distribute-lft-in` `flip--`

Counts

4 → 174

Calls

4 calls:

16.0ms	(* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
13.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))
9.0ms	(pow (/ d l) (/ 1.0 2.0))
6.0ms	(pow (/ d h) (/ 1.0 2.0))

series558.0ms (1.9%)

Counts

4 → 12

Calls

4 calls:

289.0ms	(* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
242.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))
13.0ms	(pow (/ d l) (/ 1.0 2.0))
13.0ms	(pow (/ d h) (/ 1.0 2.0))

simplify60.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

186 → 186

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5441	3690

prune943.0ms (3.2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	164	22	186
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	166	22	188

Merged error: 10.6b

Counts

188 → 22

localize44.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.2b	(pow (/ (cbrt d) h) (/ 1.0 2.0))
6.6b	(* (* (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) h) (/ 1.0 2.0))) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
10.4b	(pow (/ d l) (/ 1.0 2.0))
12.6b	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

rewrite69.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

425×	`add-exp-log`
291×	`prod-exp`
122×	`pow-exp`
80×	`div-exp`
55×	`pow-to-exp`
54×	`times-frac`
46×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
35×	`unpow-prod-down`
34×	`add-cbrt-cube`
26×	`pow-unpow`
16×	`associate-r` `cbrt-unprod`
10×	`pow1`
9×	`cbrt-prod`
5×	`cbrt-undiv` `div-inv`
4×	`add-log-exp`
3×	`associate-r/` `associate-l/`
2×	`sub-neg` `pow-pow` `associate-l` `pow-prod-down` `*-commutative` `sqr-pow`
1×	`distribute-rgt-in` `frac-times` `flip3--` `distribute-lft-in` `flip--`

Counts

4 → 236

Calls

4 calls:

28.0ms	(* (* (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) h) (/ 1.0 2.0))) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
13.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))
7.0ms	(pow (/ (cbrt d) h) (/ 1.0 2.0))
6.0ms	(pow (/ d l) (/ 1.0 2.0))

series637.0ms (2.2%)

Counts

4 → 12

Calls

4 calls:

343.0ms	(* (* (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) h) (/ 1.0 2.0))) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
243.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))
37.0ms	(pow (/ (cbrt d) h) (/ 1.0 2.0))
14.0ms	(pow (/ d l) (/ 1.0 2.0))

simplify91.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

248 → 248

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5028	6482

prune1.2s (4.2%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	238	10	248
Fresh	3	18	21
Picked	1	0	1
Done	0	0	0
Total	242	28	270

Merged error: 10.0b

Counts

270 → 28

localize57.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.2b	(pow (/ (cbrt d) h) (/ 1.0 2.0))
3.3b	(pow (/ d (cbrt l)) (/ 1.0 2.0))
6.6b	(* (* (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) h) (/ 1.0 2.0))) (* (pow (/ 1 (* (cbrt l) (cbrt l))) (/ 1.0 2.0)) (pow (/ d (cbrt l)) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
12.6b	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

rewrite210.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

3520×	`add-exp-log`
2889×	`prod-exp`
1398×	`pow-exp`
620×	`div-exp`
523×	`pow-to-exp`
136×	`rec-exp` `1-exp`
63×	`times-frac`
52×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
44×	`unpow-prod-down`
43×	`add-cbrt-cube`
26×	`pow-unpow`
23×	`cbrt-unprod`
18×	`cbrt-prod`
16×	`associate-r`
13×	`pow1`
5×	`cbrt-undiv` `div-inv`
4×	`pow-prod-down` `add-log-exp`
3×	`associate-r/` `associate-l/`
2×	`sub-neg` `pow-pow` `associate-l` `*-commutative` `sqr-pow`
1×	`distribute-rgt-in` `frac-times` `flip3--` `distribute-lft-in` `flip--`

Counts

4 → 809

Calls

4 calls:

63.0ms	(* (* (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) h) (/ 1.0 2.0))) (* (pow (/ 1 (* (cbrt l) (cbrt l))) (/ 1.0 2.0)) (pow (/ d (cbrt l)) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
13.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))
7.0ms	(pow (/ (cbrt d) h) (/ 1.0 2.0))
7.0ms	(pow (/ d (cbrt l)) (/ 1.0 2.0))

series612.0ms (2.1%)

Counts

4 → 12

Calls

4 calls:

299.0ms	(* (* (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) h) (/ 1.0 2.0))) (* (pow (/ 1 (* (cbrt l) (cbrt l))) (/ 1.0 2.0)) (pow (/ d (cbrt l)) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
240.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))
37.0ms	(pow (/ (cbrt d) h) (/ 1.0 2.0))
36.0ms	(pow (/ d (cbrt l)) (/ 1.0 2.0))

simplify258.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

821 → 821

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	5004	34585

prune10.5s (36.2%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	814	7	821
Fresh	2	25	27
Picked	1	0	1
Done	0	0	0
Total	817	32	849

Merged error: 9.3b

Counts

849 → 32

localize63.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.9b	(/ (* M D) (* 2.0 d))
3.2b	(pow (/ (cbrt d) h) (/ 1.0 2.0))
6.6b	(* (* (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) h) (/ 1.0 2.0))) (* (pow (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt l)) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
12.6b	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

rewrite175.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

3061×	`add-exp-log`
2393×	`prod-exp`
1064×	`pow-exp`
557×	`div-exp`
424×	`pow-to-exp`
55×	`add-cbrt-cube`
37×	`times-frac`
32×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
27×	`cbrt-unprod`
22×	`unpow-prod-down`
16×	`associate-r`
13×	`pow-unpow`
12×	`pow1`
9×	`cbrt-undiv` `cbrt-prod`
4×	`pow-prod-down` `div-inv` `add-log-exp`
3×	`associate-r/` `associate-l/`
2×	`sub-neg` `associate-l` `*-commutative`
1×	`distribute-rgt-in` `frac-times` `flip3--` `pow-pow` `frac-2neg` `distribute-lft-in` `clear-num` `associate-/r` `flip--` `associate-/l` `sqr-pow`

Counts

4 → 647

Calls

4 calls:

57.0ms	(* (* (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) h) (/ 1.0 2.0))) (* (pow (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt l)) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
13.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))
7.0ms	(pow (/ (cbrt d) h) (/ 1.0 2.0))
6.0ms	(/ (* M D) (* 2.0 d))

series639.0ms (2.2%)

Counts

4 → 12

Calls

4 calls:

344.0ms	(* (* (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) h) (/ 1.0 2.0))) (* (pow (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt l)) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
251.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))
37.0ms	(pow (/ (cbrt d) h) (/ 1.0 2.0))
6.0ms	(/ (* M D) (* 2.0 d))

simplify209.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

659 → 659

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	5140	26184

prune3.3s (11.5%)

Pruning

33 alts after pruning (32 fresh and 1 done)

	Pruned	Kept	Total
New	657	2	659
Fresh	1	30	31
Picked	0	1	1
Done	0	0	0
Total	658	33	691

Merged error: 9.3b

Counts

691 → 33

regimes2.1s (7.2%)

Accuracy

Total 6.0b remaining (38.4%)

Threshold costs 0b (0%)

bsearch282.0ms (1%)

Steps

Iters	Range		Point
7	4.581554567918593e-51	1.9584742320092106e-49	1.2357718989279625e-49
6	-1.3393951792766152e+31	-1.2486150746478509e+30	-1.5282400649379168e+30

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	153	137
1	153	137

end0.0ms (0%)

sample4.6s (15.9%)

Algorithm

1×

intervals

Results

1.5s	8000×	body	80	valid
1.3s	8455×	body	80	nan
966.0ms	4900×	body	80	invalid

Details

analyze2.1s (7.1%)

sample161.0ms (0.6%)

simplify24.0ms (0.1%)

prune18.0ms (0.1%)

localize33.0ms (0.1%)

rewrite53.0ms (0.2%)

series558.0ms (1.9%)

simplify60.0ms (0.2%)

prune943.0ms (3.2%)

localize44.0ms (0.2%)

rewrite69.0ms (0.2%)

series637.0ms (2.2%)

simplify91.0ms (0.3%)

prune1.2s (4.2%)

localize57.0ms (0.2%)

rewrite210.0ms (0.7%)

series612.0ms (2.1%)

simplify258.0ms (0.9%)

prune10.5s (36.2%)

localize63.0ms (0.2%)

rewrite175.0ms (0.6%)

series639.0ms (2.2%)

simplify209.0ms (0.7%)

prune3.3s (11.5%)

regimes2.1s (7.2%)

bsearch282.0ms (1%)

simplify3.0ms (0%)

end0.0ms (0%)

sample4.6s (15.9%)

Profiling