Details

analyze245.0ms (8.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
31.2%	68.6%	0.1%	7
37.4%	62.4%	0.1%	8
40.6%	57.7%	1.7%	9
54.6%	41.3%	4%	10
59.3%	36.7%	4%	11
61.6%	32.6%	5.8%	12
68.3%	22.7%	9%	13
71%	20%	9%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample17.0ms (0.6%)

Algorithm

1×

intervals

Results

5.0ms	256×	body	128	valid
0.0ms	15×	body	128	invalid

Compiler

Compiled 11 to 14 computations (-27.3% saved)

simplify92.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	17	7
1	17	7

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

5.1b

Counts

2 → 1

Compiler

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

5.0b	(/.f64 (*.f64 x y) z)
5.0b	(/.f64 (*.f64 x y) z)

rewrite6.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64_20574` `add-exp-log_binary64_20576`
3×	`-un-lft-identity_binary64_20538` `associate-/r_binary64_20482` `times-frac_binary64_20544` `add-cube-cbrt_binary64_20573` `add-sqr-sqrt_binary64_20560`
2×	`div-exp_binary64_20589` `cbrt-undiv_binary64_20572`
1×	`clear-num_binary64_20537` `cbrt-unprod_binary64_20571` `pow1_binary64_20599` `associate-/l*_binary64_20483` `frac-2neg_binary64_20549` `add-log-exp_binary64_20577` `prod-exp_binary64_20587` `div-inv_binary64_20535`

Counts

1 → 21

Calls

2 calls:

5.0ms	(/.f64 (*.f64 x y) z)
0.0ms	(/.f64 (*.f64 x y) z)

series100.0ms (3.4%)

Counts

1 → 9

Calls

1 calls:

99.0ms

(/.f64 (*.f64 x y) z)

Compiler

Compiled 90 to 90 computations (0% saved)

simplify106.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	4671	261
1	4671	261

prune30.0ms (1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	23	7	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	23	8	31

Error

0.0b

Counts

31 → 8

Compiler

Compiled 280 to 99 computations (64.6% saved)

localize6.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.9b	(/.f64 z (*.f64 x y))
0.3b	(/.f64 1 (/.f64 z (*.f64 x y)))
0.3b	(/.f64 1 (/.f64 z (*.f64 x y)))
4.9b	(/.f64 z (*.f64 x y))

rewrite16.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`times-frac_binary64_20544`
28×	`add-exp-log_binary64_20576`
20×	`*-un-lft-identity_binary64_20538` `add-cube-cbrt_binary64_20573` `add-sqr-sqrt_binary64_20560`
16×	`add-cbrt-cube_binary64_20574`
14×	`div-exp_binary64_20589`
8×	`associate-/r*_binary64_20482`
7×	`cbrt-undiv_binary64_20572`
6×	`associate-/l*_binary64_20483` `div-inv_binary64_20535`
4×	`prod-exp_binary64_20587`
3×	`rec-exp_binary64_20588` `pow1_binary64_20599` `1-exp_binary64_20582`
2×	`clear-num_binary64_20537` `cbrt-unprod_binary64_20571` `frac-2neg_binary64_20549` `add-log-exp_binary64_20577`
1×	`inv-pow_binary64_20623` `associate-/r/_binary64_20484` `pow-flip_binary64_20612`

Counts

2 → 77

Calls

4 calls:

6.0ms	(/.f64 1 (/.f64 z (*.f64 x y)))
4.0ms	(/.f64 z (*.f64 x y))
0.0ms	(/.f64 1 (/.f64 z (*.f64 x y)))
0.0ms	(/.f64 z (*.f64 x y))

series204.0ms (7%)

Counts

2 → 18

Calls

2 calls:

107.0ms	(/.f64 z (*.f64 x y))
97.0ms	(/.f64 1 (/.f64 z (*.f64 x y)))

Compiler

Compiled 216 to 216 computations (0% saved)

simplify93.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5305	1041

prune55.0ms (1.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	93	2	95
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	95	8	103

Error

Counts

103 → 8

Compiler

Compiled 996 to 346 computations (65.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

5.1b	(.f64 (.f64 x y) (/.f64 1 z))
5.1b	(.f64 (.f64 x y) (/.f64 1 z))

rewrite12.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-exp-log_binary64_20576`
13×	`add-cbrt-cube_binary64_20574` `associate-r_binary64_20478`
12×	`prod-exp_binary64_20587`
9×	`times-frac_binary64_20544`
8×	`*-un-lft-identity_binary64_20538` `add-cube-cbrt_binary64_20573` `add-sqr-sqrt_binary64_20560`
6×	`cbrt-unprod_binary64_20571` `pow1_binary64_20599`
4×	`div-exp_binary64_20589`
3×	`pow-prod-down_binary64_20609`
2×	`rec-exp_binary64_20588` `1-exp_binary64_20582` `cbrt-undiv_binary64_20572`
1×	`associate-r/_binary64_20480` `-commutative_binary64_20469` `add-log-exp_binary64_20577` `div-inv_binary64_20535` `un-div-inv_binary64_20536` `associate-l_binary64_20479`

Counts

1 → 38

Calls

2 calls:

9.0ms	(.f64 (.f64 x y) (/.f64 1 z))
0.0ms	(.f64 (.f64 x y) (/.f64 1 z))

series97.0ms (3.3%)

Counts

1 → 9

Calls

1 calls:

97.0ms

(*.f64 (*.f64 x y) (/.f64 1 z))

Compiler

Compiled 90 to 90 computations (0% saved)

simplify86.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4964	423
1	4964	423

prune28.0ms (1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	47	8	55

Error

Counts

55 → 8

Compiler

Compiled 460 to 173 computations (62.4% saved)

localize9.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 z)
0.5b	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.3b	(/.f64 y (cbrt.f64 z))
0.2b	(/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
5.5b	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))

