Details

analyze421.0ms (7.4%)

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
25%	74.9%	0.2%	7
25%	74.9%	0.2%	8
34.3%	65.5%	0.2%	9
39%	60.8%	0.2%	10
48.3%	51.5%	0.2%	11
53.7%	46.1%	0.2%	12
63.1%	36.7%	0.2%	13
64%	35.6%	0.4%	14

Compiler

Compiled 8 to 8 computations (0% saved)

sample17.0ms (0.3%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify102.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	126	10
1	126	10

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

2.0b

Counts

2 → 1

Compiler

Compiled 14 to 14 computations (0% saved)

localize6.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite10.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64_19174` `add-cube-cbrt_binary64_19209` `add-sqr-sqrt_binary64_19196`
9×	`times-frac_binary64_19180`
4×	`add-log-exp_binary64_19213` `add-cbrt-cube_binary64_19210` `add-exp-log_binary64_19212`
3×	`associate-/l_binary64_19119` `associate-/r_binary64_19118`
2×	`flip--_binary64_19149` `flip3--_binary64_19178` `associate-/r/_binary64_19120` `pow1_binary64_19235`
1×	`frac-2neg_binary64_19185` `div-inv_binary64_19171` `diff-log_binary64_19266` `div-exp_binary64_19225` `clear-num_binary64_19173` `sub-neg_binary64_19167` `cancel-sign-sub-inv_binary64_19140` `cbrt-undiv_binary64_19208`

Counts

2 → 41

Calls

4 calls:

4.0ms	(/.f64 x (-.f64 y (*.f64 z t)))
3.0ms	(-.f64 y (*.f64 z t))
0.0ms	(-.f64 y (*.f64 z t))
0.0ms	(/.f64 x (-.f64 y (*.f64 z t)))

series312.0ms (5.5%)

Counts

2 → 53

Calls

2 calls:

234.0ms	(/.f64 x (-.f64 y (*.f64 z t)))
78.0ms	(-.f64 y (*.f64 z t))

Compiler

Compiled 1066 to 915 computations (14.2% saved)

simplify80.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4982	1653
1	4982	1653

prune89.0ms (1.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	86	8	94
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	86	9	95

Error

1.9b

Counts

95 → 9

Compiler

Compiled 1443 to 382 computations (73.5% saved)

localize7.0ms (0.1%)

Local error

Found 6 expressions with local error:

1.8b	(.f64 x (/.f64 1 (-.f64 y (.f64 z t))))
0.3b	(/.f64 1 (-.f64 y (*.f64 z t)))
0.0b	(-.f64 y (*.f64 z t))
0.0b	(-.f64 y (*.f64 z t))
0.3b	(/.f64 1 (-.f64 y (*.f64 z t)))
1.8b	(.f64 x (/.f64 1 (-.f64 y (.f64 z t))))

rewrite27.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64_19196`
20×	`*-un-lft-identity_binary64_19174` `times-frac_binary64_19180`
19×	`add-cube-cbrt_binary64_19209`
16×	`add-exp-log_binary64_19212`
15×	`associate-r_binary64_19114`
10×	`add-cbrt-cube_binary64_19210`
6×	`pow1_binary64_19235`
5×	`add-log-exp_binary64_19213`
4×	`prod-exp_binary64_19223` `associate-/r/_binary64_19120` `div-exp_binary64_19225`
3×	`associate-/l_binary64_19119` `flip--_binary64_19149` `flip3--_binary64_19178` `associate-/r_binary64_19118` `associate-l_binary64_19115` `unswap-sqr_binary64_19142`
2×	`div-inv_binary64_19171` `cbrt-unprod_binary64_19207` `rec-exp_binary64_19224` `1-exp_binary64_19218` `cbrt-undiv_binary64_19208`
1×	`frac-2neg_binary64_19185` `associate-r/_binary64_19116` `-commutative_binary64_19105` `diff-log_binary64_19266` `pow-prod-down_binary64_19245` `clear-num_binary64_19173` `pow-flip_binary64_19248` `inv-pow_binary64_19259` `un-div-inv_binary64_19172` `sub-neg_binary64_19167` `cancel-sign-sub-inv_binary64_19140`

Counts

3 → 83

Calls

6 calls:

10.0ms	(.f64 x (/.f64 1 (-.f64 y (.f64 z t))))
5.0ms	(/.f64 1 (-.f64 y (*.f64 z t)))
3.0ms	(-.f64 y (*.f64 z t))
0.0ms	(-.f64 y (*.f64 z t))
0.0ms	(/.f64 1 (-.f64 y (*.f64 z t)))

series472.0ms (8.3%)

Counts

3 → 85

Calls

3 calls:

237.0ms	(.f64 x (/.f64 1 (-.f64 y (.f64 z t))))
155.0ms	(/.f64 1 (-.f64 y (*.f64 z t)))
79.0ms	(-.f64 y (*.f64 z t))

Compiler

Compiled 1925 to 1664 computations (13.6% saved)

simplify71.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

168 → 168

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4978	2943
1	4978	2943

prune122.0ms (2.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	168	0	168
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	168	9	177

Error

1.9b

Counts

177 → 9

Compiler

Compiled 2723 to 905 computations (66.8% saved)

localize7.0ms (0.1%)

Local error

Found 6 expressions with local error:

2.0b	(/.f64 (-.f64 y (*.f64 z t)) x)
0.8b	(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
0.0b	(-.f64 y (*.f64 z t))
0.0b	(-.f64 y (*.f64 z t))
0.8b	(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
2.0b	(/.f64 (-.f64 y (*.f64 z t)) x)

rewrite26.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`times-frac_binary64_19180`
53×	`*-un-lft-identity_binary64_19174` `add-cube-cbrt_binary64_19209` `add-sqr-sqrt_binary64_19196`
16×	`associate-/r*_binary64_19118` `add-exp-log_binary64_19212`
10×	`add-cbrt-cube_binary64_19210`
8×	`div-exp_binary64_19225`
6×	`div-inv_binary64_19171` `associate-/l*_binary64_19119`
5×	`add-log-exp_binary64_19213`
4×	`pow1_binary64_19235` `cbrt-undiv_binary64_19208`
2×	`associate-/l/_binary64_19121` `frac-2neg_binary64_19185` `flip--_binary64_19149` `flip3--_binary64_19178` `clear-num_binary64_19173` `rec-exp_binary64_19224` `1-exp_binary64_19218`
1×	`diff-log_binary64_19266` `associate-/r/_binary64_19120` `pow-flip_binary64_19248` `inv-pow_binary64_19259` `sub-neg_binary64_19167` `div-sub_binary64_19179` `cancel-sign-sub-inv_binary64_19140`

Counts

3 → 118

Calls

6 calls:

8.0ms	(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
5.0ms	(/.f64 (-.f64 y (*.f64 z t)) x)
3.0ms	(-.f64 y (*.f64 z t))
0.0ms	(-.f64 y (*.f64 z t))
0.0ms	(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))

series502.0ms (8.8%)

Counts

3 → 74

Calls

3 calls:

235.0ms	(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
190.0ms	(/.f64 (-.f64 y (*.f64 z t)) x)
77.0ms	(-.f64 y (*.f64 z t))

Compiler

Compiled 1441 to 1285 computations (10.8% saved)

simplify80.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4979	3523
1	4979	3523

prune131.0ms (2.3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	192	0	192
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	192	9	201

Error

1.9b

Counts

201 → 9

Compiler

Compiled 3041 to 809 computations (73.4% saved)

localize10.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.0b	(-.f64 y (*.f64 z t))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
1.2b	(/.f64 (-.f64 y (*.f64 z t)) (cbrt.f64 x))
1.2b	(/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (-.f64 y (.f64 z t)) (cbrt.f64 x)))

rewrite31.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

76×	`times-frac_binary64_19180`
47×	`*-un-lft-identity_binary64_19174` `add-cube-cbrt_binary64_19209` `add-sqr-sqrt_binary64_19196`
36×	`cbrt-prod_binary64_19205`
28×	`associate-/r*_binary64_19118`
18×	`add-exp-log_binary64_19212`
11×	`add-cbrt-cube_binary64_19210`
7×	`div-exp_binary64_19225` `cbrt-undiv_binary64_19208`
4×	`div-inv_binary64_19171` `associate-/l*_binary64_19119` `add-log-exp_binary64_19213` `pow1_binary64_19235`
2×	`prod-exp_binary64_19223` `associate-/l/_binary64_19121` `frac-2neg_binary64_19185` `cbrt-unprod_binary64_19207` `pow1/3_binary64_19256` `clear-num_binary64_19173`
1×	`flip--_binary64_19149` `flip3--_binary64_19178` `associate-/r/_binary64_19120` `div-sub_binary64_19179`

Counts

4 → 128

Calls

8 calls:

11.0ms	(/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (-.f64 y (.f64 z t)) (cbrt.f64 x)))
5.0ms	(/.f64 (-.f64 y (*.f64 z t)) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
0.0ms	(-.f64 y (*.f64 z t))

series962.0ms (16.9%)

Counts

4 → 62

Calls

4 calls:

560.0ms	(/.f64 (-.f64 y (*.f64 z t)) (cbrt.f64 x))
258.0ms	(/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (-.f64 y (.f64 z t)) (cbrt.f64 x)))
75.0ms	(cbrt.f64 x)
68.0ms	(cbrt.f64 x)

Compiler

Compiled 1766 to 1462 computations (17.2% saved)

simplify118.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

190 → 190

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4925	3851
1	4925	3851

prune132.0ms (2.3%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	189	1	190
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	189	10	199

Error

1.9b

Counts

199 → 10

Compiler

Compiled 3684 to 832 computations (77.4% saved)

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	194	737
1	194	737

regimes343.0ms (6%)

Compiler: Compiled 3461 to 2476 computations (28.5% saved)

bsearch0.0ms (0%)

regimes188.0ms (3.3%)

Compiler: Compiled 109 to 217 computations (-99.1% saved)

bsearch31.0ms (0.5%)

Steps

Iters	Range		Point
10	1.7857412885334466e-92	2.66357622670319e-82	1.4522560965360581e-83
10	-7.10359789153651e-16	-2.6288902929657475e-33	-1.62447374728391e-24

Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes172.0ms (3%)

Compiler: Compiled 74 to 177 computations (-139.2% saved)

bsearch32.0ms (0.6%)

Steps

Iters	Range		Point
10	1.7857412885334466e-92	2.66357622670319e-82	2.5842276180443638e-82
10	-7.10359789153651e-16	-2.6288902929657475e-33	-4.5559904301870297e-26

Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes106.0ms (1.9%)

Compiler: Compiled 32 to 112 computations (-250% saved)

bsearch23.0ms (0.4%)

Steps

Iters	Range		Point
6	2.698483705744139e+157	2.6242764789496917e+158	5.4912767238400986e+157
7	-6.149802732876962e+99	-2.678967435058261e+98	-4.0085636767269985e+99

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes35.0ms (0.6%)

Accuracy

Total 0.1b remaining (3.5%)

Threshold costs 0.1b (3.5%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch5.0ms (0.1%)

Compiler: Compiled 77 to 61 computations (20.8% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	79	104
1	79	104

end0.0ms (0%)

sample1.0s (17.8%)

Algorithm

1×

intervals

Results

240.0ms	8000×	body	128	valid
9.0ms	312×	body	128	invalid

Compiler

Compiled 606 to 439 computations (27.6% saved)

Pareto

0.3747104186108404

Details

analyze421.0ms (7.4%)

sample17.0ms (0.3%)

simplify102.0ms (1.8%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite10.0ms (0.2%)

series312.0ms (5.5%)

simplify80.0ms (1.4%)

prune89.0ms (1.6%)

localize7.0ms (0.1%)

rewrite27.0ms (0.5%)

series472.0ms (8.3%)

simplify71.0ms (1.2%)

prune122.0ms (2.1%)

localize7.0ms (0.1%)

rewrite26.0ms (0.5%)

series502.0ms (8.8%)

simplify80.0ms (1.4%)

prune131.0ms (2.3%)

localize10.0ms (0.2%)

rewrite31.0ms (0.5%)

series962.0ms (16.9%)

simplify118.0ms (2.1%)

prune132.0ms (2.3%)

simplify12.0ms (0.2%)

regimes343.0ms (6%)

bsearch0.0ms (0%)

regimes188.0ms (3.3%)

bsearch31.0ms (0.5%)

regimes172.0ms (3%)

bsearch32.0ms (0.6%)

regimes106.0ms (1.9%)

bsearch23.0ms (0.4%)

regimes35.0ms (0.6%)

bsearch5.0ms (0.1%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.0s (17.8%)

Profiling