Details

analyze314.0ms (4.1%)

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%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
0%	31.2%	68.8%	7
0%	31.2%	68.8%	8
0%	31.2%	68.8%	9
0%	28.1%	71.9%	10
6%	20.5%	73.5%	11
6.1%	20.4%	73.5%	12
7.7%	18.8%	73.5%	13
9.1%	16.6%	74.3%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample43.0ms (0.6%)

Algorithm

1×

intervals

Results

13.0ms	188×	body	128	valid
11.0ms	23×	body	1024	valid
5.0ms	21×	body	512	valid
3.0ms	23×	body	256	valid
1.0ms	1×	body	2048	valid
0.0ms	4×	body	128	nan
0.0ms	2×	body	128	invalid

Compiler

Compiled 27 to 29 computations (-7.4% saved)

simplify122.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	657	20
1	657	20

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

Merged error: 10.2b

Counts

2 → 1

Compiler

Compiled 26 to 24 computations (7.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t)
0.0b	(*.f64 z (log.f64 (-.f64 1 y)))
0.3b	(*.f64 x (log.f64 y))
7.2b	(log.f64 (-.f64 1 y))

rewrite29.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64_8625`
25×	`*-un-lft-identity_binary64_8603`
24×	`log-prod_binary64_8689`
14×	`add-cube-cbrt_binary64_8638`
11×	`pow1_binary64_8664`
9×	`add-log-exp_binary64_8642` `add-exp-log_binary64_8641` `distribute-lft-in_binary64_8552` `distribute-rgt-in_binary64_8553`
8×	`add-cbrt-cube_binary64_8639` `associate-r_binary64_8543`
7×	`difference-of-squares_binary64_8572`
6×	`associate-l_binary64_8544`
4×	`distribute-lft-out--_binary64_8555`
3×	`log-pow_binary64_8692` `cancel-sign-sub-inv_binary64_8569`
2×	`flip3--_binary64_8607` `cbrt-unprod_binary64_8636` `diff-log_binary64_8695` `*-commutative_binary64_8534` `log-div_binary64_8690` `prod-exp_binary64_8652` `flip--_binary64_8578` `pow-prod-down_binary64_8674` `unswap-sqr_binary64_8571`
1×	`rem-log-exp_binary64_8644` `sub-neg_binary64_8596` `sum-log_binary64_8694` `associate--l+_binary64_8540`

Counts

4 → 91

Calls

4 calls:

7.0ms	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t)
7.0ms	(*.f64 z (log.f64 (-.f64 1 y)))
4.0ms	(*.f64 x (log.f64 y))
4.0ms	(log.f64 (-.f64 1 y))

series782.0ms (10.3%)

Counts

4 → 43

Calls

4 calls:

523.0ms	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t)
126.0ms	(*.f64 x (log.f64 y))
109.0ms	(*.f64 z (log.f64 (-.f64 1 y)))
24.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 973 to 880 computations (9.6% saved)

simplify78.0ms (1%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5267	1882

prune154.0ms (2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	126	8	134
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	127	8	135

Merged error: 0.0b

Counts

135 → 8

Compiler

Compiled 2435 to 1274 computations (47.7% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (-.f64 (.f64 (.f64 y y) (-.f64 -1/2 (*.f64 y 1/3))) y))) t)
0.0b	(+.f64 (.f64 x (log.f64 y)) (.f64 z (-.f64 (.f64 (.f64 y y) (-.f64 -1/2 (*.f64 y 1/3))) y)))
0.3b	(*.f64 x (log.f64 y))
0.4b	(*.f64 y 1/3)

rewrite34.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64_8625`
18×	`distribute-lft-in_binary64_8552` `distribute-rgt-in_binary64_8553`
17×	`*-un-lft-identity_binary64_8603`
16×	`associate-+r+_binary64_8535`
15×	`add-cube-cbrt_binary64_8638`
13×	`cancel-sign-sub-inv_binary64_8569`
12×	`log-prod_binary64_8689`
11×	`add-log-exp_binary64_8642`
9×	`pow1_binary64_8664` `associate--l+_binary64_8540`
8×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
7×	`associate-r_binary64_8543` `sub-neg_binary64_8596`
6×	`associate-l_binary64_8544` `associate-+l+_binary64_8536`
2×	`cbrt-unprod_binary64_8636` `diff-log_binary64_8695` `*-commutative_binary64_8534` `prod-exp_binary64_8652` `sum-log_binary64_8694` `pow-prod-down_binary64_8674` `unswap-sqr_binary64_8571`
1×	`difference-of-squares_binary64_8572` `flip3-+_binary64_8606` `flip3--_binary64_8607` `log-pow_binary64_8692` `distribute-lft-out--_binary64_8555` `flip-+_binary64_8577` `flip--_binary64_8578` `+-commutative_binary64_8533`

