Details

analyze256.0ms (4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5074	18
0	2	2
1	2	2

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)

sample22.0ms (0.3%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 13 to 13 computations (0% saved)

simplify145.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (139.0ms)

Iter	Nodes	Cost
0	5723	9

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

0.1b

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite36.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-sqr-sqrt_binary64_19878`
4×	`add-log-exp_binary64_19895` `pow1_binary64_19917` `add-cbrt-cube_binary64_19892` `add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
3×	`add-exp-log_binary64_19894` `associate-l_binary64_19797` `associate-r_binary64_19796`
1×	`exp-to-pow_binary64_19918` `exp-prod_binary64_19908` `rem-exp-log_binary64_19896` `pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889` `unswap-sqr_binary64_19824` `*-commutative_binary64_19787`

Counts

2 → 28

Calls

2 calls:

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

Compiler

Compiled 320 to 75 computations (76.6% saved)

series103.0ms (1.6%)

Error

0.0b

Counts

2 → 15

Calls

2 calls:

77.0ms	(.f64 x (exp.f64 (.f64 y y)))
15.0ms	(exp.f64 (*.f64 y y))

Compiler

Compiled 302 to 254 computations (15.9% saved)

simplify99.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4939	439
1	4939	439

prune32.0ms (0.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	39	4	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	40	4	44

Error

0.0b

Counts

44 → 4

Compiler

Compiled 449 to 140 computations (68.8% saved)

localize8.0ms (0.1%)

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))

rewrite57.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`add-sqr-sqrt_binary64_19878`
8×	`add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
7×	`unpow-prod-down_binary64_19935` `associate-r_binary64_19796`
6×	`add-exp-log_binary64_19894`
4×	`add-cbrt-cube_binary64_19892` `pow-pow_binary64_19928`
3×	`pow1_binary64_19917` `prod-exp_binary64_19905` `unswap-sqr_binary64_19824` `sqr-pow_binary64_19828` `associate-l_binary64_19797` `pow-unpow_binary64_19933` `exp-prod_binary64_19908`
2×	`pow-to-exp_binary64_19925` `pow-exp_binary64_19924` `add-log-exp_binary64_19895`
1×	`cbrt-unprod_binary64_19889` `*-commutative_binary64_19787`

Counts

2 → 45

Calls

2 calls:

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

Compiler

Compiled 542 to 159 computations (70.7% saved)

series203.0ms (3.2%)

Error

0.0b

Counts

2 → 15

Calls

2 calls:

163.0ms	(*.f64 x (pow.f64 (exp.f64 y) y))
32.0ms	(pow.f64 (exp.f64 y) y)

Compiler

Compiled 344 to 245 computations (28.8% saved)

simplify64.0ms (1%)

Algorithm

1×	egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5715	645

prune49.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	58	2	60
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	60	4	64

Error

0.0b

Counts

64 → 4

Compiler

Compiled 641 to 176 computations (72.5% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(pow.f64 (exp.f64 y) y)
0.0b	(pow.f64 (exp.f64 y) y)
0.0b	(*.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) (cbrt.f64 (pow.f64 (exp.f64 y) y)))
0.0b	(.f64 (.f64 x (*.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)))

rewrite180.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

59×	`cbrt-prod_binary64_19887`
49×	`add-sqr-sqrt_binary64_19878`
29×	`unpow-prod-down_binary64_19935`
25×	`add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
22×	`pow1_binary64_19917`
20×	`associate-r_binary64_19796`
16×	`unswap-sqr_binary64_19824`
15×	`add-exp-log_binary64_19894` `sqr-pow_binary64_19828`
11×	`associate-l_binary64_19797`
10×	`swap-sqr_binary64_19823`
8×	`pow-prod-down_binary64_19927` `add-cbrt-cube_binary64_19892` `pow-pow_binary64_19928`
7×	`prod-exp_binary64_19905` `cbrt-unprod_binary64_19889`
6×	`pow1/3_binary64_19938` `pow-unpow_binary64_19933` `exp-prod_binary64_19908`
4×	`add-log-exp_binary64_19895`
2×	`*-commutative_binary64_19787` `pow-prod-up_binary64_19926` `pow-sqr_binary64_19829` `pow-to-exp_binary64_19925` `pow-exp_binary64_19924`
1×	`pow2_binary64_19937` `pow-plus_binary64_19919`

Counts

4 → 132

Calls

4 calls:

