Details

analyze155.0ms (5.8%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	7
1	12	7
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	3
75%	25%	0%	4
75%	25%	0%	4
87.5%	12.5%	0%	5
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.8%	0.2%	0%	11
99.8%	0.1%	0.1%	12
99.8%	0.1%	0.1%	12
99.8%	0%	0.1%	13
99.8%	0%	0.1%	13
99.8%	0%	0.2%	14
99.8%	0%	0.2%	14

Compiler

Compiled 20 to 20 computations (0% saved)

sample96.0ms (3.6%)

Algorithm

2×

intervals

Results

13.0ms

512×

body

128

valid

Compiler

Compiled 2589 to 2847 computations (-10% saved)

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	12	7
1	12	7

prune3.0ms (0.1%)

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

Error

0.1b

Counts

2 → 1

Compiler

Compiled 10 to 10 computations (0% saved)

localize3.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 841/108 x) 4/29)
0.1b	(*.f64 841/108 x)

rewrite41.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`add-sqr-sqrt_binary64_9307`
4×	`pow1_binary64_9346` `add-exp-log_binary64_9323` `add-log-exp_binary64_9324` `add-cbrt-cube_binary64_9321` `add-cube-cbrt_binary64_9320` `*-un-lft-identity_binary64_9285`
3×	`associate-l_binary64_9226` `associate-r_binary64_9225`
1×	`pow-prod-down_binary64_9356` `prod-exp_binary64_9334` `cbrt-unprod_binary64_9318` `unswap-sqr_binary64_9253` `*-commutative_binary64_9216` `sum-log_binary64_9376` `flip3-+_binary64_9288` `flip-+_binary64_9259` `+-commutative_binary64_9215`

Counts

2 → 29

Calls

2 calls:

4.0ms	(*.f64 841/108 x)
4.0ms	(+.f64 (*.f64 841/108 x) 4/29)

Compiler

Compiled 308 to 254 computations (17.5% saved)

series74.0ms (2.8%)

Error

0.1b

Counts

2 → 9

Calls

2 calls:

44.0ms	(+.f64 (*.f64 841/108 x) 4/29)
25.0ms	(*.f64 841/108 x)

Compiler

Compiled 104 to 98 computations (5.8% saved)

simplify75.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5087	284

prune36.0ms (1.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	35	3	38
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	35	4	39

Error

Counts

39 → 4

Compiler

Compiled 332 to 276 computations (16.9% saved)

localize5.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 (sqrt.f64 841/108) (.f64 x (sqrt.f64 841/108))) 4/29)
0.2b	(*.f64 x (sqrt.f64 841/108))
0.3b	(.f64 (sqrt.f64 841/108) (.f64 x (sqrt.f64 841/108)))

rewrite91.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`add-sqr-sqrt_binary64_9307`
10×	`pow1_binary64_9346` `add-exp-log_binary64_9323` `add-cbrt-cube_binary64_9321`
9×	`associate-l_binary64_9226`
8×	`add-cube-cbrt_binary64_9320` `*-un-lft-identity_binary64_9285`
7×	`sqrt-prod_binary64_9301` `associate-r_binary64_9225`
5×	`add-log-exp_binary64_9324`
4×	`pow-prod-down_binary64_9356` `prod-exp_binary64_9334` `cbrt-unprod_binary64_9318`
2×	`*-commutative_binary64_9216` `unswap-sqr_binary64_9253`
1×	`sum-log_binary64_9376` `flip3-+_binary64_9288` `flip-+_binary64_9259` `+-commutative_binary64_9215`

Counts

3 → 54

Calls

3 calls:

8.0ms	(+.f64 (.f64 (sqrt.f64 841/108) (.f64 x (sqrt.f64 841/108))) 4/29)
7.0ms	(.f64 (sqrt.f64 841/108) (.f64 x (sqrt.f64 841/108)))
5.0ms	(*.f64 x (sqrt.f64 841/108))

Compiler

Compiled 856 to 762 computations (11% saved)

series205.0ms (7.7%)

Error

Counts

3 → 12

Calls

3 calls:

79.0ms	(+.f64 (.f64 (sqrt.f64 841/108) (.f64 x (sqrt.f64 841/108))) 4/29)
69.0ms	(.f64 (sqrt.f64 841/108) (.f64 x (sqrt.f64 841/108)))
48.0ms	(*.f64 x (sqrt.f64 841/108))

Compiler

Compiled 251 to 242 computations (3.6% saved)

simplify46.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4946	520
1	4946	520

prune57.0ms (2.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	66	4	70

Error

Counts

70 → 4

Compiler

Compiled 703 to 613 computations (12.8% saved)

localize6.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (+.f64 (*.f64 841/108 x) 4/29))
0.0b	(+.f64 (*.f64 841/108 x) 4/29)
0.1b	(*.f64 841/108 x)
2.5b	(log.f64 (exp.f64 (+.f64 (*.f64 841/108 x) 4/29)))

rewrite78.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

11×	`add-sqr-sqrt_binary64_9307`
9×	`add-cube-cbrt_binary64_9320` `*-un-lft-identity_binary64_9285` `add-log-exp_binary64_9324`
7×	`pow1_binary64_9346`
6×	`exp-prod_binary64_9337` `add-exp-log_binary64_9323` `add-cbrt-cube_binary64_9321`
4×	`log-pow_binary64_9374` `log-prod_binary64_9371`
3×	`associate-l_binary64_9226` `associate-r_binary64_9225`
2×	`exp-sum_binary64_9331` `sum-log_binary64_9376` `rem-exp-log_binary64_9325`
1×	`rem-log-exp_binary64_9326` `pow-prod-down_binary64_9356` `prod-exp_binary64_9334` `cbrt-unprod_binary64_9318` `unswap-sqr_binary64_9253` `*-commutative_binary64_9216` `flip3-+_binary64_9288` `flip-+_binary64_9259` `+-commutative_binary64_9215`

