Details

analyze518.0ms (7.2%)

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%	99.8%	0.2%	7
6.2%	93.6%	0.2%	8
25%	74.9%	0.2%	9
28.1%	71.7%	0.2%	10
29.6%	70.2%	0.2%	11
53%	46.8%	0.2%	12
71.3%	28.5%	0.2%	13
71.7%	28.1%	0.2%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample26.0ms (0.4%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
1.0ms	17×	body	128	invalid

Compiler

Compiled 31 to 27 computations (12.9% saved)

simplify98.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	16	22
1	16	22

prune3.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

23.6b

Counts

2 → 1

Compiler

Compiled 30 to 22 computations (26.7% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(+.f64 (.f64 a c) (.f64 b d))
23.1b	(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))

rewrite76.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

23.4b

Rules

10×	`add-cube-cbrt_binary64_3182` `add-sqr-sqrt_binary64_3169` `*-un-lft-identity_binary64_3147`
9×	`times-frac_binary64_3153`
4×	`add-exp-log_binary64_3185` `add-log-exp_binary64_3186` `add-cbrt-cube_binary64_3183`
3×	`flip3-+_binary64_3150` `flip-+_binary64_3121` `associate-/l_binary64_3092` `associate-/r_binary64_3091`
2×	`pow1_binary64_3208` `associate-/l/_binary64_3094` `associate-/r/_binary64_3093`
1×	`div-exp_binary64_3198` `cbrt-undiv_binary64_3181` `frac-2neg_binary64_3158` `clear-num_binary64_3146` `div-inv_binary64_3144` `sum-log_binary64_3238` `+-commutative_binary64_3077`

Counts

2 → 42

Calls

2 calls:

9.0ms	(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))
7.0ms	(+.f64 (.f64 a c) (.f64 b d))

Compiler

Compiled 1203 to 160 computations (86.7% saved)

series452.0ms (6.3%)

Error

5.3b

Counts

2 → 48

Calls

2 calls:

276.0ms	(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))
144.0ms	(+.f64 (.f64 a c) (.f64 b d))

Compiler

Compiled 1644 to 1011 computations (38.5% saved)

simplify51.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5127	1791

prune75.0ms (1.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	82	8	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	8	91

Error

5.3b

Counts

91 → 8

Compiler

Compiled 1844 to 258 computations (86% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(+.f64 (.f64 d b) (.f64 c a))
13.2b	(/.f64 (+.f64 (.f64 d b) (.f64 c a)) (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))))
27.9b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
27.9b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

rewrite106.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

5.3b

Rules