Counts

4 → 94

Calls

4 calls:

9.0ms	(+.f64 (.f64 x (log.f64 y)) (.f64 z (-.f64 (.f64 (.f64 y y) (-.f64 -1/2 (*.f64 y 1/3))) y)))
7.0ms	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (-.f64 (.f64 (.f64 y y) (-.f64 -1/2 (*.f64 y 1/3))) y))) t)
4.0ms	(*.f64 x (log.f64 y))
4.0ms	(*.f64 y 1/3)

series1.1s (15%)

Counts

4 → 51

Calls

4 calls:

592.0ms	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (-.f64 (.f64 (.f64 y y) (-.f64 -1/2 (*.f64 y 1/3))) y))) t)
386.0ms	(+.f64 (.f64 x (log.f64 y)) (.f64 z (-.f64 (.f64 (.f64 y y) (-.f64 -1/2 (*.f64 y 1/3))) y)))
137.0ms	(*.f64 x (log.f64 y))
19.0ms	(*.f64 y 1/3)

Compiler

Compiled 1564 to 1332 computations (14.8% saved)

simplify74.0ms (1%)

Algorithm

1×	egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5067	2866

prune154.0ms (2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	143	2	145
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	144	9	153

Merged error: 0.0b

Counts

153 → 9

Compiler

Compiled 3613 to 1746 computations (51.7% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 y (-.f64 (.f64 y (.f64 z -1/2)) z))) t)
0.0b	(.f64 y (-.f64 (.f64 y (*.f64 z -1/2)) z))
0.0b	(+.f64 (.f64 x (log.f64 y)) (.f64 y (-.f64 (.f64 y (.f64 z -1/2)) z)))
0.3b	(*.f64 x (log.f64 y))

rewrite35.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_8625`
19×	`*-un-lft-identity_binary64_8603`
17×	`add-cube-cbrt_binary64_8638`
15×	`cancel-sign-sub-inv_binary64_8569`
14×	`distribute-lft-in_binary64_8552` `distribute-rgt-in_binary64_8553`
12×	`log-prod_binary64_8689`
11×	`add-log-exp_binary64_8642`
9×	`pow1_binary64_8664`
8×	`associate-+r+_binary64_8535` `add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
7×	`associate-r_binary64_8543`
6×	`associate-l_binary64_8544` `associate-+l+_binary64_8536`
5×	`sub-neg_binary64_8596`
2×	`flip3--_binary64_8607` `cbrt-unprod_binary64_8636` `associate-r/_binary64_8545` `diff-log_binary64_8695` `-commutative_binary64_8534` `prod-exp_binary64_8652` `flip--_binary64_8578` `sum-log_binary64_8694` `pow-prod-down_binary64_8674` `unswap-sqr_binary64_8571`
1×	`difference-of-squares_binary64_8572` `flip3-+_binary64_8606` `log-pow_binary64_8692` `distribute-lft-out--_binary64_8555` `flip-+_binary64_8577` `associate--l+_binary64_8540` `+-commutative_binary64_8533`

Counts

4 → 96

Calls

4 calls:

9.0ms	(.f64 y (-.f64 (.f64 y (*.f64 z -1/2)) z))
7.0ms	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 y (-.f64 (.f64 y (.f64 z -1/2)) z))) t)
6.0ms	(+.f64 (.f64 x (log.f64 y)) (.f64 y (-.f64 (.f64 y (.f64 z -1/2)) z)))
5.0ms	(*.f64 x (log.f64 y))

