Details

analyze39.0ms (1.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
68.7%	31.2%	0.1%	6
68.7%	18.7%	12.6%	7
71.8%	15.6%	12.6%	8
71.8%	9.4%	18.8%	9
73.4%	7.8%	18.8%	10
73.4%	4.7%	22%	11
74.1%	3.9%	22%	12
74.1%	2.3%	23.5%	13
74.5%	2%	23.5%	14

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample18.0ms (0.6%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
3.0ms	152×	body	128	invalid

Compiler

Compiled 13 to 13 computations (0% saved)

simplify221.0ms (7.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (127.0ms)

Iter	Nodes	Cost
0	5723	9

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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 x (exp.f64 (.f64 y y)))
0.0b	(exp.f64 (*.f64 y y))

rewrite13.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64_22606`
4×	`add-cbrt-cube_binary64_22620` `*-un-lft-identity_binary64_22584` `add-log-exp_binary64_22623` `pow1_binary64_22645` `add-cube-cbrt_binary64_22619`
3×	`associate-r_binary64_22524` `associate-l_binary64_22525` `add-exp-log_binary64_22622`
1×	`exp-to-pow_binary64_22646` `rem-exp-log_binary64_22624` `exp-prod_binary64_22636` `cbrt-unprod_binary64_22617` `prod-exp_binary64_22633` `*-commutative_binary64_22515` `pow-prod-down_binary64_22655` `unswap-sqr_binary64_22552`

Counts

2 → 28

Calls

2 calls:

9.0ms	(.f64 x (exp.f64 (.f64 y y)))
2.0ms	(exp.f64 (*.f64 y y))

series70.0ms (2.5%)

Counts

2 → 9

Calls

2 calls:

64.0ms	(.f64 x (exp.f64 (.f64 y y)))
6.0ms	(exp.f64 (*.f64 y y))

simplify78.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

37 → 37

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4999	349
1	4999	349

prune22.0ms (0.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	35	2	37
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	36	2	38

Merged error: 0.0b

Counts

38 → 2

Compiler

Compiled 358 to 90 computations (74.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(pow.f64 (exp.f64 y) y)
0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))

rewrite15.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_22606`
8×	`*-un-lft-identity_binary64_22584` `add-cube-cbrt_binary64_22619`
7×	`associate-r_binary64_22524` `unpow-prod-down_binary64_22663`
6×	`add-exp-log_binary64_22622`
4×	`add-cbrt-cube_binary64_22620` `pow-pow_binary64_22656`
3×	`pow-unpow_binary64_22661` `sqr-pow_binary64_22556` `associate-l_binary64_22525` `exp-prod_binary64_22636` `prod-exp_binary64_22633` `pow1_binary64_22645` `unswap-sqr_binary64_22552`
2×	`pow-exp_binary64_22652` `add-log-exp_binary64_22623` `pow-to-exp_binary64_22653`
1×	`cbrt-unprod_binary64_22617` `*-commutative_binary64_22515`

Counts

2 → 45

Calls

2 calls:

9.0ms	(*.f64 x (pow.f64 (exp.f64 y) y))
3.0ms	(pow.f64 (exp.f64 y) y)

series178.0ms (6.4%)

Counts

2 → 9

Calls

2 calls:

164.0ms	(*.f64 x (pow.f64 (exp.f64 y) y))
14.0ms	(pow.f64 (exp.f64 y) y)

simplify107.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	5108	555

prune29.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	54	2	56

Merged error: 0.0b

Counts

56 → 2

Compiler

Compiled 551 to 122 computations (77.9% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (sqrt.f64 (pow.f64 (exp.f64 y) y)) x)
0.0b	(pow.f64 (exp.f64 y) y)
0.0b	(.f64 (.f64 (sqrt.f64 (pow.f64 (exp.f64 y) y)) x) (sqrt.f64 (exp.f64 (*.f64 y y))))
0.0b	(exp.f64 (*.f64 y y))

rewrite30.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_22606`
13×	`sqrt-prod_binary64_22600` `*-un-lft-identity_binary64_22584` `add-cube-cbrt_binary64_22619`
12×	`pow1_binary64_22645`
11×	`associate-l_binary64_22525` `add-cbrt-cube_binary64_22620` `add-exp-log_binary64_22622`
9×	`associate-r_binary64_22524`
7×	`unpow-prod-down_binary64_22663`
6×	`add-log-exp_binary64_22623`
4×	`exp-prod_binary64_22636` `pow-pow_binary64_22656` `cbrt-unprod_binary64_22617` `prod-exp_binary64_22633` `pow-prod-down_binary64_22655` `unswap-sqr_binary64_22552`
3×	`pow-unpow_binary64_22661` `sqr-pow_binary64_22556`
2×	`*-commutative_binary64_22515`
1×	`exp-to-pow_binary64_22646` `rem-exp-log_binary64_22624` `pow-exp_binary64_22652` `pow-to-exp_binary64_22653`

Counts

4 → 79

Calls

4 calls:

10.0ms	(.f64 (.f64 (sqrt.f64 (pow.f64 (exp.f64 y) y)) x) (sqrt.f64 (exp.f64 (*.f64 y y))))
7.0ms	(*.f64 (sqrt.f64 (pow.f64 (exp.f64 y) y)) x)
3.0ms	(pow.f64 (exp.f64 y) y)
2.0ms	(exp.f64 (*.f64 y y))

series523.0ms (18.7%)

Counts

4 → 18

Calls

4 calls:

303.0ms	(.f64 (.f64 (sqrt.f64 (pow.f64 (exp.f64 y) y)) x) (sqrt.f64 (exp.f64 (*.f64 y y))))
200.0ms	(*.f64 (sqrt.f64 (pow.f64 (exp.f64 y) y)) x)
13.0ms	(pow.f64 (exp.f64 y) y)
5.0ms	(exp.f64 (*.f64 y y))

simplify119.0ms (4.3%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	4938	1075
1	4938	1075

prune67.0ms (2.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	96	3	99

Merged error: 0b

Counts

99 → 3

Compiler

Compiled 1545 to 321 computations (79.2% saved)

localize13.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (pow.f64 (exp.f64 y) y))
0.0b	(cbrt.f64 (pow.f64 (exp.f64 y) y))
0.0b	(cbrt.f64 (pow.f64 (exp.f64 y) y))
0.0b	(.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) (cbrt.f64 (pow.f64 (exp.f64 y) y))) (cbrt.f64 (pow.f64 (exp.f64 y) y)))

rewrite34.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`cbrt-prod_binary64_22615`
23×	`pow1_binary64_22645`
16×	`add-sqr-sqrt_binary64_22606`
13×	`unpow-prod-down_binary64_22663` `*-un-lft-identity_binary64_22584` `add-cube-cbrt_binary64_22619`
12×	`pow1/3_binary64_22666`
10×	`associate-r_binary64_22524`
9×	`pow-prod-up_binary64_22654` `add-exp-log_binary64_22622`
6×	`pow-plus_binary64_22647`
5×	`sqr-pow_binary64_22556` `add-cbrt-cube_binary64_22620` `pow-prod-down_binary64_22655`
4×	`add-log-exp_binary64_22623` `unswap-sqr_binary64_22552`
3×	`cbrt-unprod_binary64_22617` `prod-exp_binary64_22633` `pow-sqr_binary64_22557`
2×	`pow2_binary64_22665`
1×	`rem-3cbrt-lft_binary64_22609` `pow3_binary64_22667` `associate-l_binary64_22525` `*-commutative_binary64_22515`

Counts

4 → 87

Calls

4 calls:

15.0ms	(.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) (cbrt.f64 (pow.f64 (exp.f64 y) y))) (cbrt.f64 (pow.f64 (exp.f64 y) y)))
6.0ms	(cbrt.f64 (pow.f64 (exp.f64 y) y))
2.0ms	(cbrt.f64 (pow.f64 (exp.f64 y) y))
2.0ms	(cbrt.f64 (pow.f64 (exp.f64 y) y))

series306.0ms (10.9%)

Counts

4 → 12

Calls

4 calls:

98.0ms	(cbrt.f64 (pow.f64 (exp.f64 y) y))
96.0ms	(cbrt.f64 (pow.f64 (exp.f64 y) y))
94.0ms	(cbrt.f64 (pow.f64 (exp.f64 y) y))
18.0ms	(.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) (cbrt.f64 (pow.f64 (exp.f64 y) y))) (cbrt.f64 (pow.f64 (exp.f64 y) y)))

simplify109.0ms (3.9%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	5104	1196

prune93.0ms (3.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	99	3	102

Merged error: 0b

Counts

102 → 3

Compiler

Compiled 2597 to 456 computations (82.4% saved)

regimes57.0ms (2%)

Compiler: Compiled 365 to 242 computations (33.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	7	9

end0.0ms (0%)

sample636.0ms (22.7%)

Algorithm

1×

intervals

Results

189.0ms	8000×	body	128	valid
103.0ms	4130×	body	128	invalid

Compiler

Compiled 86 to 60 computations (30.2% saved)

Details

analyze39.0ms (1.4%)

sample18.0ms (0.6%)

simplify221.0ms (7.9%)

prune2.0ms (0.1%)

localize4.0ms (0.2%)

rewrite13.0ms (0.5%)

series70.0ms (2.5%)

simplify78.0ms (2.8%)

prune22.0ms (0.8%)

localize5.0ms (0.2%)

rewrite15.0ms (0.5%)

series178.0ms (6.4%)

simplify107.0ms (3.8%)

prune29.0ms (1%)

localize11.0ms (0.4%)

rewrite30.0ms (1.1%)

series523.0ms (18.7%)

simplify119.0ms (4.3%)

prune67.0ms (2.4%)

localize13.0ms (0.5%)

rewrite34.0ms (1.2%)

series306.0ms (10.9%)

simplify109.0ms (3.9%)

prune93.0ms (3.3%)

regimes57.0ms (2%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample636.0ms (22.7%)

Profiling