Details

analyze861.0ms (7.8%)

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%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
18.7%	81.1%	0.2%	10
26.5%	71.5%	1.9%	11
28.8%	66%	5.2%	12
32.7%	58.7%	8.5%	13
41.9%	48.4%	9.7%	14

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample24.0ms (0.2%)

Algorithm

1×

intervals

Results

9.0ms	241×	body	128	valid
2.0ms	52×	body	128	invalid
1.0ms	6×	body	1024	valid
1.0ms	6×	body	512	valid
0.0ms	3×	body	256	valid

Compiler

Compiled 31 to 29 computations (6.5% saved)

simplify172.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	400	19
1	400	19

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

Compiler

Compiled 26 to 24 computations (7.7% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))
0.0b	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))

rewrite26.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64_4816`
4×	`pow1_binary64_4853` `add-exp-log_binary64_4830` `*-un-lft-identity_binary64_4795` `add-cbrt-cube_binary64_4828` `add-log-exp_binary64_4831` `add-cube-cbrt_binary64_4827`
3×	`associate-r_binary64_4737` `associate-l_binary64_4738`
2×	`associate-*r/_binary64_4739` `flip3-+_binary64_4798` `flip-+_binary64_4769` `distribute-rgt-in_binary64_4747` `associate-+l+_binary64_4730` `distribute-lft-in_binary64_4746`
1×	`sum-log_binary64_4883` `unswap-sqr_binary64_4763` `*-commutative_binary64_4728` `cbrt-unprod_binary64_4825` `+-commutative_binary64_4727` `pow-prod-down_binary64_4863` `prod-exp_binary64_4841`

Counts

2 → 35

Calls

2 calls:

12.0ms	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
11.0ms	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))

series169.0ms (1.5%)

Counts

2 → 6

Calls

2 calls:

98.0ms	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
71.0ms	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))

simplify41.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5069	763

prune53.0ms (0.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	35	6	41
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	35	7	42

Merged error: 0.0b

Counts

42 → 7

Compiler

Compiled 1004 to 601 computations (40.1% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5))) (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))))
0.6b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
0.6b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
0.6b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))

rewrite74.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_4823`
23×	`add-sqr-sqrt_binary64_4816`
18×	`cbrt-div_binary64_4824`
15×	`*-un-lft-identity_binary64_4795` `add-cube-cbrt_binary64_4827`
11×	`pow1_binary64_4853`
9×	`flip3-+_binary64_4798` `flip-+_binary64_4769` `pow1/3_binary64_4874`
6×	`add-exp-log_binary64_4830` `associate-r_binary64_4737` `swap-sqr_binary64_4762` `associate-l_binary64_4738`
4×	`unswap-sqr_binary64_4763` `add-cbrt-cube_binary64_4828` `add-log-exp_binary64_4831` `frac-times_binary64_4805`
2×	`associate-r/_binary64_4739` `associate-l/_binary64_4740` `pow-sqr_binary64_4768` `pow-prod-up_binary64_4862` `pow-prod-down_binary64_4863`
1×	`pow-plus_binary64_4855` `pow2_binary64_4873` `*-commutative_binary64_4728` `cbrt-unprod_binary64_4825` `prod-exp_binary64_4841`

Counts

4 → 87

Calls

4 calls:

29.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5))) (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))))
11.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
10.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
10.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))

series2.6s (23.8%)

Counts

4 → 12

Calls

4 calls:

1.1s	(.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5))) (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))))
500.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
499.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
495.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))

simplify113.0ms (1%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4941	3732
1	4941	3732

prune262.0ms (2.4%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	94	5	99
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	95	11	106

Merged error: 0.0b

Counts

106 → 11

Compiler

Compiled 5797 to 3617 computations (37.6% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
0.6b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
0.6b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
0.6b	(cbrt.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))))

rewrite56.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_4823`
10×	`cbrt-div_binary64_4824`
9×	`*-un-lft-identity_binary64_4795` `add-sqr-sqrt_binary64_4816` `add-cube-cbrt_binary64_4827`
4×	`pow1_binary64_4853` `flip3-+_binary64_4798` `flip-+_binary64_4769` `add-exp-log_binary64_4830` `add-cbrt-cube_binary64_4828` `add-log-exp_binary64_4831` `pow1/3_binary64_4874`

Counts

4 → 55

Calls

4 calls:

13.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
11.0ms	(cbrt.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))))
11.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
10.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))

series2.0s (17.9%)

Counts

4 → 12

Calls

4 calls:

507.0ms	(cbrt.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))))
497.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
495.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
483.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))

simplify93.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4936	2332
1	4936	2332

prune244.0ms (2.2%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	66	1	67
Fresh	0	8	8
Picked	1	0	1
Done	0	2	2
Total	67	11	78

Merged error: 0.0b

Counts

78 → 11

Compiler

Compiled 5510 to 3534 computations (35.9% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
0.6b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
0.6b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
0.6b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))

rewrite54.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_4823`
8×	`cbrt-div_binary64_4824` `*-un-lft-identity_binary64_4795` `add-sqr-sqrt_binary64_4816` `add-cube-cbrt_binary64_4827`
4×	`pow1_binary64_4853` `flip3-+_binary64_4798` `flip-+_binary64_4769` `add-exp-log_binary64_4830` `add-cbrt-cube_binary64_4828` `add-log-exp_binary64_4831` `pow1/3_binary64_4874`

Counts

4 → 52

Calls

4 calls:

11.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
11.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
11.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
11.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))

series2.0s (18.1%)

Counts

4 → 12

Calls

4 calls:

513.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
500.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
497.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))
489.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5)))

simplify68.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5045	2200

prune217.0ms (2%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	63	12	75

Merged error: 0.0b

Counts

75 → 12

Compiler

Compiled 5132 to 3369 computations (34.4% saved)

regimes365.0ms (3.3%)

Compiler: Compiled 5698 to 4111 computations (27.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	19
1	19	19

end0.0ms (0%)

sample1.5s (13.5%)

Algorithm

1×

intervals

Results

303.0ms	7742×	body	128	valid
76.0ms	1919×	body	128	invalid
15.0ms	109×	body	1024	valid
11.0ms	104×	body	512	valid
3.0ms	45×	body	256	valid

Compiler

Compiled 1161 to 840 computations (27.6% saved)

Details

analyze861.0ms (7.8%)

sample24.0ms (0.2%)

simplify172.0ms (1.6%)

prune7.0ms (0.1%)

localize9.0ms (0.1%)

rewrite26.0ms (0.2%)

series169.0ms (1.5%)

simplify41.0ms (0.4%)

prune53.0ms (0.5%)

localize13.0ms (0.1%)

rewrite74.0ms (0.7%)

series2.6s (23.8%)

simplify113.0ms (1%)

prune262.0ms (2.4%)

localize19.0ms (0.2%)

rewrite56.0ms (0.5%)

series2.0s (17.9%)

simplify93.0ms (0.8%)

prune244.0ms (2.2%)

localize19.0ms (0.2%)

rewrite54.0ms (0.5%)

series2.0s (18.1%)

simplify68.0ms (0.6%)

prune217.0ms (2%)

regimes365.0ms (3.3%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.5s (13.5%)

Profiling