16.0ms	(.f64 (.f64 x (*.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)))
12.0ms	(*.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) (cbrt.f64 (pow.f64 (exp.f64 y) y)))
3.0ms	(pow.f64 (exp.f64 y) y)
3.0ms	(pow.f64 (exp.f64 y) y)

Compiler

Compiled 3657 to 660 computations (82% saved)

series455.0ms (7.1%)

Error

0.0b

Counts

4 → 27

Calls

4 calls:

190.0ms	(*.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) (cbrt.f64 (pow.f64 (exp.f64 y) y)))
160.0ms	(.f64 (.f64 x (*.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)))
43.0ms	(pow.f64 (exp.f64 y) y)
36.0ms	(pow.f64 (exp.f64 y) y)

Compiler

Compiled 1092 to 630 computations (42.3% saved)

simplify97.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4858	2449
1	4858	2449

prune156.0ms (2.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	158	1	159
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	159	4	163

Error

Counts

163 → 4

Compiler

Compiled 3419 to 657 computations (80.8% saved)

localize20.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite438.0ms (6.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

113×	`cbrt-prod_binary64_19887`
107×	`add-sqr-sqrt_binary64_19878`
78×	`sqrt-prod_binary64_19872`
72×	`pow1_binary64_19917`
53×	`unpow-prod-down_binary64_19935`
50×	`unswap-sqr_binary64_19824`
45×	`add-exp-log_binary64_19894`
38×	`pow-prod-down_binary64_19927`
37×	`associate-r_binary64_19796`
29×	`prod-exp_binary64_19905` `add-cbrt-cube_binary64_19892` `cbrt-unprod_binary64_19889`
28×	`associate-l_binary64_19797`
25×	`sqr-pow_binary64_19828`
23×	`add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
4×	`pow-prod-up_binary64_19926` `add-log-exp_binary64_19895` `pow-sqr_binary64_19829` `*-commutative_binary64_19787`
3×	`swap-sqr_binary64_19823`
2×	`pow-plus_binary64_19919`
1×	`pow2_binary64_19937`

Counts

4 → 197

Calls

4 calls:

39.0ms	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)) (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)) (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)))))) (cbrt.f64 (pow.f64 (exp.f64 y) y)))
21.0ms	(.f64 (.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)) (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)) (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)))))
21.0ms	(*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)) (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))))
20.0ms	(*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)) (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))))

Compiler

Compiled 9425 to 1052 computations (88.8% saved)

series2.0s (31.1%)

Error

Counts

4 → 27

Calls

4 calls:

1.1s	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)) (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)) (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)))))) (cbrt.f64 (pow.f64 (exp.f64 y) y)))
301.0ms	(*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)) (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))))
294.0ms	(.f64 (.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)) (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)) (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)))))
277.0ms	(*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)) (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))))

Compiler

Compiled 1714 to 986 computations (42.5% saved)

simplify163.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

224 → 224

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4961	6279
1	4961	6279

prune299.0ms (4.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	224	0	224
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	224	4	228

Error

Counts

228 → 4

Compiler

Compiled 8161 to 1336 computations (83.6% saved)

regimes240.0ms (3.8%)

Accuracy

Total 0.0b remaining (73.6%)

Threshold costs 0.0b (73.6%)

Compiler

Compiled 2357 to 1188 computations (49.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	7	9

end0.0ms (0%)

sample1.2s (19.6%)

Algorithm

1×

intervals

Results

241.0ms	8000×	body	128	valid
123.0ms	4229×	body	128	invalid

Compiler

Compiled 448 to 225 computations (49.8% saved)

Details

analyze256.0ms (4%)

sample22.0ms (0.3%)

simplify145.0ms (2.3%)

prune3.0ms (0.1%)

localize8.0ms (0.1%)

rewrite36.0ms (0.6%)

series103.0ms (1.6%)

simplify99.0ms (1.5%)

prune32.0ms (0.5%)

localize8.0ms (0.1%)

rewrite57.0ms (0.9%)

series203.0ms (3.2%)

simplify64.0ms (1%)

prune49.0ms (0.8%)

localize9.0ms (0.1%)

rewrite180.0ms (2.8%)

series455.0ms (7.1%)

simplify97.0ms (1.5%)

prune156.0ms (2.4%)

localize20.0ms (0.3%)

rewrite438.0ms (6.9%)

series2.0s (31.1%)

simplify163.0ms (2.6%)

prune299.0ms (4.7%)

regimes240.0ms (3.8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.2s (19.6%)

Profiling