rewrite27.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64_20560`
28×	`times-frac_binary64_20544`
25×	`add-exp-log_binary64_20576`
22×	`associate-r_binary64_20478` `*-un-lft-identity_binary64_20538` `add-cube-cbrt_binary64_20573`
20×	`cbrt-prod_binary64_20569`
18×	`add-cbrt-cube_binary64_20574`
8×	`cbrt-unprod_binary64_20571` `prod-exp_binary64_20587`
7×	`div-exp_binary64_20589` `associate-l_binary64_20479` `cbrt-undiv_binary64_20572`
6×	`pow1_binary64_20599` `unswap-sqr_binary64_20506`
4×	`add-log-exp_binary64_20577`
3×	`pow1/3_binary64_20620`
2×	`div-inv_binary64_20535`
1×	`associate-l/_binary64_20481` `associate-r/_binary64_20480` `pow-prod-down_binary64_20609` `*-commutative_binary64_20469` `frac-times_binary64_20548`

Counts

4 → 92

Calls

8 calls:

16.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
0.0ms	(/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z)))

series352.0ms (12%)

Counts

4 → 18

Calls

4 calls:

126.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))
78.0ms	(cbrt.f64 z)
76.0ms	(cbrt.f64 z)
73.0ms	(cbrt.f64 z)

Compiler

Compiled 368 to 314 computations (14.7% saved)

simplify72.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4976	1251
1	4976	1251

prune72.0ms (2.4%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	110	8	118

Error

Counts

118 → 8

Compiler

Compiled 1543 to 432 computations (72% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	57	215
1	57	215

regimes248.0ms (8.5%)

Compiler: Compiled 864 to 751 computations (13.1% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

regimes86.0ms (2.9%)

Compiler: Compiled 60 to 99 computations (-65% saved)

bsearch37.0ms (1.3%)

Steps

Iters	Range	Point
9	8.768860201582728e+203	1.0483764480096729e+210	1.5035835833618667e+206
5	1.6192758899353873e+165	3.91753574935388e+165	3.237680869149344e+165
5	-4.540271050681654e-266	-1.8683718109684762e-266	-2.0209041450172942e-266

Iters

Range

Point

8.768860201582728e+203

1.0483764480096729e+210

1.5035835833618667e+206

1.6192758899353873e+165

3.91753574935388e+165

3.237680869149344e+165

-4.540271050681654e-266

-1.8683718109684762e-266

-2.0209041450172942e-266

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes32.0ms (1.1%)

Compiler: Compiled 45 to 84 computations (-86.7% saved)

bsearch0.0ms (0%)

regimes30.0ms (1%)

Compiler: Compiled 30 to 69 computations (-130% saved)

bsearch0.0ms (0%)

regimes27.0ms (0.9%)

Accuracy

Total 0.5b remaining (99.4%)

Threshold costs 0.5b (99.4%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch5.0ms (0.2%)

Compiler: Compiled 93 to 57 computations (38.7% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	49	121
1	49	121

end0.0ms (0%)

sample718.0ms (24.5%)

Algorithm

1×

intervals

Results

176.0ms	8000×	body	128	valid
16.0ms	767×	body	128	invalid

Compiler

Compiled 250 to 198 computations (20.8% saved)

Pareto

0.6859344101860844

Details

analyze245.0ms (8.4%)

sample17.0ms (0.6%)

simplify92.0ms (3.1%)

prune2.0ms (0.1%)

localize4.0ms (0.1%)

rewrite6.0ms (0.2%)

series100.0ms (3.4%)

simplify106.0ms (3.6%)

prune30.0ms (1%)

localize6.0ms (0.2%)

rewrite16.0ms (0.5%)

series204.0ms (7%)

simplify93.0ms (3.2%)

prune55.0ms (1.9%)

localize5.0ms (0.2%)

rewrite12.0ms (0.4%)

series97.0ms (3.3%)

simplify86.0ms (2.9%)

prune28.0ms (1%)

localize9.0ms (0.3%)

rewrite27.0ms (0.9%)

series352.0ms (12%)

simplify72.0ms (2.4%)

prune72.0ms (2.4%)

simplify5.0ms (0.2%)

regimes248.0ms (8.5%)

bsearch1.0ms (0%)

regimes86.0ms (2.9%)

bsearch37.0ms (1.3%)

regimes32.0ms (1.1%)

bsearch0.0ms (0%)

regimes30.0ms (1%)

bsearch0.0ms (0%)

regimes27.0ms (0.9%)

bsearch5.0ms (0.2%)

simplify5.0ms (0.2%)

end0.0ms (0%)

sample718.0ms (24.5%)

Profiling