Details

analyze1.3s (20.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.8%	98%	0.3%	13
2.4%	97.3%	0.3%	14

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample31.0ms (0.5%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
5.0ms	107×	body	128	invalid

Compiler

Compiled 31 to 33 computations (-6.5% saved)

simplify170.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	81	19
1	81	19

prune4.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 → 2

Compiler

Compiled 41 to 37 computations (9.8% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (*.f64 y z))
0.0b	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
0.0b	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
5.2b	(.f64 (.f64 a z) b)

rewrite30.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-log-exp_binary64_19659`
10×	`sum-log_binary64_19711`
9×	`pow1_binary64_19681` `add-exp-log_binary64_19658` `add-cbrt-cube_binary64_19656`
5×	`*-un-lft-identity_binary64_19623` `add-cube-cbrt_binary64_19655` `add-sqr-sqrt_binary64_19644`
3×	`+-commutative_binary64_19555` `associate-r_binary64_19565` `pow-prod-down_binary64_19691` `flip-+_binary64_19597` `prod-exp_binary64_19669` `flip3-+_binary64_19626` `cbrt-unprod_binary64_19653`
2×	`associate-+l+_binary64_19558`
1×	`-commutative_binary64_19556` `associate-l*_binary64_19566`

Counts

4 → 56

Calls

4 calls:

10.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
6.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
6.0ms	(.f64 (.f64 a z) b)
3.0ms	(+.f64 x (*.f64 y z))

series414.0ms (6.7%)

Counts

4 → 12

Calls

4 calls:

199.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
108.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
54.0ms	(.f64 (.f64 a z) b)
53.0ms	(+.f64 x (*.f64 y z))

simplify36.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5115	1027

prune60.0ms (1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	64	4	68
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	64	6	70

Merged error: 0.0b

Counts

70 → 6

Compiler

Compiled 1446 to 284 computations (80.4% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

5.2b	(.f64 (.f64 a z) b)
12.8b	(cbrt.f64 (.f64 (.f64 a z) b))
12.8b	(cbrt.f64 (.f64 (.f64 a z) b))
12.8b	(cbrt.f64 (.f64 (.f64 a z) b))

rewrite25.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`pow1_binary64_19681` `add-exp-log_binary64_19658` `add-cbrt-cube_binary64_19656`
5×	`*-un-lft-identity_binary64_19623` `add-cube-cbrt_binary64_19655` `add-sqr-sqrt_binary64_19644`
4×	`add-log-exp_binary64_19659`
3×	`pow1/3_binary64_19702` `associate-r_binary64_19565` `pow-prod-down_binary64_19691` `prod-exp_binary64_19669` `cbrt-unprod_binary64_19653` `cbrt-prod_binary64_19651`
1×	`-commutative_binary64_19556` `associate-l*_binary64_19566`

Counts

4 → 45

Calls

4 calls:

6.0ms	(cbrt.f64 (.f64 (.f64 a z) b))
6.0ms	(.f64 (.f64 a z) b)
4.0ms	(cbrt.f64 (.f64 (.f64 a z) b))
4.0ms	(cbrt.f64 (.f64 (.f64 a z) b))

series555.0ms (9%)

Counts

4 → 12

Calls

4 calls:

180.0ms	(cbrt.f64 (.f64 (.f64 a z) b))
167.0ms	(cbrt.f64 (.f64 (.f64 a z) b))
157.0ms	(cbrt.f64 (.f64 (.f64 a z) b))
50.0ms	(.f64 (.f64 a z) b)

simplify49.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5122	574

prune61.0ms (1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	56	1	57
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	56	7	63

Merged error: 0.0b

Counts

63 → 7

Compiler

Compiled 2035 to 319 computations (84.3% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (+.f64 x (*.f64 z y)))
0.5b	(cbrt.f64 (+.f64 x (*.f64 z y)))
0.5b	(.f64 (cbrt.f64 (+.f64 x (.f64 z y))) (cbrt.f64 (+.f64 x (*.f64 z y))))
5.2b	(.f64 (.f64 a z) b)

rewrite36.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_19644`
22×	`cbrt-prod_binary64_19651`
16×	`pow1_binary64_19681` `cbrt-div_binary64_19652`
15×	`*-un-lft-identity_binary64_19623` `add-cube-cbrt_binary64_19655`
11×	`add-exp-log_binary64_19658`
9×	`associate-r_binary64_19565` `add-cbrt-cube_binary64_19656`
8×	`pow1/3_binary64_19702` `flip-+_binary64_19597` `flip3-+_binary64_19626`
7×	`associate-l_binary64_19566`
6×	`swap-sqr_binary64_19590`
5×	`pow-prod-down_binary64_19691`
4×	`frac-times_binary64_19633` `unswap-sqr_binary64_19591` `prod-exp_binary64_19669` `cbrt-unprod_binary64_19653` `add-log-exp_binary64_19659`
2×	`-commutative_binary64_19556` `pow-prod-up_binary64_19690` `associate-r/_binary64_19567` `pow-sqr_binary64_19596` `associate-*l/_binary64_19568`
1×	`pow-plus_binary64_19683` `pow2_binary64_19701`

Counts

4 → 92

Calls

4 calls:

11.0ms	(.f64 (cbrt.f64 (+.f64 x (.f64 z y))) (cbrt.f64 (+.f64 x (*.f64 z y))))
5.0ms	(.f64 (.f64 a z) b)
3.0ms	(cbrt.f64 (+.f64 x (*.f64 z y)))
3.0ms	(cbrt.f64 (+.f64 x (*.f64 z y)))

series635.0ms (10.3%)

Counts

4 → 12

Calls

4 calls:

203.0ms	(.f64 (cbrt.f64 (+.f64 x (.f64 z y))) (cbrt.f64 (+.f64 x (*.f64 z y))))
196.0ms	(cbrt.f64 (+.f64 x (*.f64 z y)))
187.0ms	(cbrt.f64 (+.f64 x (*.f64 z y)))
49.0ms	(.f64 (.f64 a z) b)

simplify78.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5039	1755

prune118.0ms (1.9%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	102	2	104
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	102	9	111

Merged error: 0.0b

Counts

111 → 9

Compiler

Compiled 3882 to 761 computations (80.4% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x (*.f64 z y))) 2))
0.5b	(pow.f64 (cbrt.f64 (+.f64 x (*.f64 z y))) 2)
0.5b	(pow.f64 (cbrt.f64 (+.f64 x (*.f64 z y))) 2)
5.2b	(.f64 (.f64 a z) b)

