Details

analyze1.1s (9.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
16.4%	83.4%	0.2%	9
21.4%	78.4%	0.2%	10
25.1%	74.7%	0.2%	11
28%	70.2%	1.9%	12
39.6%	55.8%	4.6%	13
43.9%	50.4%	5.8%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample40.0ms (0.4%)

Algorithm

1×

intervals

Results

16.0ms	256×	body	128	valid
3.0ms	48×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify260.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	734	13
1	734	13

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

8.1b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize13.0ms (0.1%)

Local error

Found 6 expressions with local error:

8.8b	(/.f64 (*.f64 (-.f64 y x) z) t)
0.0b	(*.f64 (-.f64 y x) z)
0.0b	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
0.0b	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
0.0b	(*.f64 (-.f64 y x) z)
8.8b	(/.f64 (*.f64 (-.f64 y x) z) t)

rewrite50.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64_15056` `add-sqr-sqrt_binary64_15078`
10×	`add-cbrt-cube_binary64_15092` `add-exp-log_binary64_15094`
7×	`add-cube-cbrt_binary64_15091`
5×	`pow1_binary64_15117` `associate-l_binary64_14997` `add-log-exp_binary64_15095`
4×	`associate-*l/_binary64_14999`
3×	`associate-/r_binary64_15000` `times-frac_binary64_15062` `associate-r*_binary64_14996`
2×	`cbrt-undiv_binary64_15090` `cbrt-unprod_binary64_15089` `associate-/l/_binary64_15003` `flip3--_binary64_15060` `div-exp_binary64_15107` `prod-exp_binary64_15105` `flip--_binary64_15031`
1×	`flip-+_binary64_15030` `pow-prod-down_binary64_15127` `unswap-sqr_binary64_15024` `difference-of-squares_binary64_15025` `associate-/l_binary64_15001` `distribute-lft-out--_binary64_15008` `div-inv_binary64_15053` `-commutative_binary64_14987` `sum-log_binary64_15147` `distribute-lft-out_binary64_15007` `frac-2neg_binary64_15067` `flip3-+_binary64_15059` `clear-num_binary64_15055` `+-commutative_binary64_14986`

Counts

3 → 57

Calls

6 calls:

18.0ms	(*.f64 (-.f64 y x) z)
14.0ms	(/.f64 (*.f64 (-.f64 y x) z) t)
10.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
0.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
0.0ms	(/.f64 (*.f64 (-.f64 y x) z) t)

series902.0ms (8.3%)

Counts

3 → 57

Calls

3 calls:

418.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
329.0ms	(/.f64 (*.f64 (-.f64 y x) z) t)
155.0ms	(*.f64 (-.f64 y x) z)

Compiler

Compiled 940 to 797 computations (15.2% saved)

simplify102.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	5127	1245

prune167.0ms (1.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	109	5	114
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	109	6	115

Error

Counts

115 → 6

Compiler

Compiled 1353 to 291 computations (78.5% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

8.6b	(/.f64 (-.f64 y x) (/.f64 t z))
0.0b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
0.0b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
8.6b	(/.f64 (-.f64 y x) (/.f64 t z))

rewrite71.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

119×	`times-frac_binary64_15062`
88×	`*-un-lft-identity_binary64_15056`
86×	`add-sqr-sqrt_binary64_15078`
58×	`add-cube-cbrt_binary64_15091`
14×	`difference-of-squares_binary64_15025` `distribute-lft-out--_binary64_15008`
13×	`associate-/r*_binary64_15000`
7×	`add-cbrt-cube_binary64_15092` `div-inv_binary64_15053` `add-exp-log_binary64_15094`
5×	`associate-/l*_binary64_15001`
4×	`add-log-exp_binary64_15095`
3×	`cbrt-undiv_binary64_15090` `div-exp_binary64_15107`
2×	`pow1_binary64_15117` `associate-/l/_binary64_15003` `div-sub_binary64_15061`
1×	`flip-+_binary64_15030` `flip3--_binary64_15060` `sum-log_binary64_15147` `distribute-lft-out_binary64_15007` `frac-2neg_binary64_15067` `associate-/r/_binary64_15002` `flip3-+_binary64_15059` `clear-num_binary64_15055` `flip--_binary64_15031` `associate-+r-_binary64_14990` `+-commutative_binary64_14986`

Counts

2 → 114

Calls

4 calls:

35.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
16.0ms	(/.f64 (-.f64 y x) (/.f64 t z))
0.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
0.0ms	(/.f64 (-.f64 y x) (/.f64 t z))

series795.0ms (7.3%)

Counts

2 → 42

Calls

2 calls:

465.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
329.0ms	(/.f64 (-.f64 y x) (/.f64 t z))

Compiler

Compiled 706 to 593 computations (16% saved)

simplify109.0ms (1%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5116	2932

prune123.0ms (1.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	155	1	156
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	157	5	162

Error

Counts

162 → 5

Compiler

Compiled 2458 to 436 computations (82.3% saved)

localize19.0ms (0.2%)

Local error

Found 6 expressions with local error:

4.5b	(*.f64 (/.f64 (-.f64 y x) t) z)
0.0b	(/.f64 (-.f64 y x) t)
0.0b	(+.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))
0.0b	(+.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))
0.0b	(/.f64 (-.f64 y x) t)
4.5b	(*.f64 (/.f64 (-.f64 y x) t) z)

rewrite47.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`add-sqr-sqrt_binary64_15078`
37×	`*-un-lft-identity_binary64_15056`
31×	`times-frac_binary64_15062`
23×	`add-cube-cbrt_binary64_15091`
19×	`associate-l_binary64_14997`
10×	`add-cbrt-cube_binary64_15092` `add-exp-log_binary64_15094`
7×	`difference-of-squares_binary64_15025` `distribute-lft-out--_binary64_15008`
5×	`pow1_binary64_15117` `add-log-exp_binary64_15095` `associate-/l*_binary64_15001`
3×	`associate-/r_binary64_15000` `associate-r*_binary64_14996`
2×	`unswap-sqr_binary64_15024` `cbrt-undiv_binary64_15090` `cbrt-unprod_binary64_15089` `associate-/l/_binary64_15003` `div-exp_binary64_15107` `div-inv_binary64_15053` `prod-exp_binary64_15105`
1×	`flip-+_binary64_15030` `pow-prod-down_binary64_15127` `flip3--_binary64_15060` `-commutative_binary64_14987` `sum-log_binary64_15147` `frac-2neg_binary64_15067` `flip3-+_binary64_15059` `div-sub_binary64_15061` `associate-l/_binary64_14999` `clear-num_binary64_15055` `flip--_binary64_15031` `+-commutative_binary64_14986`

Counts

3 → 87

Calls

6 calls:

16.0ms	(*.f64 (/.f64 (-.f64 y x) t) z)
11.0ms	(/.f64 (-.f64 y x) t)
6.0ms	(+.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))
0.0ms	(+.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))
0.0ms	(*.f64 (/.f64 (-.f64 y x) t) z)

series958.0ms (8.8%)

Counts

3 → 57

Calls

3 calls:

449.0ms	(+.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))
306.0ms	(*.f64 (/.f64 (-.f64 y x) t) z)
203.0ms	(/.f64 (-.f64 y x) t)

Compiler

Compiled 944 to 801 computations (15.1% saved)

simplify117.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5057	1751

prune156.0ms (1.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	144	0	144
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	144	5	149

Error

Counts

149 → 5

Compiler

Compiled 1879 to 382 computations (79.7% saved)

localize16.0ms (0.1%)

Local error

Found 6 expressions with local error:

8.9b	(.f64 (.f64 (-.f64 y x) z) (/.f64 1 t))
0.0b	(*.f64 (-.f64 y x) z)
0.0b	(+.f64 x (.f64 (.f64 (-.f64 y x) z) (/.f64 1 t)))
0.0b	(+.f64 x (.f64 (.f64 (-.f64 y x) z) (/.f64 1 t)))
0.0b	(*.f64 (-.f64 y x) z)
8.9b	(.f64 (.f64 (-.f64 y x) z) (/.f64 1 t))

rewrite51.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-exp-log_binary64_15094`
17×	`add-cbrt-cube_binary64_15092`
16×	`associate-r_binary64_14996` `add-sqr-sqrt_binary64_15078`
14×	`*-un-lft-identity_binary64_15056`
13×	`prod-exp_binary64_15105`
12×	`add-cube-cbrt_binary64_15091`
10×	`pow1_binary64_15117`
9×	`times-frac_binary64_15062`
8×	`associate-*l/_binary64_14999`
7×	`cbrt-unprod_binary64_15089`
6×	`associate-l_binary64_14997`
5×	`add-log-exp_binary64_15095`
4×	`pow-prod-down_binary64_15127` `div-exp_binary64_15107`
3×	`flip3--_binary64_15060` `flip--_binary64_15031`
2×	`rec-exp_binary64_15106` `cbrt-undiv_binary64_15090` `frac-times_binary64_15066` `1-exp_binary64_15100` `*-commutative_binary64_14987`
1×	`flip-+_binary64_15030` `unswap-sqr_binary64_15024` `difference-of-squares_binary64_15025` `distribute-lft-out--_binary64_15008` `div-inv_binary64_15053` `sum-log_binary64_15147` `associate-*r/_binary64_14998` `flip3-+_binary64_15059` `un-div-inv_binary64_15054` `+-commutative_binary64_14986`

Counts

3 → 75

Calls

6 calls:

20.0ms	(.f64 (.f64 (-.f64 y x) z) (/.f64 1 t))
13.0ms	(*.f64 (-.f64 y x) z)
8.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) z) (/.f64 1 t)))
0.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) z) (/.f64 1 t)))
0.0ms	(*.f64 (-.f64 y x) z)

