Details

analyze1.4s (16.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	863	304
1	863	304
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.8%	98%	0.3%	13
2.4%	97.3%	0.3%	14

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample34.0ms (0.4%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
4.0ms	109×	body	128	invalid

Compiler

Compiled 31 to 33 computations (-6.5% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	81	19
1	81	19

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

0.0b

Counts

2 → 2

Compiler

Compiled 41 to 37 computations (9.8% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
0.0b	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
5.4b	(.f64 (.f64 a z) b)

rewrite64.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`add-log-exp_binary64_19895`
9×	`sum-log_binary64_19947`
8×	`pow1_binary64_19917` `add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
4×	`add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_19878` `*-un-lft-identity_binary64_19856`
3×	`pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889` `associate-r_binary64_19796`
2×	`flip3-+_binary64_19859` `flip-+_binary64_19830` `associate-+l+_binary64_19789` `+-commutative_binary64_19786`
1×	`associate-l_binary64_19797` `*-commutative_binary64_19787`

Counts

3 → 45

Calls

3 calls:

9.0ms	(.f64 (.f64 a z) b)
9.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
5.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))

Compiler

Compiled 1084 to 178 computations (83.6% saved)

series708.0ms (8.6%)

Error

0.0b

Counts

3 → 75

Calls

3 calls:

379.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
187.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
97.0ms	(.f64 (.f64 a z) b)

Compiler

Compiled 2388 to 1444 computations (39.5% saved)

simplify43.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5228	1611

prune86.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	117	5	122

Error

0.0b

Counts

122 → 5

Compiler

Compiled 1870 to 215 computations (88.5% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (.f64 z (+.f64 y (.f64 a b))))
2.9b	(.f64 z (+.f64 y (.f64 a b)))

rewrite41.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-sqr-sqrt_binary64_19878`
4×	`pow1_binary64_19917` `add-exp-log_binary64_19894` `add-log-exp_binary64_19895` `add-cbrt-cube_binary64_19892` `add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
3×	`associate-l_binary64_19797` `associate-r_binary64_19796`
2×	`distribute-rgt-in_binary64_19806` `distribute-lft-in_binary64_19805` `flip3-+_binary64_19859` `associate-*r/_binary64_19798` `flip-+_binary64_19830` `associate-+r+_binary64_19788`
1×	`pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889` `unswap-sqr_binary64_19824` `*-commutative_binary64_19787` `sum-log_binary64_19947` `+-commutative_binary64_19786`

Counts

2 → 35

Calls

2 calls:

6.0ms	(.f64 z (+.f64 y (.f64 a b)))
3.0ms	(+.f64 x (.f64 z (+.f64 y (.f64 a b))))

Compiler

Compiled 744 to 177 computations (76.2% saved)

series418.0ms (5%)

Error

0.0b

Counts

2 → 51

Calls

2 calls:

243.0ms	(+.f64 x (.f64 z (+.f64 y (.f64 a b))))
150.0ms	(.f64 z (+.f64 y (.f64 a b)))

Compiler

Compiled 1637 to 969 computations (40.8% saved)

simplify72.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4979	991
1	4979	991

prune54.0ms (0.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	86	5	91

Error

0.0b

Counts

91 → 5

Compiler

Compiled 1319 to 214 computations (83.8% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.9b	(.f64 (+.f64 y (.f64 a b)) z)
4.2b	(cbrt.f64 (.f64 (+.f64 y (.f64 a b)) z))
4.2b	(cbrt.f64 (.f64 (+.f64 y (.f64 a b)) z))
4.2b	(cbrt.f64 (.f64 (+.f64 y (.f64 a b)) z))

rewrite77.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

8×	`associate-*l/_binary64_19799` `add-sqr-sqrt_binary64_19878`
6×	`pow1_binary64_19917` `add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892` `add-cube-cbrt_binary64_19891` `cbrt-div_binary64_19888` `*-un-lft-identity_binary64_19856`
4×	`add-log-exp_binary64_19895` `flip3-+_binary64_19859` `flip-+_binary64_19830`
3×	`pow1/3_binary64_19938` `cbrt-prod_binary64_19887` `associate-l_binary64_19797` `associate-r_binary64_19796`
1×	`pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889` `unswap-sqr_binary64_19824` `*-commutative_binary64_19787`

Counts

4 → 53

Calls

4 calls:

6.0ms	(.f64 (+.f64 y (.f64 a b)) z)
4.0ms	(cbrt.f64 (.f64 (+.f64 y (.f64 a b)) z))
4.0ms	(cbrt.f64 (.f64 (+.f64 y (.f64 a b)) z))
4.0ms	(cbrt.f64 (.f64 (+.f64 y (.f64 a b)) z))

Compiler

Compiled 2147 to 330 computations (84.6% saved)

series1.3s (16.1%)

Error

0.0b

Counts

4 → 84

Calls

4 calls:

361.0ms	(cbrt.f64 (.f64 (+.f64 y (.f64 a b)) z))
349.0ms	(cbrt.f64 (.f64 (+.f64 y (.f64 a b)) z))
346.0ms	(cbrt.f64 (.f64 (+.f64 y (.f64 a b)) z))
171.0ms	(.f64 (+.f64 y (.f64 a b)) z)

Compiler

Compiled 9572 to 5037 computations (47.4% saved)

simplify125.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	4973	2126
1	4973	2126

prune122.0ms (1.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	137	5	142

Error

0.0b

Counts

142 → 5

Compiler

Compiled 4970 to 592 computations (88.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b)))))
0.0b	(+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b))))
0.0b	(+.f64 t (*.f64 z b))
4.1b	(.f64 a (+.f64 t (.f64 z b)))

rewrite71.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`add-log-exp_binary64_19895`
8×	`add-sqr-sqrt_binary64_19878` `*-un-lft-identity_binary64_19856`
6×	`pow1_binary64_19917` `add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892` `add-cube-cbrt_binary64_19891`
5×	`sum-log_binary64_19947`
4×	`flip3-+_binary64_19859` `flip-+_binary64_19830`
3×	`associate-l_binary64_19797` `associate-r_binary64_19796` `+-commutative_binary64_19786` `associate-+r+_binary64_19788`
2×	`distribute-rgt-in_binary64_19806` `distribute-lft-in_binary64_19805` `associate-*r/_binary64_19798`
1×	`pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889` `unswap-sqr_binary64_19824` `*-commutative_binary64_19787` `distribute-lft-out_binary64_19807`

Counts

4 → 60

Calls

4 calls:

9.0ms	(+.f64 x (+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b)))))
6.0ms	(.f64 a (+.f64 t (.f64 z b)))
4.0ms	(+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b))))
3.0ms	(+.f64 t (*.f64 z b))

Compiler

Compiled 1337 to 272 computations (79.7% saved)

series924.0ms (11.2%)

Error

0.0b

Counts

4 → 105

Calls

4 calls:

363.0ms	(+.f64 x (+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b)))))
285.0ms	(+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b))))
150.0ms	(.f64 a (+.f64 t (.f64 z b)))
80.0ms	(+.f64 t (*.f64 z b))

Compiler

Compiled 3156 to 1909 computations (39.5% saved)

simplify79.0ms (1%)

Algorithm

1×	egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5016	2180

prune94.0ms (1.1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	164	1	165
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	164	6	170

Error

Counts

170 → 6

Compiler

Compiled 2310 to 268 computations (88.4% saved)

regimes726.0ms (8.8%)

Accuracy

Total 0.4b remaining (97.9%)

Threshold costs 0.4b (97.9%)

Compiler

Compiled 5016 to 3898 computations (22.3% saved)

bsearch67.0ms (0.8%)

Steps

Iters	Range		Point
7	5.477438757888232e+66	1.9889087797971961e+68	5.546141366661463e+66
11	-6.097271164189625e+132	-1.6126285945739454e+102	-1.8596788480300867e+103

Compiler

Compiled 1 to 6 computations (-500% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	55
1	41	55

end0.0ms (0%)

sample1.7s (20.4%)

Algorithm

1×

intervals

Results

352.0ms	8000×	body	128	valid
183.0ms	3766×	body	128	invalid

Compiler

Compiled 797 to 604 computations (24.2% saved)

Details

analyze1.4s (16.8%)

sample34.0ms (0.4%)

simplify8.0ms (0.1%)

prune4.0ms (0%)

localize11.0ms (0.1%)

rewrite64.0ms (0.8%)

series708.0ms (8.6%)

simplify43.0ms (0.5%)

prune86.0ms (1%)

localize10.0ms (0.1%)

rewrite41.0ms (0.5%)

series418.0ms (5%)

simplify72.0ms (0.9%)

prune54.0ms (0.7%)

localize16.0ms (0.2%)

rewrite77.0ms (0.9%)

series1.3s (16.1%)

simplify125.0ms (1.5%)

prune122.0ms (1.5%)

localize10.0ms (0.1%)

rewrite71.0ms (0.9%)

series924.0ms (11.2%)

simplify79.0ms (1%)

prune94.0ms (1.1%)

regimes726.0ms (8.8%)

bsearch67.0ms (0.8%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.7s (20.4%)

Profiling