Details

analyze1.1s (20%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5177	40
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	6
14%	85.8%	0.1%	7
14%	85.8%	0.1%	7
22.6%	77.2%	0.1%	8
22.6%	77.2%	0.1%	8
23.8%	74.5%	1.7%	9
23.8%	74.5%	1.7%	9
40%	56%	4%	10
40%	56%	4%	10
47.3%	48.7%	4%	11
47.3%	48.7%	4%	11
48.4%	45.8%	5.8%	12
48.4%	45.8%	5.8%	12
58.6%	32.4%	9%	13
58.6%	32.4%	9%	13
63.4%	27.5%	9%	14
63.4%	27.5%	9%	14

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample433.0ms (8.2%)

Algorithm

2×

intervals

Results

13.0ms	512×	body	128	valid
4.0ms	98×	body	128	invalid

Compiler

Compiled 2519 to 3146 computations (-24.9% saved)

simplify162.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (157.0ms)

Iter	Nodes	Cost
0	4907	10
1	4907	10

prune3.0ms (0.1%)

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

12.8b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (+.f64 y z))
12.1b	(/.f64 (*.f64 x (+.f64 y z)) z)

rewrite56.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

9×	`add-exp-log_binary64_10005` `add-cbrt-cube_binary64_10003`
8×	`add-sqr-sqrt_binary64_9989` `*-un-lft-identity_binary64_9967`
6×	`add-cube-cbrt_binary64_10002`
4×	`pow1_binary64_10028` `associate-r/_binary64_9909` `associate-r*_binary64_9907`
3×	`times-frac_binary64_9973` `associate-/r_binary64_9911` `associate-l*_binary64_9908`
2×	`prod-exp_binary64_10016` `div-exp_binary64_10018` `add-log-exp_binary64_10006` `cbrt-undiv_binary64_10001` `cbrt-unprod_binary64_10000` `flip3-+_binary64_9970` `associate-/l/_binary64_9914` `flip-+_binary64_9941`
1×	`frac-2neg_binary64_9978` `clear-num_binary64_9966` `div-inv_binary64_9964` `associate-/l_binary64_9912` `pow-prod-down_binary64_10038` `unswap-sqr_binary64_9935` `distribute-rgt-in_binary64_9917` `distribute-lft-in_binary64_9916` `distribute-lft-out_binary64_9918` `-commutative_binary64_9898`

Counts

2 → 46

Calls

2 calls:

6.0ms	(/.f64 (*.f64 x (+.f64 y z)) z)
6.0ms	(*.f64 x (+.f64 y z))

Compiler

Compiled 607 to 171 computations (71.8% saved)

series350.0ms (6.7%)

Error

2.9b

Counts

2 → 30

Calls

2 calls:

203.0ms	(/.f64 (*.f64 x (+.f64 y z)) z)
131.0ms	(*.f64 x (+.f64 y z))

Compiler

Compiled 510 to 295 computations (42.2% saved)

simplify77.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4981	703
1	4981	703

