Details

analyze981.0ms (27.4%)

Algorithm

1×

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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
37.4%	62.4%	0.1%	9
37.4%	62.4%	0.1%	10
43.7%	56.2%	0.1%	11
43.7%	56.2%	0.1%	12
43.7%	56.2%	0.1%	13
61.7%	38.2%	0.1%	14

sample31.0ms (0.9%)

Algorithm

1×

intervals

Results

21.0ms

256×

body

valid

simplify41.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5321	37

prune7.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 31.9b

Counts

2 → 1

localize23.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
0.1b	(.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x)
0.1b	(.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x)
30.9b	(/.f64 (.f64 (-.f64 x 2.0) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

rewrite72.0ms (2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
15×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`pow1_binary64`
9×	`associate-r_binary64` `associate-l_binary64`
8×	`associate-/l/_binary64` `associate-*l/_binary64`
7×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `frac-times_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `flip3--_binary64` `unswap-sqr_binary64` `times-frac_binary64` `flip--_binary64` `-commutative_binary64`
2×	`cbrt-undiv_binary64` `associate-*r/_binary64` `associate-/r/_binary64` `div-exp_binary64`
1×	`clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64`

Counts

4 → 91

Calls

4 calls:

37.0ms	(/.f64 (.f64 (-.f64 x 2.0) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
15.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
10.0ms	(.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x)
7.0ms	(.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x)

series81.0ms (2.3%)

Counts

4 → 12

Calls

4 calls:

56.0ms	(/.f64 (.f64 (-.f64 x 2.0) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
11.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
9.0ms	(.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x)
5.0ms	(.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x)

simplify66.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4987	2167
1	4987	2167

prune254.0ms (7.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	97	6	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	6	104

Merged error: 0.0b

Counts

104 → 6

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (+.f64 (.f64 x 4.16438922228) (/.f64 y (.f64 x x))) 110.1139242984811)
0.0b	(+.f64 (.f64 x 4.16438922228) (/.f64 y (.f64 x x)))
7.8b	(/.f64 y (*.f64 x x))

rewrite23.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-log-exp_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
5×	`add-cube-cbrt_binary64`
3×	`pow1_binary64` `associate-/l*_binary64` `times-frac_binary64`
2×	`diff-log_binary64` `cbrt-undiv_binary64` `div-exp_binary64` `sum-log_binary64`
1×	`flip3-+_binary64` `associate-/r*_binary64` `sub-neg_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `div-inv_binary64` `+-commutative_binary64` `flip--_binary64` `flip-+_binary64` `associate--l+_binary64`

Counts

3 → 47

Calls

3 calls:

9.0ms	(-.f64 (+.f64 (.f64 x 4.16438922228) (/.f64 y (.f64 x x))) 110.1139242984811)
6.0ms	(+.f64 (.f64 x 4.16438922228) (/.f64 y (.f64 x x)))
5.0ms	(/.f64 y (*.f64 x x))

series20.0ms (0.6%)

Counts

3 → 9

Calls

3 calls:

7.0ms	(+.f64 (.f64 x 4.16438922228) (/.f64 y (.f64 x x)))
7.0ms	(/.f64 y (*.f64 x x))
6.0ms	(-.f64 (+.f64 (.f64 x 4.16438922228) (/.f64 y (.f64 x x))) 110.1139242984811)

simplify31.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5324	604

prune80.0ms (2.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	56	6	62

Merged error: 0.0b

Counts

62 → 6

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (+.f64 (*.f64 x 4.16438922228) (/.f64 (/.f64 y x) x)) 110.1139242984811)
0.0b	(+.f64 (*.f64 x 4.16438922228) (/.f64 (/.f64 y x) x))
0.1b	(/.f64 (/.f64 y x) x)

rewrite38.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`times-frac_binary64`
47×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
45×	`add-cube-cbrt_binary64`
13×	`associate-/l*_binary64`
10×	`add-log-exp_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`div-inv_binary64`
3×	`associate-/r*_binary64` `pow1_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
2×	`diff-log_binary64` `sum-log_binary64`
1×	`flip3-+_binary64` `associate-/l/_binary64` `sub-neg_binary64` `flip3--_binary64` `clear-num_binary64` `frac-2neg_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `+-commutative_binary64` `flip--_binary64` `flip-+_binary64` `associate--l+_binary64`

Counts

3 → 96

Calls

3 calls:

15.0ms	(-.f64 (+.f64 (*.f64 x 4.16438922228) (/.f64 (/.f64 y x) x)) 110.1139242984811)
13.0ms	(+.f64 (*.f64 x 4.16438922228) (/.f64 (/.f64 y x) x))
6.0ms	(/.f64 (/.f64 y x) x)

series20.0ms (0.6%)

Counts

3 → 9

Calls

3 calls:

7.0ms	(/.f64 (/.f64 y x) x)
7.0ms	(+.f64 (*.f64 x 4.16438922228) (/.f64 (/.f64 y x) x))
6.0ms	(-.f64 (+.f64 (*.f64 x 4.16438922228) (/.f64 (/.f64 y x) x)) 110.1139242984811)

simplify57.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5004	1173

prune123.0ms (3.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	105	6	111

Merged error: 0.0b

Counts

111 → 6

localize23.0ms (0.7%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y))
0.1b	(.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721))
0.1b	(.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154))
28.3b	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

rewrite64.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
12×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`pow1_binary64`
9×	`associate-r_binary64` `associate-l_binary64` `times-frac_binary64`
6×	`associate-*r/_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `associate-/l_binary64` `*-commutative_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64`
1×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 97

Calls

4 calls:

30.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
14.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y))
10.0ms	(.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721))
7.0ms	(.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154))

series74.0ms (2.1%)

Counts

4 → 12

Calls

4 calls:

50.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
11.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y))
9.0ms	(.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154))
5.0ms	(.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721))

simplify64.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4967	2383
1	4967	2383

prune224.0ms (6.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	108	1	109
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	108	7	115

Merged error: 0b

Counts

115 → 7

regimes274.0ms (7.7%)

Accuracy

Total 0.7b remaining (95.4%)

Threshold costs 0.7b (95.4%)

bsearch42.0ms (1.2%)

Steps

Iters	Range		Point
7	1.1883944874142598e+70	5.181603383984646e+71	2.4366870775092837e+70
9	-6.100783881809914e+27	-2.052349882819186e+21	-5.996847038044274e+27

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	78	57
1	78	57

end0.0ms (0%)

sample849.0ms (23.7%)

Algorithm

1×

intervals

Results

667.0ms	8000×	body	80	valid
1.0ms	9×	body	80	invalid

Details

analyze981.0ms (27.4%)

sample31.0ms (0.9%)

simplify41.0ms (1.1%)

prune7.0ms (0.2%)

localize23.0ms (0.6%)

rewrite72.0ms (2%)

series81.0ms (2.3%)

simplify66.0ms (1.8%)

prune254.0ms (7.1%)

localize7.0ms (0.2%)

rewrite23.0ms (0.6%)

series20.0ms (0.6%)

simplify31.0ms (0.9%)

prune80.0ms (2.2%)

localize7.0ms (0.2%)

rewrite38.0ms (1%)

series20.0ms (0.6%)

simplify57.0ms (1.6%)

prune123.0ms (3.4%)

localize23.0ms (0.7%)

rewrite64.0ms (1.8%)

series74.0ms (2.1%)

simplify64.0ms (1.8%)

prune224.0ms (6.3%)

regimes274.0ms (7.7%)

bsearch42.0ms (1.2%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample849.0ms (23.7%)

Profiling