series980.0ms (12.9%)

Counts

4 → 53

Calls

4 calls:

444.0ms	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 y (-.f64 (.f64 y (.f64 z -1/2)) z))) t)
303.0ms	(+.f64 (.f64 x (log.f64 y)) (.f64 y (-.f64 (.f64 y (.f64 z -1/2)) z)))
137.0ms	(*.f64 x (log.f64 y))
95.0ms	(.f64 y (-.f64 (.f64 y (*.f64 z -1/2)) z))

Compiler

Compiled 1295 to 1146 computations (11.5% saved)

simplify71.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4981	2624
1	4981	2624

prune134.0ms (1.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	148	1	149
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	149	9	158

Merged error: 0.0b

Counts

158 → 9

Compiler

Compiled 3109 to 1456 computations (53.2% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
0.7b	(cbrt.f64 y)
0.7b	(cbrt.f64 y)
7.2b	(log.f64 (-.f64 1 y))

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_8625` `*-un-lft-identity_binary64_8603`
10×	`add-exp-log_binary64_8641` `pow1_binary64_8664`
9×	`add-cbrt-cube_binary64_8639`
8×	`add-cube-cbrt_binary64_8638`
6×	`cbrt-prod_binary64_8634` `log-prod_binary64_8689`
4×	`add-log-exp_binary64_8642`
3×	`cbrt-unprod_binary64_8636` `associate-l_binary64_8544` `prod-exp_binary64_8652` `pow-prod-down_binary64_8674`
2×	`pow1/3_binary64_8685` `difference-of-squares_binary64_8572` `log-div_binary64_8690`
1×	`flip3--_binary64_8607` `log-pow_binary64_8692` `rem-log-exp_binary64_8644` `distribute-lft-out--_binary64_8555` `-commutative_binary64_8534` `associate-r*_binary64_8543` `flip--_binary64_8578`

Counts

4 → 57

Calls

4 calls:

5.0ms	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
4.0ms	(log.f64 (-.f64 1 y))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

series547.0ms (7.2%)

Counts

4 → 17

Calls

4 calls:

324.0ms	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
106.0ms	(cbrt.f64 y)
89.0ms	(cbrt.f64 y)
27.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 799 to 679 computations (15% saved)

simplify78.0ms (1%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4856	655
1	4856	655

prune86.0ms (1.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	1	5	6
Picked	1	0	1
Done	0	2	2
Total	74	9	83

Merged error: 0.0b

Counts

83 → 9

Compiler

Compiled 1856 to 953 computations (48.7% saved)

regimes499.0ms (6.6%)

Compiler: Compiled 5732 to 4446 computations (22.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	58	30
1	58	30

end0.0ms (0%)

sample2.2s (28.5%)

Algorithm

1×

intervals

Results

405.0ms	5806×	body	128	valid
301.0ms	640×	body	1024	valid
221.0ms	859×	body	512	valid
102.0ms	680×	body	256	valid
19.0ms	233×	body	128	nan
10.0ms	15×	body	2048	valid
2.0ms	34×	body	128	invalid

Compiler

Compiled 1011 to 785 computations (22.4% saved)

Details

analyze314.0ms (4.1%)

sample43.0ms (0.6%)

simplify122.0ms (1.6%)

prune3.0ms (0%)

localize11.0ms (0.1%)

rewrite29.0ms (0.4%)

series782.0ms (10.3%)

simplify78.0ms (1%)

prune154.0ms (2%)

localize14.0ms (0.2%)

rewrite34.0ms (0.4%)

series1.1s (15%)

simplify74.0ms (1%)

prune154.0ms (2%)

localize14.0ms (0.2%)

rewrite35.0ms (0.5%)

series980.0ms (12.9%)

simplify71.0ms (0.9%)

prune134.0ms (1.8%)

localize19.0ms (0.2%)

rewrite16.0ms (0.2%)

series547.0ms (7.2%)

simplify78.0ms (1%)

prune86.0ms (1.1%)

regimes499.0ms (6.6%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.2s (28.5%)

Profiling