series930.0ms (8.5%)

Counts

3 → 57

Calls

3 calls:

448.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) z) (/.f64 1 t)))
318.0ms	(.f64 (.f64 (-.f64 y x) z) (/.f64 1 t))
164.0ms	(*.f64 (-.f64 y x) z)

Compiler

Compiled 988 to 845 computations (14.5% saved)

simplify61.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5547	1498

prune128.0ms (1.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	132	5	137

Error

Counts

137 → 5

Compiler

Compiled 1635 to 452 computations (72.4% saved)

simplify22.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	217	516
1	217	516

regimes625.0ms (5.7%)

Accuracy

Total 1.9b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 1736 to 1452 computations (16.4% saved)

bsearch120.0ms (1.1%)

Steps

Iters	Range	Point
8	3.9901970157360587e-147	3.281077779848248e-143	4.308057124917876e-147
9	-1.2315460164605467e-224	-8.350339641136075e-231	-9.293346139724548e-230
9	-1.6996591670924541e-19	-3.4543138144079544e-25	-2.7213483651068796e-22

Iters

Range

Point

3.9901970157360587e-147

3.281077779848248e-143

4.308057124917876e-147

-1.2315460164605467e-224

-8.350339641136075e-231

-9.293346139724548e-230

-1.6996591670924541e-19

-3.4543138144079544e-25

-2.7213483651068796e-22

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	43	82
1	43	82

end0.0ms (0%)

sample4.0s (36.2%)

Algorithm

1×

intervals

Results

494.0ms	8000×	body	128	valid
127.0ms	2084×	body	128	invalid

Compiler

Compiled 1163 to 905 computations (22.2% saved)

Pareto

0.24623921200615945

Details

analyze1.1s (9.8%)

sample40.0ms (0.4%)

simplify260.0ms (2.4%)

prune4.0ms (0%)

localize13.0ms (0.1%)

rewrite50.0ms (0.5%)

series902.0ms (8.3%)

simplify102.0ms (0.9%)

prune167.0ms (1.5%)

localize12.0ms (0.1%)

rewrite71.0ms (0.6%)

series795.0ms (7.3%)

simplify109.0ms (1%)

prune123.0ms (1.1%)

localize19.0ms (0.2%)

rewrite47.0ms (0.4%)

series958.0ms (8.8%)

simplify117.0ms (1.1%)

prune156.0ms (1.4%)

localize16.0ms (0.1%)

rewrite51.0ms (0.5%)

series930.0ms (8.5%)

simplify61.0ms (0.6%)

prune128.0ms (1.2%)

simplify22.0ms (0.2%)

regimes625.0ms (5.7%)

bsearch120.0ms (1.1%)

simplify5.0ms (0%)

end0.0ms (0%)

sample4.0s (36.2%)

Profiling