prune59.0ms (1.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	68	8	76
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	69	8	77

Error

0.0b

Counts

77 → 8

Compiler

Compiled 788 to 221 computations (72% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 z (+.f64 z y))
2.1b	(/.f64 x (/.f64 z (+.f64 z y)))

rewrite124.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

114×	`times-frac_binary64_9973`
94×	`*-un-lft-identity_binary64_9967`
62×	`add-cube-cbrt_binary64_10002` `add-sqr-sqrt_binary64_9989`
22×	`associate-/r*_binary64_9911`
16×	`distribute-lft-out_binary64_9918`
11×	`associate-/r/_binary64_9913`
9×	`add-exp-log_binary64_10005` `add-cbrt-cube_binary64_10003`
6×	`div-inv_binary64_9964` `associate-/l*_binary64_9912`
5×	`flip3-+_binary64_9970` `flip-+_binary64_9941`
4×	`div-exp_binary64_10018` `cbrt-undiv_binary64_10001`
2×	`pow1_binary64_10028` `add-log-exp_binary64_10006` `frac-2neg_binary64_9978` `clear-num_binary64_9966`

Counts

2 → 123

Calls

2 calls:

8.0ms	(/.f64 x (/.f64 z (+.f64 z y)))
5.0ms	(/.f64 z (+.f64 z y))

Compiler

Compiled 2112 to 504 computations (76.1% saved)

series253.0ms (4.8%)

Error

0.0b

Counts

2 → 27

Calls

2 calls:

181.0ms	(/.f64 x (/.f64 z (+.f64 z y)))
60.0ms	(/.f64 z (+.f64 z y))

Compiler

Compiled 501 to 354 computations (29.3% saved)

simplify81.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5091	2540

prune113.0ms (2.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	147	3	150
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	151	7	158

Error

Counts

158 → 7

Compiler

Compiled 2136 to 429 computations (79.9% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 z y) z)
2.2b	(*.f64 x (/.f64 (+.f64 z y) z))

rewrite64.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`*-un-lft-identity_binary64_9967`
25×	`add-sqr-sqrt_binary64_9989` `times-frac_binary64_9973`
20×	`add-cube-cbrt_binary64_10002`
16×	`associate-r_binary64_9907`
9×	`add-exp-log_binary64_10005` `add-cbrt-cube_binary64_10003`
7×	`distribute-lft-out_binary64_9918`
4×	`pow1_binary64_10028` `associate-/l*_binary64_9912`
3×	`associate-l_binary64_9908` `associate-/r*_binary64_9911`
2×	`div-exp_binary64_10018` `prod-exp_binary64_10016` `add-log-exp_binary64_10006` `cbrt-unprod_binary64_10000` `cbrt-undiv_binary64_10001` `unswap-sqr_binary64_9935` `div-inv_binary64_9964` `associate-/l/_binary64_9914`
1×	`pow-prod-down_binary64_10038` `associate-r/_binary64_9909` `-commutative_binary64_9898` `frac-2neg_binary64_9978` `clear-num_binary64_9966` `flip3-+_binary64_9970` `flip-+_binary64_9941`

Counts

2 → 68

Calls

2 calls:

9.0ms	(*.f64 x (/.f64 (+.f64 z y) z))
5.0ms	(/.f64 (+.f64 z y) z)

Compiler

Compiled 993 to 247 computations (75.1% saved)

series300.0ms (5.7%)

Error

Counts

2 → 27

Calls

2 calls:

185.0ms	(*.f64 x (/.f64 (+.f64 z y) z))
102.0ms	(/.f64 (+.f64 z y) z)

Compiler

Compiled 399 to 281 computations (29.6% saved)

simplify82.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4957	1052
1	4957	1052

prune65.0ms (1.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	95	7	102

Error

Counts

102 → 7

Compiler

Compiled 1100 to 321 computations (70.8% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (/.f64 (*.f64 x y) z))
6.2b	(/.f64 (*.f64 x y) z)

rewrite32.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`add-exp-log_binary64_10005` `add-cbrt-cube_binary64_10003`
6×	`*-un-lft-identity_binary64_9967`
4×	`add-log-exp_binary64_10006` `add-cube-cbrt_binary64_10002` `add-sqr-sqrt_binary64_9989`
3×	`times-frac_binary64_9973` `associate-/r*_binary64_9911`
2×	`pow1_binary64_10028` `div-exp_binary64_10018` `cbrt-undiv_binary64_10001`
1×	`prod-exp_binary64_10016` `cbrt-unprod_binary64_10000` `frac-2neg_binary64_9978` `clear-num_binary64_9966` `div-inv_binary64_9964` `associate-/l*_binary64_9912` `sum-log_binary64_10058` `flip3-+_binary64_9970` `flip-+_binary64_9941` `distribute-lft-out_binary64_9918` `+-commutative_binary64_9897`

Counts

2 → 33

Calls

2 calls:

5.0ms	(+.f64 x (/.f64 (*.f64 x y) z))
4.0ms	(/.f64 (*.f64 x y) z)

Compiler

Compiled 443 to 130 computations (70.7% saved)

series295.0ms (5.6%)

Error

Counts

2 → 24

Calls

2 calls:

144.0ms	(+.f64 x (/.f64 (*.f64 x y) z))
142.0ms	(/.f64 (*.f64 x y) z)

Compiler

Compiled 414 to 262 computations (36.7% saved)

simplify56.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5040	563

prune30.0ms (0.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	57	7	64

Error

Counts

64 → 7

Compiler

Compiled 525 to 113 computations (78.5% saved)

regimes435.0ms (8.3%)

Accuracy

Total 1.7b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 2392 to 1570 computations (34.4% saved)

bsearch2.0ms (0%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	60
1	29	60

end0.0ms (0%)

sample1.1s (21.1%)

Algorithm

1×

intervals

Results

224.0ms	8000×	body	128	valid
41.0ms	1621×	body	128	invalid

Compiler

Compiled 627 to 409 computations (34.8% saved)

Details

analyze1.1s (20%)

sample433.0ms (8.2%)

simplify162.0ms (3.1%)

prune3.0ms (0.1%)

localize5.0ms (0.1%)

rewrite56.0ms (1.1%)

series350.0ms (6.7%)

simplify77.0ms (1.5%)

prune59.0ms (1.1%)

localize6.0ms (0.1%)

rewrite124.0ms (2.4%)

series253.0ms (4.8%)

simplify81.0ms (1.5%)

prune113.0ms (2.1%)

localize5.0ms (0.1%)

rewrite64.0ms (1.2%)

series300.0ms (5.7%)

simplify82.0ms (1.6%)

prune65.0ms (1.2%)

localize5.0ms (0.1%)

rewrite32.0ms (0.6%)

series295.0ms (5.6%)

simplify56.0ms (1.1%)

prune30.0ms (0.6%)

regimes435.0ms (8.3%)

bsearch2.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.1s (21.1%)

Profiling