23×	`add-sqr-sqrt_binary64_3169`
21×	`add-cube-cbrt_binary64_3182` `*-un-lft-identity_binary64_3147`
18×	`sqrt-prod_binary64_3163` `times-frac_binary64_3153`
6×	`pow1_binary64_3208` `add-log-exp_binary64_3186` `add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `sqrt-div_binary64_3164` `associate-/r*_binary64_3091`
5×	`flip3-+_binary64_3150` `flip-+_binary64_3121`
3×	`associate-/l*_binary64_3092`
2×	`pow1/2_binary64_3227` `sqrt-pow1_binary64_3165` `rem-sqrt-square_binary64_3160` `associate-/l/_binary64_3094` `associate-/r/_binary64_3093`
1×	`div-exp_binary64_3198` `cbrt-undiv_binary64_3181` `frac-2neg_binary64_3158` `clear-num_binary64_3146` `div-inv_binary64_3144` `sum-log_binary64_3238` `+-commutative_binary64_3077`

Counts

4 → 84

Calls

4 calls:

10.0ms	(/.f64 (+.f64 (.f64 d b) (.f64 c a)) (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))))
5.0ms	(+.f64 (.f64 d b) (.f64 c a))
4.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
4.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

Compiler

Compiled 3211 to 343 computations (89.3% saved)

series877.0ms (12.2%)

Error

5.3b

Counts

4 → 95

Calls

4 calls:

402.0ms	(/.f64 (+.f64 (.f64 d b) (.f64 c a)) (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))))
141.0ms	(+.f64 (.f64 d b) (.f64 c a))
126.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
123.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

Compiler

Compiled 5972 to 3178 computations (46.8% saved)

simplify78.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4999	3706
1	4999	3706

prune159.0ms (2.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	177	2	179
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	179	8	187

Error

5.3b

Counts

187 → 8

Compiler

Compiled 5434 to 819 computations (84.9% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

15.4b	(/.f64 (.f64 d b) (+.f64 (.f64 c c) (*.f64 d d)))
16.3b	(/.f64 (.f64 c a) (+.f64 (.f64 c c) (*.f64 d d)))

rewrite65.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

12×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
6×	`add-cube-cbrt_binary64_3182` `add-sqr-sqrt_binary64_3169` `times-frac_binary64_3153` `-un-lft-identity_binary64_3147` `associate-/r_binary64_3091`
4×	`div-exp_binary64_3198` `cbrt-undiv_binary64_3181` `associate-/r/_binary64_3093`
2×	`pow1_binary64_3208` `prod-exp_binary64_3196` `add-log-exp_binary64_3186` `cbrt-unprod_binary64_3180` `frac-2neg_binary64_3158` `clear-num_binary64_3146` `div-inv_binary64_3144` `flip3-+_binary64_3150` `flip-+_binary64_3121` `associate-/l*_binary64_3092`

Counts

2 → 46

Calls

2 calls:

7.0ms	(/.f64 (.f64 d b) (+.f64 (.f64 c c) (*.f64 d d)))
7.0ms	(/.f64 (.f64 c a) (+.f64 (.f64 c c) (*.f64 d d)))

Compiler

Compiled 1544 to 211 computations (86.3% saved)

series360.0ms (5%)

Error

5.3b

Counts

2 → 27

Calls

2 calls:

179.0ms	(/.f64 (.f64 d b) (+.f64 (.f64 c c) (*.f64 d d)))
160.0ms	(/.f64 (.f64 c a) (+.f64 (.f64 c c) (*.f64 d d)))

Compiler

Compiled 1734 to 1003 computations (42.2% saved)

simplify98.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4973	1279
1	4973	1279

prune67.0ms (0.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	70	3	73
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	74	7	81

Error

4.6b

Counts

81 → 7

Compiler

Compiled 2082 to 350 computations (83.2% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.5b	(.f64 (/.f64 d (sqrt.f64 (+.f64 (.f64 d d) (.f64 c c)))) (/.f64 b (sqrt.f64 (+.f64 (.f64 d d) (*.f64 c c)))))
16.3b	(/.f64 (.f64 c a) (+.f64 (.f64 c c) (*.f64 d d)))
27.9b	(sqrt.f64 (+.f64 (.f64 d d) (.f64 c c)))
27.9b	(sqrt.f64 (+.f64 (.f64 d d) (.f64 c c)))

rewrite200.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

4.6b

Rules

66×	`add-sqr-sqrt_binary64_3169`
51×	`times-frac_binary64_3153`
34×	`add-cube-cbrt_binary64_3182` `*-un-lft-identity_binary64_3147`
30×	`sqrt-prod_binary64_3163`
24×	`associate-l_binary64_3088` `associate-r_binary64_3087`
21×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
9×	`unswap-sqr_binary64_3115`
8×	`pow1_binary64_3208` `sqrt-div_binary64_3164`
6×	`div-exp_binary64_3198` `cbrt-undiv_binary64_3181` `associate-/r/_binary64_3093`
5×	`flip3-+_binary64_3150` `flip-+_binary64_3121` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
4×	`add-log-exp_binary64_3186`
3×	`div-inv_binary64_3144` `associate-/r*_binary64_3091`
2×	`pow1/2_binary64_3227` `sqrt-pow1_binary64_3165` `rem-sqrt-square_binary64_3160`
1×	`frac-2neg_binary64_3158` `clear-num_binary64_3146` `associate-/l_binary64_3092` `pow-prod-down_binary64_3218` `frac-times_binary64_3157` `associate-l/_binary64_3090` `associate-r/_binary64_3089` `-commutative_binary64_3078`

Counts

4 → 130

Calls

4 calls:

31.0ms	(.f64 (/.f64 d (sqrt.f64 (+.f64 (.f64 d d) (.f64 c c)))) (/.f64 b (sqrt.f64 (+.f64 (.f64 d d) (*.f64 c c)))))
7.0ms	(/.f64 (.f64 c a) (+.f64 (.f64 c c) (*.f64 d d)))
4.0ms	(sqrt.f64 (+.f64 (.f64 d d) (.f64 c c)))
4.0ms	(sqrt.f64 (+.f64 (.f64 d d) (.f64 c c)))

Compiler

Compiled 6141 to 601 computations (90.2% saved)

series677.0ms (9.5%)

Error

4.6b

Counts

4 → 63

Calls

4 calls:

193.0ms	(.f64 (/.f64 d (sqrt.f64 (+.f64 (.f64 d d) (.f64 c c)))) (/.f64 b (sqrt.f64 (+.f64 (.f64 d d) (*.f64 c c)))))
156.0ms	(/.f64 (.f64 c a) (+.f64 (.f64 c c) (*.f64 d d)))
137.0ms	(sqrt.f64 (+.f64 (.f64 d d) (.f64 c c)))
128.0ms	(sqrt.f64 (+.f64 (.f64 d d) (.f64 c c)))

Compiler

Compiled 5232 to 2632 computations (49.7% saved)

simplify69.0ms (1%)

Algorithm

1×	egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5024	4362

prune174.0ms (2.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	193	0	193
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	193	7	200

Error

4.6b

Counts

200 → 7

Compiler

Compiled 7355 to 892 computations (87.9% saved)

regimes1.0s (14.4%)

Accuracy

Total 10.0b remaining (71.4%)

Threshold costs 0b (0%)

Compiler

Compiled 9436 to 5006 computations (46.9% saved)

bsearch107.0ms (1.5%)

Steps

Iters	Range		Point
9	2.3172184780237384e+145	7.296884387535052e+150	5.929583732205677e+150
8	1.6100161140579548e-09	4.893741316114931e-05	1.7453019913485308e-09
9	-8.902799489932949e-23	-1.8231206369384444e-28	-4.054012907204699e-28
10	-7.628262549865027e+156	-3.6264856366840286e+145	-1.3528976528371084e+154

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	36	170
1	36	170

end0.0ms (0%)

sample1.7s (24.4%)

Algorithm

1×

intervals

Results

339.0ms	8000×	body	128	valid
18.0ms	464×	body	128	invalid

Compiler

Compiled 2006 to 1038 computations (48.3% saved)

Details

analyze518.0ms (7.2%)

sample26.0ms (0.4%)

simplify98.0ms (1.4%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite76.0ms (1.1%)

series452.0ms (6.3%)

simplify51.0ms (0.7%)

prune75.0ms (1.1%)

localize12.0ms (0.2%)

rewrite106.0ms (1.5%)

series877.0ms (12.2%)

simplify78.0ms (1.1%)

prune159.0ms (2.2%)

localize11.0ms (0.1%)

rewrite65.0ms (0.9%)

series360.0ms (5%)

simplify98.0ms (1.4%)

prune67.0ms (0.9%)

localize15.0ms (0.2%)

rewrite200.0ms (2.8%)

series677.0ms (9.5%)

simplify69.0ms (1%)

prune174.0ms (2.4%)

regimes1.0s (14.4%)

bsearch107.0ms (1.5%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.7s (24.4%)

Profiling