Details

analyze764.0ms (4.3%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5013	192
0	3	3
1	3	3

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

Compiler

Compiled 38 to 24 computations (36.8% saved)

sample82.0ms (0.5%)

Algorithm

1×

intervals

Results

56.0ms	242×	body	256	valid
5.0ms	42×	body	128	nan
2.0ms	14×	body	128	valid

Compiler

Compiled 75 to 50 computations (33.3% saved)

simplify266.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (258.0ms)

Iter	Nodes	Cost
0	4834	48
1	4834	48

prune8.0ms (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

Error

34.7b

Counts

2 → 2

Compiler

Compiled 99 to 59 computations (40.4% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

7.2b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
7.6b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite171.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

30.6b

Rules

10×	`cbrt-div_binary64_5566`
8×	`add-sqr-sqrt_binary64_5556` `sqrt-prod_binary64_5550`
6×	`pow1_binary64_5595` `add-cube-cbrt_binary64_5569` `*-un-lft-identity_binary64_5534`
4×	`add-log-exp_binary64_5573` `add-exp-log_binary64_5572` `add-cbrt-cube_binary64_5570` `flip3--_binary64_5538` `sqrt-div_binary64_5551` `flip--_binary64_5509` `frac-times_binary64_5544` `associate-*r/_binary64_5476`
2×	`pow1/2_binary64_5614` `sqrt-pow1_binary64_5552` `difference-of-squares_binary64_5503` `rem-sqrt-square_binary64_5547` `pow1/3_binary64_5616` `flip3-+_binary64_5537` `flip-+_binary64_5508` `associate-*l/_binary64_5477` `cbrt-prod_binary64_5565`

Counts

4 → 60

Calls

4 calls:

13.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
13.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2998 to 1039 computations (65.3% saved)

series1.6s (8.9%)

Error

30.5b

Counts

4 → 52

Calls

4 calls:

616.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
584.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
103.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
102.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 6126 to 4528 computations (26.1% saved)

simplify107.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4945	2970
1	4945	2970

prune339.0ms (1.9%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	95	17	112
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	97	17	114

Error

29.9b

Counts

114 → 17

Compiler

Compiled 5635 to 2599 computations (53.9% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
7.2b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite410.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

29.9b

Rules

13×	`add-sqr-sqrt_binary64_5556`
9×	`sqrt-prod_binary64_5550` `*-un-lft-identity_binary64_5534`
7×	`add-cube-cbrt_binary64_5569`
6×	`pow1_binary64_5595` `add-log-exp_binary64_5573`
5×	`flip3--_binary64_5538` `flip--_binary64_5509` `cbrt-div_binary64_5566`
4×	`add-exp-log_binary64_5572` `add-cbrt-cube_binary64_5570` `sqrt-div_binary64_5551` `difference-of-squares_binary64_5503`
3×	`cancel-sign-sub-inv_binary64_5500`
2×	`pow1/2_binary64_5614` `sqrt-pow1_binary64_5552` `rem-sqrt-square_binary64_5547` `frac-times_binary64_5544` `associate-*r/_binary64_5476`
1×	`pow1/3_binary64_5616` `associate-*l/_binary64_5477` `cbrt-prod_binary64_5565` `diff-log_binary64_5626` `sub-neg_binary64_5527` `distribute-lft-out--_binary64_5486`

Counts

4 → 63

Calls

4 calls:

22.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
12.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
6.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
5.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3108 to 1153 computations (62.9% saved)

series965.0ms (5.5%)

Error

29.2b

Counts

4 → 52

Calls

4 calls:

552.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
107.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
103.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
99.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 5797 to 4302 computations (25.8% saved)

simplify89.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4935	2568
1	4935	2568

prune344.0ms (2%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	3	13	16
Picked	1	0	1
Done	0	0	0
Total	116	16	132

Error

29.1b

Counts

132 → 16

Compiler

Compiled 5763 to 2701 computations (53.1% saved)

localize34.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
7.2b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite159.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

29.1b

Rules

13×	`add-sqr-sqrt_binary64_5556`
9×	`sqrt-prod_binary64_5550` `*-un-lft-identity_binary64_5534`
7×	`add-cube-cbrt_binary64_5569`
6×	`pow1_binary64_5595` `add-log-exp_binary64_5573`
5×	`flip3--_binary64_5538` `flip--_binary64_5509` `cbrt-div_binary64_5566`
4×	`add-exp-log_binary64_5572` `add-cbrt-cube_binary64_5570` `sqrt-div_binary64_5551` `difference-of-squares_binary64_5503`
3×	`cancel-sign-sub-inv_binary64_5500`
2×	`pow1/2_binary64_5614` `sqrt-pow1_binary64_5552` `rem-sqrt-square_binary64_5547` `frac-times_binary64_5544` `associate-*r/_binary64_5476`
1×	`pow1/3_binary64_5616` `associate-*l/_binary64_5477` `cbrt-prod_binary64_5565` `diff-log_binary64_5626` `sub-neg_binary64_5527` `distribute-lft-out--_binary64_5486`

Counts

4 → 63

Calls

4 calls:

17.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2919 to 964 computations (67% saved)

series1.0s (6%)

Error

29.1b

Counts

4 → 52

Calls

4 calls:

587.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
131.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
125.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
109.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)

Compiler

Compiled 5416 to 3921 computations (27.6% saved)

simplify76.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4935	2568
1	4935	2568

prune231.0ms (1.3%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	110	5	115
Fresh	2	13	15
Picked	1	0	1
Done	0	0	0
Total	113	18	131

Error

29.1b

Counts

131 → 18

Compiler

Compiled 5488 to 2403 computations (56.2% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
7.2b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite134.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

29.1b

Rules

13×	`add-sqr-sqrt_binary64_5556`
9×	`sqrt-prod_binary64_5550` `*-un-lft-identity_binary64_5534`
7×	`add-cube-cbrt_binary64_5569`
6×	`pow1_binary64_5595` `add-log-exp_binary64_5573`
5×	`flip3--_binary64_5538` `flip--_binary64_5509` `cbrt-div_binary64_5566`
4×	`add-exp-log_binary64_5572` `add-cbrt-cube_binary64_5570` `sqrt-div_binary64_5551` `difference-of-squares_binary64_5503`
3×	`cancel-sign-sub-inv_binary64_5500`
2×	`pow1/2_binary64_5614` `sqrt-pow1_binary64_5552` `rem-sqrt-square_binary64_5547` `frac-times_binary64_5544` `associate-*r/_binary64_5476`
1×	`pow1/3_binary64_5616` `associate-*l/_binary64_5477` `cbrt-prod_binary64_5565` `diff-log_binary64_5626` `sub-neg_binary64_5527` `distribute-lft-out--_binary64_5486`

Counts

4 → 63

Calls

4 calls:

15.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
5.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2919 to 964 computations (67% saved)

series1.1s (6.4%)

Error

29.1b

Counts

4 → 52

Calls

4 calls:

673.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
131.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
118.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
100.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 5416 to 3921 computations (27.6% saved)

simplify83.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4935	2568
1	4935	2568

prune234.0ms (1.3%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	113	2	115
Fresh	0	17	17
Picked	1	0	1
Done	0	0	0
Total	114	19	133

Error

29.1b

Counts

133 → 19

Compiler

Compiled 4692 to 1932 computations (58.8% saved)

regimes3.1s (17.4%)

Accuracy

Total 1.6b remaining (5.1%)

Threshold costs 0b (0%)

Compiler

Compiled 41693 to 26710 computations (35.9% saved)

bsearch139.0ms (0.8%)

Steps

Iters	Range		Point
9	7.931769464772917e+64	3.1431758297254524e+70	7.721957821369504e+69
8	7.768446312289591e-187	3.184646520748193e-183	3.1405143144072282e-183

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	115	175
1	115	175

end0.0ms (0%)

sample6.1s (34.6%)

Algorithm

1×

intervals

Results

1.4s	7548×	body	256	valid
121.0ms	1282×	body	128	nan
43.0ms	452×	body	128	valid

Compiler

Compiled 5514 to 3556 computations (35.5% saved)

Details

analyze764.0ms (4.3%)

sample82.0ms (0.5%)

simplify266.0ms (1.5%)

prune8.0ms (0%)

localize17.0ms (0.1%)

rewrite171.0ms (1%)

series1.6s (8.9%)

simplify107.0ms (0.6%)

prune339.0ms (1.9%)

localize30.0ms (0.2%)

rewrite410.0ms (2.3%)

series965.0ms (5.5%)

simplify89.0ms (0.5%)

prune344.0ms (2%)

localize34.0ms (0.2%)

rewrite159.0ms (0.9%)

series1.0s (6%)

simplify76.0ms (0.4%)

prune231.0ms (1.3%)

localize19.0ms (0.1%)

rewrite134.0ms (0.8%)

series1.1s (6.4%)

simplify83.0ms (0.5%)

prune234.0ms (1.3%)

regimes3.1s (17.4%)

bsearch139.0ms (0.8%)

simplify5.0ms (0%)

end0.0ms (0%)

sample6.1s (34.6%)

Profiling