Counts

4 → 58

Calls

4 calls:

5.0ms	(log.f64 (exp.f64 (+.f64 (*.f64 841/108 x) 4/29)))
5.0ms	(exp.f64 (+.f64 (*.f64 841/108 x) 4/29))
4.0ms	(+.f64 (*.f64 841/108 x) 4/29)
4.0ms	(*.f64 841/108 x)

Compiler

Compiled 757 to 655 computations (13.5% saved)

series246.0ms (9.2%)

Error

Counts

4 → 19

Calls

4 calls:

150.0ms	(log.f64 (exp.f64 (+.f64 (*.f64 841/108 x) 4/29)))
39.0ms	(+.f64 (*.f64 841/108 x) 4/29)
24.0ms	(exp.f64 (+.f64 (*.f64 841/108 x) 4/29))
21.0ms	(*.f64 841/108 x)

Compiler

Compiled 383 to 365 computations (4.7% saved)

simplify48.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4995	691
1	4995	691

prune63.0ms (2.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	77	4	81

Error

Counts

81 → 4

Compiler

Compiled 788 to 678 computations (14% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (*.f64 841/108 x))
0.1b	(*.f64 841/108 x)
0.1b	(*.f64 841/108 x)
0.3b	(.f64 (sqrt.f64 (.f64 841/108 x)) (sqrt.f64 (*.f64 841/108 x)))

rewrite122.0ms (4.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

60×	`pow1_binary64_9346`
30×	`sqrt-pow1_binary64_9303`
23×	`pow-prod-down_binary64_9356`
18×	`add-sqr-sqrt_binary64_9307`
12×	`add-cube-cbrt_binary64_9320` `*-un-lft-identity_binary64_9285`
11×	`pow1/2_binary64_9365`
10×	`pow-prod-up_binary64_9355` `add-exp-log_binary64_9323` `add-cbrt-cube_binary64_9321` `associate-l_binary64_9226` `associate-r_binary64_9225`
6×	`pow-sqr_binary64_9258`
5×	`sqrt-prod_binary64_9301`
4×	`add-log-exp_binary64_9324` `swap-sqr_binary64_9252`
3×	`prod-exp_binary64_9334` `cbrt-unprod_binary64_9318` `unswap-sqr_binary64_9253` `*-commutative_binary64_9216`
1×	`pow2_binary64_9366` `pow-plus_binary64_9348` `sqrt-unprod_binary64_9305` `rem-square-sqrt_binary64_9297`

Counts

4 → 96

Calls

4 calls:

9.0ms	(.f64 (sqrt.f64 (.f64 841/108 x)) (sqrt.f64 (*.f64 841/108 x)))
4.0ms	(*.f64 841/108 x)
3.0ms	(*.f64 841/108 x)
2.0ms	(sqrt.f64 (*.f64 841/108 x))

Compiler

Compiled 1462 to 1214 computations (17% saved)

series138.0ms (5.2%)

Error

Counts

4 → 12

Calls

4 calls:

58.0ms	(.f64 (sqrt.f64 (.f64 841/108 x)) (sqrt.f64 (*.f64 841/108 x)))
25.0ms	(*.f64 841/108 x)
22.0ms	(*.f64 841/108 x)
22.0ms	(sqrt.f64 (*.f64 841/108 x))

Compiler

Compiled 391 to 351 computations (10.2% saved)

simplify71.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5027	597

prune94.0ms (3.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	108	4	112

Error

Counts

112 → 4

Compiler

Compiled 1246 to 1031 computations (17.3% saved)

regimes123.0ms (4.6%)

Accuracy

Total 0.1b remaining (96.1%)

Threshold costs 0.1b (96.1%)

Compiler

Compiled 696 to 669 computations (3.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	7
1	12	7

end0.0ms (0%)

sample768.0ms (28.9%)

Algorithm

1×

intervals

Results

215.0ms	7997×	body	128	valid
0.0ms	16×	body	128	invalid
0.0ms	2×	body	512	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 237 to 229 computations (3.4% saved)

Details

analyze155.0ms (5.8%)

sample96.0ms (3.6%)

simplify7.0ms (0.3%)

prune3.0ms (0.1%)

localize3.0ms (0.1%)

rewrite41.0ms (1.6%)

series74.0ms (2.8%)

simplify75.0ms (2.8%)

prune36.0ms (1.3%)

localize5.0ms (0.2%)

rewrite91.0ms (3.4%)

series205.0ms (7.7%)

simplify46.0ms (1.7%)

prune57.0ms (2.2%)

localize6.0ms (0.2%)

rewrite78.0ms (2.9%)

series246.0ms (9.2%)

simplify48.0ms (1.8%)

prune63.0ms (2.4%)

localize8.0ms (0.3%)

rewrite122.0ms (4.6%)

series138.0ms (5.2%)

simplify71.0ms (2.7%)

prune94.0ms (3.5%)

regimes123.0ms (4.6%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample768.0ms (28.9%)

Profiling