rewrite34.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`cbrt-prod_binary64_19651`
18×	`unpow-prod-down_binary64_19699`
14×	`*-un-lft-identity_binary64_19623` `add-cube-cbrt_binary64_19655` `add-sqr-sqrt_binary64_19644`
11×	`pow1_binary64_19681` `add-exp-log_binary64_19658`
9×	`add-cbrt-cube_binary64_19656`
6×	`pow-unpow_binary64_19697`
4×	`pow-pow_binary64_19692` `add-log-exp_binary64_19659`
3×	`pow1/3_binary64_19702` `associate-r_binary64_19565` `unpow2_binary64_19685` `sqr-pow_binary64_19595` `pow-prod-down_binary64_19691` `prod-exp_binary64_19669` `cbrt-unprod_binary64_19653`
2×	`pow-to-exp_binary64_19689` `pow-exp_binary64_19688`
1×	`-commutative_binary64_19556` `associate-l*_binary64_19566`

Counts

4 → 81

Calls

4 calls:

6.0ms	(.f64 (.f64 a z) b)
5.0ms	(pow.f64 (cbrt.f64 (+.f64 x (*.f64 z y))) 2)
5.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x (*.f64 z y))) 2))
5.0ms	(pow.f64 (cbrt.f64 (+.f64 x (*.f64 z y))) 2)

series820.0ms (13.3%)

Counts

4 → 12

Calls

4 calls:

284.0ms	(pow.f64 (cbrt.f64 (+.f64 x (*.f64 z y))) 2)
269.0ms	(pow.f64 (cbrt.f64 (+.f64 x (*.f64 z y))) 2)
218.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x (*.f64 z y))) 2))
49.0ms	(.f64 (.f64 a z) b)

simplify78.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4780	1366
1	4780	1366

prune149.0ms (2.4%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	93	9	102

Merged error: 0.0b

Counts

102 → 9

Compiler

Compiled 4693 to 1427 computations (69.6% saved)

regimes222.0ms (3.6%)

Compiler: Compiled 2009 to 1232 computations (38.7% saved)

bsearch1.0ms (0%)

Compiler: Compiled 15 to 13 computations (13.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	97
1	41	97

end0.0ms (0%)

sample1.2s (19.5%)

Algorithm

1×

intervals

Results

352.0ms	8000×	body	128	valid
181.0ms	3772×	body	128	invalid

Compiler

Compiled 409 to 231 computations (43.5% saved)

Details

analyze1.3s (20.8%)

sample31.0ms (0.5%)

simplify170.0ms (2.8%)

prune4.0ms (0.1%)

localize11.0ms (0.2%)

rewrite30.0ms (0.5%)

series414.0ms (6.7%)

simplify36.0ms (0.6%)

prune60.0ms (1%)

localize15.0ms (0.3%)

rewrite25.0ms (0.4%)

series555.0ms (9%)

simplify49.0ms (0.8%)

prune61.0ms (1%)

localize15.0ms (0.2%)

rewrite36.0ms (0.6%)

series635.0ms (10.3%)

simplify78.0ms (1.3%)

prune118.0ms (1.9%)

localize26.0ms (0.4%)

rewrite34.0ms (0.5%)

series820.0ms (13.3%)

simplify78.0ms (1.3%)

prune149.0ms (2.4%)

regimes222.0ms (3.6%)

bsearch1.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.2s (19.5%)

Profiling