Details

analyze248.0ms (5.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	50%	0%	3
62.5%	37.5%	0%	4
68.7%	31.2%	0%	5
71.8%	28.1%	0%	6
73.4%	26.5%	0%	7
74.2%	25.8%	0%	8
74.6%	25.4%	0%	9
74.8%	25.2%	0%	10
74.9%	25.1%	0%	11
74.9%	25%	0%	12
74.9%	25%	0%	13
75%	25%	0%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample64.0ms (1.5%)

Algorithm

1×

intervals

Results

27.0ms	79×	body	1024	valid
15.0ms	47×	body	2048	valid
6.0ms	32×	body	512	valid
3.0ms	28×	body	256	valid
3.0ms	69×	body	128	valid
0.0ms	1×	body	4096	valid

Compiler

Compiled 19 to 16 computations (15.8% saved)

simplify94.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	11	14
1	11	14

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

54.3b

Counts

2 → 1

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.8b	(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
3.6b	(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
15.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))

rewrite71.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

53.9b

Rules

9×	`*-un-lft-identity_binary64_2124`
6×	`add-sqr-sqrt_binary64_2146`
5×	`pow1_binary64_2185` `add-log-exp_binary64_2163` `add-cube-cbrt_binary64_2159`
4×	`add-exp-log_binary64_2162` `log-prod_binary64_2210`
3×	`add-cbrt-cube_binary64_2160` `flip3-+_binary64_2127` `flip-+_binary64_2098` `sqrt-prod_binary64_2140`
2×	`sqrt-div_binary64_2141` `log-div_binary64_2211` `distribute-lft-out_binary64_2075`
1×	`pow1/2_binary64_2204` `sqrt-pow1_binary64_2142` `rem-sqrt-square_binary64_2137` `log-pow_binary64_2213` `rem-log-exp_binary64_2165` `sum-log_binary64_2215` `+-commutative_binary64_2054`

Counts

3 → 42

Calls

3 calls:

7.0ms	(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
6.0ms	(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
5.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))

Compiler

Compiled 766 to 464 computations (39.4% saved)

series213.0ms (4.8%)

Error

0.0b

Counts

3 → 31

Calls

3 calls:

92.0ms	(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
45.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
42.0ms	(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))

Compiler

Compiled 853 to 727 computations (14.8% saved)

simplify64.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4875	1109
1	4875	1109

prune67.0ms (1.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	69	4	73
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	4	74

Error

0.0b

Counts

74 → 4

Compiler

Compiled 995 to 654 computations (34.3% saved)

localize1.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0.0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune4.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	3	3
Picked	1	1
Done	0	0
Total	4	4

Error

0.0b

Counts

4 → 4

Compiler

Compiled 36 to 28 computations (22.2% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (/.f64 1/8 (pow.f64 x 3)) (/.f64 -1/2 x))
0.2b	(/.f64 1/8 (pow.f64 x 3))
9.5b	(log.f64 (+.f64 (/.f64 1/8 (pow.f64 x 3)) (/.f64 -1/2 x)))

rewrite186.0ms (4.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

41×	`*-un-lft-identity_binary64_2124`
40×	`times-frac_binary64_2130`
29×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146`
12×	`unpow-prod-down_binary64_2203` `cube-prod_binary64_2152` `associate-/r*_binary64_2068`
9×	`add-exp-log_binary64_2162`
5×	`log-prod_binary64_2210` `add-log-exp_binary64_2163` `add-cbrt-cube_binary64_2160`
4×	`pow1_binary64_2185` `distribute-lft-out_binary64_2075` `unpow3_binary64_2190` `cube-mult_binary64_2154` `sqr-pow_binary64_2096`
3×	`log-div_binary64_2211` `div-exp_binary64_2175` `associate-/l*_binary64_2069`
2×	`frac-add_binary64_2132` `flip3-+_binary64_2127` `flip-+_binary64_2098`
1×	`log-pow_binary64_2213` `rem-log-exp_binary64_2165` `pow-to-exp_binary64_2193` `pow-exp_binary64_2192` `cbrt-undiv_binary64_2158` `frac-2neg_binary64_2135` `clear-num_binary64_2123` `div-inv_binary64_2121` `sum-log_binary64_2215` `+-commutative_binary64_2054`

Counts

3 → 96

Calls

3 calls:

34.0ms	(+.f64 (/.f64 1/8 (pow.f64 x 3)) (/.f64 -1/2 x))
31.0ms	(log.f64 (+.f64 (/.f64 1/8 (pow.f64 x 3)) (/.f64 -1/2 x)))
5.0ms	(/.f64 1/8 (pow.f64 x 3))

Compiler

Compiled 1792 to 1435 computations (19.9% saved)

series131.0ms (3%)

Error

0.0b

Counts

3 → 13

Calls

3 calls:

60.0ms	(+.f64 (/.f64 1/8 (pow.f64 x 3)) (/.f64 -1/2 x))
35.0ms	(log.f64 (+.f64 (/.f64 1/8 (pow.f64 x 3)) (/.f64 -1/2 x)))
28.0ms	(/.f64 1/8 (pow.f64 x 3))

Compiler

Compiled 367 to 331 computations (9.8% saved)

simplify65.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5191	1577

prune104.0ms (2.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	109	4	113

Error

0.0b

Counts

113 → 4

Compiler

Compiled 1665 to 1286 computations (22.8% saved)

localize5.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0.0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune0.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	1	1
Done	2	2
Total	4	4

Error

0.0b

Counts

4 → 4

Compiler

Compiled 0 to 0 computations (0% saved)

regimes237.0ms (5.4%)

Accuracy

Total 0.4b remaining (81.8%)

Threshold costs 0.4b (81.8%)

Compiler

Compiled 1823 to 1328 computations (27.2% saved)

bsearch35.0ms (0.8%)

Steps

Iters	Range		Point
10	2.376781538205787e-11	3.7323012990248974	0.7968192574558219
8	-6532.950917067115	-0.21893662710414036	-0.9629144065967837

Compiler

Compiled 1 to 1 computations (0% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	70	49
1	70	49

end0.0ms (0%)

sample2.8s (63.2%)

Algorithm

1×

intervals

Results

901.0ms	2519×	body	1024	valid
372.0ms	1183×	body	2048	valid
250.0ms	1209×	body	512	valid
108.0ms	2371×	body	128	valid
84.0ms	673×	body	256	valid
20.0ms	45×	body	4096	valid

Compiler

Compiled 593 to 435 computations (26.6% saved)

Details

analyze248.0ms (5.6%)

sample64.0ms (1.5%)

simplify94.0ms (2.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite71.0ms (1.6%)

series213.0ms (4.8%)

simplify64.0ms (1.4%)

prune67.0ms (1.5%)

localize1.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify9.0ms (0.2%)

prune4.0ms (0.1%)

localize7.0ms (0.2%)

rewrite186.0ms (4.2%)

series131.0ms (3%)

simplify65.0ms (1.5%)

prune104.0ms (2.4%)

localize5.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.1%)

prune0.0ms (0%)

regimes237.0ms (5.4%)

bsearch35.0ms (0.8%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample2.8s (63.2%)

Profiling