Details

analyze41.0ms (1%)

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)

sample20.0ms (0.5%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 13 to 13 computations (0% saved)

simplify227.0ms (5.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (128.0ms)

Iter	Nodes	Cost
0	5723	9

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

0.1b

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize4.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite8.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64_22947`
4×	`pow1_binary64_22986` `add-cube-cbrt_binary64_22960` `add-log-exp_binary64_22964` `add-cbrt-cube_binary64_22961` `*-un-lft-identity_binary64_22925`
3×	`associate-r_binary64_22865` `add-exp-log_binary64_22963` `associate-l_binary64_22866`
1×	`prod-exp_binary64_22974` `exp-prod_binary64_22977` `*-commutative_binary64_22856` `pow-prod-down_binary64_22996` `exp-to-pow_binary64_22987` `unswap-sqr_binary64_22893` `rem-exp-log_binary64_22965` `cbrt-unprod_binary64_22958`

Counts

2 → 28

Calls

4 calls:

5.0ms	(.f64 x (exp.f64 (.f64 y y)))
2.0ms	(exp.f64 (*.f64 y y))
0.0ms	(.f64 x (exp.f64 (.f64 y y)))
0.0ms	(exp.f64 (*.f64 y y))

series77.0ms (1.9%)

Counts

2 → 15

Calls

2 calls:

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

Compiler

Compiled 172 to 162 computations (5.8% saved)

simplify75.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4939	439
1	4939	439

prune48.0ms (1.2%)

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 461 to 151 computations (67.2% saved)

localize10.0ms (0.3%)

Local error

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

rewrite51.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`cbrt-prod_binary64_22956`
47×	`add-sqr-sqrt_binary64_22947`
26×	`unpow-prod-down_binary64_23004`
23×	`add-cube-cbrt_binary64_22960` `*-un-lft-identity_binary64_22925`
22×	`pow1_binary64_22986`
16×	`unswap-sqr_binary64_22893`
15×	`add-exp-log_binary64_22963`
14×	`sqr-pow_binary64_22897`
13×	`associate-l_binary64_22866`
11×	`associate-r_binary64_22865`
10×	`swap-sqr_binary64_22892`
9×	`add-cbrt-cube_binary64_22961`
8×	`pow-prod-down_binary64_22996` `pow-pow_binary64_22997`
7×	`prod-exp_binary64_22974` `cbrt-unprod_binary64_22958`
6×	`exp-prod_binary64_22977` `pow1/3_binary64_23007` `pow-unpow_binary64_23002`
4×	`add-log-exp_binary64_22964`
2×	`pow-to-exp_binary64_22994` `pow-prod-up_binary64_22995` `*-commutative_binary64_22856` `pow-exp_binary64_22993` `pow-sqr_binary64_22898`
1×	`pow2_binary64_23006` `pow-plus_binary64_22988`

Counts

4 → 125

Calls

8 calls:

16.0ms	(.f64 x (.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))))
15.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)
0.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)))

series360.0ms (8.9%)

Counts

4 → 27

Calls

4 calls:

149.0ms	(*.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) (cbrt.f64 (pow.f64 (exp.f64 y) y)))
145.0ms	(.f64 x (.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))))
35.0ms	(pow.f64 (exp.f64 y) y)
31.0ms	(pow.f64 (exp.f64 y) y)

Compiler

Compiled 626 to 450 computations (28.1% saved)

simplify97.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4956	2239
1	4956	2239

prune153.0ms (3.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	151	1	152
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	153	3	156

Error

Counts

156 → 3

Compiler

Compiled 3242 to 648 computations (80% saved)

localize16.0ms (0.4%)

Local error

Found 8 expressions with local error:

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

rewrite24.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`cbrt-prod_binary64_22956`
16×	`add-sqr-sqrt_binary64_22947`
14×	`add-cube-cbrt_binary64_22960` `*-un-lft-identity_binary64_22925`
12×	`sqrt-prod_binary64_22941` `unpow-prod-down_binary64_23004`
8×	`sqrt-pow1_binary64_22943`
6×	`pow1_binary64_22986` `exp-prod_binary64_22977`
4×	`add-log-exp_binary64_22964` `add-cbrt-cube_binary64_22961` `add-exp-log_binary64_22963`
2×	`sqr-pow_binary64_22897` `pow1/3_binary64_23007` `rem-sqrt-square_binary64_22938` `pow1/2_binary64_23005`

Counts

4 → 68

Calls

8 calls:

4.0ms	(sqrt.f64 (exp.f64 y))
3.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y))
3.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y))
2.0ms	(sqrt.f64 (exp.f64 y))
0.0ms	(.f64 (.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y)))) (cbrt.f64 (pow.f64 (exp.f64 y) y)))

series311.0ms (7.7%)

Counts

4 → 24

Calls

4 calls:

134.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y))
130.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y))
24.0ms	(sqrt.f64 (exp.f64 y))
23.0ms	(sqrt.f64 (exp.f64 y))

Compiler

Compiled 964 to 564 computations (41.5% saved)

simplify48.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5093	1056

prune96.0ms (2.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	92	3	95

Error

Counts

95 → 3

Compiler

Compiled 2916 to 733 computations (74.9% saved)

localize13.0ms (0.3%)

Local error

Found 8 expressions with local error:

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

rewrite47.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`cbrt-prod_binary64_22956`
45×	`add-sqr-sqrt_binary64_22947`
23×	`unpow-prod-down_binary64_23004`
21×	`pow1_binary64_22986` `add-cube-cbrt_binary64_22960` `*-un-lft-identity_binary64_22925`
16×	`associate-r_binary64_22865` `unswap-sqr_binary64_22893`
15×	`add-exp-log_binary64_22963`
13×	`sqr-pow_binary64_22897`
11×	`associate-l_binary64_22866`
10×	`swap-sqr_binary64_22892`
8×	`pow-prod-down_binary64_22996` `add-cbrt-cube_binary64_22961`
7×	`prod-exp_binary64_22974` `cbrt-unprod_binary64_22958`
6×	`pow1/3_binary64_23007` `add-log-exp_binary64_22964`
4×	`exp-prod_binary64_22977` `pow-pow_binary64_22997`
3×	`pow-unpow_binary64_23002`
2×	`pow-prod-up_binary64_22995` `*-commutative_binary64_22856` `pow-sqr_binary64_22898`
1×	`pow-to-exp_binary64_22994` `pow2_binary64_23006` `pow-plus_binary64_22988` `exp-to-pow_binary64_22987` `pow-exp_binary64_22993` `rem-exp-log_binary64_22965`

Counts

4 → 118

Calls

8 calls:

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

series820.0ms (20.3%)

Counts

4 → 27

Calls

4 calls:

618.0ms	(.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) (cbrt.f64 (pow.f64 (exp.f64 y) y))) x) (cbrt.f64 (exp.f64 (.f64 y y))))
150.0ms	(*.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) (cbrt.f64 (pow.f64 (exp.f64 y) y)))
33.0ms	(pow.f64 (exp.f64 y) y)
19.0ms	(exp.f64 (*.f64 y y))

Compiler

Compiled 708 to 558 computations (21.2% saved)

simplify87.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5187	2315

prune126.0ms (3.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	145	3	148

Error

Counts

148 → 3

Compiler

Compiled 3091 to 538 computations (82.6% saved)

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	100	401
1	100	401

regimes172.0ms (4.2%)

Compiler: Compiled 1359 to 903 computations (33.6% saved)

bsearch0.0ms (0%)

regimes58.0ms (1.4%)

Compiler: Compiled 150 to 167 computations (-11.3% saved)

bsearch0.0ms (0%)

regimes34.0ms (0.8%)

Compiler: Compiled 64 to 80 computations (-25% saved)

bsearch0.0ms (0%)

regimes20.0ms (0.5%)

Compiler: Compiled 12 to 30 computations (-150% saved)

bsearch0.0ms (0%)

regimes21.0ms (0.5%)

Compiler: Compiled 10 to 26 computations (-160% saved)

bsearch20.0ms (0.5%)

Steps

Iters	Range		Point
8	-2.7141964022557403e-308	4.991404319911635e-306	1.61212272646465e-310

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes14.0ms (0.3%)

Accuracy

Total 0.0b remaining (69.6%)

Threshold costs 0.0b (69.6%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch4.0ms (0.1%)

Compiler: Compiled 28 to 30 computations (-7.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	39
1	22	39

end0.0ms (0%)

sample934.0ms (23.1%)

Algorithm

1×

intervals

Results

205.0ms	8000×	body	128	valid
106.0ms	4229×	body	128	invalid

Compiler

Compiled 293 to 201 computations (31.4% saved)

Pareto

0.9414071588079808

Details

analyze41.0ms (1%)

sample20.0ms (0.5%)

simplify227.0ms (5.6%)

prune2.0ms (0%)

localize4.0ms (0.1%)

rewrite8.0ms (0.2%)

series77.0ms (1.9%)

simplify75.0ms (1.9%)

prune48.0ms (1.2%)

localize10.0ms (0.3%)

rewrite51.0ms (1.3%)

series360.0ms (8.9%)

simplify97.0ms (2.4%)

prune153.0ms (3.8%)

localize16.0ms (0.4%)

rewrite24.0ms (0.6%)

series311.0ms (7.7%)

simplify48.0ms (1.2%)

prune96.0ms (2.4%)

localize13.0ms (0.3%)

rewrite47.0ms (1.2%)

series820.0ms (20.3%)

simplify87.0ms (2.1%)

prune126.0ms (3.1%)

simplify10.0ms (0.2%)

regimes172.0ms (4.2%)

bsearch0.0ms (0%)

regimes58.0ms (1.4%)

bsearch0.0ms (0%)

regimes34.0ms (0.8%)

bsearch0.0ms (0%)

regimes20.0ms (0.5%)

bsearch0.0ms (0%)

regimes21.0ms (0.5%)

bsearch20.0ms (0.5%)

regimes14.0ms (0.3%)

bsearch4.0ms (0.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample934.0ms (23.1%)

Profiling